Software & Systems

Articles of journal № 2 at 2013 year.

Order result by: Public date | Title | Authors

1. Анализ и автоматизация процессов управления и контроля за распространением вредителей и болезней какао [№2 за 2013 год]
Authors: F. Lempogo, W. Brown-Acquaye, Окаи Д.Э.Я., A.N. Chokhonelidze, Lempogo F.0., Brown-acquaye W.0., Okai G.E.
Visitors: 8900
The paper analyses the process of complex application development that uses GIS-technologies to manage and control cocoa pest and disease spread in a West African country: Ghana. The complex program captures information about detected pests and diseases. This information can be examined by agricultural extension officers on farms, warehouses and plantations of different zones and districts. This information is also published on the web and can be accessed by stakeholders (Govern-ment Ministries and Agencies, non-governmental organization etc.) through an interactive web-based GIS interface (interac-tive map).

2. VMASTER – environment for probabilistic multiagent system development and verification [№2 за 2013 год]
Author: Лебедев П.В.
Visitors: 11675
This paper considers the program system for description, editing, modeling and verification of probabilistic multi-agent systems (PMAS). The architecture of PMAS and semantics of its work is briefly outlined. Considered program system allows creating several intelligent agents, setting their parameters with various data types and operating message ex-change between agents with set probabilistic communication channels. At every step of work of the system every agent per-forms the program described on some C-like procedural language. There is syntax of this language, its similarity and distinc-tion with C-language, description features of PMAS probabilistic transitions and message exchange between intelligent agents. Therefore, states of agents and probabilistic actions create probabilistic space of states modeled by Markov chains. Markov chains verification is probability calculation of system properties performance defined by special logics formulas (temporal). Verification is performed by model checking method. The algorithm of Markov chain construction for PMAS and some algorithms of the derived Markov chain for temporal logics PCTL and PLTL and for its modifications are realized in the program system. Syntax and semantics of these logics are briefly described. The example of PMAS description in the program system and examples of PMAS verification for some concrete formulas are presented.

3. Automated prediction calculations of operating costs of surface ships [№2 за 2013 год]
Authors: V.V. Kochnev , Рожин К.Ю., Tretyakov O.V.
Visitors: 12343
The article is devoted to the automation of operating costs prediction calculations of surface ships by develop-ing software in order to increase the efficiency of ships logistics. There are algorithms and information support for operating costs prediction calculations at different stages of the life cy-cle and in different operating regimes of a surface ship. The article determines the composition of program modules and their functions, how they function, the structure of necessary normative-reference and operational information. Software tools fa-cilitate calculations for different types of main propulsion plant ships. The task of prediction calculations of surface ship operating cost is solving by technical services while cost estimation of the shipyard overhaul, the cost of fuel and lubricants supply, technical and naval stores supply and other supplies. Software and infoware development to automate the operating costs prediction calculations can balance available operat-ing resources and plans of the ship using with regard to its technical condition.

4. On the question of automation of the appraisal process of students trained on tactical simulators [№2 за 2013 год]
Authors: Довженко В.Н., Реньш С.Ю., Shustova N.А.
Visitors: 10282
The article shows the importance of tactical simulators for of Navy officers training. It emphasizes the issue of actions appraisal of the students trained on tactical simulators. It also suggests the approach to the creation of such a total-parametric estimator. Each simulator task can be split into elementary steps to achieve an output. All performance parameters of preparedness of the students training on simulator are divided into two types. The first type is critical evaluation determin-ing the success or failure of the problem solution by students. The second type includes appraisal determining the overrange from norms or rules. Obtaining an integral estimation with these parameters is presented in the model of final appraisal gen-eration on the simulator based on the graph-analytical method.

5. The algorithm and program for calculating the sands stress-strain state under cyclic loading [№2 за 2013 год]
Authors: Миронов В.А., Софьин О.Е.
Visitors: 15011
A numerical model of non-cohesive soil deformation calculating is developed On the basis of modern elasticplastic Dafalias-Manzari model, implicit Euler method and the iterative Newton-Raphson scheme. The numerical implementation of the model on the computer is executed. The simulation of the sand behavior at a monotonic and cyclic loading is carried out. The calculation data and experimental information for sand with various compactness were compared. The computational model definitely describes sand behavior with monotonic and cyclic loading. The results of the theoretical prediction of the sands stress-strain state under monotonic and cyclic loading show the efficiency of the computational algorithm. They allow recommending this prediction for finite-element analysis for geotechnical problems solving.

