Mathematical Machines and Systems. 2013 #4
ABSTRACTS
50 years since the founding of the Institute of Mathematical Machines and Systems of National Academy of Sciences of Ukraine / Morozov A.O. // Mathematical Machines and Systems. – 2013. – N 4. – P. 3 – 13.
COMPUTER SYSTEMS
UDC 681.3
From multi-dimensional receptor and effector neural-like growing networks to electronic brain of robots / Yaschenko V.O. // Mathematical Machines and Systems. – 2013. – N 4. – P. 14 – 19.
The concept of development of electronic robot brain based on the matrix representation multiply, multidimensional neural-like growing networks were examined in the paper. The functional organization and block diagram of robot brain were briefly examined. The advantages of the proposed architecture in comparison with existing ones were shown. Figs.: 2. Refs.: 7 titles.
UDC 519.685/519.686
Experiments with a deductive testing of reactive systems / Letychevsky O.O. (Jr.) // Mathematical Machines and Systems. – 2013. – N 4. – P. 20 – 28.
The application of deductive methods in testing technology is possible at definition of equivalence of software product to initial requirements. It is anticipated that programme code is developed due to the requirements that could be presented as formal specifications. Deductive testing technique by using symbol programme execution allows obtaining the most complete coverage of all visible data. The example of deductive testing of reactive system is considered in this paper. Tabl.: 1. Figs.: 6. Refs.: 7 titles.
UDC 004.312.22
Operating elements with iterative organization of computational and converting process / Gerasymov І.V., Kuzmin S.O., Bulakhov A.V. // Mathematical Machines and Systems. – 2013. – N 4. – P. 29 – 37.
In the context of the physical symbol system hypothesis based on the Church-Turing thesis modification, the concept of computational and converting circuit in the design solutions of iterative operational elements was embodied in the paper. Their distinctive feature is the polymorphism of information and control signals combined with analogue and digital ways of functioning, which motivates the further researches in the field of forming the wave processes models representations system by analogy with the physical processes quantum theory. Figs.: 7. Refs.: 13 titles.
UDC 681.3
A way of parallel implementation of the Newton-Raphson method on specialized processor in a single computational thread / Ledyankin Yu. Ya. // Mathematical Machines and Systems. – 2013. – N 4. – P. 38 – 49.
It is developed the idea of creating a single computational (technological) thread to organize parallel calculations at the level of complex data structures as a way to improve the performance of devices which include a scalar multiplier. It is expected to exclude the division operations at each iteration. Refs.: 10 titles.
INFORMATION AND TELECOMMUNICATION TECHNOLOGY
UDC 004.5
Predictive typing in user interface of an information retrieval system / Lytvynov V.A., Oksanych І.M., Maystrenko S.Ya. // Mathematical Machines and Systems. – 2013. – N 3. – P. 50 – 63.
The review of the results of theoretical and experimental studies of predictive typing mechanisms in the user interface of systems of keyword search is given. The dependencies between the parameters of the user interface and its performances are presented. Quantitative estimates are given. Tabl.: 8. Figs.: 8. Refs.: 13 titles.
UDC 004.773.5
Technologies of data transmission in video conferencing systems / Kazymyr V.V.,
Tevkun M.V., Drozd O.P. // Mathematical Machines and Systems. – 2013. – N 4. – P. 64 – 69.
The methods and technologies, associated with video and audio data transmission in video conferencing systems were discovered. Existing problems in the field of data transmission in conferencing systems via the Internet and methods for their solution were considered. The most widely used technologies of data transmission in the video conferencing systems via the Internet were analyzed. The concept of telepresence and features of video conferencing systems that it provides were considered. Conclusions about the appropriateness of using different technologies of video and audio data transfer depending on the type of video conferencing system were made. Figs.: 2. Refs.: 10 titles.
UDC 004.75: 004.414.23
Scheduling methods of workflow in grid-environment / Kazymyr V.V., Byvoino P.G.,
Prila O.A., Guza T.A. // Mathematical Machines and Systems. – 2013. – N 4. – P. 70 – 81.
The features of grid-environment usage for different computational problems solving are described in the paper. The results of the traditional grid scheduling methods are presented. An algorithm for workflow scheduling problems optimization in grid-environment based on the dynamic programming approach has been proposed. Experimental results on scheduling algorithms efficiency based on complex of simulation models are given. Tabl.: 1. Figs.: 8. Refs.: 17 titles.
UDC 004.942: 631.15
Peculiarities of construction of automated control system of agricultural enterprise / Balchenko I.V., Lytvynov V.V., Klymenko V.P. // Mathematical Machines and Systems. – 2013. – N 4. – P. 82 – 94.
An approach of construction of automated control system of agricultural enterprise as industrial process control system and its regulation is shown. The main directions and tasks for the efficient management of agricultural enterprise are allocated. Tabl.: 1. Figs.: 10. Refs.: 3 titles.
UDC 65.012.122 : 004.023
Application of the method of modeling the ant colony to the solution of combinatorial problems scheduling the execution of order by metallurgical plants / Zheldak T.A. // Mathematical Machines and Systems. – 2013. – N 4. – P. 95 – 106.
The problem of scheduling the execution of metallurgical industries orders was considered. It was accounted the time loss factor of equipment reconfiguring that was not regarded before. Combined optimization criterion and the objective function to minimize the loss of consistent implementation of complex tasks were received. Solution algorithm in real-time based on ant colony modeling was suggested for the problem. Таbl.: 3. Figs.: 3. Refs.: 21 titles.
UDC 51.001.57+004.652.4+004.827
Formation method of scientific schools based on the analysis of publications elements / Noga R.Yu. // Mathematical Machines and Systems. – 2013. – N 4. – P. 107 – 113.
Method for determination of scientific publications elements and associations of authors into scientific schools was developed in this paper. Figs.: 5. Refs.: 6 titles.
SIMULATION AND MANAGEMENT
UDC 519.63:519.17
The finite element method and graph theory / Voloboev V.P., Klymenko V.P. // Mathematical Machines and Systems. – 2013. – N 4. – P. 114 – 125.
It is offered in the finite element method to represent finite elements and boundary conditions in the form of the equivalent circuits consisting of two-terminal components and topology of the settlement scheme of discrete model of object to be represented graphically for the application of a method of correct equations formation on a finite element mesh. The technique of construction of equivalent circuits under descriptions of final elements and boundary conditions is offered. The example of construction of the graph of discrete model of object under the description of finite elements and boundary conditions is suggested. Figs.: 7. Refs.: 21 titles.
UDC 519.63; 004.75
Peculiarities of application of lumped approximations in the SUPG method for solving linear one-dimensional of convection-diffusion / Molchanov O.A., Syryk S.V., Salnykov M.M. // Mathematical Machines and Systems. – 2013. – N 4. – P. 126 – 134.
The SUPG method with using lumped approximations was analyzed. It was mentioned in the paper that in some cases this method can lead to excessive smoothing solutions and significant errors. The paper has been presenting the possibility to choose weighting functions for which the above drawbacks almost are not visible. The corresponding approximations in the form of systems of ordinary differential equations and difference schemes were built. Figs.: 2. Refs.: 15 titles.
UDC 621.039.586
On modern methods of safety regulation / Begun V.V., Grechanynov V.F., Klymenko V.P. // Mathematical Machines and Systems. – 2013. – N 4. – P. 135 – 146.
The problems of modern safety regulation in Ukraine are regarded, the causes of poor safety in various fields are analyzed. The current safety management strategy based on probabilistic simulation of structural and logical modeling is presented. Figs.: 5. Refs.: 18 titles.
UDC 519.233.5:519.242.5
On the correspondence of the statistical method by real properties of the modeled complex systems / Radchenko S.G. // Mathematical Machines and Systems. – 2013. – N 4. – P. 147 – 155.
The basic system properties of the modeled complex systems have been analyzed, and conditions which do not correspond to preconditions of the statistical method of modeling have been adduced. The author presents stable methods to solve the regression problems in conditions of initial indeterminacy of the data. An example of successful solution of the real applied problem of obtaining the multifactor regression model has been considered. Refs.: 9 titles.
UDC 519.237.5
Design in a passive experiment / Lapach S.M. // Mathematical Machines and Systems. – 2013. – N 4. – P. 156 – 160.
The paper investigates the problem of applying the idea theory design of experiments to matrix of passive experiments. The scientific idea and algorithms of forming subsamples from matrix of passive experiments and completing the construction of samples are described. The work results have been reduced to practice in R&D institute of aviation. Tabl.: 2. Refs.: 13 titles.
UDC 515.127+519.7
About the estimates of dimensions of attractors of discrete dynamical systems with anticipation / Lazarenko S.V., Makarenko O.S. // Mathematical Machines and Systems. – 2013. – N 4. – P. 161 – 168.
The attractors of dynamical system which evolution operators represent the multivalued operators are regarded in the paper. The estimates of the Hausdorff dimension were obtained. Estimates of such dimensions anticipate nonlinear operators. The estimates were carried out on the basis of d Hausdorff measures building. Otherwise, the estimate unity of the solutions relations were shown. On the basis of the developed software methods a numerous of calculations of cards of fractal dimensions of dynamic systems on computer clusters of Institute of Cybernetics of NAS of Ukraine named after V.M. Glushkov and KPI. Fig.: 1. Refs.: 10 titles.
UDC 004.94
Hierarchic E-nets as a mean of discrete-continuous processes modeling / Sira A.A. // Mathematical Machines and Systems. – 2013. – N 4. – P. 169 – 177.
The paper is presenting the approach and simulation models developed on E-net Modeling System on the base of powerful formal apparatus of hierarchic E-nets allow simulating discrete-continuous technological processes. Tabl.: 1. Figs.: 8. Refs.: 7 titles.
UDC 656.257.004
Simulating of operation algorithm by ACS-tools of Matlab Simulink + Stateflow package / Mukha Ar.A. // Mathematical Machines and Systems. – 2013. – N 4. – P. 178 – 186.
The article is devoted to the problem of simulation dependability system to ensure safety at level crossings. The results of simulating by tools of Matlab Simulink+Stateflow package of operation algorithm of an electronic system of dependable automatic crossing signals the possibility of a new generation signaling employment railroad track crossing at a traffic light and the driver's cab are given. Таbl.: 1. Figs.: 6. Refs.: 5 titles.
UDC 528.06
Modern criteria of classification accuracy assessment of aerospace images / Alpert S.I. // Mathematical Machines and Systems. – 2013. – N 4. – P. 187 – 197.
In this article we discussed main properties of coefficients for accuracy assessment of thematic maps. We proposed such coefficients as class-averaged statistic, overall accuracies, and kappa statistic. We also analyzed accuracy assessment of thematic maps using fuzzy sets. We proposed to build a new error matrix, where elements were fuzzy functions, such as CONFUSION and AMBIGUITY functions. The method of Dempster-Shafer was analyzed. It was proposed to build a new error matrix for Dempster-Shafer Evidence Theory. Tabl.: 3. Refs.: 14 titles.
QUALITY, RELIABILITY AND CERTIFICATION OF COMPUTER TECHNIQUE AND SOFTWARE
UDC 002:658.516+658.562
Software Development Estimation of reliability indexes for a small number of failures / Strelnikov P.V. // Mathematical Machines and Systems. – 2013. – N 4. – C. 198 – 203.
The software for processing the results of observations during the operation of technical systems in order to determine the reliability of the observed systems with a small number of failures was developed. Figs.: 2. Refs.: 3 titles.
UDC 621.3.019.3
Assessment of the integrity of dependable computer systems level / Cespedes Garcia N.V. // Mathematical Machines and Systems. – 2013. – N 4. – P. 204 – 210.
The main aspects of the integrity of dependable computer systems (DCS) are regarded in the paper; the mechanisms and methods to ensure the integrity of the DCS are described. A method of quantitative assessment of the system integrity level is proposed. Tabl.: 3. Figs.: 2. Refs.: 4 titles.
DISCUSSION NEWS
UDC 53
Energy infinite set as a necessary and sufficient basis of the Universe (hypothesis) / Golubchyk V.Ya. // Mathematical Machines and Systems. – 2013. – N 4. – P. 211 – 221.
Compared to classical, another composition of physics from the bottom to the top from energetic disembodied and infinite multitude to the substance and interaction (of fields) is considered. Fundamental parameters of physics: three-dimensional space, time, power, interaction (of field), mass and substance are formed from energetic, infinite multitude in a descriptive way on the level of “common sense”. Figs.: 2. Refs.: 6 titles.
