Software & Systems

Journal articles №2 2014

1. Analysis of the programm use the language of asynchronous functional schemes models using linear-time temporal logic [№2 за 2014 год]
Authors: Korablin Yu.P. (y.p.k@mail.ru) - Russian State Social University, Ph.D; Kosakyan M.L. (xbix@list.ru) - Russian State Social University, ;
Abstract: The article describes the formal method for analyzing properties of concurrent and distributed programs. Au-thors suggest a method for verifying technical systems for various temporal properties feasi bility, such as a security property (a typical example of security properties is lock-freedom). To represent models of technical systems authors use the language of asynchronous functional schemes (AFS). It i n-cludes semantic values of AFS-programs represented as the sets of computing sequences (running ways of the distributed AFS-program). Then semantic value is represented as a system of recursive equations. This system is a convenient form for representing semantic values of programs to analyze various programs’ properties. The AFS-program semantic value, represented as a system of recursive equations, and the temporal property, represented as a formula linear-time temporal logic, is converted into a Büchi automata to verify the feasibility of temporal p roperties. After that the composition of these automatons is constructed. The temporary property feasibility on the original AFS -program is verified according to this composition. The proposed method has a significant advantage compared to similar methods which has an intermediate stage for transformimg a technical system into the Kripke’s system and then converts it into a Buchi’s automaton. And in the proposed method the technical system directly converts into a Buchi’s automaton. The proposed method can be easily automated. It allows to simplify essentially labor -intensive process of analyzing se-mantic values of programs. Theoretical material of the article includes a number of examples, in particular, an example of the proposed method a p-plication for verification the feasibility of security properties (no locks) on the distributed system.
Keywords: kripke system, Buchi automaton, , verification, recursive equations system, language of asynchronous functional schemes
Visitors: 10538

2. Type checking system for functional programming language FPTL [№2 за 2014 год]
Authors: Bocharov I.A. (bocharovia@gmail.com) - National Research University “MPEI”; Kutepov V.P. (vkutepov@appmat.ru) - National Research University “MPEI”, Ph.D; Shamal P.N. (sti0cli@gmail.com) - National Research University “MPEI”;
Abstract: The paper describes static type checking methods and algorithm for functional parallel programming language FPTL. FPTL is implemented on multicore systems and is widely used. FPTL is a pure functional la nguage based on function compositions. By function composition we understand the application of four composition operations and recursive defin i-tions. Three of composition operations are parallel. It made possible to implement rather effective algorithms o f parallel pro-gram execution on multicore systems, using program interpretation. This is the key difference between FPTL and other fun c-tional languages, based on lambda-notation (such as Haskell, ML, etc.). Language type system consists of built -in types (int, real, bool, etc.) and user-defined abstract types. Functions in FPTL language are in general polymorphic. In theoretical se c-tion of this paper rules of correct typing and algorithm of type checking based on these rules are described. In the current lan-guage implementation on multicore system correctness of typing is checked while program is being executed. Type checking takes about 30 % of program execution time. Type checking system presented in the paper helps to significantly reduce time of program execution.
Keywords: type checking, parallel computing, functional programming languages
Visitors: 9313

3. Complex engineering systems development management [№2 за 2014 год]
Authors: Dopira R.V. (rvdopira@yandex.ru) - NPO RusBITex (Professor, Head of Department), Ph.D; Kordyukov R.Yu. (romkord@yandex.ru) - Main Department of scientific and research activities and technological support of the advanced technologies of the Ministry of defense of the Russian Federation, Ph.D; Platonov A.Yu. (romkord@yandex.ru) - Main Department of Scientific and Research Activities and Technological Support of the Advanced Technologies of the Ministry of Defense of the Russian Federation; Begletsov A.A. () - Military Representativ Office of the Ministry of Defence of the Russian Federation; Sergienko S.V. (romkord@yandex.ru) - Department of an Operational Administration Command the Ministry of Defence of the Russian Federation;
Abstract: When preparing and performing complex engineering systems projects it is necessary to consider uncertainty which can lead to failures of project planned implementation time. These failures are caused by increasing works duration. Therefore it is necessary to develop a management technique to minimize consequences of untimely and poor -quality per-formance. The basis of the proposed management technique is an earned value method. It includes making a project complete d e-scription and a detailed implementation schedule at an initial stage. It allows making estimation of the fact sheet and to s u-pervise the project from the beginning to the end of works. The technique consists of the following stages: planning, control an operational administration. The sequence of actions is following: scoping of works; responsibility distribution to control project implementation; making a directive project schedule; an estimation of an actual process of project implementation comparing with a directive schedule; cost -effectiveness evaluation; forecasting total actual project expenses based on an observed process of project implementation; management of works in progress; management of changes of a directive project schedule. The offered technique is quite simple in use and allows making real time decisions.
Keywords: complex tech systems, scope of work, cost cutting, project management
Visitors: 11421

