ISSN 1991-2927
 

ACP № 1 (59) 2020

Author: "Aleksandr Leonidovich Savkin"

/table>

Aleksandr Kupriianovich Ivanov, Doctor of Sciences in Engineering; graduated from the Faculty of Physics at Irkutsk State University, completed his postgraduate studies at Bauman Moscow Technical School, doctoral studies at Ulyanovsk State Technical University, Chief Staff Scientist of FRPC JSC ‘RPA ‘Mars’; an author of monographs, tutorial, articles in the field of the mathematical modeling of hierarchical real-time computer- aided control systems. e-mail: mars@mv.ruA.K. Ivanov

Aleksandr Leonidovich Savkin, Candidate of Military Science, Associate Professor; graduated from the Ulyanovsk Higher Military Command School of Communications and the Marshal Budjonny Military Academy of Signal Corps; completed his postgraduate studies in the Military Academy of Communications; Head of Science and Engineering Support Department of FRPC JSC ‘RPA ‘Mars’; an author of scientific works, manuals, and articles in the field of the development and modeling of communication control systems, automated information systems. e-mail: mars@mv.ruA.L. Savkin

The decision-making model in management bodies59_1.pdf

The decision-making modeling is based on the analogy of the intellectual activity of officials in the management bodies with inventor’s work described in terms of the catastrophe theory. The formation of decision is presented by motion in a potential field of cusp geometry. A potential function has two minima. The first minimum corresponds to initial data, the second one is in line with the findings reached. For transition, a potential barrier needs to be overcome through the pursuance of the specified research with knowledge accumulation. The activity of officials is divided in two parts. The first stage is a multistage data transformation using known algorithms, and the second one is a creative process for identifying the decision variables. Analytical solutions for three and four stages are obtained. A model of chain reaction is received in the model of the second part. The analogy with chain reactions is determined on grounds of the suggestion that information resources stimulating the intellectual conclusions with the avalanche-like growth of new knowledge are created during initial data transformation.

management bodies, decision making, mathematical model, catastrophe theory.

2020_ 1

Sections: Mathematical modeling

Subjects: Mathematical modeling.

Aleksandr Valerianovich Samonov, Candidate of Science in Engineering, Associate Professor; graduated from Mozhaisky Red Banner Military Engineering Academy; Senior Scientist of Mozhaisky Military Space Academy; an author of more than 30 publications in the field of system analysis, system and software engineering, validation and verification of software, methods and means of information security. e-mail: a.samonov@mail.ru.A. Samonov,

Sergei Romanovich Malyshev, Candidate of Science in Engineering, Associate Professor; graduated from the Mozhaisky Military Institute of Engineering; Honored Inventor of the Russian Federation; Associate Professor of the Marshal Budjonny Military Academy of Signal Corps; an author of manuals, articles, and inventions in the field of modern theoretical aspects of radiomonitoring. e-mail: malishevsr56@ya.ru.S. Malyshev,

Sergei Vasilevich Krasnov, Candidate of Science in Engineering, Associate Professor; graduated from the Ulyanovsk Higher Military Command School of Communications; an adjunct of Ulyanovsk Higher Military Engineering Communication School; Associate Professor of Graduated School of Management and Business of Peter the Great St.Petersburg Polytechnic University (SPbPU); an author of more than 50 works in the field of design and implementation of information systems and technologies. e-mail: hsm.krasnov@gmail.com.S. Krasnov,

Aleksandr Leonidovich Savkin, Candidate of Military Sciences, Associate Professor; graduated from the Ulyanovsk Higher Military Command School of Communications and the Marshal Budjonny Military Academy of Signal Corps; completed postgraduate studies in the Military Academy of Communications; Head of the Science and Engineering Support Department of FRPC JSC ‘RPA ‘Mars’; an author of scientific works, manuals, and articles in the field of the development and modeling of communication control systems, automated information systems. e-mail: mars@mv.ru.A. Savkin

Methods and Means for Implementation of End-To-End Quality Control of Artifacts of the Life Cycle of Creating Critical Information Systems 57_2.pdf

