Mathematical Machines and Systems. 2015 #2
ABSTRACTS
COMPUTER SYSTEMS
UDC 623.764
Military Robotics: review, problems, possible solutions / A.O. Morozov, P.S. Sapaty // Mathematical Machines and Systems. – 2015. – N 2. – P. 3 – 19.
A review of а number of latest achievements in the area of military robotics is given, with main demands to management of unmanned systems formulated on the basis of their analysis. The IPMMS-developed Spatial Grasp Technology, to a great extent satisfying these demands, is briefed. Directly operating with physical, virtual and executive spaces, it uses high-level military mission scenarios self-spreading and covering the controlled systems in a super-virus mode, dynamically setting up their local and global behaviour. The technology can effectively support gradual transition to automated and fully robotic systems under unified command and control. Figs.: 24. Refs.: 29 titles.
UDC 519.6
Solving of initial-value problems in systems of ordinary differential equations on a multi-core computer with graphic accelerators Inpark / M.F. Yakovlev, T.O. Gerasymova,
V.M. Brusnikin // Mathematical Machines and Systems. – 2015. – N 2. – P. 20 – 27.
A hybrid algorithm of the Runge-Kutta 4-th order method intended for the solving of initial-value problems in systems of ordinary differential equations (SODE) has been developed and investigated. The paper deals with problems related to program implementation of algorithm on multi-core computers with graphic accelerators. The results gained during program implementation and testing of algorithm on multi-core computer with graphic accelerators Inparcom are presented; acceleration and efficiency coefficients for the proposed algorithm are determined as well. Таbl.: 1. Refs.: 5 titles.
UDC 004.2; 004.272.43
Application of FPGA for circuit realization of program modules of distribution applications for PIM-system / Yu.S. Yakovlev, O.V. Yeliseeva // Mathematical Machines and Systems. – 2015. – N 2. – P. 28 – 39.
Base positions and basic principles of scheme realization the units of distribution program are offered for the PIM-system with the use of FPGA, presented as DP1adapter (Distribution Program) to the computer. The flow diagram of adapter and constituents of its blocks is developed in a base CAD (computer aided design) of Xilinx with attachment to the distribution algorithm of the program of user offered by authors and to the proper his entrance and output signals. Таbl.: 3. Figs.: 6. Refs.: 3 titles.
UDC 528.06
Methods of selection of informative zonal images under the classification of hyperspectral satellite images / S.I. Alpert // Mathematical Machines and Systems. – 2015. – N 2. – P. 40 – 48.
In this article we considered and analyzed different methods for selection of the most informative and most useful spectral bands. It was considered Fisher criterion, its modifications and criterion function of information capability of spectral bands. It was proposed a new method to select spectral bands as well. This method is based on the concept of new modified criterion function of information capability of spectral bands. In this work we considered some examples using these criterion functions. It was shown, that the proposed new modified criterion function of information capability of spectral bands has advantages and gives more accurate results than other methods. Refs.: 15 titles.
INFORMATION AND TELECOMMUNICATION TECHNOLOGY
UDC 004.02:007
Competence model as a tool for estimation of state of IT-companies in university’s business centre / V.V. Lytvynov, M.V. Saveliev, I.S. Skiter, O.V. Trunova // Mathematical Machines and Systems. – 2015. – N 2. – P. 49 – 60.
This paper discusses the business center at the university as a mechanism for the transfer of new technology to industry. There are four types of tools proposed for IT-companies, among which the construction of models of competence. The concept of a competence model Start-Up and Spin-Off companies is formulated. An algorithm of a model of competence forming for Start-Up-companies is developed. It includes: mathematical modeling of the process of learning through cognitive maps, thus optimizing the process of formation of competence; detection algorithm list of the most sought-after competencies based on the method of paired comparisons; assessment of competence at the current time using features such as the level of formation of competences, the level of contribution to the discipline of competence, loss of competence. Таbl.: 2. Figs.: 2. Refs.: 12 titles.
UDC 004.02
The problem of planning contract execution and approaches to its effective solution /
S.V. Hrybkov, V.A. Lytvynov, G.V. Oliinyk // Mathematical Machines and Systems. – 2015. – N 2. – P. 61 – 70.
The peculiarities of the problem of planning contract execution in the field of delivery of services are considered. A mathematical model of the problem is proposed. An analytical review of possible methodological and technological approaches to its solution is performed. Fig.: 1. Refs.: 12 titles.
UDC 004.89, 51.519.2
Establishing a functional dependence between the occurrence of forest fires and the characteristics of solar activity based on DATA MINING / M. Radovanovych,
Ya.I. Vyklyuk, T.B. Leko // Mathematical Machines and Systems. – 2015. – N 2. – P. 71 – 84.
The work is dedicated to check of “heliocentric” hypothesis, according to which a significant part of forest fires caused by solar flares. The most important factors of the solar activity (including time delay) that cause forest fires were found in the study. The functional relationship between the characteristics of solar activity and the number of forest fires in the United States using fractal analysis and hybrid neural networks was develop. The obtained models allowed explain up to 47% of forest fires. Таbl.: 8. Refs.: 5. Refs.: 33 titles.
UDC 528.9
Space-temporal geodata, their representation and processing in tasks of planning and cartographic support of forest management / S.Ya. Maystrenko // Mathematical Machines and Systems. – 2015. – N 2. – P. 85 – 96.
The problems of selecting the type of space-temporal data model for an adequate description of the subject area are considered, a list of basic requirements for the formation of card materials is contained, the functional features of the system of planning and cartographic support forest management are described. Figs.: 12. Refs.: 14 titles.
UDC 004.519.7 (045)
Comparative analysis of natural language sentences according to its content /
A.I. Vavilenkova // Mathematical Machines and Systems. – 2015. – N 2. – P. 97 – 103.
The article proposes a method of comparative analysis of natural language sentences of arbitrary complexity, which is based on the construction of logic and linguistic models. In the presented algorithm the attention is focused on the stage of construction of invariant logic and linguistic models and their direct impact on the calculation of the percentage of coincidences. Таbl.: 4. Refs.: 12 titles.
SIMULATION AND MANAGEMENT
UDC 53.01:53.05+519.2
The statistical stability for low-frequency and band noises / I.I. Gorban // Mathematical Machines and Systems. – 2015. – N 2. – P. 104 – 112.
The statistical stability for low-frequency and band noises has been researched. It has been found out the conditions in which the violations of statistical stability with respect to average and standard deviation are essential. Figs.: 6. Refs.: 10 titles.
UDC 004.91
The scenario approach to the functional tasks modeling on the computer modeling complex / O.G. Dodonov, V.G. Putyatyn, S.A. Kutsenko, O.O. Yurasov // Mathematical Machines and Systems. – 2015. – N 2. – P. 113 – 129.
The article describes functional capabilities of the computer modeling complex under process modeling of automated control of aviation complex on the example of solution of complex functional task “Flight plan realization”. Figs.: 8. Refs.: 21 titles.
UDC 004.774.6
The method of formalization business processes of managing web-portals /
V.V. Kazymyr, M.V. Kharchenko // Mathematical Machines and Systems. – 2015. – N2. – P. 130 – 138.
The method of formalization business processes of managing web-portals proposes in this article. A conceptual model of the business process, which presented as a set of IDEF0 and IDEF3 diagrams, is a basis for constructing a formal model of the business process. The apparatus of control E-nets is used as the formal apparatus. The accordance between types of control E-nets transitions and types of junctions in IDEF3 notation describes in the article. Таbl.: 3. Figs.: 5. Refs.: 7 titles.
UDC 004.942:338
Multi-agent technologies of analysis and optimization of the sector of enterprise functioning / B.V. Mysnyk, V.Ye. Snytyuk // Mathematical Machines and Systems. – 2015. – N 2. – P. 139 – 146.
The problem of analysis and optimization of the sector of enterprise functioning was considered. It was proposed to use multi-agent technologies as modeling tools and decision support systems. It was identified the problems that accompany the modeling process. The models with production rules were built and the method of optimization based on changes in a variety of tasks, production, and enterprise management strategy was developed. Fig.: 1. Refs.: 7 titles.
UDC 519.863:001.8
An efficient method of optimization of complex systems and processes / S.G. Radchenko // Mathematical Machines and Systems. – 2015. – N 2. – P. 147 – 156.
The method of optimization of complex systems and processes in a form of random search of the surge type with ЛПτ uniformly distributed sequences is stated. The advantages of the method are presented. Examples of successful use of the method in solutions of real applied problems are given. Optimization with the use of trade-off principle according to Pareto is considered. Таbl.: 1. Figs.: 3. Refs.: 8 titles.
QUALITY, RELIABILITY AND CERTIFICATION OF COMPUTER TECHNIQUE AND SOFTWARE
UDC 623.6-523.8:623.4.017
Mathematical models of prediction of reliability index and durability of electronic and radio components based on failure data / V.V. Kostanovsky, O.D. Kozachuk // Mathematical Machines and Systems. – 2015. – N 2. – P. 157 – 169.
The mathematical models of reliability and durability of electronic and radio components using the superpositions of exponential and Weibull distribution, exponential and diffusion non-monotonic distributions, which allow to build a new mathematical models of reliability of electronic equipment, taking into account the sudden and gradual failures of electronic and radio components. Таbl.: 3. Figs.: 6. Refs.: 9 titles.
UDC 004.031.43
Ensuring the viability of the information in time under its processing in the DSS /
O.O. Kryazhych // Mathematical Machines and Systems. – 2015. – N 2. – P. 170 – 176.
The potential directions for the solution of the problems of maintenance of viability in time in systems of processing of the information in order to decision support under rapidly changing technological hazards are investigated in the paper. On the basis of a systematic approach the function of time under the development of the system or of its failure is regarded. The mathematical apparatus of research of a problem is presented. Conclusions about the possible use of the investigated question were made. Refs.: 9 titles.
