Mathematical Machines and Systems. 2010 #4



     UDC 519.07

Distributed technology for global control / Sapatyi P.S., Morozov A.O., Klymenko V.P. // Mathematical Machines and Systems. - 2010. - N 4. - P. 3 - 17.

Inheriting holistic ideology, where the whole is primary and greater than the sum of parts, a new approach is offered which is grasping semantics and integrity of large distributed systems directly on top level. This enables most traditional routines on system organization and management to be shifted toward automated up to fully automatic implementation, radically enhancing system flexibility, safety, and capability of self-recovery and self-restructuring in asymmetric situations. Basics of the related networking technology and examples of its numerous applications are revealed. Figs.: 20. Refs.: 14 titles.

    UDC 618.086

Reengineering of computer algebra system ANALITIC / Klymenko V.P., Liakhov О.L., Hvozdyk D.М. // Mathematical Machines and Systems. - 2010. - N 4. - P. 18 - 23.

In the article we consider a new stage of development of computer algebra system ANALITIC - reengineering based on new advanced technologies. Process of reengineering, achieved and expected results are described. It is shown that as a result of reengineering, except improvements, the system acquires the qualitatively new opportunities and the potential for further development. Refs.: 10 titles.

UDC 004.272.2, 519.685, 519.686.2

A combining of the advantages of passive and active load balancing within a comprehensive planning system for dynamically multisequencing programs / Levchenko R.I., Sudakov O.O., Pohorilyi S.D., Boiko Yu.V. // Mathematical Machines and Systems. - 2010. - N 4. - P. 24 - 32.

In the present work the problem of load balancing for computing resources at dynamic parallelizing of calculations for multiprocessor computer systems with loose connection is researched. The approach for dynamic creation of graphs of the parallel programs is offered, and on the basis of this approach the problem of two schedulers' types combining is considered. Main principles allowing achieving association of active and passive balancing algorithms are discussed, and methods of tasks allocation balancing for considered methods are put forward. Figs.: 3. Refs.: 14 titles.

UDC 004.942 + 623.454.862

Study error components for solving the inverse problem using random projections / Revunova O.H. // Mathematical Machines and Systems. - 2010. - N 4. - P. 33 - 42.

A comparative analysis of discrete ill-posed inverse problems solutions obtained by discretization of the integral equation (Carasso, Delves, Phillips problems) has been performed. Pseudo-inverse and Tikhonov regularization methods were used. The same technique we used with additional projection by random matrix. The error partitioning into bias and variance was done. The dependence of the components of error solution (bias and variance) on the dimension of the projector matrix was studied. Pseudo-inverse method, when projecting, has shown the accuracy similarly to Tikhonov regularization. Tabl.: 3. Figs.: 9. Refs.: 22 titles.

UDC 621.8:681.5

Extracting features on the base of united vectors of Zernike Moments and Relative Moment Phase Orientations for Patterns Recognition / Chernodub A.М. // Mathematical Machines and Systems. - 2010. - N 4. - P. 43 - 51.

A new method for feature vectors extraction called "Relative Moment Phase Orientations" vectors for classification of gray 2D images on the basis of theory of Moments Invariants is proposed. Data of numerical experiments on classification of resized and rotated in frontal plane images are presented. Robustness of the proposed features is studied. Tabl.: 3. Figs.: 5. Refs.: 22 titles.


UDC 004.94, 004.056

The method of information attacks constructing / Kazymyr V.V., Sira A.A. // Mathematical Machines and Systems. - 2010. - N 4. - P. 52 - 61.

Existing approaches to the modelling the information attacks are considered and analysed. The basic requirements for information attacks model are formulated. Taking into account the formulated requirements the method is suggested for construction information attacks models based on control E-nets and multi-agent management. Figs.: 2. Refs.: 18 titles.

UDC 681.3

Organizational procedures of the Situation Center / Vyshnevskyi V.V., Simonov S.V. // Mathematical Machines and Systems. - 2010. - N 4. - P. 62 - 67.

