Mathematical Machines and Systems. 2014 #1
Spintronics and its contribution to element base of computer science. P.1 /
Voitovych I.D., Korsunsky V.M. // Mathematical Machines and Systems. – 2014. –
N 1. – P. 3 – 21.
The paper describes such important contributions of spintronics to element base of computer science as magnetoresistive read heads and non-volatile magnetoresistive random-access memory, such basic concepts of spintronics as spin-polarized electric current, spin current and spin-transport phenomenon of reversal magnetization. Figs.: 18. Refs.: 33 titles.
UDC 004.2; 004.272.43
PLD application to create a high-performance computing systems and their components / Yakovlev Yu.S., Eliseev O.V. // Mathematical Machines and Systems. – 2014. – N 1. –
P. 22 – 35.
Peculiarities of the architecture of supercomputers based on PLD are observed, the main principles of their construction are offered and peculiarities of architectural and structural organization of reconfigurable computing systems (RCS) are resulted, e.g.: in terms of basic modules based on PLD; RCS with an open scalable architecture (RCS OSA); with direct connections between computing modules and digit-by-digit processing of operands. The example of PLD application for development of SKIF supercomputers line (4th generation) is given. Tabl.: 2. Figs.: 6. Refs.: 13 titles.
Division operation for parallel computing systems. P. 1 / Ledyankin Yu. Ya. // Mathematical Machines and Systems. – 2014. – N 1. – P. 36 – 49.
It is proposed the digital method of performing arithmetic division operations (DO). Algorithm provides the parallelizing of computing process, its acceleration and accuracy increase. It is based on carrying out the steps of operations in the matrix algebra and realization of digital arithmetic in Boolean (possibly multi-valued) algebra. Variants of the execution of operation and examples of solutions are regarded. The development of similar projects for the creation and use of combined data processing algorithms by applying other algebras in combination with the methods of digital arithmetic is suggested. Refs.: 10 titles.
INFORMATION AND TELECOMMUNICATION TECHNOLOGY
Method of modeling the process of decision support in a competitive environment /
Lytvyn V.V., Oborska O.V., Vovnyanka R.V. // Mathematical Machines and Systems. – 2014. – N 1. – P. 50 – 57.
The behavior of an intelligent agent in a competitive environment is investigated in the paper. The OODA loop is chosen for behavior simulation. There were explored the interaction of OODA loop stages (observation, orientation, decision support, action) with the ontology of tasks and subject area in which the agent operates. Figs.: 5. Refs.: 14 titles.
Objects classification on multispectral / hyperspectral aerospace images based on the Dempster-Shafer theory of evidence / Popov M.O., Topolnytsky M.V. // Mathematical Machines and Systems. – 2014. – N 1. – P. 58 – 69.
An algorithm for objects classification on multispectral / hyperspectral images based on the Dempster-Shafer theory of evidence is represented. The algorithm allows detecting not only separate classes but also their composition, i.e. takes into account the “mixed” pixels, which is inherent in the presence of medium spatial resolution images. Figs.: 10. Refs.: 13 titles.
Searching method of failure in high-end technology taking into account external factors / Nikitenko Ye.V. // Mathematical Machines and Systems. – 2014. – N 1. – P. 70 – 79.
The existing methods of diagnosis and searching failure in high-end technology were examined. Searching method of failure in high-end technology taking into account external factors has been proposed. The developed method makes it possible to reduce the time of searching the faulty unit, as well as to localize its search area taking into account external factors. Figs.: 9. Refs.: 3 titles.
Solving of applied problem of measurement of residual stresses in the reductive cover by method of computer processing of the results of the resistance strain gauge /
Seredenko V.M., Ponomarenko A.M. // Mathematical Machines and Systems. – 2014. – N 1. – P. 80 – 91.
A method of computer processing of the results of measurement of residual stresses in the covers of reduced automobile crankshafts of ZIL-162 models is suggested in the paper. The comparative characteristic of residual stresses in the reduced and new automobile crankshafts of ZIL-162 models is obtained. Tabl.: 2. Figs.: 7. Refs.: 10 titles.
Design features of medical decision support systems / Melnykova N.I., Steblina K.V. // Mathematical Machines and Systems. – 2014. – N 1. – P. 92 – 100.
This article highlights the stages of modeling, method identification and mechanism designing of medical decision support systems, which allows increasing the efficiency to perform the tasks in the systems development of this type. Figs.: 9. Refs.: 10 titles.
Assessment of the quality classification of images based on the matrix and the accuracy coefficients / Alpert S.I. // Mathematical Machines and Systems. – 2014. – N 1. – P. 101 – 107.
In this article we considered coefficients for accuracy assessment of thematic maps, such as overall accuracy, producer’s accuracy, user’s accuracy and Bayes risk. In the work we proposed some examples. Taking into account the results of these examples, we established some rules and relationships between producer’s accuracy and user’s accuracy. The relationship between omission errors and commission errors was established for each class as well. In this article we considered Bayes risk for inaccuracy assessment of thematic maps. Tabl.: 1. Fig.: 1. Refs.: 14 titles.
UDC 519.862 + 004
Conceptual model of territorially distributed enterprise integrated information system / Lysetsky Yu.M. // Mathematical Machines and Systems. – 2014. – N 1. – P. 108 – 113.
The issue of building the conceptual model of territorially distributed enterprise integrated information system was considered. The features of modern territorially distributed enterprise integrated information system were described. The concept and principles which formed the basis of the proposed model were formulated. A comparison of the elaborate model with the OSI model was done. Figs.: 2. Refs.: 9 titles.
SIMULATION AND MANAGEMENT
Agent models of operations / Lytvynov V.V., Zadorozhny A.O. // Mathematical Machines and Systems. – 2014. – N 1. – P. 114 – 121.
An agent approach to the creation of simulation models of operations and possibility of separation simulation models on submodels in order to their further testing and experimentation on them is discussed in the article. Usage of abstract attributes has been proposed in order to resolution of uncertainty. In addition to attributes which have a real physical meaning has been proposed as well during the gradual learning of domain. Also agent classification has been proposed for agent simulation models which depend on behavior and ability to movement. Sequence diagrams have been proposed for representation of interactions between agents. Figs.: 8. Refs.: 2 titles.
Two-step recommendations: contrast analysis and matrix factorization techniques / Aleksandrova M., Brun A., Boyer A., Chertov O. // Mathematical Machines and Systems. – 2014. – N 1. – P. 122 – 128.
In this paper we present a two-step recommendation model based on Contrast Analysis and Matrix Factorization techniques which mutually complement each other. We also provide a brief overview of different Matrix Factorization approaches. Figs.: 3. Refs.: 20 titles.
UDC 681.3, 004.4
Quality management of organizational decisions based on formalized corporate knowledge. P.1. Ontology of organizational decisions / Ilyina O.P. // Mathematical Machines and Systems. – 2014. – N 1. – P. 129 – 142.
The system of the knowledge models for corporative organization decisions is proposed. The 6-stage decision making process model is developed. The models of both product-based and process-based quality for organization decisions are worked out together with the mechanism of their using to intensify decision makers activity effectiveness. Tabl.: 3. Refs.: 13 titles.
Fragmentary models for some extremal problems on graphs / Kozin I.V., Polyuga S.I. // Mathematical Machines and Systems. – 2014. – N 1. – P. 143 – 150.
The article suggests fragmentary models for three classical extremal problems on graphs: the vertex cover, dominating set and the clique. The achievability of optimal solutions of these problems in the fragmentary model is shown. Approximate algorithms of finding solutions of these problems on the basis of fragmentary structure are suggested. Figs.: 6. Refs.: 7 titles.
The use of LPτ of uniformly distributed sequences designed to solve applied simulation problems / Radchenko S.G., Kozyr O.V. // Mathematical Machines and Systems. – 2014. – N 1. – P. 151 – 158.
The article deals with the use of LPτ uniformly distributed sequences designed to solve applied simulation problems. The problems of constructing of multifactor experiment designs on the base of these sequences are formulated as well. It is shown that the use of LPτ sequences as experiment designs without special research is impossible. Figs.: 2. Refs.: 16 titles.
Management and supervision functions in the risk-based approach to safety management / Hrechaninov V.F., Begun V.V. // Mathematical Machines and Systems. – 2014. – N 1. – P. 159 – 170.
The article deals with the modern problems of safety regulation in Ukraine. The functions of management and supervision of safety management in the modern sense and their role in the risk management process are described. A new strategy and structure of state supervision on the risk-based approach is suggested. The probabilities of risk control errors under different strategies of governmental regulation are estimated. Figs.: 5. Refs.: 11 titles.
Nonlinear inseparable problem of rational distribution of multidimensional resource under multinomenclature production / Raskin L.G., Sira O.V., Katkova T.I. // Mathematical Machines and Systems. – 2014. – N 1. – P. 171 – 177.
The problem of rational distribution of multidimensional resource under multinomenclature production is formalized as a nonlinear inseparable mathematical programming problem. For solving the problem the iterative procedure with a finite number of steps is suggested. Refs.: 5 titles.
QUALITY, RELIABILITY AND CERTIFICATION OF COMPUTER TECHNIQUE AND SOFTWARE
Modeling of random values of the DN-distribution / Gribov V.M., Strelnikov V.P. // Mathematical Machines and Systems. – 2014. – № 1. – P. 178 – 184.
The generator of random values in the form of programme on the basis of Mathcad, converting regular uniformly distributed numbers of the computer gauge in sequence of the DN-distribution random numbers is offered. Characteristics of reproducibility, stability, independence and speedwork of programme converter are investigated. Figs.: 2. Refs.: 4 titles.
On the comparative evaluation of dependable systems / Fedukhin O.V., Yaroshenko V.N., Sukhomlyn A.I., Cespedes Garcia N.V., Mukha Ar.A. // Mathematical Machines and Systems. – 2014. – N 1. – P. 185 – 194.
The questions of comparative evaluation of systems in terms of dependability were considered. A basic approach to measuring performance metrics and attributes of dependability on the basis of expert assessments were developed. Tabl.: 1. Refs.: 3 titles.
UDC 007; 681.3
Probability-algebraic simulation method of reliability of structurally complex large-scale systems / Sukach O.I. // Mathematical Machines and Systems. – 2014. – N 1. – P. 195 – 200.
The method of assessment of probability characteristics of reliability of structurally-difficult complex large-scale systems with two inputs and two outputs on probabilistic characteristics of reliability of their elements is observed. Tabl.: 1. Figs.: 3. Refs.: 7 titles.