Methods and means of realization of the sequential-iterative, program-controlled process of development and verification of a set of requirements and design decisions developed at creation of the automated information systems used on objects of critical infrastructure of the state are presented. The description of the unified model-language and informationsoftware environment developed on the basis of modeling and design languages SysML, FUML, OCL, mathematical modeling language Petri nets, timed automata as well as software tools for verification and analysis of formal models of complex requirements and design solutions CPN Tools, Rodin and SPIN. The construction of formal graph-text models of requirements and design solutions is based on the developed templates, which are extensions of diagrams of use cases, activities, states and interactions, external and internal representation of system components, active and passive classes.
Testing procedure of completeness and correctness of a set of requirements is carried out by analyzing the progress and results of execution its formal model in the VM FUML environment, verification of the behavioral part of the model with the help of CPN Tools and Rodin for stability, limitation, detection of dead-end and inaccessible states as well as by assessing the quality of implementation of the basic mechanisms of the object-oriented paradigm (encapsulation, inheritance, polymorphism, abstraction, messaging). Formal models of design solutions, presented in the form of activity diagrams, are translated into the language of CPN ML and then verified by means of CPN Tools. Sequence diagrams are translated into Promela language and verified in SPIN environment. State diagrams are translated into the EventB language and checked using Rodin tools
The implementation of the approach presented in the article will allow to carry out early detection and elimination of defects in requirements and design solutions directly at the stages of their development, which will improve the quality of the developed systems and reduce the financial and time costs associated with the implementation of additional work.

Validation and verification, timed automata, information systems, design and modeling, Petri nets, functional and operational requirements.

2019_ 3

Sections: Information systems

Subjects: Information systems.



Iuliia Aleksandrovna Radionova, FRPC JSC ‘RPA ‘Mars’, Candidate of Science in Engineering; graduated from the Faculty of Mathematics and Mechanics of Ulyanovsk State University; finished her postgraduate study at Ulyanovsk State Technical University; Lead Software Engineer at FRPC JSC ‘RPA ‘Mars’; an author of articles in the field of automated workflow systems, intelligent technical documentation storages, and statistical analysis of supplier appraisal. [e-mail: julia-owl@mail.ru]I. Radionova,

Aleksandr Alekseevich Emelianov, FRPC JSC ‘RPA ‘Mars’, Candidate of Science in Engineering; graduated from F.E. Dzerzhinsky Military Academy; Chief Specialist of FRPC JSC ‘RPA ‘Mars’; an author of publications in the field of the quality management and information security systems creation, statistical analysis of supplier appraisal. [e-mail: mars@mv.ru]A. Emelianov,

Aleksandr Leonodovich Savkin, FRPC JSC ‘RPA ‘Mars’, Candidate of Military Sciences, Associate Professor; graduated from the Ulyanovsk Higher Military Command School of Communications, the Marshal Budjonny Military Academy of Signal Corps; completed postgraduate studies in the Military Academy of Communications; Head of Science and Engineering Support Department of FRPC JSC ‘RPA ‘Mars’; an author of scientific works, textbooks, and articles in the field of development and modelling of communication control systems and statistical analysis of supplier appraisal. [e-mail: mars@mv.ru]A. Savkin

Application of Statistical Data in a Dynamic Model of Software Reliability Evaluation 54_5.pdf

Authors consider an issue of software reliability evaluation, general definitions and reliability performances as well as the existing models of reliability evaluation. The parameters of existing models have been analyzed. A model best applying for evaluating the software reliability under conditions of operational testing has been chosen. A modification of the chosen model has been developed, which takes into account the complexity of software, the work distribution while software developing, the qualification of implementers, the distinction between the complexity and importance of errors detected while testing. A database structure has been developed for storage information on experimental findings. A software implementation of initial and modified models has been carried out. A plan of experiments has been designed. A testing simulation with various combinations of initial data has been implemented. Errors of model operation have been analyzed and compared. On the base of the implemented analyze, a conclusion on a higher effectiveness of the software reliability evaluation implemented by the use of the modified model has been provided. A concept of the performance factor of an implementer has been introduced, the dynamics of this factor has been analyzed based on statistical data obtained. The analysis proved the validity of the concept determination in the model developed. The conclusion on the possibility of implementing the additional functional for software reliability evaluating with separation to modules as well as of making the recommendations on the tasks assigned to implementer after the carried-out analysis of detected errors has been drawn.

Software reliability, model of reliability evaluation, testing, effectiveness.

2018_ 4

Sections: Information systems

Subjects: Information systems.


Aleksandr Alekseevich Emelianov, Federal Research-and-Production Center Joint Stock Company ‘Research-and-Production Association ‘Mars’, Candidate of Engineering; graduated from F.E. Dzerzhinsky Military Academy; Deputy Chief Engineer for Quality Assurance and Engineering Support - Head of the Management Department of Federal Research-and-Production Center Joint Stock Company ‘Research-and-Production Association ‘Mars’; an author of publications in the field of creation of the quality management and information security systems, statistical analysis of supplier appraisal. [e-mail: mars@mv.ru]A. Emelianov,

Iuliia Aleksandrovna Radionova, Federal Research-and-Production Center Joint Stock Company ‘Research-and-Production Association ‘Mars’, Candidate of Engineering; graduated from the Faculty of Mathematics and Mechanics of Ulyanovsk State University; finished her postgraduate study at Ulyanovsk State Technical University; Lead Software Engineer at FRPC JSC ‘RPA ‘Mars’; an author of articles in the field of automated workflow systems, intelligent technical documentation storages, and statistical analysis of supplier appraisal. [e-mail: julia-owl@mail.ru]I. Radionova,

