Software & Systems

Articles of journal № 4 at 2013 year.

Order result by: Public date | Title | Authors

11. The interpreter of descriptions of expert systems for psychological and physiological diagnostics [№4 за 2013 год]
Authors: Ермаков А.Е., Найденова К.А.
Visitors: 12236
The article describes the developed problem-oriented interpreter of expert systems descriptions, which is an integral part of the automated technology of creating expert systems for psychological and physiological diagnostics, providing practical use of these systems: maintaining an inspects database, diagnostic procedures implementation, on-screen display requests to the user with diagnostic tools and information messages, step-by-step data processing, control of the survey course, diagnostic conclusion output, the displaying survey results on the monitor screen and printing device in tabular and graphical form as well as their storage and view in the database. The descriptions interpreter also allows implementing diagnostic-training systems for trainings of students and young professionals. Functioning of the descriptions interpreter is based on the proposed formalized model of solved diagnostic tasks and the complex of diagnostic conclusion output models. The article describes the automated technology of creating expert systems of psychological and physiological diagnostics, characterizes this class of expert systems, describes the computational procedures and operations supported by the descriptions interpreter, the varieties of used diagnostic conclusions inference rules. The article also describes the concept of creating the descriptions interpreter, its basic functionalities and the structure at the functional subsystems level. The article discusses the software implementation features of the descriptions interpreter developed in the Microsoft Visual Basic 6.0 Service Pack 6 programming language and intended for working in Windows XP operating system.

12. Application of first-order logic in assumption-based truth maintenance systems [№4 за 2013 год]
Authors: Vagin V.N., Зарецкий Д.С.
Visitors: 7208
The paper is devoted to application of the first-order logic in assumption-based truth maintenance systems (ATMS), performing a function of the reasoning support system. The formal ATMS description and the basic ATMS algorithm are stated briefly. Main shortages of the proposition-based basic ATMS algorithm are shown. Three different ways (ground atoms, valid predicates, unions of ground atoms related to the predicate) of expansion for ATMS application areas to the first-order logic are presented. Strong and weak sides of used methods are illustrated by examples. Necessary adaptations of the basic algorithm to use new possibilities are viewed. Possibility of various applications of considered methods are studied. In conclusion, main weak and strong sides of using the predicates or propositions in truth maintenance systems are summarized.

13. Using the remote access Matlab package to solve details taxonomy problems [№4 за 2013 год]
Author: Shestakov A.M.
Visitors: 10910
The paper shows the efficiency of the remote taxonomy via the Internet for details to be worked on metal-cutting equipment. For this purpose, a Web-based application had been developed using Matlab tools that is used for different mathematical problems, and Matlab Web Server (MWS) tool. Matlab Web Server enables Matlab applications working in the Internet, using the technology in the form of HTML-pages and forms. The Internet technology allows making applications developed in Matlab available on the Web. As a consequence, the user does not required to know how to use Matlab, as well as to install Matlab on a local computer. The user works with a network resource that is running the processes for Matlab. The technologist can use the information obtained as a result of Web-application work and make a decision to develop a single process for all the details of the same class. Final details classification is displayed graphically as the dots in space. Each dot represents a single detail. Same colour-grade dots, as well as the accumulation of points form a common workflow processing. Developed web application can be used to classificate details according to technologies via the Internet, and then to process them in modern engineering enterprises. Access to the web application can be divided into a number of users working simultaneously and independently.

14. Performance investigation of self-configuring genetic algorithm for spacecrafts' control systems effective variant choice [№4 за 2013 год]
Authors: Semenkin E.S., Семёнкина М.Е., Попов Е.А.
Visitors: 11137
The work of the spacecraft control system is modeled with Markov chains. The models for the technological and command-programming control contours are developed. The way of the calculation of the control contour effectiveness indicators (readiness coefficients and others) is described. The problem of choosing an effective variant for a spacecraft's control system is formulated as a multi-scale optimization problem with algorithmically given functions. Special self-configuring genetic algorithm is suggested to use for choosing effective variants of spacecraft control systems as it is very reliable, has no requirements to settings determination and parameter tuning and requires no expert knowledge in evolutionary optimization from end users (aerospace engineers). The high performance of the suggested algorithm is demonstrated by solving optimization problems. It was shown that the algorithms require the examination of small part of the search space to find solution that greatly accelerates the process of search for a solution of the problem of choosing effective variants of spacecraft control systems.

15. Ha-cluster of data collection system [№4 за 2013 год]
Author: I.Yu. Artemov
Visitors: 12169
The article describes the high available cluster (failover cluster) architecture of the software system for automation of data collection procedures. This architecture allows implementing software systems that provide service availability with needed guarantee. The article describes all parts of the software system such as server side and client side software. The paper is focused on server side components of the system, that works in the hight available cluster. The author gives the description of method for distribution packets between different failover cluster nodes. This method eliminates the use of the central failover cluster nodes. The basic idea of the method is that client software automatically selects first available cluster node using special procedure discribed in the article. The author also discusses algorithms for the distribution of packets between cluster nodes within the server software.

