Mathematical Machines and Systems. 2016 #2
ABSTRACTS
COMPUTER SYSTEMS
UDC 623.764
Spatial Grasp Language for distributed management and control / P.S. Sapaty // Mathematical Machines and Systems. – 2016. – N 2. – P. 3 – 29.
A full description of a high-level language for solving arbitrary problems in heterogeneous, distributed and dynamic worlds, both physical and virtual, will be presented and discussed. The language is based on holistic and gestalt principles representing semantic level solutions in distributed environments in the form of self-evolving patterns. The latter are covering, grasping and matching the distributed spaces while creating active distributed infrastructures in them operating in a global-goal-driven manner but without traditional central resources. Taking into account the existing sufficient publications on the approach developed, the paper will be showing only elementary examples using the Spatial Grasp Language and key ideas of its networked implementation. Fig.: 1. Refs.: 35 titles.
UDC 681.513.7
Sampling method against to the vanishing gradients effect in recurrent neural networks / A.M. Chernodub, D.V. Novytsky // Mathematical Machines and Systems. – 2016. – N 2. – P. 30 – 43.
Vanishing gradients effect is a common problem for recurrent and deep neural networks. In this paper we construct a method to estimate a contribution of each training example to the norm of the long-term components of the target functions gradient. We propose a novel universal technique that makes the norm of the gradient stay in the suitable range. To check our framework experimentally we use a special synthetic benchmarks for testing RNNs on ability to capture long-term dependencies. Our recurrent network can detect links between events in the (temporal) sequence at the range 100 and longer. Таbl.: 2. Figs.: 5. Refs.: 26 titles.
UDC 621.391
Estimation of communication services quality on the basis of fuzzy inference system in the logical basis of neural networks / A.I. Goyushov // Mathematical Machines and Systems. – 2016. – N 2. – P. 44 – 55.
It is offered an approach to the estimation of the telecommunication service qualities based on application of the fuzzy inferences realized into the logic basis of feedforward of neural network. The basic fuzzy estimation model offered within this approach in a necessary measure considers recommendations of the International Telecommunication Union in the part concerning functioning of networks of package switching on the base of the IP-protocol. Таbl.: 4. Figs.: 9. Refs.: 7 titles.
UDC 519.712.3
Monitoring of results and reports of FAO UN on the basis of fuzzy cognitive model /
E.T. Aliyev // Mathematical Machines and Systems. – 2016. – N 2. – P. 56 – 71.
It was developed and described a typical fuzzy cognitive model to assess the level of food security for countries where there is no guaranteed regular access of the population to high-quality food needed for an active and healthy lifestyle. As basis, it is selected cognitive map, which covers quite a large range of factors affecting to the food security, approved by Strategic Framework of FAO UN, 2014–2017. To formalize the causal relationships between these factors it used limited sets of fuzzy logic rules. Таbl.: 1. Figs.: 2. Refs.: 10 titles.
INFORMATION AND TELECOMMUNICATION TECHNOLOGY
UDC 004.03
Improving time-critical code performance with JNI / V.V. Kazymyr, I.I. Karpachev // Mathematical Machines and Systems. – 2016. – N 2. – P. 72 – 77.
Analysis of usage of JNI for mobile devices with OS android is provided. JNI-workflow is explored including usage of code examples which realizes Java calls C and C++ parts of programs. Improving of performance due to replacing time-critical parts of code with JNI analogs is shown. Tabl.: 2. Figs.: 2. Refs.: 4 titles.
UDC 528.9
Typical errors in GIS information resources, rules and peculiarities of their identification in the field of forestry (through the example of the “GIS-Lisoproekt” system) /
V.A. Lytvynov, S.Ya. Maystrenko, K.V. Khurtsilava // Mathematical Machines and Systems. – 2016. – N 2. – P. 78 – 90.
A classification of standard rules of consistency of GIS information resources components is proposed. The set of validation rules of topological dependency of forest inventory database mapping is defined. Attention is given to analysis of detecting hidden errors of GIS information resources in forestry. The direction of development of the specialized module diagnostic error through the example of “GIS-Lisoproekt” system is argued. The analysis of the possibility of detecting hidden errors of GIS information resources in forestry was done and the direction of development of the specialized module diagnostic error through the example of “GIS-Lisoproekt” system was determined. Таbl.: 2. Figs.: 5. Refs.: 10 titles.
UDC 004.652 + 001.893
Conceptual basis for database scientific experiment creation and database observation / O.V. Kovalenko // Mathematical Machines and Systems. – 2016. – N 2. – P. 91 – 101.
The paper presents an approach to the creation of specialized databases oriented to regulate and save significant amounts of information used in the course of scientific observation and experiment. The functions of such database were presented. The subject area database was described. Building a model of the object of observation was presented. The problems of classification were indicated as well. Conceptual database model of the experiment was designed. The example of a possible implementation of the database physical experiment was shown. This database is now under development. The conclusions were done. Таbl.: 1. Figs.: 2. Refs.: 9 titles.
UDC 004.9:004.75
The composite method of forming the element base of corporate integrated information system / Yu.M. Lysetsky, V.Ye. Snytiuk // Mathematical Machines and Systems. – 2016. – N 2. – P. 102 – 108.
The problem of determining the optimal alternative – an element or sub-system in the design of integrated corporate information systems is considered. Its features in the implementation of two approaches: the formalization and solving the problem of optimizing the objective function and the construction of a collective ranking of alternatives are determined. Their advantages and disadvantages are identified, experimental verification is conducted. Tabl.: 2. Refs.: 7 titles.
UDC 004.9:504:519.6
Creating a computational grid for geological models based on freely available GIS-data / O.V. Khalchenkov // Mathematical Machines and Systems. – 2016. – N 2. – P. 109 – 115.
The problem of creation of coordinate-linked grids based on freely available GIS data was investigated. Comparison of the main methods of use of Google Earth contours as basic data for creation of a computational grids was executed. New tools, for transformation of the Google Earth polygons to an entrance format of the GMSH program are presented. Basic recommendations for the choice of a method in applied tasks are made. Таbl.: 1. Figs.: 7. Refs.: 7 titles.
SIMULATION AND MANAGEMENT
UDC 004.942
The formal structure of technological problems cases in the process of building of their solutions based on restrictions / V.D. Melnyk // Mathematical Machines and Systems. – 2016. – N 2. – P. 116 – 127.
There was defined and formally described the expected classes of the technological problems cases with the evaluation structure in the form of weights (by the way of sums calculation for weights prescribed for the sets, systems and hierarchies of constraints correspondingly and with introduced conception of maximal and minimal sums); in the form of evaluation with probability coefficients relevancy for actual case of the technological problems, by the initial supposition for the system to fix the violation and satisfaction only for the relevant constraints. There was projected the way to treat the probabilistic evaluations for the levels of the set’s, the system and the hierarchies of constraints by the means of summarized value calculation. Case decision of technological problem is calculated as a maximum evaluationvalue of a probabilistic relevance because this decision is fully meet the expectations of the automated intellectual system. Refs.: 8 titles.
UDC 53.01:53.05+519.2
Measurement of the statistical stability intervals of physical processes / I.I. Gorban // Mathematical Machines and Systems // Mathematical Machines and Systems. – 2016. – N2. – P. 128 – 137.
For the physical processes of long duration it is proposed a new measurement technique of the statistical stability intervals that provides more accurate assessment of statistical stability intervals with respect to the average and the standard deviation. Advantages of the new techniques are demonstrated on the particular example. Figs.: 7. Refs.: 9 titles.
UDC 519.233.5
Mathematical models status obtained using regression analysis / S.G. Radchenko // Mathematical Machines and Systems. – 2016. – N 2. – P. 138 – 147.
Conditions for obtaining statistical models using regression analysis have been analyzed. It is shown that the problems for solving are incorrectly posed. The methods of problems solution have been stated: the experiment design and regularization. An example of obtaining models in multifactor and multi-criterion problems has been considered. Таbl.: 4. Refs.: 13 titles.
QUALITY, RELIABILITY AND CERTIFICATION OF COMPUTER TECHNIQUE AND SOFTWARE
UDC 007; 681.3
Calculation of reliability and safety of manufacturing processes with potential hazards elements / O.M. Demydenko, V.S. Smorodyn, O.I. Sukach, Yu.V. Zherdetsky // Mathematical Machines and Systems. – 2016. – N 2. – P. 148 – 155.
The technique of evaluating the reliability of production processes with potential hazards elements, taking into account the structural complexity of the technological cycle is stated. The technique is based on the usage of the unit probability-algebraic simulation and allows you to define a reliable embodiment of the production processes, taking into account the dynamics of the reliability of its elements. Figs.: 5. Refs.: 3 titles.
MEMORY AND HISTORY
UDC 682 + 531.6; 519
Academician T.M. Eneev and his achievements in space exploration, computing methods and mathematical modeling / G.B. Yefimov, M.V. Yefimova // Mathematical Machines and Systems. – 2016. – N 2. – P. 156 – 163.
This paper regards the works of Academician T.M. Eneev, a veteran of Keldysh Institute of Applied Mathematics, in the field of space research, programming starting with the first soviet computers on space mechanics, software packages and methods of calculating the trajectory and control of spacecraft flying, mathematical modeling of the dynamics of complex systems in cosmogony and biology. Figs.: 2. Refs.: 20 titles.
UDC 519.7+518.7
A.A. Ukhtomsky and E.S. Bauer – two approaches to simulation of living / O.Yu. Zueva, K.B. Zuev // Mathematical Machines and Systems. – 2016. – N 2. – P. 164 – 172.
We compare two biological approaches of the first third of XX century, which could serve as a base of cybernetic models. The first approach is the theory of dominant by A.A. Ukhtomsky (1875–1942), and the second one is the «Theoretical Biology» by Ervin Bauer (1890–1937). The philosophical bases of these two concepts were quite different, but they both formulated the similar conclusions, and proposed the similar schemes of the physiological basis of human activity. Refs.: 20 titles.
