IMMSP - Publications. Mathematical Machines and Systems 2012 #4

Mathematical Machines and Systems. 2012 #4

ABSTRACTS

20 YEARS of IMMSP NAS of Ukraine / Morozov A.O. // Mathematical Machines and Systems. - 2012. - N 4. - P. 3 - 9.
COMPUTER SYSTEMS
UDC 517.925/926
Randomness and possibility: contemporary approaches / Bychkov O.S.,
Klyushin D.A. // Mathematical Machines and Systems. - 2012. - N 4. - P. 10 - 27.
The current views on mathematical formalization and interpretation of uncertainties are examined in the paper. The probability theory and the possibility theory are used as two basic approaches. The problems of application tasks solution and the advantages and disadvantages of different approaches are considered. Refs.: 63 titles.

UDC 519.6
Approximate calculation of the 3D Fourier coefficients on the Gelder's class using piecewise-constat spline interflation / Lytvyn O.M., Nechuiviter O.P. // Mathematical Machines and Systems. - 2012. - N 4. - P. 28 - 40.
Cubature formulas for computing 3D Fourier coefficients using piecewise-constant spline interflation operators on the Gelder's class are proposed and investigated in the article. Information about the function is set by its traces on mutually perpendicular planes, lines and function values in the knots. The error estimates of cubature formulas are received. Tabl.: 2. Refs.: 7 titles.

UDC 681.513.7
Recurrent neural networks training by pseudoregularization method for time series multi-step prediction / Chernodub A.M. // Mathematical Machines and Systems. - 2012. - N 4. - P. 41 - 51.
The problem of time series multi-step prediction is considered. The existing models of recurrent and nonrecurrent neural networks which are used for prediction problems were represented. Efficient training method of neural networks using Extended Kalman Filter and Backpropagation Through Time technique of dynamic derivatives calculation is described. Pseudoregularization method for vanishing gradients effect reducing that leads to prediction accuracy in muli-step case improvement is proposed. The results of numerical experiments on the example of yearly sunspots number and Chaotic Mackey-Glass Time Series predicting are presented. Tabl.: 2. Figs.: 7. Refs.: 9 titles.

UDC 004.519.712 +004.92
The problem of dynamic point localization on a disconnected graph /
Tereschenko V.M., Puzyrey V.I. // Mathematical Machines and Systems. - 2012. -
N 4. - P. 52 - 58.
In this paper we propose solving a problem of dynamic point localization on a disconnected graph during O(logN) time and using O(N) memory. The data structure of the base of red-and-black tree supporting an edge insert/delete operations using O(logN) time was developed. Segments order within a slab and finding neighbour edge clockwise was established. Figs.: 6. Refs.: 18 titles.
UDC 681.3
Method of the least squares. The way of parallel implementation in a single computational solving flow of mathematical physics / Ledaynkin Yu.Ya. // Mathematical Machines and Systems. - 2012. - N 4. - P. 59 - 69.
The way of a parallel implementation of the least squares method with information processing at the level of complex data structures in the processing elements including a scalar multiplier is proposed and described. It is solving the problems of mathematical physics in a single computational (technology) flow oriented method. A description is considered on the basis of specific example in comparison with the known solution. It is useful for specialists of mathematics and developers of methods and structures of special processor for solving problems of mathematical physics and other problems. Refs.: 4 titles.
UDC 681.513.7
Associative memory recovery in case of some neurons killing / Novitsky D.V. // Mathematical Machines and Systems. - 2012. - N 4. - P. 70 - 74.
We consider re-learning ability of a Hopfield-type network after killing some neurons. Neurons were "killed" by means of nullification of corresponding rows and columns of the synaptic matrix. We show that one can restore recognition ability of this network using re-training with the vectors, which was memorized before. The number of needed vectors is equal to the number of deleted neurons. It does not depend on network's size and on volume of stored data. Figs.: 3. Refs.: 6 titles.