16. Cae technology of vertical continuous nonferrous feedstock casting [№4 за 2013 год]
Authors: Zhiganov N.K., Fomina, E.E., Вольнов И.Н.
Visitors: 6906
Vertical continuous casting is one of the main technologies of manufacturing nonferrous metal and their alloy products. Understanding physical phenomena of casting, cooling and crystallizing processes is the key condition of technological development. Casting process designers deal with CAE systems to research physical phenomena during metal casting and crystallizing and to optimize process-dependent parameters. Such systems at the development stage can replace a physical model experiment with a computing experiment to save time and material resources. The article describes a CAE system for modelling vertical continuous and discrete-continuous casting of nonferrous metal and alloy cylindrical feedstock, optimizing process-dependent parameters and visualizing crystal growth process. The first section of the article reviews casting packets developed to date and investigates the scope of their application. The second section describes a CAE casting process flow diagram and details system modules – a data input module, a mesh generation module, a thermal process calculation module, an optimization module, a microporosity module, a chemical component distribution module and a crystallization module. The results of computing experiments conducted with the system developed and researching the influence of technological parameters on the cooling and casting channelling processes are presented.

17. Simulation exercise with operator errors control [№4 за 2013 год]
Authors: Кобзев В.В., Сизов Ю.Н., Скипидарников А.С., Шилов Д.К.
Visitors: 9715
The article offers the approach to automation of operator's error control when simulation training based on a model method. In this case the model is the algorithm written based on operating instructions. Deviations of an operator from the model are his errors to be minimized as a result of training. The following types of errors are considered: missing an operation, missing an operation considering its quality, relocation and adding operations. Detection of errors in serial and branching structures is shown in the article. The branching structures are described using logic operations of comparison, functional checks operations and performance monitoring operations. Complex operation "Performance-Check" is considered as an example of brunching algorithm. Functional structure of training mode structure is presented. The issues are scrutinized considering a formation of model solution of training task and comparison of training process with model solution. Formation of model solution is performed by model solution editor that is a built-in utility of training task editor. In case the model solution is present in a current training task, it is offered to form automatic evaluation of task fulfillment by comparing actual training process with this solution. General evaluation of task fulfillment, determined by evaluation of single actions, is formed according to the worst of existing partial estimates, taking into account total limit of time allotted for fulfillment of training task.

18. Cooperative biologically inspired algorithm for unconstrained optimization [№4 за 2013 год]
Authors: Ахмедова Ш.А., Semenkin E.S.
Visitors: 11936
Heuristic biologically inspired stochastic algorithms of real-parameter multiextremal functions optimization are called “swarm algorithms” and based on an imitation of a collective behavior of different kind of animals. They have demonstrated their effectiveness in many tests and are regularly used in practice. The main problem in these algorithms’ application is the necessity of many parameters fine tuning that predetermines performance effectiveness. Moreover, it is impossible to know in advance which algorithm is better fitted to the problem in hand. This article suggests an approach that simplifies making a decision of the fittest algorithm choice. The approach is based on a competition and cooperation of biologically inspired algorithms when they compete for a common resource and at the same time cooperate sharing useful information. The suggested cooperative approach is described in the article, performance comparison results on a representative set of test functions are presented and results of the approach application in weight coefficients adjustment for artificial neural networks based classifiers are given.

19. Locally defined planning disciplines [№4 за 2013 год]
Author: Грюнталь А.И.
Visitors: 7577
The paper deals with systems, considering as a number of tasks, which are to be executed in a predefined period of time. Planning function points to a particular task of a system which is to be executing in a current moment. Planning discipline is a rule prescribing a specific planning function to a system. Planning function, although it is a global object, could be considered locally, i.e. it could be built based on local conditions but not the whole scope of data, describing all tasks in the past and in the future (according to a current moment). Inherited and locally defined disciplines are under consideration. The paper clarifies corresponding notions in a mathematical manor. Inherited disciplines are those which depend on system state in critical points, i.e. moments when new tasks appear. A theorem establishing coincidence of algorithmic and axiomatic definitions of inherited disciplines is formulated. Locally defined discipline prescribes to a system its planning function in a way that depends on local state of the system in an arbitrary moment of time. A theorem is formulated which determines a structure of an arbitrary locally defined discipline. The theorem states that a locally defined discipline is inherited in relation to a locally defined discipline applied to systems with a single critical point.

20. A method for automated synthesis of virtual organizational structures for regional security management problem-solving [№4 за 2013 год]
Author: A.V. Masloboev
Visitors: 10706
Thу article proposes a method for synthesis of problem-oriented virtual organizational structures for regional security management problem-solving in crisis situations. The automated synthesis is based on object relations and object attributes analysis of the developed formal conceptual model of multi-agent information-analytical system for regional security management support. The method can use loosely-structured incomplete heterogeneous input data about the analyzed crisis situations that are considered within the region development life-cycle. The method is oriented on agent-based implementation. For decision-making process information support and regional security subjects functioning coordination the method provides dynamic formation of the problem-oriented cognitive agent coalitions and virtual networks of resources based on formalized descriptions of security control solving problems within multi-agent virtual environment.

◄ ← Preview | 1 | 2 | 3 | 4 | 5 | 6 | Next → ►