UDC 681.086 ANALITIC-2007 / Morosov A.О., Klimenko V.P., Fishman Ju.S., Shvaluck T.M. // Mathematical Machines and Systems. - 2007. -N 3, 4. - P. 8 - 52.
In the paper the system of computer algebra ANALITIC-2007 and its source language which is the newest version of languages of family ANALITIC developed in the Institute of Problems of Mathematical Machines and Systems NAS of Ukraine is described. Works on languages of family ANALITIC have been started under the leadership of academician Glushkov V.M. in 60th years. In total 8 versions of the language have been realized. The basic differences of on languages of this family are the advanced means of dialogue and a high level of the artificial intellect. From the previous versions of languages of family ANALITIC-2007 differs more deep study and classification of means of computer algebra, the further development of control facilities by calculations, the device of the decision of problems by interactive methods and means of recognition of structural and functional properties of objects of computer algebra. Language differs laconicism and generality of objects and functions. ANALITIC-2007 it is intended for the decision of scientific and applied problems, and also for intensification of training disciplines with the raised level of mathematical modelling. Fig.: 1. Refs.: 19 titles.
UDC 680.3
Making decisions support systems of the Situation Centre Type. IMMSP of NAS of the Ukraine contribution / Kyzmenko G.Ye., Vyun V.I., Litvinov V.A. // Mathematical Machines and Systems. - 2007. - N 3, 4. - P. 53 - 62.
It is discussed the contribution of the IPMMS NAS of Ukraine to the theory and the practice of the creation of the support system of the Situation Centre type, marked the most essential results, achieved in the Institute in this direction: RADA System, Situation Centre of the Defense Ministry. It is shown the "pioneer" works of the Institute specialists in this direction in SDB MMS of the Institute of Cybernetics of the Ukrainian Academy of Sciences structure and the prospects of the development in this direction. Figs.: 15. Refs.: 39 titles.
UDC 004.318
To problem of system-ontological integration of knowledge of subject field / Palagin O.V., Petrenko M.G. // Mathematical Machines and Systems. - 2007. - N 3, 4. - P. 63 - 75.
Some aspects of system integration of knowledge of a subject domain and their orientation to effective realization in this work of knowledge-based of information technologies of natural language objects processing. Tabl.: 1. Figs.: 9. Refs.: 25 titles.
UDC 004.5
Ethical problems of forming global information space / Grinchenko T.O. // Mathematical Machines and Systems. - 2007. - N 3, 4. - P. 76 - 84.
Rapid development of Internet - is one of the most impressive demonstration of information revolution. Quantity of Internet users is increasing constantly. Quantity of negative information is increasing too. In the paper reasons of negative phenomena are analyzed and recommendations on information safety are proposed. Basis of the recommendations are ethical principles. The ethical culture of information globalization establishes not only a space for culture exchange between nations, but also stimulates the development of new principles of global ethics. Refs.: 5 titles.
UDC 681.3
Using system of automatic design of the corporate nets'work for more effective filling of the offered channel band / Gogolev V.V. // Mathematical Machines and Systems. - 2007. - N 3, 4. - P. 85 - 94.
The offered model displays processes of transfer of information streams in the computers network with taking into account mechanisms and algorithms of routing, switching, transfer and storage, losses as a result of overloads and distortions. In our opinion, use of concept «the soft metrics», allows to spend more flexibly the analysis of work in case of large corporate and global networks and to increase economic efficiency of the designing and already developed networks. The product operates with inexact categories at the description of characteristics of devices and models work of the distributed network architecture in the conditions approached to real: inconstancy of the quantitative characteristics describing work of unit of system, channels of transfer of the information, etc. Tabl.: 2. Figs.: 5. Refs.: 13 titles.
LARGE SYSTEM SIMULATION AND MANAGEMENT
UDC 004.94:532.59 Modeling vessel waves with using shallow water equations and Boussinesq equations / Kolomiyets P.S., Zheleznyak M.Y., Kivva S.L. // Mathematical Machines and Systems. - 2007. - N 3, 4. - P. 95 - 110.
Two numerical models for calculating impacts of passing vessels on berthed vessels and shoreline based on the nonlinear shallow water equations and non-linear dispersive Boussinesq equation are presented. Comparisons with laboratory and field data, as well as some results of model applications on engineering projects are considered. The method is described how two-dimensional wave propagation codes are coupled with the results of the commercial three-dimensional CFD model SHIPFLOW that is used in the vicinity of a vessel. Figs.: 15. Refs.: 19 titles.
UDC 681.3
Complex discrete system simulations / Nesterenko B.B., Novotarskiy M.A. // Mathematical Machines and Systems. - 2007. - N 3, 4. - P. 111 - 121.
New version of formal description for complex discrete systems (APRO-nets) Is offered. Structural and algorithmic features of APRO-nets are stated. The example of model description for distributed computing system focused on processing of real working load is adduced. Tabl.: 1. Figs.: 3. Refs.: 10 titles.
UDC 651.3:518.5
Adaptive tests: statistical methods of processing results of test knowledge control / Fedoruk P.I. // Mathematical Machines and Systems. - 2007. - N 3, 4. - P. 122 - 138.
In the article the possibilities of static methods of analysis of test results, are given and the simplest and the most necessary procedures of statistical processing knowledge test results and methods of evaluation of test quality are considered. The article describes the approach to test construction which is described in the modern test theory on the basis of mathematical theory of parametric evaluation of test tasks on the basis of modern mathematical models: oneparametric model of Rush, twoparametric and threeparametric models of Birnbaum. Figs.: 4. Refs.: 11 titles.
UDC 631.3
Expert systems of the operative estimation of technogenic danger / Serebrovskiy O.M. // Mathematical Machines and Systems. - 2007. - N 3, 4. - P. 139 - 144.
The approach to the creation of the expert systems, which permit to estimate probabilities of the origin of elementary undesirable (basis) events on the potentially dangerous objects is offered. The means of creating such expert systems is the method of expert estimation scales (MEES). Created expert system is included in contour of monitoring and operative analysis of safety. Practical significance consists in possibility of automatic calculation of the estimations of current technogenic dangeour on the basis of data receiving in the result of monitoring causal factors of dangeour. Refs.: 8 titles.
UDC 681.3.00:007
Data warehouse as a model of situation analysis of information system activity (procedures and algorithms of forming and using) / Vyun V.I., Mikhnenko Yu.A. // Mathematical Machines and Systems. - 2007. - N 3, 4. - P. 145 - 149.
The problem of operational loading of modeling process and analysis of system providing and using history of the past activity of the information system (IS) as specialized Data Warehouse (DW) is discussed in the paper. The purpose of the analysis is actualization of knowledge about system on the base of exposure discovery of the new functional dependences between key parameters - indices (their groups) of the activity. Fig.: 1. Refs.: 12 titles.
UDC 004.2
Statistical indexes of the independence of time efficiency of algorithms from cashing data / Shynkarenko V.I. // Mathematical Machines and Systems. - 2007. - N 3, 4. - P. 150 - 161.
The problem of decreasing of time's efficiency of algorithms, when volume of processing data exceeds the size of cache memory is considered. That is the cache shortage effect. The statistical indexes for the estimation of this effect are offered. The advantages of these indexes are shown. The special cases of cache shortage effect are considered when processing different type's data. Tabl.: 4. Figs.: 2. Refs.: 10 titles.
UDC 007; 681.3
Verification of simulation models of technological processes of manufacture with variable structure / Smorodin V.S. // Mathematical Machines and Systems. - 2007. - N 3, 4. - P. 162 - 167.
Technological processes of manufacture, described by means of the probabilistic network graph, are considered. Particularities of imitation and way of formalization of technological process are given. Strategy of verification of simulation models of technological processes of manufacture with the variable structure is offered. Refs.: 5 titles.
UDC 517.928, 519.713
Sufficient conditions of exponential stability of hybrid automata zero steady state / Bychkov O.S. // Mathematical Machines and Systems. - 2007. - N 3, 4. - Р. 168 - 175.
In the article as summarizing formalism of the continuously-discrete systems a hybrid automata is examined. The important task of research of hybrid automaton is stability of a zero steady state. The known conditions do not allow to check up structurally the stability of solutions. The new approach, based on specialy built sequence of values of Lyapunov functions is offered. The conditions have structural character and are calculated easily. Refs.: 14 titles.
UDC 517.925
Sufficient conditions of stability of fuzzy linear hybrid automata / Merkuryev M.G. // Mathematical Machines and Systems. - 2007. - N 3, 4. - Р. 176 - 184.
Existing methods of investigation of fuzzy stability are based on proximity of distributions, that doesn't correspond to reality well. The paper proposes original definitions of fuzzy stability in Pytyev's theory of possibilities. Constructive conditions for stability of fuzzy hybrid automaton with linear right-hand part are obtained. Refs.: 5 titles.
UDC 519.85
Mathematical modeling of real problems as linear optimization problems on permutations with constraints and using combinatorial polyhedron's properties for their solutions / Pichugina O.S. // Mathematical Machines and Systems. - 2007. - N 3, 4. - P. 185 - 195.
At the article a review of modern approaches to solution of linear optimization problems with constraints on combinatorial sets is given. The special attention is given for investigating permutation polyhedron's admissible domains with special constraints. It is shown, that sometimes additional research of admissible domain allows reducing dimension of problems, passing from consideration of permutation polyhedrons with constraints to polypermutation polyhedrons without constraints, finding solutions of problems with restrictions without using linear optimization methods or discrete linear optimization methods. The mathematical model of some manufacture accommodation problem as a linear problem on permutations with additional restrictions is constructed. For solution of the problem using the expounded approaches is recommended. Refs.: 10 titles.
UDC 628.16.08.001.57.001.26
Modeling and optimization of metering of reagent in a hydraulic reactor-mixer / Fylypchuk L.V. // Mathematical Machines and Systems. - 2007. - N 3, 4. - P. 196 - 198.
It is conducted computer modeling process of change of quantity of active reaction of environment (pH), which passes at sewage treatment from ions of heavy metals in a huadraulic mixing reactor of tubular type on the base of equations of mathematical physics, which presented by the differential equations in partition derivatives. Figs.: 2. Refs.: 2 titles.
UDC 681.51
Imitation modeling of control system of giant washout in the processes of hydroextraction of minerals with the help of mining hole / Melnik V.S. // Mathematical Machines and Systems. - 2007. - N 3, 4. - P. 199 - 202.
It is analysed process and dynamics of giant washout of a mineral. The mathematical model of the process as object of management is designed. It is offered the control system of giant washout after speed of washout and it is conducted its imitation modeling. Figs.: 5. Refs.: 3 titles.
UDС 681.518:519.711.3
Approach to the power supply modeling on the basis of occurrence of thermal energy and heat-carrier losses analisys / Artamonov Е.В. // Mathematical Machines and Systems. - 2007. - N 3, 4. - P. 203 - 210.
In current article the approach to the problem of power supply systems modeling through operation process analysis is presented. On the basis of this approach the tree of main targets of power supply systems was built, the place of system's service targets was defined and main parameters, on which base system condition analysis will be done, were presented. Tabl.: 1. Figs.: 6. Refs.: 7 titles.
UDC 004.94:681.51
The information technology of optimal parameters definition of control of traffic through city traffic light objects / Stetsenko I.V., Batora Yu.V. // Mathematical Machines and Systems. - 2007. - N 3, 4. - Р. 211 - 217.
The system of imitation modeling transport motion, which is controlled by traffic lights is created. System's constructive elements allow to form models of various road's nets. The information technology of crossroad's group traffic lights object's optimal control parameters definition is developed with the use of evolution strategy. Figs.: 4. Refs.: 3 titles.
UDC 004.9
Forming criterion of selection of informative parameters of design objects of modelling in the information systems of the multilevel monitoring / Golub S.V. // Mathematical Machines and Systems. - 2007. - N 3, 4. - P. 218 - 226.
It is shown that integrity is one of descriptions of signs of object which influences on quality of synthesis of model structure. The method of research influencing this property of parameters on the process of reflection of properties of objects in the structure of informative models is described. The coincidence criteria of informing signs are developed and experimentally explored and the approaches to their forming are described. Efficiency of application of the offered criteria is experimentally confirmed for the selection of informative parameters of design and avoidance of objects redifinition in the informative systems of the multilevel monitoring. On the example of the use of coefficient of grade correlation and standard deviation the features of forming criteria of coincidence of informing signs are explored. When diminishing level of сoincidence after the developed criterion on 1 the index of quality of models gets better on 16-25 %. Tabl.: 3. Figs.: 4. Refs.: 19 titles.
QUALITY, RELIABILITY AND CERTIFICATION OF COMPUTER TECHNIQUE AND SOFTWARE
UDC 621.3.019 New technology the research of machine and equipment reliability / Strelnikov V.P. // Mathematical Machines and Systems. - 2007. - N 3, 4. - P. 227 - 238.
The work gives survey of the problem of research of reliability and analyses of causes of non adequate solution of reliability today. The work examines probability-physical methods, as new technology the research reliability, which can solve problems of reliability more effectively. Refs.: 60 titles.
UDC 621.3.019.3
The modelling of reliability of restored system in view of the trend of parameters of reliability of components / Fedukhin О.V. // Mathematical Machines and Systems. - 2007. - N 3, 4. - P. 239 - 244.
The questions of statistical modelling of reliability of restored reserved system are considered in view of a trend of parameters of reliability of components on the basis of generators of the random numbers having -distribution. The algorithm of modeling reliability and examples of modelling reliability of systems for the various initial data on parameters of reliability of components is offered. Tabl.: 2. Figs.: 4. Refs.: 4 titles.
UDC 629.735.05:621.3(045)
Maintenance strategy of one-unit avionic system with revealed and unrevealed failures / Ulanskyi V.V., Machalin I.O. // Mathematical Machines and Systems. - 2007. - N 3, 4. - P. 245 - 256.
The mathematical models of a one-unit avionic system maintenance strategy are developed with taking into account the revealed and unrevealed failures and trustworthiness of multiple checking. The mathematical equations are obtained for calculating the mean time of finding one-unit system in different exploitation states and its limits. The steady-state availability formula is determined for an arbitrary distribution of time to revealed and unrevealed failure and for the exponential distribution. Tabl.: 2. Refs.: 17 titles.
