COMPUTER SYSTEMS
UDC 623.764 Withstanding asymmetric situation and threats in distributed dynamic worlds / Sapaty P.S. // Mathematical Machines and Systems. - 2012. - N 1. - P. 3 - 12.
A high-level ideology and technology will be revealed that can effectively convert any distributed system (manned, unmanned, or mixed) into a globally programmable spatial machine capable of operating without central resources. Compact mission scenarios in a special high-level language can start from any point, runtime covering & grasping the whole system or its parts needed, setting operational infrastructures, and orienting local and global behavior. The approach offered can be particularly useful for quick reaction on asymmetric situations and threats the world is facing, paving the way to massive use of cooperative robotics and gradual transition to unmanned systems for solving critical problems in unpredictable environments. Figs.: 14. Refs.: 16 titles.
UDC 004.31, 538.945, 530 145 About geometric classification of abstract-register transformations / Belyaev А.K., Klimenko V.P. // Mathematical Machines and Systems. - 2012. - N 1. - P. 13 - 15.
The properties of physical describing crystalline structure models and transformations abstract-register systems are considered. The possibility to provide the geometric classifications of the transformations system based on the crystal lattices symmetry groups is shown. Tabl.: 1. Fig.: 1. Refs.: 8 titles.
UDC 681.3 On the question of pattern perception and identification in artificial intelligence systems / Yashchenko V.O. // Mathematical Machines and Systems. - 2012. - N 1. - P. 16 - 27.
The question of pattern perception and identification in the artificial intelligence systems was regarded in this article in the context of bionic approach. A description of a sensor visual system perception and information preprocessing device - human eyes was represented. The working hypotheses were put forward "About working the recognizable image out to the same size in the field of fovea" and "About the mechanism of pattern recognition in the higher layers of the neocortex of the human brain". The description created on the basis of working hypotheses of hardware and neural models of visual sensory organ system was represented. The neural network of recognizable image contour detection is described. Figs.: 13. Refs.: 8 titles.
UDC 681.3 On the question of conversion and parallel input of boundary conditions solving boundary value problems in a single computational flow / Ledaynkin Yu.Ya. // Mathematical Machines and Systems. - 2012. - N 1. - P. 28 - 35.
The idea of creating a unified computational flow solving the problems of mathematical physics is developed. A proposed method involves parallel input using the form of splines of boundary conditions, the coefficients calculation of the nodal functions, the solution for with data processing at the level of complex structures in the specially designed processor with scalar multiplier in the processor element. Refs.: 6 titles.
NEW INFORMATION AND TELECOMMUNICATION TECHNOLOGY
UDC 004.9:556.3
Technology of extensional data processing by GIS tools for using in distributed hydrological models / Boyko O.V. // Mathematical Machines and Systems. - 2012. - N 1. - P. 36 - 44.
Collecting and processing technology of geographical and geomorphologic extensional data using geoinformation systems for future usage in creation of distributed hydrological reservoir models is suggested in the article. The basic stages of technology such as identification of reservoir contour, building of river network and finding the volumes of model parameters from digital maps are described. On the example of reservoirs of Uzh river and Styr river an inspection of technology for creation of hydraulic system was carried out. Received model is used for the reconstruction of the flood sink. Tabl.: 2. Figs.: 8. Refs.: 15 titles.
UDC 004.9:504
Development of the cross-platform version of a decision support system for radiation accidents JRODOS / Yevdin E.О., Zheleznyak M.I., Trybushny D.M. // Mathematical Machines and Systems. - 2012. - N 1. - P. 45 - 59.
Implementation of a decision support system on nuclear emergency respond JRODOS based on the latest information technologies using software in open codes is introduced. The article describes architecture and information technologies which were implemented during system design. The methods and software tools of external computational models integration on base of unified data types are described. Models are integrated as plugins. In system implementation several approaches, which reduce the amount of used memory, speed up and ensure the stability and resilience of the system are proposed. Figs.: 4. Refs.: 14 titles.
UDC 004.5
Technology and tools implementation of hyperparametric (kvaziarbitrary) queries to the thematic database / Lytvynov V.A., Oksanich I.M., Khodak V.І. // Mathematical Machines and Systems. - 2012. - N 1. - P. 60 - 68.
The role and the place of the hyperparametric (kvaziarbitrary) user queries to the thematic DB in the information-analytical systems are discussed. A technology for constructing such queries and the corresponding software tools are proposed. The examples of the user interface constructing queries and screenshots are given. Tabl.: 5. Figs.: 8. Refs.: 3 titles.
UDC 519.765:519.767:004.93
Singular value decomposition of the matrix of semantic characteristics in the algorithm of hierarchical text arrays clusterization / Pavlyshenko B.M. // Mathematical Machines and Systems. - 2012. - N 1. - P. 69 - 76.
The hierarchical clusterization of the text documents in the field of semantic concepts formed as a result of singular value matrix decomposition of the text frequencies characteristics of semantic fields has been investigated. It is shown that the cluster structure can represent documents classification by different characteristics particularly text authorship. Figs.: 5. Refs.: 8 titles.
UDC 004.9
The research of consolidated data quality in data space / Shahovska N.B. // Mathematical Machines and Systems. - 2012. - N 1. - P. 77 - 88.
The quality characteristics of consolidated data in data spaces are formalized in the article. A concept utility data from data sources was introduced. A conceptual definition of quality consolidated data in data space was introduced. Metalanguages of data sources were developed and matches between their data structures were given. Architecture subsystems quality assessment of consolidated data was introduced. Figs.: 10. Refs.: 10 titles.
UDC 004.9
Data dependency detection / Pshenychnyi О.Yu. // Mathematical Machines and Systems. - 2012. - N 1. - P. 89 - 97.
The worked out algorithm of data search dependencies in the object subsets of investigated dataset is described in the article. This algorithm allows effectively reveal associative dependencies based on specified quality criteria. Application of developed data dependency detection method is possible in many specializations and allows finding new data patterns which improves work and decisions quality of specialists. Tabl.: 1. Fig.: 1. Refs.: 4 titles.
UDC 007; 681.3
Comparative analysis of variants of the transport network connections using «TRANZIT» software tools / Maksimei I.V., Sukach O.I., Yeskova O.I. // Mathematical Machines and Systems. - 2012. - N 1. - P. 98 - 105.
The composition of «TRANZIT» software tools directed on the modeling of transport systems connection operating under the accidental exposures is described. The results of tools using for selection of the rational option of transit traffics of the selected direction are presented. Figs.: 4. Refs.: 4 titles.
SIMULATION AND MANAGEMENT
UDC 519.2: 530.1: 600.1
Diverging sequences and functions / Gorban I.I. // Mathematical Machines and Systems. - 2012. - N 1. - P. 106 - 118.
Well-known concepts and theorems connected with the limits are systemized. For description of diverging sequences and functions, a number of new concepts and definitions, in particular concepts of limit points spectrum, convergence to spectrum of limit points, functions and density of distribution of the limit points, boundaries of distribution function etc. on are proposed for description of nonconvergent sequences and functions are introduced. The methods of hyper-random phenomena theory are the basis of proposed approach. Figs.: 6. Refs.: 9 titles.
UDC 629.735.05:621, 3(045)
Mathematical models for evaluation of operational readiness of periodically inspected electronic systems / Ulansky V.V., Machalin I.О. // Mathematical Machines and Systems. - 2012. - N 1. - P. 119 - 128.
This paper reports on a mathematical model for assessing the exploitation efficiency indexes of complex repairable avionics systems with combined redundancy structures. The structural functions of different types of redundancy of avionics systems are developed. Mathematical expressions of exploitation efficiency indexes are derived with taking account of the characteristics of faultlessness, maintainability, checking trustworthiness, and spare part system sufficiency. Tabl.: 1. Refs.: 13 titles.
UDC 004.94
Models of the verification emergency control plans on coal mines / Kazymyr V.V., Sira G.A. // Mathematical Machines and Systems. - 2012. - N 1. - P. 129 - 138.
Simulation models developed on E-net Modeling System (EMS) on the base of powerful formal apparatus E-nets allow predicting possible variants of technological process development of coal mines and perform the verification of the emergency control plans are proposed. Тabl.: 2. Figs.: 8. Refs.: 12 titles.
UDC 621.391
Investigation of the effect on the jamming throughput capability of radio communications with MIMO-OFDM technology / Zaitsev S.V. // Mathematical Machines and Systems. - 2012. - N 1. - P. 139 - 153.
The impact of jamming such as white Gaussian noise on communication systems with MIMO-OFDM technology is analyzed. New analytical expressions for calculating the throughput capability of radio communications means with MIMO-OFDM technology which take into account the probability of density distribution of the quadrature noise components are obtained. Figs: 9. Refs.: 12 titles.
UDC 004.94: 519.876.5
Simulation algorithm of Petri-object model / Stetsenko I.V. // Mathematical Machines and Systems. - 2012. - N 1. - P. 154 - 165.
The simulation of Petri-object model based on object-oriented technology and time delay stochastic Petri nets is regarded. The Petri-object model's simulation algorithm is developed. The implementation of the algorithm is created by means of Java-classes. Figs.: 6. Refs.: 9 titles.
UDC 004.82 (045)
Logical-linguistic models of the sentences as a method of comparing the text documents according to the content / Vavilenkova A.I. // Mathematical Machines and Systems. - 2012. - N 1. - P. 166 - 173.
The main methods of intelligent processing of text information were analyzed. The method of resolutions for searching logical coincidences in the sentences of natural language, represented in logical-linguistic models, was applied. The basic steps of the shingles method algorithm for comparing text documents according to the content were researched. A comparing method for the logical-linguistic models of textual information according to the content was proposed. Tabl.: 3. Refs.: 8 titles.
UDC 519.853
Using semidefinite optimization for complex systems modeling / Kosolap A.I., Peretyatko A.S. // Mathematical Machines and Systems. - 2012. - N 1. - P. 174 - 179.
Semidefinite relaxation of general quadratic problems is regarded and a new generalized simplex-method for solving this relaxation is used. The method is implemented on practice and numerous experiments was performed. These experiments show that the semidefinite relaxation is effective. Таbl.: 3. Fig.: 1. Refs.: 7 titles.
QUALITY, RELIABILITY, AND CERTIFICATION OF COMPUTER TECHNIQUE AND SOFTWARE
UDC 621.3.019.3
On the question of the quantitative characteristics of reliability of redundant computer systems / Fedukhin O.V., Pasko V.P. // Mathematical Machines and Systems. - 2012. - N 1. - P. 180 - 188.
The issues of evaluation reliability of redundant computer systems with different structural schemes of reliability are regarded. A basic model of redundant systems reliability using -distribution and systems classification on it basis is developed. Figs.: 3. Refs.: 4 titles.
UDC 621.3.019.3
To the estimation of DN-distribution shape parameter under the condition of a single failure / Strelnikov P.V. // Mathematical Machines and Systems. - 2012. - N 1. - P. 189 - 193.
In aprior estimation of the variation coefficient of the objects degradation process in order to access the shape parameter of the diffusion distributions less meaningful estimations of the variation coefficient, which leads to the reserve projected for this reliability should be taken. Таbl.: 2. Refs.: 4 titles.
MEMORY AND HISTORY
UDC 682+531.6, 519
D.E. Okhozimsky's works on the symbolic computing and computer programming / Efimov G.B., Efimova M.V. // Mathematical Machines and Systems. - 2012. - N 1. - P. 194 - 200.
The works of academician D.E. Okhozimsky, a veteran of Keldysh Institute of Applied Mathematics (IPM), on programming, beginning with the first soviet computers, on computer algebra, bundled software calculations and spacecraft control, motion control and perception of mobile robots are described. Refs.: 27 titles.
