COMPUTER SYSTEMS
UDC 004.94 Management of grid system distributed resources / Lytvynov V.V., Stetsenko I.V. // Mathematical Machines and Systems. - 2012. - N 2. - P. 3 - 12.
Management of grid system distributed resources among its users is regarded. We constructed a Petri-object model of distributed resources of one- and two-level grid system that allows you to evaluate the effectiveness of selected management strategy. Figs.: 6. Refs.: 11 titles.
UDC 519.8.3 The study of the design process of realtime computer control system /
Krykovlyuk O.P., Moroz-Podvorchan I.G. // Mathematical Machines and Systems. - 2012. - N 2. - P. 13 - 16.
The application of comprehensive approach in designing of specialized realtime computer control system is considered. Figs.: 5. Refs.: 2 titles.
UDC 681.3 Methods of weighted residuals, collocations, moments. Method of parallel implementation in a single computational flow of solutions to the problems in mathematical physics / Ledaynkin Yu.Ya. // Mathematical Machines and Systems. - 2012. - N 2. - P. 17 - 28.
The idea of a parallel implementation of the methods of weighted residuals, collocations, moments in a single computational flow of solutions to the problems in mathematical physics with data processing in a form of complex structures based on processor elements including scalar multiplier is developed. The proposed method is described and reviewed on the specific test examples. It will be useful for mathematicians and developers of methods and structures of specially designed processors for solutions to the problems in mathematical physics and other problems. Refs.: 4 titles.
UDC 519.85 The task of game theory with unclear payoff matrix / Sira O.V., Katkova T.I. // Mathematical Machines and Systems. - 2012. - N 1. - P. 29 - 36.
The task of game theory in the frame of untraditional setting when the elements of payoff matrix are fuzzy numbers with the known membership functions is considered. The offered technology of task decision is based on the forming of membership function of unclear value of game cost. Refs.: 9 titles.
UDC 681.4
Survivability of intelligent control systems based on the receptor-effector neural growing networks / Yashchenko V.O. // Mathematical Machines and Systems. - 2012. - N 2. - P. 37 - 40.
The questions of reliability of pattern recognition and artificial intelligence systems survivability developed on the basis of receptor-effector neural growing networks were regarded. Growing neural structures operate with a high reliability and ensure survivability of intelligent systems. Experiments conducted on the models of intelligent systems show that the failure of a large number of neural network elements does not lead to failures in the system. Figs.: 3. Refs.: 5 titles.
NEW INFORMATION AND TELECOMMUNICATION TECHNOLOGY
UDC 004.27
Structure and research of the system performance of knowledge processing / Kurgaev O.P., Savchenko I.V. // Mathematical Machines and Systems. - 2012. - N 2. - P. 41 - 50.
Nowadays developing of new and more productive computer architectures for knowledge processing is a vital task. The interpreter structure of intelligent databases is suggested. The empirical research of the system performance of knowledge processing is conducted. There was used an approximation method in the researches. The received results prove the feasibility of hardware implementation of intelligent databases. The proposed interpreter can be used in the construction of modern knowledge processing systems. Figs.: 8. Refs.: 11 titles.
UDC 004, 347.78
Formalization of the operations over information products / Vovk O.B. // Mathematical Machines and Systems. - 2012. - N 2. - P. 51 - 59.
The correlation issues of lifecycle of the information product with the operations over it and formalization of the operations over information products as well are regarded in this article. Tabl.: 1. Figs.: 2. Refs.: 8 titles.
UDC 004. 056
The information security in corporate USB flash drives for cloud computing / Korolev V.Ju. // Mathematical Machines and Systems. - 2012. - N 2. - P. 60 - 69.
The problem of computer security using flash drives in composition of cloud computing is discussed. The Data Flow Diagram with trust boundaries of interaction with corporate net is built. Computer security according to STRIDE and DREAD methods is estimated. Tabl.: 2. Figs.: 4. Refs.: 15 titles.
UDC 004.94:159.95
Concept formalization of language image and figurative meaning of the natural language constructs / Bisikalo O.V. // Mathematical Machines and Systems. - 2012. - N 2. - P. 70 - 73.
The approach to formalization of language image concept and figurative meaning of the natural language constructs is substantiated in the article. The formal characteristics of the associative network of images are interpreted. The numerical estimate of the unit of figurative meaning on the basis of the concept of entropy is received. Fig.: 1. Refs.: 7 titles.
UDC 004.415.2.043
Formation of an optimal machine code of the programs during its synthesis / Salapatov V.I. // Mathematical Machines and Systems. - 2012. - N 2. - P. 74 - 80.
The formal description of programming language syntax due to indeterminate finite automates which use on the syntaxes analyses phase as well as on the machine code forming phase was proposed. On the syntaxes analyses phase for every state of automate, which is reflected by its top on the corresponding diagram, a certain combination of the input and output connectors may be considered as syntax mistakes and marked out to a separate list. On the machine code forming phase the mistakes are impossible because assembling operators are formed in accordance with the existing rules of the formats instruction description of these commands. Machine code optimality is provided due to existing data on registers and stack of the target microprocessor. Figs.: 4. Refs.: 6 titles.
SIMULATION AND MANAGEMENT
UDC 624.041
Mechanics of frameworks and the theory of graphs / Voloboev V.P.,
Klimenko V.P. // Mathematical Machines and Systems. - 2012. - N 2. - P. 81 - 95.
The method of the correct formulation of mathematical model of the framework is offered. The method assumes application of the graph for representation of the design diagram of framework. Equivalent circuits of objects which meet requirements of representation of topology objects in the form of graph are offered. It is offered to use matrixes of circuits and cutsets for record of the basic equations system of structural mechanics in a matrix kind. The technique of a purposeful choice of variables at the correct formulation of mathematical model is formulated. Example of framework calculation is given. Tabl.: 1. Figs.: 5. Refs.: 10 titles.
UDC 007.003; 007.008; 65.0; 681.3
The animated emulation of the probabilistic production systems method /
Smorodin V.S. // Mathematical Machines and Systems. - 2012. - N 2. - P. 96 - 101.
The method of project probabilistic production systems modeling based on the building of dynamic simulated models of observable objects is proposed. Theoretical justification of the investigative techniques and building technology of simulated models based on the aggregate system of modeling automation is given. The possibility of using the animated emulation of the probabilistic production systems method for solving the synthesis problem of optimal technological cycle taking into account the characteristics of the reliable operation of equipment is justified. Refs.: 4 titles.
UDC 004.773
Safe management of a remote host via an unprotected server / Vakhnin S.O., Bratanin A.M. // Mathematical Machines and Systems. - 2012. - N 2. - P. 102 - 106.
The problem of safe computer management under the conditions of the absence of real ip-addresses is regarded. The structure of bundled software solving this problem was proposed and described. Figs.: 2. Refs.: 6 titles.
UDC 650.1
Creation of the block system and process models using the group method of data handling / Lytvynov V.V., Zadorozhniy A.O. // Mathematical Machines and Systems. - 2012. - N 2. - P. 107 - 116.
Inductive approach to the creation of structural simulation models is proposed in the paper. The basis of inductive approach is the group method of data handling, which permits to construct a functional model based on the observations of the object by the gradual complication of the initial model using operations of sum and product. A modified algorithm of the group method of data handling is proposed for the constructing a structural model based on observations of the object as well as the operation of automate algebra is used for a model complicating. Figs.: 6. Refs.: 3 titles.
UDC004.031.6
Testing of object-oriented software models / Lytvynov V.V., Bogdan I.V. // Mathematical Machines and Systems. - 2012. - N 2. - P. 117 - 125.
The article presents the causes that lead to the necessity of models testing of object-oriented programs, and describes the most popular among the existing approaches to testing the main types of UML-diagrams such as the use case diagram, the class diagram, the statechart diagram and the sequence diagram. Figs.: 11. Refs.: 7 titles.
UDC 658.012
Development of models of space-trajectory approach to the design modeling process of marketing information systems / Levykin V.M, Kostenko O.P.,
Khmil-Chupryna V.V. // Mathematical Machines and Systems. - 2012. - N 2. - P. 126 - 135.
Mathematical models defining structure of information projections of multidimensional spaces that comprise of multidimensional information metaspace metaphor and allow correct developing of correspond data models and their processing procedures to realize fundamental stages of designing and reengineering of complicated MIS were suggested in this work. The further space-trajectory approach to processes modeling of MIS designing in the form of procedures of phase trajectories of the life cycle model of MIS development in each of these spaces was evolve. Figs.: 5. Refs.: 12 titles.
UDC 519.6
A choice of weight functions of Petrov-Galerkin method for solving of two-dimensional nonlinear problems of Burgers' type / Molchanov O.A., Siryk S.V., Salnikov M.M. // Mathematical Machines and Systems. - 2012. - N 2. - P. 136 - 144.
Modification of Petrov-Galerkin method for solving transient 2D problems with nonlinear convective terms of Burgers' type based on the weight functions changing in time depending on the evolutional solution is proposed. The test calculations confirm efficiency of the method proposed for convection-dominated problems. Figs.: 3. Refs.: 20 titles.
UDC 631.3
Methodical and Computing Aspects of Hazard Significance of Complicated System Components. Part I / Serebrovsky O.M. // Mathematical Machines and Systems. - 2012. - N 2. - P. 145 - 154.
Methodical and computing aspects of technogenic hazard significance are considered. Algorithmic complex for the rate computation of different significance types is described. It is targeted for the usage in technogenic hazard automated systems. Figs.: 3. Refs.: 14 titles.
UDC 519.2: 530.1: 600.1
Statistical radiation resistance of the astrophysical objects / Gorban I.I. // Mathematical Machines and Systems. - 2012. - N 2. - P. 155 - 160.
Failure in statistical radiation stability of three astrophysical objects (GRS 1915+105, Cygnus X-1, and PSRJ 1012+5307) is researched in X-ray range. Research shows that radiation of GRS 1915+105 source has statistical stable character for near a month, Cygnus X-1 - for a week, and PSR J1012+5307 pulsar - for 15 years at least. Figs.: 3. Refs.: 12 titles.
QUALITY, RELIABILITY, AND CERTIFICATION OF COMPUTER TECHNIQUE AND SOFTWARE
UDC 621.3.019.3
Grapho-analytical method for estimating the DN-distribution parameters in a low failure statistics / Fedukhin O.V., Cespedes Garcia N.V. // Mathematical Machines and Systems. - 2012. - N 2. - P. 161 - 167.
The grapho-analytical method for estimating the DN-distribution parameters in reduced failure statistics is proposed. The method can be used as a kind of goodness-of-fit test of investigated empirical distribution of the failures of the chosen theoretical reliability model. Таbl.: 4. Figs.: 6. Refs.: 6 titles.
UDC 656.257.004
Managing of the development process of complex technical systems and owls processes. Peculiarities of FMEA-analysis application / Mukha Ar.A. // Mathematical Machines and Systems. - 2012. - N 2. - P. 168 - 176.
This article is devoted to the management problem of development process of complex technical systems and processes using FMEA-analysis for preventing critical situations, reducing the number of risks and potential failures and improving their safety. Tabl.: 6. Figs.: 4. Refs.: 8 titles.
UDC 519.873+519.876
Probabilistic evaluation of reliability of structure of the complex system / Ratobylska D.V. // Mathematical Machines and Systems. - 2012. - N 2. - P. 177 - 187.
Use of the new method of exclusion for the estimation of reliability of a complex system is proposed. The results of overlay methods performing comparison, the exclusion method and the Monte Carlo method in the analysis of the reliability of structure of a complex system are shown. Тabl.: 6. Figs.: 3. Refs.: 6 titles.