4. Network planning method for developing complex engineering systems [№2 за 2014 год]
Authors: Dopira R.V. (rvdopira@yandex.ru) - NPO RusBITex (Professor, Head of Department), Ph.D; Kordyukov R.Yu. (romkord@yandex.ru) - Main Department of scientific and research activities and technological support of the advanced technologies of the Ministry of defense of the Russian Federation, Ph.D; Begletsov A.A. () - Military Representativ Office of the Ministry of Defence of the Russian Federation; Sergienko S.V. (romkord@yandex.ru) - Department of an Operational Administration Command the Ministry of Defence of the Russian Federation;
Abstract: The problem of developing a performance planning method for structural-complicated projects. These projects can also include development of complex engineering systems, such as weapons and military equipment, power engineering facilities, industry and transport facilities is formulated and formalized. A project is a set of operations necessary to ach ieve the purpose. The duration of every operation is known. They are conne cted by order relation (obligatory precedence). A tran-sition to a market economy and modifications in domestic and international situation with crisis developments in national economy have lead to a necessity of critical analysis of methods for maintening state requirements for production and new approaches to these problems solution. The proposed solution method is based on network planning method, on the idea of critical path optimisation. Known methods are improved based on the dynamic programming scheme . The critical path of the project graph defines performance time of the project. A cooperation of project performers is formed based on a solution of the assignment problem using a dynamic programming method and the offered algorithm, that allows consider ing the works precedence ratio defining project structure. Enterprise industrial engineering is based on rational combination of all basic, auxiliary and serving processes in time and space. Singularities and methods of this combination are вшааукуте in various working conditions. At the same time industrial engineering should be correspond to general principles. They are continuity, proportionality, rhythm, parallelism concern. The offered method allows implementing these principles.
Keywords: dynamic control, network model, critical path, forecasting time series, network planning, net graph
Visitors: 12849

5. A reference model based on arcon for it-infrastructure administrative management system [№2 за 2014 год]
Authors: Grishakov V.G. (liv@academ.msk.rsnet.ru) - The Academy of the Federal Guard Service of the Russian Federation, Ph.D; Loginov I.V. (liv@academ.msk.rsnet.ru) - Academy of the Federal Guard Service of the Russian Federation, Ph.D;
Abstract: Virtual administrative management system for dedicated IT-component is created by higher management sys-tem using recursive-hierarchical method. Virtual administrative management system creation and management in its lifecycle processes is based on hybrid model of control object. The article offers ARCON adaptive reference model of collaborative network organizations as an abstract model for creating a control object hybrid model. An adaptive reference model dete r-mines the structure, functions, processes and architecture of collaborative network organization. It can be used to specify vi r-tual enterprises, where management is distributed between several agents who coordinate their actions. It is typical for virtual administrative management system members. Abstract parameters of refe rence model have particular values, which are typi-cal for virtual administrative management system. Internal and external parameters are defined on the general abstraction level. To determine administrative management system lifecycle the article offers ma pping from ARCON model evaluate component to the lifecycle typical model based on State Standard 15288. A new agent -based method is offered to control administrative management system development according to its lifecycle using reference model. This metho d determines a management procedure based on hybrid model. This method allows increasing effectiveness of creating, maintenance and evolution of administrative management system. The paper determines a usage procedure for a hybrid model and its filling for solving particular tasks.
Keywords: reference model, development management, collaborative network organization, virtual enterprise, IT-infrastructure, administrative management system
Visitors: 12591

