UDC 681.3 Development of accelerators for specialized calculations / Yakuba A.O., Komukhaiev Ye.G., Riabchun S.G. // Mathematical Machines and Systems. - 2010. - N 2. - P. 10 - 20.
Modern high performance computing is increased by the application of new hardware of a general purpose, their software perfection and, increasingly, by the application of accelerators of specialized calculations. The features of five basic types of such accelerators are analysed in the article. An occurrence of units of accelerators in clusters of Kyiv of the NAS of Ukraine (two types are in the Main Astronomical Observatory, one type is in the Institute of Cybernetics named after V. Gluskov) is noted. Tabl.: 2. Figs.: 7. Refs.: 8 titles.
UDC 004.052 Diagnostic system for machine of electron-beam welding / Lytvynov V.V., Hryhoriev I.Yu. // Mathematical Machines and Systems. - 2010. - N 2. - P. 21 - 31.
In the paper are given theoretical and practical bases of construction of the diagnostic system for the machine of electron-beam welding. The architecture of the diagnostic system is presented. Attention is paid to basic algorithms for solving the tasks of monitoring the state of machine, active diagnosis, forecasting, recovery of incomplete or distorted information, as well as to the operation principles of the system of making decisions support. Figs.: 7. Refs.: 7 titles.
UDC 004.451.24, 004.451.62
Modelling OpenComRTOS tasks interaction / Mezhuiev V., Verhulst E. // Mathematical Machines and Systems. - 2010. - N 2. - P. 32 - 41.
The model of tasks interaction in Open Communication Real Time Operation System (OpenComRTOS) is developed and discussed in the paper. The main feature of the proposed approach is the using the intermediate hub entity for decoupling interacting tasks. Different temporal semantics (waiting, non waiting and waiting timeout) of tasks synchronization mechanism is introduced. Emerging the effects (i.e. synchronisation or the absence of it) in the case when the tasks actions have different temporal semantics is analysed. The different approaches for expanding the hub model with using TLA and Hoare triplets are proposed. Tabl.: 1. Figs.: 2. Refs.: 9 titles.
UDC 519.766.23, 519.765
About representation of episemions in the set of inverse transformations / Beliaiev A.K., Klymenko V.P. // Mathematical Machines and Systems. - 2010. - N 2. - P. 42 - 49.
The problem of determining a correspondence between an abstract research model and the quantum computation is being investigated in this paper. There was developed a method of creation of functional and logical links of interaction between abstract objects in the set of inverse transformations for calculus of episemions (abstract objects of genotypic language). Refs.: 7 titles.
UDC 621.8: 681.5
Dynamic associative memory, based on open recurrent neural network / Riznyk O.M., Dziuba D.O. // Mathematical Machines and Systems. - 2010. - N 2. - P. 50 - 60.
Mathematical model of open dynamic recurrent neural network, that hasn't got hidden neurons, is described, and concept of "freezing" of its dynamic attractors is proposed. Solution of generalized stability equation is found and non-iterative method for training of this type of networks is developed. On the basis of this method a new model of neural associative memory is created, estimations of attraction radius and memory capacity are obtained. Size of dynamic attractor's trajectory is estimated and possibility of managing of dynamic attractors by changing level of influence of different feedback components is shown. Software model of dynamic associative memory is developed, and experimental confirmation of theoretical analysis is obtained. An analogy between dynamic attractors and neural activity patterns is remarked. Figs.: 6. Refs.: 17 titles.
UDC 004.8.032
Artificial Neural Network as an estimation instrument of model adequacy with adaptive class of exactness / Liakhov O.L., Alioshin S.P. // Mathematical Machines and Systems. - 2010. - N 2. - P. 61 - 66.
The work is devoted to the problem of quantitative estimation of reliability and exactness of functioning of model of the Complex Socio Technical System with the adaptive choice of the class of exactness on the basis of accounting of features of subject domain. It was established that the integral error at the output of Artificial Neuron Network (ANN) during training should be measured in each epoch, using the Smirnov's consent criterion, and assigned the statistical level of meaningfulness. In this situation the ANN acquires a feature of measuring instrument with the changeable class of exactness. It allows features of the subject domain of the system to be taken into account, a calculation of sign of completion of teaching to be automated, and an application domain of statistical criteria to be spread at choice of the parameters of teaching of the Artificial Neural Network. Refs.: 14 titles.
NEW INFORMATION AND TELECOMMUNICATION TECHNOLOGIES
UDC 330.43
About one approach to definition of the oil-well efficiency / Rzaiev R.R., Kuliiev R.A. // Mathematical Machines and Systems. - 2010. - N 2. - P. 67 - 75.
The method of definition of oil-well efficiency in current and predicted terms is offered on the base of production utility time series. Identification of production utility function of an oil-well is carried out in the conditions of the fuzzy environment and input-output monitoring at the level of "soft measurements". Semistructured time series of three aggregated geological production factors influencing an oil-well functioning are forecasted by three layer feedforward neural networks. For each predicted triplet of these factors the production function of oil-well utility is identified. Tabl.: 1. Figs.: 3. Refs.: 4 titles.
UDC 506.530
Algorithm of prognostication of development of burst fire situation at potentially hazardous object. An effect of the situation on environment / Kuzmenko H.Ye., Khominich V.S. // Mathematic Machines and Systems. - 2010. - N 2. - P. 76 - 85.
One of the possible approaches to the evaluation of possible burst fire situations at the potentially hazardous objects is examined. The algorithms of prognostication of development of such situations and them influence at environment are used in this approach. Tabl.: 1. Fig.: 1. Refs.: 9 titles.
UDC 681.3
Some methods expediting the processing dictionary of the permitted words during automatic identification and correction of user errors / Lytvynov V.A., Maistrenko S.Ya., Oksanich I.M., Khodak V.I. // Mathematical Machines and Systems. - 2010. - N 2. - P. 86 - 93.
Features, algorithms and the potential effectiveness of methods of dictionary processing of the permitted words during automatic identification and correction of user errors are examined. The methods are based on well-organized checking of words and arbitrary search of variations of a distorted word; sequential ("direct") search and distortion of dictionary words. Quantitative estimations and practical recommendations on the applicability of the methods are provided. Tabl.: 2.Figs.: 3. Refs.: 4 titles.
UDC 681.3.01
Segmentation of кirlian-images with elements of an interactive / Tugaienko O.M., Romanenko T.M. // Mathematical Machines and Systems. - 2010. - N 2. - P. 94 - 98.
Today the programs, used in the кirlian-diagnosis for the processing of hands glow кirlian-images, operate with the images of individual fingers. Sequential shooting is used to obtain the images of individual fingers, that takes a lot of time and it is unallowable in case of using the method as a rapid method of diagnosing the functional state of man. There is a device that can take a snapshot of all fingers at once reducing time of shooting. The article describes the algorithm of segmentation of hand's kirlianogram, which is developed for analyzing obtained kirlianogram by the existing programs. Figs.: 3. Refs.: 3 titles.
LARGE SYSTEM SIMULATION AND MANAGEMENT
UDC 519.85
Construction of lineаr approximation of region of admissible decisions of placement problem of non-oriented geometrical objects / chub I.A., Novozhilova M.V. // Mathematical Machines and Systems. - 2010. - N 2. - P. 99 - 107.
An optimization placement problem of non-oriented polygons on a strip is considered. A linearization of approximation procedure for restriction functions is proposed on the base of studying additional peculiarities of the problem. As a result, we can present the placement problem of non-oriented objects as a set of linear programming problems with a prescribed accuracy. Figs.: 5. Refs.: 5 titles.
UDC 29.03.77: 519.722
Properties of simulation of circulating diphase flow / Herega O.M., Vyrovoi V.M. // Mathematical Machines and Systems. - 2010. - N 2. - P. 108 - 115.
Computer simulation of a biphasic circulating air flow was considered. The questions of influence of chaotic level and persistence of the flow on the structure of model clusters are studied. The restoring method of the flow properties by the structure of particles imprints on the walls of channel and the methodic of quantitative estimation of degree of chaotic tracks ordering are offered. Tabl.: 2. Figs.: 4. Refs.: 23 titles.
UDC 007; 681.3
Methods of improving of traffic capacity of sections of the railway system on the basis of imitation modeling / Ratobylska D.V. // Mathematical Machines and Systems. - 2010. - N 2. - P. 116 - 121.
Use of imitation modeling of movement on a section of the railway system for the purpose to analyze and optimize of traffic organisation and increasing the capacity of investigated section is proposed. Refs.: 4 titles.
UDC 004.31, 538.945
The basiс principles of constructing medical nanorobots / Voitovych I.D., Zolot A.I., Khodakovskyi M.I. // Mathematical Machines and Systems. - 2010. - N 2. - P. 122 - 133.
The paper is devoted to investigating of the basic principles of constructing of medical nanorobots. The approaches for realization processes of constructing of medical nanorobots by automated systems are discussed. Technical requirements for medical nanorobots hardware are listed. Figs.: 3. Refs.: 22 titles.
UDC 004.82 (045)
Logico-linguistic model as a method of display the syntactical features of text information / Vavilenkova А.І. // Mathematical Machines and Systems. - 2010. - N 2. - P. 134 - 137.
It is suggested using a logico-linguistic model as a method of display the syntactical features of text information. There are listed and justified the rules for their forming and also are shown an algorithm of creation of all components of such models in this paper. Figs.: 2. Refs.: 3 titles.
QUALITY, RELIABILITY, AND CERTIFICATION OF COMPUTER TECHNIQUE AND SOFTWARE
UDC 621.3.019.3
To problem of hardware implementation of redundant structures. Reservation of digital functional blocks / Fedukhin O.V., Mukha Ar.A. // Mathematical Machines and Systems. - 2010. - N 2. - P. 138 - 143.
The problems of the technical implementation of fault-tolerant redundant structures by reserving at the level of the functional blocks, which are the digital combinational circuits, are examined. The influence analysis of the logical functions of restored organ on the reliability of the structure was conducted. There was proposition to exercise the implementation of the principle of multiversion designing by the synthesis of combinational circuits in the different bases of logic elements. Figs.: 8. Refs.: 4 titles.
UDC 19 621.3.019:658.562
To assessment of levels of the boundary-controlled reliability index/ Strelnikov P.V. // Mathematical Machines and Systems. - 2010. - N2. - P. 144 - 147.
If point estimation of controllable average operating time to failure is given in the engineering specifications, the acceptance Тα and rejection Тβ standards of controllable reliability index will be established in the work. Fig.: 1. Refs: 4 titles.
UDC 681.5
Dependability as a fundamental generalizing and integrating approach / Mudla B.H., Yefimova T.I., Rudko R.M. // Mathematical Machines and Systems. - 2010. - N 2. - P. 148 - 165.
The main principles and conditions of formation and stages of development of the fundamental theory and practice of the generalizing and integrating concepts of dependability were presented after the leadthrough the first joint conference of two scientific schools of J. von Neumann and N. Wiener. The basic aspects of development of theoretical principles and results of applied researches of integration processes of reliability (fail-safety), fault-tolerance and dependability of information-control computer systems (ICCS) are demonstrated. Refs.: 72 titles.
UDC 004.052
Complexing the formal methods of the development and analysis of fault-tolerance Event-B and FME(C)A / Tarasiuk O.M., Horbenko A.V., Kharchenko V.S. // Mathematical Machines and Systems. - 2010. - N 2. - P. 166 - 177.
The paper analyses existing obstacles problems and potentialities of applying Event-B formal technique when developing fault-tolerant computing systems. We discuss an integration of the Event-B and technique of failure modes and effect analysis FME(C)A to provide an approach for identification of possible failures, estimation of their criticality, as well as optimal choice and formal proving of fault-tolerant and recovery techniques. The basic procedures of transition from Event-B model of correct system to Event-B model of fault-tolerant system is also given. Figs.: 3. Refs.: 19 titles.
DISCUSSION NEWS
UDC 004.7
Ethical and legal aspects of the Internet content control / Hrinchenko T.O. // Mathematical Machines and Systems. - 2010. - N 2. - P. 178 - 192.
The article presents an analysis of the main factors causing a problem of the Internet content control. The complexity problem is caused by an interlacing of political, moral and legal stimulus to existence of control. Currently, there are two trends in the organization of the monitoring of the Internet content: rigid and liberal. Rigid or excessive control can result in braking technological and cultural progress in the development of a society. On the other hand the cooperation and freedom of using the information promote the progress of mankind. The coordinated position of the international community can prevent or, at least, reduce the negative trends in the development of the Internet. Refs.: 17 titles.
