Educational software systems

*Reference:*
Sulina O.V., Slominskaya E.N. —
Organization and performance concept for the final project in engineering and graphic disciplines in technical higher education schools.
// Cybernetics and programming.
– 2017. – ¹ 3.
– P. 1 - 9.
DOI: 10.25136/2306-4196.2017.3.23326 URL: http://en. nbpublish.com/library_read_article.php?id=23326

Read the article
**Review:**
The article is devoted to the topical issues regarding scientific and methodological elements in the education process organization in the sphere of engineering and graphic disciplines in the technical higher education schools. The article uses an example of a final project for the product design in the Creo Parametric MCAD-system. This program is a part of the multifunctional product construction system CAD/CAM/CAE within the PTC Creo system. It has direct access into the vital cycle support system Windchill PDMLink. Within the framework of their final project the student study the purpose, construction, working principles, key parameters and elements of a product, based upon the original detail layout the students study 3D models of original details, form the assembling model, spaced view, animated process of assembly or dismantling of the product. They provide presentation view for the model using the option of photo-realistic rendering, provide associative assembly drawing and product specification, then they present their projects in the final practical class. The authors have formed an electronic bank of individual assignments based upon the analysis of the general and specific cross-disciplines, which are differentiated for various specializations. The authors have developed and tested the method for active and task-oriented studies in order to hold classes in project construction and technological activities involving multifunctional MCAD-systems in the early years of their education, as well as to from professional thinking models among the students. The article illustrates the possibilities for more active and intensive education process taking into account the development tendencies, as well as involvement of information technologies and automatic design systems in the industry and education alike. It also allows to improve the quality of homework and lab assignments within the context of interdisciplinary studies competence guarantees in accordance with the Federal State Education Standards for Higher Education for the students.

**Keywords:**
bachelor, engineering and graphic discipline, final assignment, study process, associated assembly drawing, CAD, Windchill PDMLink, Creo Parametric, 3D model, computer graphics

**References (transliterated):**

Bordovskaya N.V. (red.) Sovremennye obrazovatel'nye tekhnologii: uchebnoe posobie. Moskva: KNORUS, 2010. 432s.

Tsiulina M.V. Sovremennye obrazovatel'nye tekhnologii: uchebnoe posobie. Chelyabinsk: Izd-vo YuUrGGPU, 2016. 227 s.

Ekimova V.I., Leshchenko S.G., Kirsanov V.M. Pedagogika professional'nogo obrazovaniya: problemy i perspektivy razvitiya v usloviyakh reformy. Moskva: OOO «BUKI VEDI», 2013. 150 s.

Matyash N.V. Innovatsionnye pedagogicheskie tekhnologii. Proektnoe obuchenie [Tekst]: ucheb. posobie dlya stud. uchrezhdeniy vyssh. prof. obrazovaniya. 3-e izd., ster. Moskva: Izdat. tsentr «Akademiya», 2014. 160 s.

Nosova, L. S. Informatsionnye tekhnologii v upravlenii obrazovaniem [Tekst]: ucheb.-metod. Posobie. Chelyabinsk: Izd-vo YuUrGGPU, 2016. 145 s.

Zaytsev V.S. Pedagogicheskie tekhnologii [Tekst]: elektivnyy kurs dlya podgotovki bakalavrov i magistrov: v 2 kn. Kn. 1. Chelyabinsk: ChGPU, 2012. 424 s.

Tsvetkov V. Ya. Information Constructions // European Journal of Technology and Design, 2014, Vol.(5), ¹ 3. P. 147-152.

Oz

Automation of manufacturing and production planning

*Reference:*
Fedosovsky M.E. —
Development of methodological provisions for the automated designing based upon the mathematical category theory methods.
// Cybernetics and programming.
– 2017. – ¹ 3.
– P. 10 - 22.
DOI: 10.25136/2306-4196.2017.3.23087 URL: http://en. nbpublish.com/library_read_article.php?id=23087