The approach of expert methods usage in the Situation Centres is considered. Single class of organizational procedures is allocated and their functions in the information architecture of the Situation Centre are described. A model of business process of forming of a pool of experts and meetings preparation is presented. Also a working prototype that implements the functions of organizational procedures of the IMMSP Situation Centre is described. Figs.: 2. Refs.: 12 titles.

UDC 004.27; 004.25; 004.382.2

On parallel realization of userland tasks in the distributed computer PIM-systems / Yeliseieva О.V. // Mathematical Machines and Systems. - 2010. - N 4. - P. 68 - 81.

Results of the analysis of existing approaches and algorithms of division of the userland programs for their parallel realization on PIM-system are resulted. On the basis of set of conclusions on their complexity and high labour input the substantive provisions of the concept of construction of new, more simple, and less labour-consuming algorithm are formulated, assuming as a basis features of the architecturally-structural organisation of PIM-systems. Tabl.: 2. Figs.: 3. Refs.: 20 titles.

UDC 004.942

Information systems represented as a graph, and based on data and knowledge bases within the concept of satisfaction of the constraints and rules / Vypasniak L.I., Sheketa V.I. // Mathematical Machines and Systems. - 2010. - N 4. - Р. 82 - 88.

In the research we present an approach of fulfillment of interpretation of the information retrieval problems based on the introduced rules restrictions in the form of a search of coincidence of informational predicate scheme with a constraint and a rule with an Oil & Gas domain hypergraph. A score match is made on basis of analysis of constraint system satisfaction and appropriate rules chain verification. Figs.: 2. Refs.: 5 titles.


UDC 378.14:[51:004]

An application of mathematical tests models in the set of e-courses "Higher mathematics" / Alekseieva I.V., Haidei V.O., Dukhovychnyi O.O., Konovalova N.R., Fedorova L.B. // Mathematical Machines and Systems. - 2010. - N 4. - P. 89 - 97.

The report informs on the application dichotomous and polytomous IRT-models for the Item Analysis of the set of e-courses on higher mathematics designed by National Technical University of Ukraine "Kyiv Polytechnic Institute". Figs.: 9. Refs.: 7 titles.

UDC 004.4'23

Reserves of the programming activity. 3-dimensional programmatic metamodel of the system of activity / Malyshev O.V. // Mathematical Machines and Systems. - 2010. - N 4. - P. 98 - 109.

Programming is one of types of simulation an activity. There are the followings possibilities to increase the efficiency of activity programming: 1) revision and clarification of concepts and terminology in the examined subject domain; 2) expansion of possibilities of creation and use of programmatic activity models due to application of the special systems; 3) creation and use of the n-dimensional programmatic activity metamodels. The article is devoted to consideration of the last of indicated possibilities. Tabl.: 3. Figs.: 4. Refs.: 7 titles.

  UDC 62-50

The methodology for structural learning of dynamic Bayesian networks using statistical data / Suvorov I.S., Bidiuk P.I. // Mathematical Machines and Systems. - 2010. - N 4. - P. 110 - 118.

Some known approaches to structural teaching of dynamic Bayesian networks are considered and a new methodology is proposed that is based on statistical data. Proposed methodology uses the special statistic for structural learning. Preliminary results of application the methodology to real data are given, that demonstrate improvement of structural teaching quality. Tabl.: 3. Figs.: 3. Refs.: 9 titles.

    UDC 004.9:504:519.6

Verification of the atmospheric dispersion module of the RODOS system on the basis of simulation of the field experiment on Argon dispersion / Kovalets I.V., Khalchenkov A.V., Yevdin Ye.A., Zhelezniak M.Yo. // Mathematical Machines and Systems. - 2010. - N 4. - P. 119 - 126.

The results of the verification of the atmospheric dispersion module of nuclear emergency response system RODOS are presented. The recently developed Java-version of the system was used. Simulation of the experiments with emissions of Argon (41Ar), held in 2001 in Mol, Belgium had been performed. We demonstrate the advantage of the atmospheric boundary layer parameterization based on similarity theory as compared with the simpler parameterization currently used in RODOS by default, in which the height of the boundary layer is a function of atmospheric stability category. Figs.: 4. Refs.: 15 titles.

UDC 004.9