INFORMATION AND TELECOMMUNICATION TECHNOLOGY
UDC 681.18.656.25
Switches and signals radio control systems on the industrial railway service / Fedukhin O.V., Fedorovsky V.V., Sukhomlyn A.I., Shaleiko O.M. // Mathematical Machines and Systems. - 2012. - N 4. - P. 75 - 83.
The analysis of existing systems of transport facilities radio control was given; a description of a new dependable digital radio control system and the switches and signals control on the industrial railway service were introduced. Figs.: 5. Refs.: 4 titles.
UDC 658.012
Complex search method development and solution design evaluation for marketing information systems / Levykin V.M., Kostenko O.P., Petrichenko O.V. // Mathematical Machines and Systems. - 2012. - N 4. - P. 84 - 93.
Complex method for searching and evaluation project decisions for marketing information systems designing is developed in this work. Methodology of information technologies creation using information spaces under macrodesigning of architecture marketing information systems in multi-dimensional information meta-space is suggested. Figs.: 7. Refs.: 11 titles.
UDC 621.391
An algorithm for optimal time-frequency signal constructions designing /
Yarilovets A.V., Nazaruk V.D., Zaitsev S.V. // Mathematical Machines and Systems. - 2012. - N 4. - P. 94 - 101.
On the basis of numbers theory an algorithm for multi-positions and multi-frequency signals designing (MPMFSD) of the optimal orthogonal frequency-time sequences (FTS) form was described. An analytical expression that allows providing an optimal frequency-time sequence in time was received. Figs.: 3. Refs.: 5 titles.
UDC 681.3.00:007
Methodological and conceptual foundations for creation epidemiological security of E-systems / Vyun V.I., Mikhnenko Yu.A. // Mathematical Machines and Systems. - 2012. - N 4. - P. 102 - 105.
The article is dedicated to issues of expanding organizational and functional structure of problem-oriented information systems of energy security on the platform of the triad DS & Olap & IDA (Intellectual Data Analysis). Such extensions to traditional organization of informational system provide it with features of "reasonable" system. It is capable to foresee undesirable development of infectious process during the processes of interactive analysis (Olap) of activity facts accumulation (DS) and offer protective measures of self-organizing system (re-engineering). Refs.: 10 titles.

