Informatics and Applications
2016, Volume 10, Issue 4, pp 96-104
ON THE ADVANCED PROCEDURE TO REDUCE CALCULATION OF GALOIS CLOSURES
- A. A. Grusho
- M. I. Zabezhailo
- A. A. Zatsarinny
Abstract
Formalization of similarity by algebraic operation is used as a key element of many modern intelligent data analysis methods. Nevertheless, in some important cases (e. g., in computer network traffic control, network security policy control in cloud computing environment, and some other), direct implementation of this technique is limited by the necessity to process huge amount of data in the real time mode. For example, it is necessary to intersect elements of a large set of Boolean vectors of large length to find fixed points of so-called Galois closure. An advanced algorithm of Galois closure formation is introduced. The algorithm is used to optimize the process of set closeness checking. Some examples of applications of the presented technique in computer network traffic control and deep packet inspection are discussed.
[+] References (9)
- Finn, V. K. 1983. O mashinno-orientirovannoy formali- zatsii pravdopodobnykh rassuzhdeniy v stile F. Bacona- J. S. Milla [On the computer-oriented formalization of plausible reasoning in the style of F Bacon -J. S. Mill]. Semiotika i informatika [Semiotics and Informatics] 20:35- 101.
- McCarthy, J. 2000. Phenomenal data mining: From data to phenomena. Stanford, CA: Computer Science De-partment, Stanford University. Available at http://jmc. stanford.edu/articles/phenomenal.html (accessed Octo-ber 15, 2016).
- McCarthy, J. John McCarthy's home page. Available at http://www-formal.stanford.edu/jmc/ (accessed October 15, 2016).
- Finn, V. K. 2011-2012. J. S. Mill's inductive methods in artificial intelligence systems. Scientific and Technical Information Processing. Part I. 2011. 38(6):385-402; Part II.
2012. 39(5):241-261.
- Cohn, P. M. 1965. Universal algebra. New York, NY: Harper and Row. 333 p.
- Grusho, A. A., M. I. Zabezhailo, and A. A. Zatsarinny 2015. Kontrol' i upravlenie informatsionnymi potokami v oblachnoy srede [Information flow monitoring and control in the cloud computing environment]. Informatika i ee Primeneniya - Inform. Appl. 9(4):95-101.
- Knuth, D. E. 1998. The art of computer programming. 3: Sorting and searching. 2nd ed. Reading, MA: Addison-Wesley. 780 p.
- Zabezhailo, M. I. 2014. O nekotorykh vozmozhnostyakh upravleniyapereborom v DSM-metode [Onsome newpos- sibilities to control computational complexity of hypotheses generation in JSM-method]. Iskusstvennyy intellekt
i prinyatie resheniy [Artificial Intelligence and Decision Making]. Part I: 1:95-110; Part II: 3:3-21.
- Grusho, A. A., M.I. Zabezhailo, A. A. Zatsarinnyy V. O. Piskovski, and S. V. Borokhov. 2015. O vozmozh- nostyakh prilozheniy intellektual'nogo analiza dannykh v zadachakh obespecheniya informatsionnoy bezopasnosti oblachnykh sred [On the applications of intelligent data analysis in information security of cloud computing environment]. Nauchno-tehnicheskaya inormatsiya [Scientific and Technical Information]. Ser. 2. 11:1-11.
[+] About this article
Title
ON THE ADVANCED PROCEDURE TO REDUCE CALCULATION OF GALOIS CLOSURES
Journal
Informatics and Applications
2016, Volume 10, Issue 4, pp 96-104
Cover Date
2016-12-30
DOI
10.14357/19922264160410
Print ISSN
1992-2264
Publisher
Institute of Informatics Problems, Russian Academy of Sciences
Additional Links
Key words
intelligent data analysis; object similarity formalized as algebraic operation; combinatorial search optimization; header analysis; traffic control in computer networks; information security in cloud computing environment
Authors
A. A. Grusho  , M. I. Zabezhailo , and A. A. Zatsarinny
Author Affiliations
Institute of Informatics Problems, Federal Research Center "Computer Science and Control" of the Russian Academy of Sciences, 44-2 Vavilova Str., Moscow 119333, Russian Federation
|