Aleksandr Leonidovich Savkin, Federal Research-and-Production Center Joint Stock Company ‘Research-and-Production Association ‘Mars’, Candidate of Military Sciences, Associate Professor; graduated from Ulyanovsk Higher Military Command School of Communications, Marshal Budjonny Military Academy of Signal Corps, completed postgraduate studies in the Military Academy of Communications; Head of Science and Engineering Support Department of FRPC JSC ‘RPA ‘Mars’; an author of scientific works, textbooks, and articles in the field of development and modelling of communication control systems and statistical analysis of supplier appraisal. [e-mail: mars@mv.ru]A. Savkin

Information and Analytical Model of Product Testing for Counterfeit 52_4.pdf

The article considers a problem of counterfeit products and the existing methods for solving this problem. An information and analytical method for the optimization of an expert product evaluation is proposed, which uses a parameter set and allows to automate the final decision-making process. The set of parameters takes into account not only indicators for suppliers, but also possible consequences of using counterfeit products for different groups of consumers. The method is based on the application of a neural network using a certain base of expert knowledge. Network training is provided during analyzing process with the possibility of correction by an expert. Modeling of the analysis process with different sets of input parameters and various parameters of the neural network was carried out. The results are stored in the database; the neural network performance is evaluated based on these results. The database structure, input parameters structure and the visualization of experimental results are presented.

Counterfeit, modeling, evaluation parameter, database, software, neural network.

2018_ 2

Sections: Information systems

Subjects: Information systems.


Aleksandr Alekseevich Emelianov, Federal Research-and-Production Center Joint Stock Company ‘Research-and-Production Association ‘Mars’, Candidate of Engineering; graduated from F.E. Dzerzginsky Military Academy; Deputy Chief Engineer for Quality Assurance and Engineering Support - Head of the Management Department of Federal Research-and-Production Center Joint Stock Company ‘Research-and-Production Association ‘Mars’; an author of publications in the field of constructing the quality management and information security systems. [e-mail: mars@mv.ru]A. Emelianov,

Iulia Aleksandrovna Radionova, Federal Research-and-Production Center Joint Stock Company ‘Research-and-Production Association ‘Mars’, Candidate of Engineering; graduated from the Faculty of Mathematics and Mechanics of Ulyanovsk State University, finished her postgraduate studies at Ulyanovsk State Technical University; Lead Programming Engineer at FRPC JSC ‘RPA ‘Mars’; an author of articles in the field of automated workflow systems, intelligent technical documentation storages. [e-mail: julia-owl@mail.ru]I. Radionova,

Aleksandr Leonidovich Savkin, Federal Research-and-Production Center Joint Stock Company ‘Research-and-Production Association ‘Mars’, Candidate of Military Sciences, Associate Professor; graduated from Ulyanovsk High Education Military Communications Academy and the Marshal Budjonny Military Academy of Signal Corps; finished his postgraduate studies at the same Academy; Head of the Department of Scientific-and-Technical Activity Providing of Federal Research-and-Production Center Joint Stock Company ‘Research-and-Production Association ‘Mars’; an author of papers, textbooks in the field of development and modelling of communication control systems. [e-mail: mars@mv.ru]A. Savkin

Simulation and Statistical Control of Procurement Risks 000_7.pdf

In order to optimize the acceptance control, a supplement to the statistical method of control - the dynamic characteristic of a supplier [1], was developed at the enterprise. On the basis of some supplier’s parameters and the products schedule line, a coefficient allowing to decrease a controllable sample size is composed. The article describes structure of the database developed on the basis of the method of supply statistical control and the dynamic characteristic calculation. The database allows to store statistical data about products supplies and calculation data for simulation of acceptance control. Schemes of relations between database entities and a scheme of the dynamic characteristic calculation are demonstrated in the article. A brief description of the developed software interface is considered. The software realizes the following functions: registration, data review and analysis, calculation of suppliers’ quality indices, data calculation for simulation of control.

statistical control, supplier evaluation, dynamic characteristic, evaluation specifications, simulation, database,softwar.

2017_ 2

Sections: Information systems

Subjects: Information systems, Mathematical modeling.


Aleksandr Alekseevich Emelianov, Federal Research-and-Production Center Joint Stock Company ‘Research-and-Production Association ‘Mars’, Candidate of Engineering; graduated from F.E. Dzerzginsky Military Academy; Deputy Chief Engineer for Quality Assurance and Engineering Support - Head of the Management Department of Federal Research-and-Production Center Joint Stock Company ‘Research-and-Production Association ‘Mars’; an author of publications in the field of constructing the quality management and information security systems [e-mail: mars@mv.ru]A. Emelianov,

