Formalization, estimation of algorithmic complexity and a method for solving the problem of choosing system-technical solutions for the creation (development) of distributed information-control systems
Vestnik Tverskogo gosudarstvennogo universiteta. Seriâ Prikladnaâ matematika, no. 3 (2017), pp. 73-91 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

The article deals with the formulation of the problem of choosing system-technical solutions for the creation (development) of distributed information-control systems. Importance of the task is caused by the fact that many automated systems for information processing and management have been in operation for decades after creation, while requirements for these systems change. Therefore, one should periodically bring information-management systems in accordance with new requirements. The analysis of the algorithmic complexity of the solution of the problem shows the impossibility of solving it by considering all possible variants because of the exponential dependence of the number of solutions on the size of initial data. In this regard, a heuristic algorithm based on "greedy" optimization technique was developed, which allows to significantly reduce complexity and obtain a rational solution of the problem in relatively small computational time.
Keywords: information processing and control system, design of automated control systems, life cycle of control systems, automation system.
@article{VTPMK_2017_3_a5,
     author = {V. L. Lyaskovskii and I. B. Bresler and M. A. Alasheev},
     title = {Formalization, estimation of algorithmic complexity and a method for solving the problem of choosing system-technical solutions for the creation (development) of distributed information-control systems},
     journal = {Vestnik Tverskogo gosudarstvennogo universiteta. Seri\^a Prikladna\^a matematika},
     pages = {73--91},
     year = {2017},
     number = {3},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VTPMK_2017_3_a5/}
}
TY  - JOUR
AU  - V. L. Lyaskovskii
AU  - I. B. Bresler
AU  - M. A. Alasheev
TI  - Formalization, estimation of algorithmic complexity and a method for solving the problem of choosing system-technical solutions for the creation (development) of distributed information-control systems
JO  - Vestnik Tverskogo gosudarstvennogo universiteta. Seriâ Prikladnaâ matematika
PY  - 2017
SP  - 73
EP  - 91
IS  - 3
UR  - http://geodesic.mathdoc.fr/item/VTPMK_2017_3_a5/
LA  - ru
ID  - VTPMK_2017_3_a5
ER  - 
%0 Journal Article
%A V. L. Lyaskovskii
%A I. B. Bresler
%A M. A. Alasheev
%T Formalization, estimation of algorithmic complexity and a method for solving the problem of choosing system-technical solutions for the creation (development) of distributed information-control systems
%J Vestnik Tverskogo gosudarstvennogo universiteta. Seriâ Prikladnaâ matematika
%D 2017
%P 73-91
%N 3
%U http://geodesic.mathdoc.fr/item/VTPMK_2017_3_a5/
%G ru
%F VTPMK_2017_3_a5
V. L. Lyaskovskii; I. B. Bresler; M. A. Alasheev. Formalization, estimation of algorithmic complexity and a method for solving the problem of choosing system-technical solutions for the creation (development) of distributed information-control systems. Vestnik Tverskogo gosudarstvennogo universiteta. Seriâ Prikladnaâ matematika, no. 3 (2017), pp. 73-91. http://geodesic.mathdoc.fr/item/VTPMK_2017_3_a5/

[1] Lyaskovskiy V. L., System-technical Basis for Automation of Information Processing and Control Processes in Hierarchical Military Systems, VA VKO Publ., Tver, 2014, 244 pp. (in Russian)

[2] Bushuev S. N., Osadchij A. S., Frolov V. M., Theoretical Basis for the Creation of Information Technology Systems, VAS Publ., SPb., 1998, 382 pp. (in Russian)

[3] Shpak V. F., Direktorov N. F., Miroshnikov V. I., Navojcev S. P., Naumov V. N., Seregin A. V., Sineshhuk Ju. I., Turovskij O. M., Information Technologies in the Navy Control System, Jelmor Publ., SPb., 2005, 832 pp. (in Russian)

[4] Lipaev V. V., System Design of Complex Software for Information Systems, SINTEG Publ., Moscow, 2002, 268 pp. (in Russian)

[5] Borodakij Ju. V., Bogovik A. V., Kurnosov V. I., Karpov E. A., Lobodinskij Ju. G., Masanovec V. V., Parashhuk I. B., Fundamentals of Control Theory in Special-Purpose Systems, eds. Ju.V. Borodakij, V.V. Masanovts, Administration of the President of the Russian Federation, Moscow, 2008 (in Russian)

[6] Khan K. M., Zhang Y., Managing Corporate Information Systems Evolution and Maintenance, Idea Group Inc (IGI), 2005, 376 pp.

[7] Lyaskovskiy V. L., Alasheev M. A., Pilshhikov D. E., Vakulenko A. A., Nepljuev O. N., Tikmenov V. N., “Methods for selecting the composition of tasks and complexes of automation tools for a multi-level control system for RES”, Radio Engineering, 2004, no. 10, 75-78 (in Russian)

[8] Arepin Ju. I., Dopira R. V., Smoljakov A. A., Military Cybernetics: Methodology for the Creation of Automated Control Systems for Technical Support, CJSC Research Institute CPS, Tver, 2006, 203 pp. (in Russian)

[9] Lyaskovskiy V. L., Methodological Basis for the Creation (Development) and Equipping of Hierarchical Automated Systems for Special Purposes, VA VKO Publ., Tver, 2010, 284 pp. (in Russian)

[10] Lyaskovskiy V. L., Alasheev M. A., Morozov O. G., Potapov V. N., “The issues of creating integrate d automated systems of organizational management”, Infocommunication Technologies, 5:2 (2007), 62-64 (in Russian)

[11] Lyaskovskiy V. L., Bresler I. B., “On the issue of formalizing the general task of selecting the directions for the development of hierarchical information-control systems for military purposes by increasing the degree of automation of functional processes under conditions of resource constraints”, Armament and the Economy, 2016, no. 4 (37), 36-45 (in Russian)

[12] Lyaskovskiy V. L., Bresler I. B., Alasheev M. A., “Statement of the problem of formation of directions of development of organizational automated systems and its solution algorithm”, Software Systems, 2017, no. 2, 165-171 (in Russian) | DOI

[13] Green500 list of the top 500 supercomputers in the world by energy efficiency, TOP500 https://www.top500.org/green500/