UDC 621.391.1: 681.883.3 Detection and velocity measurement of sea ships on the base of images of their tracks / Gorban I.I., Tselishev I.Yu. // Mathematical Machines and Systems. - 2011. - N 1. - P. 9 - 19.
Based on analysis of moving sea ship images obtained by aerospace observation systems, mathematical models of their tracks are developed. For different models of tracks and noises, algorithms of detection and measurement of direction and velocity of sea ships, optimal by the criteria of maximum likelihood function, are synthesized. Near-optimum algorithm of adaptive multichannel image processing is proposed. It is shown that the noise stability of the system of near-optimum image processing is increasing with the growth of ship's velocity. Figs.: 8. Refs.: 4 titles.
UDC 681.513.7; 681.5.013
Application of Controlled Perturbation Method for Real-time Modification of Neuro Controllers / Dziuba D.O., Chernodub A.M. // Mathematical Machines and Systems. - 2011. - N 1. - P. 20 - 28.
New method for training neural networks to control dynamic objects is proposed. The method is based on estimation of local values of Jacobian of object's position on control signal by introducing a small perturbation in applied control. The method does not require any a priori information about controlled object and may be applied for adaptive control over objects of different nature. Experiments on application of the proposed method for recurrent neural networks training within control systems of different objects show advantages of such neuro control versus standard PID-control. Figs.: 9. Refs.: 17 titles.
UDC 519.2:612.822
Statistical simulation of dendrites of neurons / Bondarenko Ya.S., Turchyn V.M. // Mathematical Machines and Systems. - 2011. - N 1. - P. 29 - 38.
In the present study a probability model of the dendrite neuron is offered. The algorithm of dendrite modeling consists of modeling segment link, modeling the segment with and without subtrees, also modeling a subtree. The work of the algorithm and the adequacy of probability model of a dendritic tree are verified on the example of Purkinje cells from guinea pig cerebellar cortex. Figs.: 4. Refs.: 11 titles.
UDC 57.001
Biometric Person Identification Technology. Overview / Moroz A.O. // Mathematical Machines and Systems. - 2011. - N 1. - P. 39 - 45.
Biometric methods of identification of a person with their development and application in the modern world are considered. Examples of the development of biometric systems and their role in the universe of information technologies are given. Refs.: 12 titles.
NEW INFORMATION AND TELECOMMUNICATION TECHNOLOGIES
UDC 314:004.04
Solution of demographic problems by distributed information technology / Sapatyi P.S., Sugisaka M. // Mathematical Machines and Systems. - 2011. - N 1. - P. 46 - 60.
High-level technology for distributed control, capable of solving complex non-local problems of the support of elderly population and its further participation in social life, is presented. The approach integrates physical and virtual worlds within highly organized environment covering smart home, smart city, up to smart society and world. This united world can be effectively processed and controlled by parallel spatial automaton dynamically covering and integrating existing human and robotic resources for goal-directed cooperative actions and decisions. Figs.: 9. Refs.: 35 titles.
UDC 681.3
Intellectualized user interface of information retrieval system using keyword («search pattern») with the ahead prompt / Kuzmenko G.E., Litvinov V.A., Maystrenko S.Ya., Oksanych I.M. // Mathematical Machines and Systems. - 2011. - N 1. - P. 61 - 71.
A typical user interface for the task of sample (keyword) search with the ahead prompt is discussed. Mathematical models for estimation of interface complexity with the step-by-step and aim prompt are proposed. The results of simulations of the prompt formation are given. Tabl.: 10. Figs.: 3. Refs.: 7 titles.
UDC 004.9:504
Developing architecture of cross-platform distributed decision support systems based on mathematical models / Yevdin Ye.O. // Mathematical Machines and Systems. - 2011. - N 1. - P. 72 - 81.
Architecture of a decision support system based on mathematical models is introduced. The paper describes data structures allowing us to unify data communication and standardize the process of integration of models and their combination into chains. Models are organized in the form of plug-ins containing all dependent from them functionality. The system architecture assumes the existence of the three components, each capable of being deployed on a single computer in the network: management server providing the interaction of other components, client-side with graphical user interface for data collection and visualization, and computational engine for execution of mathematical models and database servers. Figs.: 4. Refs.: 12 titles.
LARGE SYSTEM SIMULATION AND MANAGEMENT
UDC 004.89
Uncertainty and causal principle of optimization of fire monitoring systems / Zemlianskyi O.M., Lytvynov V.V., Snytiuk V.Ye. // Mathematical Machines and Systems. - 2011. - N 1. - P. 82 - 89.
In this paper, the problem of designing and optimization of fire monitoring systems is considered. The cause-effect principle of optimization of such systems, according to which their reliability and efficiency should depend on quantity of possible victims and scale of property loss, is offered. The decision making technology elements for the design of fire monitoring systems, with the use of such principle, and also modeling results obtained on the basis of composition of Soft Computing methods, are developed. Figs.: 5. Refs.: 10 titles.
UDC 004.9:504:519.6
Using parallel computations in meteorological model WRF / Kovalets I.V., Guziy O.M. // Mathematical Machines and Systems. - 2011. - N 1. - P. 90 - 95.
Capabilities of parallel algorithms for improving efficiency of the meteorological model WRF are investigated. The method of domain decomposition is studied theoretically and experimentally. An automated system of parallel calculation of independent meteorological scenarios is presented. Figs.: 3: Refs.: 4 titles.
UDC 621.9:001.8
Formalization of setting multifactor experimental research / Radchenko S.G. // Mathematical Machines and Systems. - 2011. - N 1. - P. 96 - 102.
The paper deals with setting experimental research from general systems positions. The requirements to stable (robust) experiment plans, stable structures of multifactor statistical models and stability of models coefficients, have been formulated for the first time. Examples of successful use of the developed methods of correct solution of multifactor regression problems are presented. Refs.: 9 titles.
UDС 681.3;504.75;004.75
First Crimean experimental Grid-creation and the first results from exploitation / Khramov V.V., Sudakov O.O., Kononov M.V. // Mathematical Machines and Systems. - 2011. - N 1. - P. 103 - 111.
Specifics of main problems of computer modeling in humanitarian and environmental studies is presented. Advantages of using Grid-cluster for parallel information processing in these areas are described. The choice of a strategy for the creation of a pilot computing Grid-cluster is substantiated. The proposed approach using cluster technologies and parallel information processing methods is experimentally proven to be effective for the given class of problems. Peculiarities of construction and first usage results of the computational Grid-cluster based on the proposed strategy are revealed. Tabl.: 3. Figs.: 4. Refs.: 19 titles.
UDC 531.37
Combined algorithm for recognition of the causes of diseases at patients / Shkulipa O.V., Rubliov B.V., Sheiman B.S. // Mathematical Machines and Systems. - 2011. - N 1. - P. 112 - 119.
Approaches to construction for recognition algorithm of the causes of diseases are shown in the article. A combined method to determine the causes of disease at a patient are proposed. A work of algorithms which have been used in model is considered, and step-by-step application of the algorithms in practice is demonstrated. Possibilities of using this method in practice are estimated. Tabl.: 4. Figs.: 3. Refs.: 5 titles.
UDC 539.172:543.522
Problem of real-time risk determination / Begun W.W. // Mathematical Machines and Systems. - 2011. - N 1. - P. 120 - 126.
A solution of the problem of real-time risk determination for highly hazardous objects is proposed. It is based on the results of object monitoring (inspections) according to a priori developed probabilistic model dependent on safety systems state, object facilities state, personnel preparedness state, technical documentation (procedures) state, and other external and internal factors. Refs.: 11 titles.
UDC 621.396
A simulation model for evaluation of the perceived quality of service for IP-telephony subscribers / Strjuk O.J., Yansons Y.V. // Mathematical Machines and Systems. - 2011. - N 1. - P. 127 - 134.
The growing importance of perceived quality of service (PQoS) as the objective function of network management is analyzed. A simulation model for evaluation of the PQoS parameters is presented. The IQX hypothesis for SPEEX voice codec is experimentally investigated. Tabl.: 2. Figs.: 3. Refs.: 20 titles.
UDC 519.85
Estimation of parametres of the equation of regress under the indistinct initial data / O.V. Seraja, T.I. Katkova // Mathematical Machines and Systems. - 2011. - N 1. - P. 135 - 140.
A technology of the regress equation parameters estimation where initial data represents indistinct numbers with known accessory functions is considered. A method of calculation of accurate values of the required estimates, based on the search of accurate solution for indistinct system of linear algebraic equations, is offered. Refs.: 4 titles.
QUALITY, RELIABILITY, AND CERTIFICATION OF COMPUTER TECHNIQUE AND SOFTWARE
UDC 621.3.019:658.562
Experimental evaluation of the reliability of products in a small number of failures / Strelnikov P.V. // Mathematical Machines and Systems. - 2011. - N 1. - P. 141 - 146.
The results of the analysis of existing methods and techniques of experimental reliability evaluation are presented. Methodologies for the assessment of reliability in low failure statistics based on the use of two-parameter probabilistic-physical models of reliability (diffusion distributions) are considered. Tabl.: 1. Figs.: 1. Refs.: 5 titles.
DISCUSSION NEWS
UDC 681.3
Biogenetic law of Haeckel and its role in revealing the mechanism of retransmission of natural laws during the process of creation and evolution of computer techniques. Рart 3 / Briukhovych Ye.I. // Mathematical Machines and Systems. - 2011. - N 1. - P. 147 - 153.
An answer has been obtained on how a human creates and evolves computer techniques by natural laws. The answer is in the action mechanism of the known Central Dogma of Molecular Biology (CDMB), which underlies the Haeckel's biogenetic law, and which became a new substantiation of correctness of assertions of this law. According to the law, a short and quick repetition (recapitulation) of the most important stages of the evolution of species (phylogenesis) is taking place by individual development of a person (ontogenesis). The recapitulation is determined by reproducing from RNA a copy of the genetic information, contained in DNA, without destroying the original, as a result of which a sequential lamination (accumulation) of genetic information occurs in DNA during the whole phylogenesis of species. A conclusion has been made that a human, creating and evolving the computer techniques, not realizing this, recapitulates phylogenesis from Homo sapiens into ontogenesis of Computer sapiens. Refs.: 9 titles.
UDC 004.052
How formal methods are formal? / Tarasiuk O.M., Horbenko A.V., Kharchenko V.S. // Mathematical Machines and Systems. - 2011. - N 1. - P. 154 - 167.
The paper analyses existing problems associated with the development and practical application of formal methods in the design and verification of software and computer systems. The classification of invariants is given in the paper. We specify a concept of the system of invariants and discuss a procedure of its synthesis and optimization. The changes in the software life cycle caused by applying formal methods Event-B and Model Checking are discussed. The directions of further research in this area are also given. Figs.: 3. Refs.: 24 titles.