Read the article
**Review:**
This article is devoted to the the methods used in the theory of Ñomputer-Assisted Design. Development of a theoretical framework of technologies of the automated designing is an important scientific problem. One of directions employed to solve this problem is its reduction to a single universal formalism used for describing a variety of technologies, which will be appropriate for the design of complex heterogeneous systems for integration and coordination of these technologies. The solution to this problem depends on the choice of the mathematical apparatus. In this article the author proposes creation of the computer-aided design methods using mathematical category theory. The author then discusses methods for the formation of a mathematical apparatus for CAD based on the mathematical category theory in order to establish mathematical models and the correlations between them at different levels of abstraction. It is shown that the formulation of regularities in the mapping from conceptual view the conceptual view of the subject objectives the basic reasons are: a consistent mathematical apparatus of formation models; an uniform structure of the regularities of formation models; existence of the laws of cyclicality. Pattern display models of conceptual representation in the model conceptual representation of the subject is the identity in the application of functional abstractions for dynamic and static components during the process of formation (establishment) of the relations between them and the identity of the models on the same level of abstraction with the same view.

**Keywords:**
Computer-Aided Design, CAD, conceptual modeling, infological modeling, datalogical modeling, mathematical model, mathematical category theory, functor, Relational algebra, abstract levels

**References (transliterated):**

Gur'yanov A.V., Korobeynikov A.G., Fedosovskiy M.E., Shukalov A.V., Zharinov I.O. Avtomatizatsiya proektirovaniya slozhnykh tekhnicheskikh kompleksov na osnove teorii kategoriy//Voprosy oboronnoy tekhniki. Seriya 16: Tekhnicheskie sredstva protivodeystviya terrorizmu-2017.-¹ 3-4.-S. 9-16.

Korobeynikov A. G., Fedosovsky M. E., Gurjanov A. V., Zharinov I. O., Shukalov A. V. Development of Conceptual Modeling Method to Solve the Tasks of Computer-Aided Design of Difficult Technical Complexes on the Basis of Category Theory//International Journal of Applied Engineering Research ISSN 0973-4562 Volume 12, Number 6 (2017) pp. 1114-1122. http://www.ripublication.com/ijaer17/ijaerv12n6_46.pdf

Grishentsev A.Yu., Gur'yanov A.V., Tushkanov E.V., Shukalov A.V., Korobeynikov A.G. Virtualizatsiya i programmnoe obespechenie v sistemakh avtomatizirovannogo proektirovaniya: Uchebnoe posobie, SPb: Universitet ITMO, 2017. – 60 s.

Grishentsev A.Yu., Gur'yanov A.V., Kuznetsova O.V., Shukalov A.V., Korobeynikov A.G. Matematicheskoe obespechenie v sistemakh av

Automation of manufacturing and production planning

*Reference:*
Grishentsev A.Y., Korobeinikov A.G., Dukel'skii K.V. —
Use of the method of numerical estimation for the technical interoperability.
// Cybernetics and programming.
– 2017. – ¹ 3.
– P. 23 - 38.
DOI: 10.25136/2306-4196.2017.3.23540 URL: http://en. nbpublish.com/library_read_article.php?id=23540

Read the article
**Review:**
The object of study involves the method for assessing the quality of technical interoperability means in the open information systems in accordance with the model of interoperability under the GOST R 55062-2012. The author proposes a method for calculating the estimated characteristics of technical interoperability based upon the evaluation of detection and transformation of data formats by nodes of an open information system. As an example the article includes practical assessments of technical interoperability based upon the criteria for detecting and converting formats, and some software packages for processing graphic images. It is noted in the article that if there is need to observe the evolution of the interoperability of the information system, it is then necessary to preserve the methodological basis for the formation of the initial parameters. The proposed estimation method is based upon the laws of information theory and it is determined by a formal model allowing to calculate the particular and general information entropy characterizing the technical interoperability as the ability of the information system under investigation to detect data in various formats and the ability of the information system under investigation to produce correct data transformations in various formats. The main result of the research is the developed method of estimating technical interoperability that allows to make a numerical estimation of the properties of technical interoperability allowing for the format detection and transformation. The practical result of the study is that it enables the numerical evaluation of interoperability, allowing one to monitor the dynamics of interoperability of various systems under conditions of interaction with a continuously changing inter-system information space.