6. Evolution and information systems design principles for enterprise management [№2 за 2014 год]
Authors: Zalozhnev A.Yu. (zalozhnev@yandex.ru) - V.A. Trapeznikov Institute of Control Sciences, Moscow; Financial University under the Government, Ph.D; Zalozhneva L.L. (zalozhneva-l@yandex.ru) - V.A. Trapeznikov Institute of Control Sciences of the Russian Academy of Sciences; Chistov D.V. (zavkit@mail.ru) - Financial University under the Government of the Russian Federation, Ph.D; Shuremov E.L. (shurem@mail.ru) - Financial University under the Government of the Russian Federation, Ph.D;
Abstract: Evalution and some principles enterprise management information systems (MIS) design for different levels are considered in the article. MIS support the logistic and manufacturing systems operation. Industrial, technological and business processes are performed by these systems, they are also involved in goods a nd services distribution. Evolution is a MIS functionality gradual increasing. It involves the use of new approaches, principles and related technological solutions. The basic concepts of MIS are presented. Analogies between principles and technological solutions that underly in MIS con-cepts on the one side and concepts and approaches used in control theory on the other side are set. Particular examples show that notions checked and tested earlier in control theory were included into the enterprises managem ent practice as the result of gradual introduction of MIS design principles. These notions are feedback, equilibrium, controllability, sensitivity, stab il-ity, optimality, adaptation, identification, parameters evaluation, reachability and observability, in formation control and oth-ers. Special attention is paid to such subsystems of MIS as customer relationship management and supplier relationship ma n-agement as well as software applications and components within its composition. Attention is also paid to oth er subsystems focused on the business processes support. Complex approach to enterprise management system designing is considered. It implies both horizontal and vertical integration of control systems. In vertical integration the main emphasis is on the C IM concept. Its software implementations allow carrying out vertical automated control of industrial enterprise technological processes.
Keywords: analogies between mis principles and concepts and control theory approaches, concepts and approaches of control theory, control theory, mis subsystems, principles and technological solutions, basic concepts, management information systems
Visitors: 12563

7. Human behavior simulation based on the subjective view of choice situation [№2 за 2014 год]
Authors: Vinogradov G.P. (wgp272ng@mail.ru) - Tver State Technical University, Ph.D;
Abstract: The article considers a model of decision making based on subjective views on choice situation. The views are the result of cognitive activity. They ar e described in the form of a mental image as the result of perception. They are repr e-sented as a model of knowable and analyzed objects, processes, phenomena and are consciously accessible. Agent’s attitude to the observed and analyzed data is formed accor ding to the generated model and based on attitudes, rules, past experience, knowledge fixed in the consciousness. Then, depending on this relationship, a subject forms his behavior. He also develops his own program of actions in the events, phenomena that he considers important. A normative (rational) or behavioral deci-sion-making model is used to describe a decision-making process. Recent research of the decisions making theory has shifted from selection processes description (using normative models) to actual procedures of decision-making. These procedures use formalization of methods and approaches developed within cognitive psychology and information processing theory. The shift of the research emphasis is related to examination of the discrepancy reason s between actual and optimal choice. It is important to form the corresponding reflexive control. The proposed approach is based on agent’s choice simulation metho d-ology. This methodology is developed by extending classical decision-making models using formalisms concepts of psychol-ogy and sociology. The methodology involves description criteria for used terms and corresponding measures. The apparatus of fuzzy and rough sets is used to create these measures. Introduced measures can be assessed by observing the agent’s be-havior. The author introduces the definitions for functional properties that characterize the choice and behavior of the agen t. He also forms a selection model using subjective views on the choice situation.
Keywords: multiagents systems, agent, decision-making model, choice situation, modeling
Visitors: 10153

8. Metamonitoring system for high-performance computing environment [№2 за 2014 год]
Authors: Oparin G.A. (oparin@icc.ru) - Institute of System Dynamics and Control Theory SB of the Russian Academy of Sciences; Novopashin A.P. (apn@icc.ru) - Institute of System Dynamics and Control Theory SB of the Russian Academy of Sciences, Ph.D; Sidorov I.A. (ivan.sidorov@icc.ru) - Institute of System Dynamics and Control Theory SB of the Russian Academy of Sciences, Ph.D; Skorov V.V. (oparin@icc.ru) - Institute of System Dynamics and Control Theory SB of the Russian Academy of Sciences;
Abstract: The paper discusses an approach to the creation of metamonitoring system for high -performance computing environ-ment intended to solve resource-intensive tasks, and including a lot o f loosely-coupled multivendor computing resources. The basic purpose of this system is to provide the operator of a computing environment with structured and relevant information about a ny computing node status (CPU time usage, RAM, IO -system, network usage, etc.), current equipment state, values of the sensors (tem-perature of processors and motherboards, room temperature), engineering infrastructure devices status and others. The princip al dis-tinctive feature and novelty aspect of the developed metamonitor ing system includes creation of the universal software agents cap a-ble to collect data about state of different environment components from local monitoring systems, to unify and analyze these data, and if necessary to generate and execute automatic control actions directed on changing equipment working mode, including the shutdown in case of emergencies. Each agent of the meta -monitoring system is implemented on the same principles and includes fol-lowing subsystems: data collecting subsystem, database subsy stem, expert subsystem, and control subsystem. The approach is based on web-technologies and multi-agent technologies usage, methods of expert systems creation, methods of decentralized processing and the distributed storage of data. The developed system was successfully approved in the Supercomputer Center of ISDCT SB of the Russian Academy of Sciences.
Keywords: expert systems, multi-agent technology, the automated information system, distributed computing environment
Visitors: 8802