6. Analisys and automation of monitoring and control process of cocoa pests and diseases spread management and control [№2 за 2013 год]
Authors: Лемпого Ф., Браун-аквей В., Окай Д.Э.Я, Chokhonelidze A.N., Лемпого Ф.0., Браун-аквей В.0., Окай Д.Э.
Visitors: 8166
The paper analyses the process of complex application development that uses GIS-technologies to manage and control cocoa pest and disease spread in a West African country Ghana. The complex program captures information about detected pests and diseases. This information can be examined by agricultural extension officers on farms, warehouses and plantations of different zones and districts. This information is also published on the web and can be accessed by stakeholders (Government Ministries and Agencies, non-governmental organization etc.) through an interactive web-based GIS interface (interactive map).

7. Architecture of sea rescue automation facilities set [№2 за 2013 год]
Authors: Дорош Н.В., Kuryatnikov V.V.
Visitors: 8961
The article considers the issues of architecture of sea rescue automation facilities set. The automation facilities set must provide data support for task solutions by operation control of Navy search and rescue aid while preparing and reali-zation of sea rescue. The article describes typical software and hardware complexes as structural elements of automation fa-cilities set needed to create architecture. A facilities set architecture is hierarchical multi-pillar system which covers control posts (search and rescue posts) on different levels and emergency rescue units according to their areas of responsibility. The article determines types of objects for automation facilities accommodation, total amount of typical software and hardware complexes and quantity of complexes of each type needed to create a system.

8. Using domain-driven approach to advanced software systems design [№2 за 2013 год]
Author: Karpov A.V.
Visitors: 9784
Domain-driven design implies that software systems architecture development is based on domain model. When designing classic two-tiered advanced software systems, using domain-driven design often leads to functionality distribution throughout different programs. This functionality is connected with the same objects of one domain model. Adaptation of software system to changed conditions can require central user access to all the information about the do-main model objects. This central user access is provided when forming same information functional space of the system. It can be formed us-ing special interaction between program components of the system. There is a program-portal to use the information functional space for providing central user access to information about the general-system objects and processing functions. Proposed method allows using main advantages of service-oriented architecture in classic two-tiered advanced software systems.

9. Problems of choice in valuation activities [№2 за 2013 год]
Authors: Telnov V.P., Myshev A.V.
Visitors: 7396
In evaluation practice even the world\'s largest consulting companies use primarily expert procedures when fac-ing with the choice of many alternatives. The existing mathematical apparatus is not used sufficiently. The article shows how the theory of choice can work effectively in a specific area of professional activity. An algorithmic approach to the solution of problems encountered in valuation practice is proposed. The approach is based on a context-independent choice functions and binary relations of a special form. Specifically, the logical compositions of Pareto relations and lexicography relations are considered. They model a wide class of choice situations that appear in a real valuation activity. For context-dependent choice the dominant figure of the set of alternatives is considered as a fairly omnibus test of choice optimality. The proposed approach implementation can reduce the assessments subjectivity and minimize the role of expert proce-dures. The number of examples for common tasks of the evaluation practice is given. The approach has been tested on a number of major projects on the federal scale. Appropriate software is distributed freely (at no charge).

10. Information and expert systems for sapphire production optimization [№2 за 2013 год]
Authors: Малюков С.П., Клунникова Ю.В.
Visitors: 6630
The development of sapphire production technological process mathematical models and optimization algo-rithms are described. The models of sapphire growth parameters influence on crystals quality are presented. Sapphire crystals temperatures distribution simulation was made. The heat and physical properties influence on sapphire crystallization process is considered. The method of final volumes on unstructured grid is used for simulation. This model allows defining the tem-perature gradients in the crystals formation zone. It also can be used for thermal fields’ description when growing crystals from various materials. The estimation scale of parameters influence on crystals quality was developed. It allows comparing the real sapphire production parameters with the parameters on the developed scale. This scale, suggested mathematical mod-els and algorithms were used for sapphire production information and expert systems. These systems allow defining the in-fluence pattern on crystals growth, choosing the sapphire crystals optimum growth modes, presenting the crystals quality cat-egory forecast. The research results and software give full information about sapphire production peculiar properties and can be used effectively for technology optimization.

| 1 | 2 | 3 | 4 | 5 | 6 | 7 | Next → ►