Software & Systems

Articles of journal № 3 at 2015 year.

Order result by: Public date | Title | Authors

1. The optimal control software environment for a nonlinear system class via quadratic criteria [№3 за 2015 год]
Authors: A.P. Afanasiev, S.M. Dzyuba, Emelyanova, I.I.
Visitors: 8196
The paper presents a distributed software environment for a feedback optimal control synthesis. The control is performed by one class of nonlinear systems via quadratic criteria. This software environment is based on a special method of successive approximations. The successive approximation method convergence is guaranteed in the case of a single optimal control. The software implementation is performed by means of symbolic computation in a distributed environment.

2. Automation of complex systems simulation modeling in a distributed computing environment [№3 за 2015 год]
Authors: Feoktistov A.G., Basharina O.Yu.
Visitors: 8259
One of the most effective approaches to the analysis of complex systems is simulation modeling. The process of building simulation program, which adequately reflects the object of study, is a non-trivial task and requires high mathematical and programming skills from its developer, especially when it comes to a parallel or distributed program. Thus, there is a need for high-level tools for automation of this process, that will maximize the potential of high-performance IT-equipment and provide building a complex technological chain: from task formulation to model creation, then to software development and to carrying out a computational experiment. The article considers new software tools of complex system modeling based on the use of distributed computing environment. The authors represent the technology of software tools implementing to solve the research tasks of complex systems. Modeling is carried out using multiversion distributive calculations that allow reducing the time for task solution. As an example of distributive computing environment the authors take computer clusters based on the personal computers from educational and scientific establishments. The article represents the examples of software tools implementation in the process of important practical tasks solution. The principles of work, the technology of application, means and ways of implementing the above mentioned instruments provide the wide range of using their functional possibilities for complex systems simulation modeling in different fields of human activity.

3. Automation of student knowledge assessment in the ECOLE elearning system [№3 за 2015 год]
Authors: Muromtsev D.I., Kozlov F.A.
Visitors: 8983
The paper concerns assessment of students' knowledge based on their learning results in ECOLE system. ECOLE system is an online eLearning system, whose functionality is based on ontologies and semantic technologies. Stu-dents' activity in the system is collected and analysed automatically in the system to give students recommendations on sub-ject terms, concepts or domains they know excellent or poor, to advise them which educational program to choose and which scientific activities in the university are close to the courses they passed best. The system's educational content comes from various sources: linked open data, tests published on the Web, video lectures and tests manually uploaded by the university staff. ECOLE system allows interlinking subject terms from different courses and domains and calculates several educational rates: subject term knowledge rate, total subject term knowledge rate, domain knowledge rate and subject term significance rate. All of these rates are used to give recommendations for a student about the activities he has to undertake to pass a course successfully. A term knowledge rate is calculated using predefined sets of metrics and algorithms. The paper describes the concept of subject term importance in the learning process. Term importance and a total subject term knowledge rate allow calculating the student’s knowledge rates for different subject fields and learning courses.

4. Active logic and logic programming: integration of the concepts [№3 за 2015 год]
Authors: Fominykh I.B., Vinkov M.M., Pozhidaev A.K.
Visitors: 7480
The article discusses the integration of active logic and logic programming concepts. Active logic combines several formalisms of so-called reasoning in time, that are considered not as a static sequence of statements, but as a process taking place in time. The principles in such logical systems are relevant in solving complex management tasks in a hard real-time mode. These tasks can be characterized by existing situations when exceeding allowed response time to what is happening in the external environment event can lead to catastrophic consequences, not a performance gradual deterioration. The concept of logic programming is to define the semantics of non-monotonic formalisms in terms of sets of liters, rather than more complex structures like Kripke as in other non-monotonic systems. This fact has a beneficial effect on the computational complexity of logic programs. As a result of combining the principles from these concepts, the authors obtained non-monotonic formalism that meets the concept of active logic. It seems simpler to implement and has the best characteristics of computational complexity comparing to other currently existing systems of active logic. The paper describes procedural and argumentation semantics for the proposed formalism. Unlike other systems of argumentation, in this semantics the relationships between the arguments are developing in time.