**Keywords:**
interoperability, open information systems, information entropy, data conversion, interoperability assessment model, numerical estimation of interoperability, levels of interoperability, format detection, convert formats, MATLAB

**References (transliterated):**

Ango A. Matematika dlya elektro-i radioinzhenerov // M.: Nauka, 1967. – 780 s.: il.

European Interoperability Framework for Pan-European E-government Services. Draft for Public Comments – As Basis for EIF 2.0-15/07/2008.

Seligman L., Rosenthal A. A Framework for Information Interoperability // The Edge Mitre's Advanced Technology Newsletter. – 8(1). – 2004. – p.p 3-4.

Bezdushnyy A. A., Nesterenko A. K., Sysoev T. M. i dr. Vozmozhnosti tekhnologiy ISIR v podderzhke Edinogo Nauchnogo Informatsionnogo Prostranstva RAN. //Rossiyskiy nauchnyy elektronnyy zhurnal. Elektronnye biblioteki. – 2004. – t.7. – vyp.6.

Grishentsev A.Yu., Korobeynikov A.G. Metody i modeli tsifrovoy obrabotki izobrazheniy. – SPb. : Izd.-vo Politekhn. un-ta, 2014. – 190 s.

Grishentsev A. Yu. Effektivnoe szhatie izobrazheniy na baze differentsial'nogo analiza//Zhurnal radioelektroniki. 2012. ¹ 11. S. 10. URL: http://jre.cplire.ru/jre/nov12/1/text.html

Grishentsev A. Yu., Korobeynikov A. G. Ponizhenie razmernosti prostranstva pri korrelyatsii i svertke ts

Knowledge bases, intelligent systems, expert systems, decision support systems

*Reference:*
Dimitrichenko D.P. —
Algorithm construction and software implementation of intelligent data processing using variable-valued logic functions.
// Cybernetics and programming.
– 2017. – ¹ 3.
– P. 39 - 50.
DOI: 10.25136/2306-4196.2017.3.18438 URL: http://en. nbpublish.com/library_read_article.php?id=18438

Read the article
**Review:**
The object of study in this article involves logical algorithms for recognition and diagnostics, which are designed for functioning in weakly formalized areas of knowledge. Directional search trees and logical neural networks can be classified as such algorithms. The proposed implementation of a logical algorithm for searching for objects within a given domain, which are correspondent to a set of properties, is based upon the application of logical functions, which are formed with variable-valued predicates. The representation of the training sample in the form of variable-valued logic function allows not only to eliminate redundancy in the description of objects, but also to construct all possible classes of objects by all attributes, and also, using the constructed functions, to reveal hidden regularities in the subject domain.The basis for constructing variable-valued logical functions is a set of production rules, each of which contains both a set of properties and an object defined by them. Integration and optimization of rules are performed using logical operations. The scientific novelty of this study is due to the following. The author proposes knowledge extraction from the initial databases containing information on the properties of the analyzed objects using variable-valued predicates. Then a method is proposed for obtaining all possible classes of structures of telecommunication networks, which makes it possible to reveal additional properties and to make an intelligent choice of the desired topology.

**Keywords:**
Boolean function , variable-valued predicate , disjunction, conjunction, implication, training sample , logical algorithms , data analysis, subject area , machine learning

**References (transliterated):**

Mal'shakov G.V., Mal'shakov V.D. Metodika normalizatsii alfavita poiska dlya povysheniya kachestva identifikatsii sushchnostey po chastotnym kharakteristikam ikh dannykh // Programmnye sistemy i vychislitel'nye metody. - 2015. - 4. - C. 407 - 413. DOI: 10.7256/2305-6061.2015.4.17813.