Application of optimal strategies in the selection of algorithms of models synthesis in systems of multilevel socio-ecological monitoring / Golub S.V., Kolos P.O. // Mathematical Machines and Systems. - 2010. - N 4. - P. 127 - 134.

The paper is devoted to study of the efficacy of usage of an optimal strategy in determining the synthesis model algorithm compared with the strategy of applicability in the operation of an automated system of multilevel socio-ecological monitoring. It is proved that the introduction to the method of combining the identification of functional relationships of the processes of inductive synthesis of models of the environment objects and the classification of input data in order to select the best simulation algorithm leads to an improvement quality characteristics of the resulting models with decreasing the time of their synthesis. Tabl.: 2. Figs.: 3. Refs.: 8 titles.

UDC 004.942, 004.891.2, 004.021

Stochastic Brownian fractal surfaces and fuzzy logic as a basis of modeling methodology of tourist settlements spatial arrangement / Vykliuk Ya.I. // Mathematical Machines and Systems. - 2010. - N 4. - P. 135 - 144.

Analyze in area of urban territory fractal modeling was conducted. Methodology of tourist's cities spatial structure modeling on the basis of self-affine Brownian surfaces in fuzzy probabilistic field was developed. Model adequacy was checked on real objects and show high level of accuracy. Figs.: 7. Refs.: 17 titles.

UDC 621.372

Features of mathematical model of discrete SM-transformation / Martyniuk T.B., Khomiuk V.V. // Mathematical machines and systems. - 2010. - N 4. - P. 145 - 155.

The features of linear processing of vectorial data arrays on the basis of discrete SM - transformation are analysed. Mathematical model of discrete SM-transformation is offered and explored. Tabl.: 1. Figs.: 3. Refs.: 26 titles.


UDC 681.32.019

On the hardware implementation of redundant structures. Two-channel reservation system with reconfiguration / Fedukhin O.V., Mukha Ar.A. // Mathematical Machines and Systems. - 2010. - N 4. - P. 156 - 159.

The article is dedicated to the problem of creating fault-tolerant digital systems. A hardware implementation of fault-tolerant two-channel reservation system with reconfiguration is proposed. The advantages of this system compared with a well-known automation system of SIMATIC family are represented. Figs.: 6. Refs.: 2 titles.

UDC 002:658.516+658.562

Certification of PC reliability of domestic production / Pranik B.V., Strelnikov P.V. // Mathematical Machines and Systems. - 2010. - N4. - P. 160 - 161.

The main provisions and procedures for certification for reliability of domestic production PC are defined and described in the article. Refs.: 3 titles.

UDC 546.203.257

Methods for estimating the residual resource of hardware products (review) / Dubrovin V.I., Klymenko V.A. // Mathematical Machines and Systems. - 2010. - N 4. - P. 162 - 168.

The analysis of new modern methods of estimation of residual resource of the products is performed. Conceptual distinctions in interpretation of residual life in works of domestic and foreign scientists are resulted. Figs.: 4. Refs.: 21 titles.


UDC 681.3

Biogenetic law of Haeckel and his role in revealing the mechanism of retransmission of natural laws during the process of creation and evolution of computer techniques. Part 2 / Briukhovych Ye.I. // Mathematical Machines and Systems. - 2010. - N 4. - P. 169 - 180.

It was obtained an answer to the question how man creates and evolves computer techniques by natural laws. The answer is contained in the action mechanism of the known Central Dogma of Molecular Biology (CDMB), which there is in the basis of Haeckel's biogenetic law and became a new substantiation of correctness of assertions of this law. Accordingly to the law a short and quick repetition (recapitulation) of the most important stages of evolution of a species (phylogenesis) is taking place by individual development of a person (ontogenesis). In accordance with the CDMB the recapitulation (repetition) is determined by reproducing from RNA a copy of the genetic information, contained in DNA, without destroying an original, as a result in DNA occurs a sequential lamination (accumulation) of genetic information during an all phylogenesis of a species. Conclusion was made that human during process of creation and evolution the computer techniques, not realizing, recapitulates phylogenesis from Homo sapiens to ontogenesis of Computer sapiens. Refs.: 18 titles.

       Last modified: Dec 6, 2010