5. The algorithm and software implementation of the simulation model of the column jet-emulsion reactor gravity separator [№3 за 2015 год]
Author: Sechenov P.A.
Visitors: 10316
The article shows a development technology to create a simulation model of physical and chemical interaction of dispersed particles of the charge and reaction products floating in the stream of carrier high temperature gas. This tech-nology is based on the comparison of basic concepts and finished tooling simulation solutions (Vensim, GPSS, Simula, AnyLogic, MATLAB, etc.) with object oriented programming languages (Delphi, Visual Basic, Visual C#, and ActionScript 3.0). In order to accomplish the task, an object-oriented programming language ActionScript 3.0 was used. The paper shows the structure and the algorithm of the simulation model software implementation for a column jet-emulsion reactor (JER) gravity separator: it shows the data exchange between the main module and program classes (condensed particles class, gas particles class, class of calculations, a schedules display class and a time display class). Data exchange between additional classes is not performed. Therefore, if there is a need to modify one class, then the class itself changes, and if the instantiating class parameters changed, then this class callsite from the main module also changes. For each class the paper shows the main features, purpose, input and output parameters, functions. The main module functions are considered in more detail. They include the interaction and invocation of procedures and functions inside the main module (elastic and inelastic colli-sion of two particles), as well as with the functions and procedures of selected classes (creating and deleting particles from the classes of condensed matter and gas particles, checking the intersection of particles in the class of calculations). The au-thors present the resulting simulation model of the column JER gravity separator with description of the following possibili-ties: input parameters, observation of the particle motion in the gravity separator and display of statistical data and graphs in real time, research on the model (the influence of the initial parameters: the number and ratio of supplied particles of ore and carbon, the extent and rate of particles dissolution, the initial velocity of a gas suspension flow) and optimal parameters selec-tion.

6. Bioreactors database [№3 за 2015 год]
Authors: Vorobyova E.S., Ivanov S.I., Menshutina N.V.
Visitors: 8477
Nowadays, much attention is paid to the development of biotechnological processes, an important element is the bioreactor. Taking into account the development of modern industry, the number and variety of produced bioreactors is constantly increasing. In order to systematize industrial bioreactors data using Microsoft SQL Server 2008 R2, the “Bioreac-tors” database was created. It systematizes the devices themselves as well as their basic technical and operational characteris-tics. For easy operation of the developed software it is necessary to provide the most comfortable user interaction with the program. Thus, using the Microsoft Visual Studio 2010 software package, an application was created. It represents a database graphical interface. The application allows you to obtain information about the bioreactors, manufacturers, tools, automation and other data in tables with the option to sort information. The tables in the database were developed for entering infor-mation about new models, companies and measuring instruments, and for correcting and updating existing information. A part of the software windows are fitted out with graphical regions to visualize the design of a biotechnological apparatus. As the result, the software product includes an interface adapted for users without knowledge of SQL. A software module was created for automatic data enrichment of the software product. It allows automatically analyze, collect and classify infor-mation from the web sites of manufacturers of bioreactors to fill and update existing databases. The approach, which was used in the module, is based on the DOM tree analysis, as well as on the combination of such methods as HtmlAgilityPack and Data Extracting SDK.

7. The application issues of a cad subsystem for [№3 за 2015 год]
Authors: Do Xuan Cho, R.I. Solnitsev
Visitors: 8624
Emitted to the air harmful impurities not only destroy wildlife and have a negative impact on human health, but are also able to change atmosphere properties, which can lead to undesirable environmental and climatic consequences. Therefore, nowadays the problem of reducing pollutants has become especially important. This problem can be solved by a closed control system “Nature–Technogenic” (CCS NT), which ensures minimization of pollutants from technogenic objects by regulating cleaning aggregates for these pollutant sources. The content of pollutants in air flow is largely influenced by the meteorological conditions, such as the speed and wind direction (V), temperature (T°), humidity (W), pressure (P). They affect the accumulation and dispersion of harmful substanc-es. In this connection, the problem of control in CCS NT is continuous provision of meteorological support. Therefore, it is necessary to develop the devices of meteorological support (DMS), including blocks of accumulation, meteorological data processing, input into the control block for treatment units in order to compensate unwanted deviation from given criteria of sustainability and quality of CCS NT as the ACS. The solution of this task is impossible without development and application of CAD DMS. The article describes the process of creating and testing CAD DMS subsystem, which is a necessary tool to design CCS NT.

8. Creation of automated control system for unmanned spaceflights in near-earth space [№3 за 2015 год]
Authors: Arepin Yu.I., Doronkina A.N.
Visitors: 10486
Nowadays a creation of automated control systems for unmanned space missions in near-Earth space, for a spacecraft or a group of them is relevant. One of the central problems in the mission control is ballistic and navigation support, including setting targets, developing methods and algorithms to solve them, a complex of computational procedures, which are used later in the spacecraft flight control. One of the tasks of ballistic and navigation support is to determine the parameters of spacecraft motion in space (current and projected). Navigation gives you the ability to define and correct a space mission, to provide guidance, convergence, disorbit, etc. The analysis of the operation processes and the problems of creating automated control systems for mission control is impossible without a mathematical model or an aggregated set of components’ models, which reflect the properties of the modeling object. One of the main problems of spaceflights is a technical exploration of space, designed to strengthen the defense power of the Russian Federation and national security. Implementation of the pressing problems in this area for the Russian Federation is possible to base on the creation of spacecraft groups using highly elliptical orbits. In this regard, the article discusses the urgent task of building the satellite systems of continuous coverage of the Earth in highly elliptical orbits. This problem is reduced to finding the extremum of a function of a finite number of parameters, the function must have the meaning of a geocentric angular distance. The number of parameters is large, the criterion function is composite. To facilitate the analysis and simplify the calculations, the authors suggest the variants of problem dimension reduction, as well as the parameters of the operating effect of spaceflights automated control systems.

9. A genetic algorithm for designing main transitions in Capp of shaft forging [№3 за 2015 год]
Authors: Kanyukov S.I., Konovalov A.V.
Visitors: 9116
The application of the statements from the theory of developing genetic algorithms to solve the problems of computer-aided design of forging preparatory transitions demonstrates that the suggested approach seems reasonable for solving problems in CAPP of shaft press-forging, which are difficult to formalize. The paper describes developed genetic algorithm for computer-aided design of shaft press-forging main transitions. The standard procedure of the main forging transitions is exemplified by rotor-type shaft forging. The authors discuss the algorithm of forming the geometry of the steps on blanks in each transition; introduce a concept of relatively displaced volume as a value that correlates with the duration of forging. On the basis of this concept, the condition for the forging process termination in each transition is formalized. The genetic algorithm for computer-aided design of main transitions of shaft press-forging is developed on the principles of the theory of probability and mathematical statistics. The algorithm has the properties of self-improvement and auto-adjustment to manufacturing conditions. Thus, it simplifyes CAPP system user work and creates preconditions for a successful replication of the shaft press-forging system at various enterprises.

10. Geocoding sites in Quantum Gis with the help of Yandex databases [№3 за 2015 год]
Authors: Stepanova L.A., Zaytseva E.N.
Visitors: 13295
The article describes the coordinate and attribute characteristics of spatial data of the Public cadastral map posted on the official website of the Russian Register and on Yandex.Maps. It was revealed that the number of spatial sites on Yandex.Maps exceeds the number of sites on the Public cadastral map by 2-3 times, but the Public cadastral map includes the objects that are registered in the State Real Estate Cadastre. The article shows a geocoding procedure definition and proves its applicability in creating departmental GIS project in the freely distributed open source software Quantum GIS (QGIS). The article also describes the possibility of using the API component Yandex Maps in the QGIS open software. There is a description of batch geocoding performance by the RuGeocoder module using Yandex database. The authors analysed the correctness of the geocoding procedure, identified the causes of incorrect geocoding and offered the ways to ad-dress them. The paper presents the results obtained during geocoding of 74 sites of institutional real estate. This analysis showed that 67 addresses have been decoded correctly, and for 7 sites the geocoder returned the coordinates of the street cen-ter, since the building's address does not exist in Yandex.Maps. In conclusion, the article presents the main findings for further use of the obtained cartographic material, and also de-scribes the need for geocoding to update sites on the map with minimal time consumption.

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