Lyutikova L.A., Timofeev A.V., Sgurev V.V., Yotsov V.I Razvitie i primenenie mnogoznachnykh logik i setevykh potokov v intellektual'nykh sistemakh// Trudy SPIIRAN, vyp. 2, 2005. S. 114–126.

Lyutikova L.A. Modelirovanie i minimizatsiya baz znaniy v terminakh mnogoznachnoy logiki predikatov. Nal'chik. Preprint, 2006. 33 s.

Dimitrichenko D.P., Timofeev A.V. Mnogokriterial'naya otsenka setevykh topologicheskikh struktur dlya modelirovaniya i proektirovaniya GRID-SISTEM // Trudy SPIIRAN. N 10. SPB.: Nauka. 2009. S. 193-212.

V.V. Golenkov, D.V. Shushkevich, I.T. Davydenko Cemanticheskaya tekhnologiya proektirovaniya intellektual'nykh reshateley zadach na osnove agentno-orientirovannogo podkhoda // Programmnye sistemy i vychislitel'nye metody. - 2013. - 1. - C. 82 - 94. DO

Knowledge bases, intelligent systems, expert systems, decision support systems

*Reference:*
Rodzin S.I., Kureichik V.V. —
Theoretical issues and modern problems concerning development of cognitive bioinspiral optimization algorithms (a survey).
// Cybernetics and programming.
– 2017. – ¹ 3.
– P. 51 - 79.
DOI: 10.25136/2306-4196.2017.3.18659 URL: http://en. nbpublish.com/library_read_article.php?id=18659

Read the article
**Review:**
An overview concerns topical issues and the current situation regarding cognitive bioinspiral optimization algorithms research. Optimization problems form the majority among the many problems, which are faced by the researchers in the theoretical sphere as well as in the sphere of practical application. For some such problems the solution requires a full search for options. However, the dimensions of these problems are such that the implementation of the search for options is almost impossible due to the extremely high time costs. An alternative approach to solving these problems involves the application of methods based on the methodology of cognitive bioinspiral algorithms. When the computer systems became sufficiently fast and inexpensive, the bioengineered algorithms formed an important tool for finding solutions close to optimal solutions for the problems,which were previously been considered insoluble. The methodological and theoretical basis of the survey was found in the provisions of the theory of artificial intelligence and bioinspired computing, decision theory and optimization methods. The review includes a list of world scientific schools and scientists who have made a significant contribution to the development of cognitive bioinspiral algorithms, and also a brief description of the classification, terminology and libraries of bioengineered algorithms. A classical result is presented in the theory of cognitive bioinspiral algorithms - the CPT theorem and the NFL-theorem. The authors provide analysis of regularities, basic elements and structure of cognitive bioinspired calculations, they analyze the issues concerning representation (coding) of solutions, basic cycle of bioinspired algorithms, extension of cognitive capabilities of operators of bioinspiral algorithms, and drift analysis as a promicing direction in the sphere of time of cognitive bioinspiral algorithms analysis.

**Keywords:**
metaheuristics, fitness function, evolutionary computation, evolution operator, NFL-theorem, drift analysis, optimization, modeling, programming, cognitive bioinspired algorithm

**References (transliterated):**

Wall M. GAlib – A C++ library of genetic algorithm components [elektronnyy resurs]: informatsionnyy portal – rezhim dostupa http://lancet.mit.edu/ga/

Blum C., Roli A. Metaheuristics in combinatorial optimization: overview and conceptual comparison // ACM computing surveys. – 2003. – No. 35 (3). – P. 268–308.

Dorigo M., et. A survey on metaheuristics for stochastic combinatorial optimization // Int. jour. natural computing. – 2009. – No. 8 (2). – P. 239–287.

Rodzin S. Smart dispatching and metaheuristic swarm flow algorithm // Jour. of computer and systems sciences international. – 2014. – vol. 53. – No. 1. – P. 109–115.