SIMULATION AND MANAGEMENT
UDC 519.2: 530.1: 600.1
Criteria and parameters for statical instability / Gorban I.I. // Mathematical Machines and Systems. - 2012. - N 4. - P. 106 - 114.
Statistical instability conception of the process (of the sequence) has been extended. Definitions of process's statistical stability in the narrow and wide sense have been introduced. The methodology of statistical instability estimation for limited observation interval has been developed. Additional parameters of statistical instability characterizing the disturbance of statistical stability to standard deviation have been proposed. Figs.: 3. Refs.: 12 titles.
UDC 517.929
Theoretically possibilistic approach to the systems of fuzzy structure modeling / Bychkov O.S., Ivanov Ye.V., Kasyanyuk V.S. // Mathematical Machines and Systems. - 2012. - N 4. - P. 115 - 124.
On the basis ofpossibility theory a concept of fuzzy Markov jump-type process is introduced in this article.Using this concept for modeling continuous-discrete systems of uncertain structure, a fuzzy analog system of random structure (a system with fuzzy structure) is constructed. Refs.: 9 titles.
UDC 519.237.5
The main problems of regression models formation / Lapach S.M.,
Radchenko S.G. // Mathematical Machines and Systems. - 2012. - N 4. - P. 125 - 133.
The problems of regression models formation at the stages of experiment design, preliminary and final model specification, model identification stage and evaluation of result model quality were formulated. The fundamental principles of regression analysis and design of experiment were worked out and described. These principles allow solving the mentioned problems. Tabl.: 3. Refs.: 19 titles.
UDC 681.3.00:007
Modeling of the external environment parameters influence on the flu epidemiological process / ARVI / Eremenko T.K., Pilipenko Yu.G. // Mathematical Machines and Systems. - 2012. - N 4. - P. 134 - 141.
An approach to the study of environmental parameters influence on development of the flu epidemiological process / ARVI is proposed in the paper. The studies are based on the use of actual statistics, the main statements of the epidemiology theory and multiple regression analysis methods. As an example, the results for the temperature as a medium parameter are given. Tabl.: 1. Figs.: 4. Refs.: 10 titles.
UDC 004.02+004.03+004.05+005.93
Process approaches to the modeling in information security risk management field / Rodin Ye.S. // Mathematical Machines and Systems. - 2012. - N 4. - P. 142 - 148.
Working peculiarities of the most common models for information security risk assessment in distributed information systems were revealed. The analysis process approaches of outlined methodologies and approaches to the results formalization of information security risk assessment were analized. It was pointed out the imperfections of described methodologies; the principles of more functionally and mathematically based models of risk management information security were proposed. Tabl.: 1. Figs.: 2. Refs.: 9 titles.
UDC 004.9:504:519.6
The inhomogeneities surface temperature influence on heat exchange air with the Earth / Kovalets I.V. // Mathematical Machines and Systems. - 2012. - N 4. - P. 149 - 155.
In the paper, the air flow process from the cold water surface onto the warm land surface was simulated. The comparisons of calculations with measurements were performed as well. The calculations show that the heat flux in the narrow coastal zone may be more than 20% higher than the values of heat fluxes calculated from the assumption of horizontal homogeneity of the surface layer. Thus, the horizontal inhomogeneity of the atmosphere must be taken into account in the calculation of the cooling water, the horizontal size of which has a scale of ~100 m. Figs.: 4: Refs.: 9 titles.
UDC 355.45
Investigation of function objects' destruction of different classes for target distribution tasks / Komarova L.O., Nevolnichenko A.I. // Mathematical Machines and Systems. - 2012. - N 4. - P. 156 - 167.
The results of the functional dependency analysis "combat effects - the cost of funds" for fire damage objects of different classes and use recommendations for the typical mission formalization of optimal target assignment and its solution by automated troop and command system are given in the article. Refs.: 2 titles.
UDC 004.2
Mathematical models supporting pulsed fire and explosion protection for chemical factory / Kryazhych O.O., Zahmatov V.D. // Mathematical Machines and Systems. - 2012. - N 4. - P. 168 - 174.
The variant of supporting pulsed fire and explosion protection for chemical factory modeling was considered in the article. Localization models of the active element with the help of pulse means in different variants of the accident development and errors aiming modeling were introduced. There were made conclusions according to practical implementation of the models and study's perspectives. Figs.: 3. Refs.: 10 titles.
UDC 519.8.3
Two approaches to substantiation of the choice of designed decisions / Moroz-Podvorchan I.G. // Mathematical Machines and Systems. - 2012. - N 4. - P. 175 - 181.
The criterion and comprehensive approaches to substantiation of the choice of designed decisions are considered. It is pointed out the principal differences of these methods concerning structure and instrumental possibilities. It is showed that in a general case the comprehensive approach is more efficient than criterion one. Refs.: 10 titles.
QUALITY, RELIABILITY AND CERTIFICATION OF COMPUTER TECHNIQUE AND SOFTWARE
UDC 621.03
Definition and formalization of the main indicators of dependability survivable computer control systems based on a probabilistic-physical approach for their project evaluation and prediction / Serbin V.G., Sukhomlyn A.I. // Mathematical Machines and Systems. - 2012. - N 4. - P. 182 - 189.
The questions of definition and formalization of the main indicators of dependability survivable computer control systems based on the probabilistic-physical approach were regarded. The generalized calculation methods of the main indicators of dependability survivable computer control systems for their analysis, engineering estimate and prediction were introduced. Refs.: 18 titles.
UDC 681.32.019.3
About variation coefficient of operating time to failure of the system with consecutive structure elements / Сespedes Garsia N.V. // Mathematical Machines and Systems. - 2012. - N 4. - P. 190 - 194.
The questions of statistical modeling reliability of nonrecoverable system with consecutive structure elements based on random number generators with -distribution are considered. The dependence of the variation coefficient operating time to failure of the elements amount is determined. Figs.: 6. Refs.: 2 titles.