9. Intelligent control system of a 7 degrees of freedom robot-manipulator based on soft computing [№2 за 2014 год]
Authors: Ulyanov, S.V. (ulyanovsv46_46@mail.ru) - Dubna State University – Institute of System Analysis and Control, Dubna, Joint Institute for Nuclear Research – Laboratory of Information Technology (Professor), Ph.D; Nikolaeva A.V. (nikolaevaav@lenta.ru) - Dubna Internacional University for Nature, Socitty and Man; Barkhatova I.A. (i.a.barhatova@gmail.com) - Dubna Internacional University for Nature, Socitty and Man; Nozdrachev A.V. (ulyanovsv@mail.ru) - Dubna Internacional University for Nature, Socitty and Man;
Abstract: The problems of designing control systems using soft computing on the example of complex control object (redundant 7 degrees of freedom manipulator) are described. One of major settings and advantages of effective application of automated control system is achieving control purpose with maximal control quality on a high level and with minimal charge of practical resource of “Control object – regulator” system on lower operation level. The efficiency of used software for sp e-cific task of problem-oriented field depends on software intelligence level and task complexity. Th у paper showes in the ad-vantages and efficiency of concerned intelligent computing for effective solution of classical tasks (e.g. design of robust i n-telligent control systems). General methodology of robust fuzzy knowledge base design using special intell igent toolkit (Knowledgebase Optimizer on soft computing technology) is investigated in this article. The efficiency of intelligent control systems designed using soft computing technologies is described in comparison with control systems using constant co effi-cients of regulator. A set of performance criteria adapted to concerned control object (robot manipulator with 7 degrees of freedom) is introdused to estimate control systems work according to required accuracy characteristics. To demonstrate inte l-ligent control performance quality, a wide range of internal and external unpredicted situations is described.
Keywords: unexpected situation, soft computing technology, fuzzy controller, intelligent control system
Visitors: 10164

10. Quantum computing in intelligent robust control system design for 7 degrees of freedom redundant robot-manipulator [№2 за 2014 год]
Authors: Nikolaeva A.V. (nikolaevaav@lenta.ru) - Dubna Internacional University for Nature, Socitty and Man; Barkhatova I.A. (i.a.barhatova@gmail.com) - Dubna Internacional University for Nature, Socitty and Man; Ulyanov, S.V. (ulyanovsv46_46@mail.ru) - Dubna State University – Institute of System Analysis and Control, Dubna, Joint Institute for Nuclear Research – Laboratory of Information Technology (Professor), Ph.D;
Abstract: The problems of designing control systems using soft and quantum computing on the example of complex con-trol object (redundant 7 degrees of freedom manipulator) are described. A self -organization strategy for a knowledge base of one-type fuzzy controllers using quantum computing technologies is considered. Application of intelligent computing and quantum self-organization algorithm allows reaching control purpose in unexpected situations. It it reached due to i mproving robustness level of intelligent control system in the problem-oriented field. An important result of intelligent control systems design is a possibility of implementing quantum algorithms and quantum computing in typical (not hybrid quantum) defau lt configuration hardware processor for robot manipulator as the control object. Quantum language description of most classical (semistructured and difficult to solve using classical logic) engineering tasks allows finding an effective solution. Positive re-sult of intelligent soft computing technologies application based on quantum computing toolkit led to a new alternative a p-proach. It is using intelligent quantum computing technologies in tasks of control optimization. The paper shows the efficiency of designed intelligent control systems using soft and quantum computing technologies. To estimate control systems work the authors introduce a set of performance criteria. This set is adjusted to concerned contr ol object (7 degrees of freedom robot manipulator) according to required accuracy characteristics. A particular focus is on robot manipulator behavior that is controlled by proposed intelligent control systems in une x-pected situations connected with internal noise in complex control object.
Keywords: unexpected situation, soft and quantum computing technologies, quantum fuzzy inference, intelligent control system
Visitors: 10348

| 1 | 2 | 3 | 4 | Next → ►