Ergezer M., Sikder I. Survey of oppositional algorithms // Proc. of int. conf. on computer and information technology, Dhaka, Bangladesh, 2011. – R. 623–628.

Kureychik V.V., Kureychik V.M., Rodzin S.I. Teoriya evolyutsionnykh vychisleniy. – M.: Fizmatlit, 2012. – 260 s.

Qin A.K., Forbes F. Dynamic regional harmony search with opposition and local learning // Proc. of 13th annual conf.

Data encryption and data protection

*Reference:*
Komarova A.V., Korobeynikov A.G., Menshchikov A.A., Klyaus T.K., Negol's A.V., Sergeeva A.A. —
Theoretical possibilities for combining various mathematical primitives within an electronic digital signature scheme.
// Cybernetics and programming.
– 2017. – ¹ 3.
– P. 80 - 92.
DOI: 10.25136/2306-4196.2017.3.23364 URL: http://en. nbpublish.com/library_read_article.php?id=23364

Read the article
**Review:**
The study is devoted to the algorithms and protocols of an electronic digital signature, providing for the key information properties: its integrity, authenticity and accessibility. This article highlights the problems of modern cryptography and a possible way to solve them via creation of an electronic digital signature that can withstand a quantum computer. The article concerns various mathematical primitives, which can increase the stability of existing cryptosystems when used together. This area of research is a new and promising one for the development of domestic cryptography. The theoretical methods of research used in this article include the theory of computational complexity, the theory of rings, fields and lattices, algorithmic aspects of lattice theory and their application in cryptography, in particular, the complexity of solving systems of linear Diophantine equations, the complexity of finding the shortest nonzero lattice vector And the vector of the lattice closest to the given vector, known approximate algorithms for these problems. We refer to experimental methods of research, such as carrying out statistical calculations and data analysis in the Mathlab mathematical environment, constructing elliptic curves in the mathematical environment of Mathcad, creating software implementations of the algorithm for generating a signature in Python, using precompiled modules from the NumPy library. It is planned to achieve the following results in the future: 1. The development of a methodology for constructing electronic digital signature schemes based on two independent computationally difficult problems; 2. The development of a polynomially complex electronic digital signature scheme based on fundamentally different mathematical primitives; 3. The estimation of the size of safe parameters of the developed EDS protocols; 4. The theoretical model of the growth of calculation time from the length of an electronic digital signature key.

**Keywords:**
information security, elliptic curve, the lattice theory, cryptosystem, postquantum cryptography, the shortest vector problem, discrete logarithming, Pollard algorithm, information privacy, digital signature

**References (transliterated):**

Piskova A.V., Korobeynikov A.G. Osobennosti primeneniya teorii reshetok v skhemakh elektronnoy tsifrovoy podpisi // Kibernetika i programmirovanie. 2016. ¹ 2. S. 8-12.

GOST R 34.10-2012. Natsional'nyy standart Rossiyskoy Federatsii. «Informatsionnaya tekhnologiya. Kriptograficheskaya zashchita informatsii. Protsessy formirovaniya i proverki elektronnoy tsifrovoy podpisi», 2012.

Lyubashevsky V., Micciancio. Asymptotically efficient lattice-based digital signatures. Lecture in Computer Science. – 2008. – ¹4948. – p. 379–396.

Piskova A.V., Korobeynikov A.G. Razrabotka algoritma elektronnoy tsifrovoy podpisi, osnovannogo na zadachakh faktorizatsii i diskretnogo logarifmirovaniya na ellipticheskikh krivykh // Sbornik trudov IV Vserossiyskogo kongressa molodykh uchenykh SPb.: Universitet ITMO, 2015. S. 322–326.

Piskova A.V. Usilenie stoykosti skhemy autentifikatsii informatsii putem resheniya neskol'kikh vychislitel'no slozhnykh zadach // Nauchnye raboty uchastnikov konkursa "Molodye uchenye NIU ITMO" 2015 goda. 2016. S. 234-237.

Hoffstein J.,