Mathematical Machines and Systems. 2011 #4
ABSTRACTS
COMPUTER SYSTEMS
UDC 681.3 The theory of artificial intelligence (Conceptual issues) / Yashchenko V.О. // Mathematical Machines and Systems. - 2011. - N 4. - P. 3 - 19.
According to the bionic approach, the article describes, the conceptual issues of the theory of artificial intelligence as a field of knowledge that examines patterns of the construction and operation of intelligence systems based on the multidimensional neural-like growing networks. The general theory of artificial intelligence includes the study of neural-like elements and multidimensional neural-like growing networks, temporary and prolonged memory, study of the functional organization of the "brain" of the systems with the artificial intelligence, about the sensing system, modeling system, motor system, conditioned and unconditioned reflexes, reflex arc (ring), motivation, purposeful behavior, about "thinking", "consciousness", "unconscious and artificial personality is formed as a result of training and education". Figs.: 10. Refs.: 14 titles.
UDC 681.3
Study of parallel algorithm versions of Floyd-Warshall for SMP- and MPP-architectures / Pogorily S.D., Trybrat M.I., Vitel D.Yu. // Mathematical Machines and Systems. - 2011. - N 4. - P. 20 - 30.
Parallel versions of the Floyd-Warshall algorithm for SMP-and MPP-architectures were created. Their temporal characteristics were investigated and analyzed. It was shown that the expediency of particular architecture usage depends on the dimension of the task. Figs.: 11. Refs.: 7 titles.
UDC 519.8, 519.6
The method of choosing a graph partition algorithm for distributed calculation / Ivashchenko V.A., Lopatkin R. Yu., Kuprienko V.V. // Mathematical Machines and Systems. - 2011. - N 4. - P. 31 - 38.
A method of definition of the most effective partition algorithm of a specified graph for distributed calculation based on the analytical data of statistical dependence between the received value (for one or another graph partition algorithm) and graph metric is suggested. The experiments on the method mentioned above before the calculations demonstrate its efficiency in improving the performance of distributed applications. Figs.: 5. Refs.: 8 titles.
UDC 37.007
A formal theory and a model of commutative semigroup of image constructs / Bisikalo O.V., Tadevosian R.G. // Mathematical Machines and Systems. - 2011. - N 4. - P. 39 - 47.
The article is built a formal theory based on the binary operator of directional associative connection and a concept of associative normal form of image constructs is introduced. The model of a commutative semigroup representing the sentence as a three-component query construction of verbal images is regarded. Figs.: 4. Refs.: 7 titles.
UDC 681.3.014
The digital-to-analog computer complex (DACC) "Alpha-1" for control systems simulation of the complex dynamic objects / Karachenets D.B. // Mathematical Machines and Systems. - 2011. - N 4. - P. 48 - 58.
This article is devoted to creation of the first soviet digital-to-analog computer complex (DACC) named "Alpha-1" in the Computer Centre (since 1962 - the Institute of Cybernetics) of the Ukrainian Academy of Sciences in 1960. The short characteristic of analogous computer MPT-9 and digital computer DEM-1 we used in DACC "Alpha-1" and the connection device that was constructed to join these machines in the hybrid computer complex is given. Tabl.: 2. Fig.: 1. Refs.: 7 titles.
NEW INFORMATION AND TELECOMMUNICATION TECHNOLOGIES
UDC 680.3
Methodological and conceptual basis of creation of an automated control system security of a separate region of Ukraine / Kuzmenko H.Ye., Khominich V.S. // Mathematical Machines and Systems. - 2011. - N 4. - P. 59 - 68.
There was proved that control system security must have the hierarchy structure. The alternative solution bases on the structural features of informational support of regional authorities. Creation control system methodology of regional security combines the techniques of object-oriented analysis and ontological analysis of regional ISA. Figs.: 2. Refs.: 12 titles.
UDC 004.5; 004.51; 004.58
Methodology of integrated studies of the adaptive human-machine interface / Kurzanceva L.I. // Mathematical Machines and Systems. - 2011. - N 4. - P. 69 - 77.
The methodology of integrated study of the adaptive human-machine interface is proposed. It takes into account such user parameters as his information competence, physiological characteristics etc. The aim of methodology is the system protection from the unqualified user and the user under the inappropriate psycho-physiological condition. Tabl.: 3. Figs.: 5. Refs.: 8 titles.
UDC 510.67:512.562:515.126.2:519.767
About the correct means for solving fuzzy problems / Lyaletsky О.O. // Mathematical Machines and Systems. - 2011. - N 4. - P. 78 - 83.
The following question is being considered in the paper. Under assumption of being able to make some actions on an arbitrary set of events, how it is possible to make the same actions on fuzzy sets representing forecasting for these events? For answering the posed question, first, a special concept system permitting to give a notion of a fuzzy task is proposed, and, second, a procedure for solving fuzzy tasks is constructed. Besides, the conclusive proofs substantiating the correctness of this procedure are given. Refs.: 5 titles.
UDC 004.934.1'1
Method of recognition of a state of arteries of an eye / Fedorov Ye.Ye., Slesoraityte I. // Mathematical Machines and Systems. - 2011. - N 4. - P. 84 - 91.
The method of recognition of a state of arteries of an eye which is based on the pressure stream blood model through the eye analyzer artery and neural network forecasting model of a state of arteries of an eye adjusted by means of genetic algorithm has been offered in the article. For creation of the second model formation of a vector of features was carried out; patterns formation; synthesis of a neural network structure and the mathematical model; adaptation of patterns values features and structure of a neural network by means of genetic algorithm. For the offered method the results of numerical research are given. Tabl.: 3. Figs.: 4. Refs.: 12 titles.
UDC 519.8.3
About one aspect of design automation / Moroz-Podvorchan I.G. // Mathematical machines and systems. - 2011. - N 4. - P. 92 - 94.
One type of connection between design automation and artificial intellect is regarded. Fig.: 1. Refs.: 4 titles.
LARGE SYSTEM SIMULATION AND MANAGEMENT
UDC 621.3.011.7
One way of the correct formulation of mathematical model of a technical (physical) problem / Voloboev V.P., Klimenko V.P. // Mathematical Machines and Systems. - 2011. - N 4. - P. 95 - 106.
The way of the correct formulation of mathematical model of a technical (physical) problem is offered. The way includes the criterion of the correct formulation of the problem described by system of the linear (nonlinear) algebraic equations (SLAE), and a method of drawing up of the mathematical description of the electric circuit, realizing criterion. The method of drawing up and the solution of SLAE is considered as unified computing process of the solution of mathematical model. In case of mathematical model of the electric circuit described ill-conditioning (poor convergence) SLAE, the correct formulation provides the stable solution. Possibility of application of the given way to not electrotechnical objects is considered. Fig.: 1. Refs.: 25 titles.
UDC 519.2: 530.1: 600.1
The law of large numbers for violations of statistical stability / Gorban I.I. // Mathematical Machines and Systems. - 2011. - N 4. - P. 107 - 115.
The term sequence convergence of random quantities has been generalized to the sequence convergence of hyper-random quantities. It has been shown that the low of large numbers for random sequence is correct not only when the average tends to fixed number but in case of the absence of the convergence. It has been found that the average of random variables can approach to the fixed number, tend to plus or minus infinity or fluctuate within the interval and the average of hyper-random variable can approach to the fixed number, to the set of fix numbers, fluctuate within the of disjoint intervals, fluctuate within the single interval or tend to plus or minus infinity. Figs.: 7. Refs.: 7 titles.
UDC 519.816:351.785
Group properties of third-order control systems / Lehenkyi V.I., Rudolph J. // Mathematical Machines and Systems. - 2011. - N 4. - P. 116 - 124.
We study group properties of third order control systems, especially the problem of existing so-called symmetry generating function. Refs.: 14 titles.
UDC 004.94; 004.75
Distributed modeling in EMS based on the HLA architecture / Kazymyr V.V., Sira G.A. // Mathematical Machines and Systems. - 2011. - N 4. - P. 125 - 135.
The technology of integration of the powerful formal E-nets device and hierarchic aggregate approach which is used in the system of simulation use of EMS, in High Level Architecture (HLA) for distributed modeling applied by research of complex structure systems is proposed. Figs.: 11. Refs.: 9 titles.
UDC 004.94: 519.876.5
Theoretical foundations of Petri-object modeling of systems / Stetsenko І.V. // Mathematical Machines and Systems. - 2011. - N 4. - P. 136 - 148.
The theory of Petri-object modeling - the new modeling of technology based on the object-oriented methodology and stochastic time latency Petri net is regarded. The basic theoretical principles of Petri-object modeling are developed and Petri-object model's state equations in ordinary and matrix form are derived. Figs.: 4. Refs.: 10 titles.
UDC 504.058
Assessment of effectiveness of anti-flood measures on the small river reservoirs of transcarpathian basing on the calculations of the "precipitation-sink" distributed model / Boyko O.V., Zheleznyak M.Y. // Mathematical Machines and Systems. - 2011. - N 4. - P. 149 - 160.
The description and the main equations of a distributed physically based hydrological model of the "Precipitation-Sink" processes and its application for calculating the effectiveness of anti-flood measures on the example of small reservoir in the village Kvasovo (Transcarpathian region, Ukraine) are regarded in the article. The reconstruction of the flood sink of 1998 for the reservoir was carried out. The results were used to analyze the effectiveness of drainage channel that was planned by the state program "Complex anti-flood protection in the Tisza River Basin in Transcarpathian region". Tabl.: 3. Figs.: 6. Refs.: 18 titles.
UDC 519.6
Symmetric difference schemes of the joint approximation method for solving a linear equation of transfer / Bucharsky V.L., Kalinchuk Ye.M. // Mathematical Machines and Systems. - 2011. - N 4. - P. 161 - 165.
The results of using the joint approximation method for designing the high order symmetrical finite difference schemes on a compact stencil are presented. Finite difference schemes from second to eighth order of approximation on time and space for the one-dimensional linear equation of transfer have been built. The results of the test calculations that prove the theoretical outfits are shown. Tabl.: 1. Figs.: 2. Refs.: 5 titles.
UDC 621.391.254
Mathematical model of a communication channel with OFDM signals and intentional interferences / Zaitsev S.V. // Mathematical Machines and Systems. - 2011. - N 4. - P. 166 - 175.
Mathematical model of the channel of OFDM technology of communication systems of the future generations, which considers the effect of fluctuating noise and intentional interferences, is offered. The application of this model in simulation and mathematical modeling of the communication channel with OFDM technology will greatly simplify the modeling process. Figs.: 7. Refs.: 5 titles.
QUALITY, RELIABILITY, AND CERTIFICATION OF COMPUTER TECHNIQUE AND SOFTWARE
UDC 621.3.019.3
Modeling of the system reliability by means of RELIABmod v.2.0 package software program / Fedukhin О.V., Pasko V.P. // Mathematical Machines and Systems. - 2011. - N 4. - P. 176 - 182.
A description of the specialized RELIABmod v.2.0 software package that allows with the help of statistical modulation and calculation to forecast reliability of restorable and non-restorable systems, with a variety of structural schemes of reliability is suggested. Examples of screen package forms for modeling the reliability of the system with the structure of «k of n» type are considered. Figs.: 9. Refs.: 7 titles.
UDC 621.03
Some aspects of vitality of complex dependable computer systems of critical conditions of use / Serbin V.G., Sukhomlyn A.I. // Mathematical Machines and Systems. - 2011. - N 4. - Р. 183 - 191.
An urgency of solving a problem of survivability of the complex dependable computer systems was proved. An analysis of the main terms and definitions of concept of the "systems survivability" was conducted. A various approaches to the quantitative and qualitative assessment of survivability were examined. The condition of the domestic regulatory base on the problem of vitality of the complex systems was analyzed. Refs.: 22 titles.
UDC 631.3
The prediction of hazard anthropogenic occasions based on the causes risk factors / Serebrovsky О.М. // Mathematical Machines and Systems. - 2011. - N 4. - P. 192 - 202.
The technology of anthropogenic hazard prediction of is offered. The hazard criterion is probability of origin of undesirable occasions at an object. Probability can be estimated with regard to an arbitrary predictive interval. In the process of evaluation the descriptions of concrete situations which appear on an object are used. The technology includes: Logical-and-probabilistic methods; Failure models; Hierarchy Analysis Method. Knowledge base which is necessary for prediction contains: knowledge of experts about influence of hazard factors on the origin of undesirable occasions; integral functions of failure distribution. Application of this technology lowers labor intensiveness of knowledge base creation that is necessary for hazard prediction. Refs.: 10 titles.