Iulia Aleksandrovna Radionova, Federal Research-and-Production Center Joint Stock Company ‘Research-and-Production Association ‘Mars’, Candidate of Engineering; graduated from the Faculty of Mathematics and Mechanics of Ulyanovsk State University, finished her postgraduate studies at Ulyanovsk State Technical University; Lead Programming Engineer at FRPC JSC ‘RPA ‘Mars’; an author of articles in the field of automated workflow systems, intelligent technical documentation storages. [e-mail: julia-owl@mail.ru]I. Radionova,

Aleksandr Leonidovich Savkin, Federal Research-and-Production Center Joint Stock Company ‘Research-and-Production Association ‘Mars’, Candidate of Military Sciences, Associate Professor; graduated from Ulyanovsk High Education Military Communications Academy and the Marshal Budjonny Military Academy of Signal Corps; finished his postgraduate studies at the same Academy; Head of the Department of Scientific-and-Technical Activity Providing of Federal Research-and-Production Center Joint Stock Company ‘Research-and-Production Association ‘Mars’; an author papers, textbooks in the field of development and modeling of communication control systems. [e-mail: mars@mv.ru]A. Savkin

The Statistical Approach to the Assessment of Suppliers for the Large Instrument Making Enterprise 000_10.pdf

The main components of statistical acceptance inspection such as plans, types, levels, operative characteristics, risks of suppliers and customers, acceptance and reject levels of defectiveness, and also dependency between all the parameters on the basis of the mathematical statistics theory are considered. The use of acceptance statistical control of the purchasing products and components parcel, one-, two-, and three-stage control plans, methods for controlled sampling frame volume calculation, the main problems arising in case of applying the specified methods are also considered. The authors define the terms of the supplier dynamic characteristic and supplier confidence level. The authors also propose the method for constructing the supplier dynamic characteristic on the basis of capture and analysis of statistical data of incoming inspection over the previous periods. The data include the supplier parameters values, the forming quality index of the supplier, the degree of merit for the products parcel as whole and individual products. The dependency of the controlled sampling frames on the supplier dynamic characteristics is considered.

Statistical control, supplier assessment, dynamic characteristic.

2016_ 4

Sections: Information systems

Subjects: Information systems.


Ruslan Gabdullovich Ziganshin, Federal Research-and-Production Center Open Joint-Stock Company 'Research-and-Production Association 'Mars', Candidate of Military Sciences; graduated from the Military Communications Academy named after S. Budenny; finished his post-graduate studies at the same academy; lead engineer at Federal Research-and-Production Center 'Research-and-Production Association 'Mars'; specializes in the field of operation and maintenance of communications equipment and C2 systems; author of publications in the field of reliability theory and technical diagnostics. [e-mail: zuganshin-ruslan@yandex.ru]R. Ziganshin,

Vladimir Viktorovich Kalnikov, Federal Research-and-Production Center Open Joint-Stock Company 'Research-and-Production Association 'Mars', Candidate of Engineering, Associate Professor; graduated from the Faculty of Radio-Engineering of Kiev Higher Military Communications Engineering College named after M. Kalinin; chief specialist at Federal Research-and-Production Center 'Research-and-Production Association 'Mars'; specializes in the field of multi-channel electricity and fiber-optic communications; author of articles, text-books, inventions in the field of design of digital and fiber-optic transmission systems. [e-mail: kvvik@bk.ru]V. Kalnikov,

Alexander Leonidovich Savkin, Federal Research-and-Production Center Open Joint-Stock Company 'Research-and-Production Association 'Mars', Candidate of Military Sciences, Associate Professor; graduated from Ulyanovsk Higher Military Command Communications College, the Military Communications Academy named after S. Budenny; finished his post-graduate studies at the same academy; chief specialist at Federal Research-and-Production Center 'Research-and-Production Association 'Mars'; author of papers, text-books, articles in the field of development and modeling of C3 systems. [e-mail: mars@mv.ru]A. Savkin

Modeling for Forecasting of Radioelectronic-product Technical State 26_6.pdf

The article deals with an approach to forecasting of technical state of radioelectronic products on basis of a method of static modeling. It also cites basic ideas of the mathematical support for the considered modeling method, and analyses ways of developing modeling algorithms to forecast technical state of radioelectronic products from the point of view of their efficiency in computer implementation.

Forecasting of technical state, radioelectronic product, method of static modeling, tasks of static modeling, modeling algorithm, ways of developing modeling algorithms.

2011_ 4

Sections: Mathematical modeling, calculus of approximations and software systems

Subjects: Mathematical modeling.


© FRPC JSC 'RPA 'Mars', 2009-2018 The web-site runs on Joomla!