Mathematical Machines and Systems. 2007 #1

ABSTRACTS


COMPUTER SYSTEMS

UDC 680.3
The conditions of correspondence of control model to the requirements of the object of the control / Koss V.A. // Mathematical Machines and Systems. - 2007. - N 1. - P. 3 - 15.
In the paper the approaches to the decision of problems of increase of a management efficiency by complex systems of the large dimension are stated. The influence of conditions of uncertainty and nature of complex system of a class active object on the decision of a task is analyzed. The nature of transformation of the information in a cycle of management and influence on it of base functions of system is investigated. The requirements to the system project as to a basis of integration of interests of the participants of the complex projects are considered. Figs.: 2. Refs.: 8 titles.

UDC 681.3:330.3:340.1
Information-analytical technology as a tool of supporting and providing of taking decisions on the state level / Kosolapov V.L., Kolosov V.E., Kovtun V.O., Kozlov V.V., Petruk N.P. // Mathematical Machines and Systems. - 2007. - N 1. - P. 16 - 26.
One of the most important directions of computer technology using - systems of supporting of taking decisions (SSTD), information-analytical, forecasting technologies and others is analyzed in the paper. Searching of directions of the development of the information-analytical technologies as a tool of supporting systems of taking decisions on the state level is analyzed on the base of the modern state of the problem. The main principles of their functioning and the possibilities of using, creating in Ukraine the modern market of intellectual property, the component part of which is development and implementation in practice the state automated system of calculation and control of intellectual property using. There are presented the priority directions concerning arrangement of integral and effective system of the state regulation of the rights on the objects of the intellectual property in Ukraine. Fig.: 1. Refs.: 7 titles.

UDC 517.925
Researching stability of impulsive hybrid systems / Bitshkov O.S., Merkuryev M.G. // Mathematical Machines and Systems. - 2007. - N 1. - P. 27 - 33.
Stability of the stationary state of impulsive hybrid system is researched. Research is conducted by the method of Lyapunov functions. The sufficient conditions of stability and instability are received. These conditions are easily calculated and have the constructive nature. Refs.: 11 titles.

LARGE SYSTEM SIMULATION AND MANAGEMENT

UDC 519.2+600.1
Representation of physical phenomena by hyper-random models / Gorban I.I. // Mathematical Machines and System. - 2007. - N 1. - P. 34 - 41.
Publications consented theory of hyper-random events, variables, processes, and fields have been analysed. It has been shown, that the theory belongs to ones, which describe constructive mathematical models. All results followed from it are equivalent to the results obtained from probability theory and mathematical statistics. However, as the box theory, it spreads the possibilities to solve practical tasks. Hyper-random models taking into consideration the changing of distribution functions of variables, processes, and fields more adequately describes the real situations than random ones with fixed distribution functions. It has been found the corollary of the hypothesis, that all real phenomena with the exception of the world physical constants are hyper-random type, is the absolutely all estimates of real, values, functions, and fields are not consistent type and the accuracy of any real physical measurements is limited. Apart this, the absolutely truth of target detection and absolutely truth of object classification are not possible. Refs.: 26 titles.


UDC 004.318
Development of abstract model of language-ontologic information system / Palagin O.V., Petrenko M.G. // Mathematical Machines and Systems. - 2007. - N.1 - P. 42 - 50.
In this article the conceptual scheme of processing NLT in LOIS, presented as stages of processing information components NLT from formation of model of the entrance text to creation of functional model of an applied task, and also means of maintenance to of processing is researched. Besides abstract model LOPW, in particular model of a level of syntactic structures and conceptually-semantic relations between categories, concepts and primitives is developed. Tabl.: 1. Figs.: 4. Refs.: 16 titles.


UDC 519.863:338.3
The dynamic generalized model of intersector balance taking into account control above contamination / Boychuk M.V., Shmurygina N.M. // Mathematical Machines and Systems. - 2007. - N 1. - P. 51 - 61.
Generalized mathematical model of dynamic intersector balance taking into account the control above contamination and the resulted algorithm of its researching is offered. Refs.: 4 titles.


UDC 004.8
Methods and means of imitation modeling production-economic system / Yakimov A.I. // Mathematical Machines and Systems. - 2007. - N 1. - P. 62 - 66.
The method of imitation modeling production-economic activity of the high level hierarchical system and means for its realization are presented. The method and means are demonstrated on the example of marketing level when evaluating contract efficiency. Figs.: 4. Refs.: 4 titles.


UDC 681.51:57
The user error correction on the basis of the joint use of the error-correcting coding and virtual vocabulary of the admissible words / Litvinov V.A., Maistrenko S.Ya., Pilipenko Ju.G. // Mathematical Machines and Systems. - 2007. - N 1. - P. 67 - 76.
The described model of the automatic error correction is based on the joint application of the code methods and method of the inverse distortion for increasing validity of the input information and saving labor of error correction. The combined algorithms of automatic and semiautomatic error correction are considered. For the proposed algorithms, probabilistic estimations of the automatic, semiautomatic, manual and false correction, which can be used while deciding which algorithm of adjustment to choose, are analytically derived. Tabl.: 4. Figs.: 2. Refs.: 5 titles.


UDC 004.9:504:519.6
The assimilation of the measurement data in the atmospheric models of SSMD: algorithms / Kovalets I.V. // Mathematical Machines and Systems. - 2007. - N 1. - P. 77 - 87.
The algorithms for the assimilation of the measurement data in the atmospheric models of the emergency response systems (ERSs) are developed. The presented algorithms can be used in ERSs for support decision in cases of nuclear, chemical and other emergencies, which are accompanied by release of contaminants in the atmosphere. The algorithms are based on the variational optimization methods together with the statistical optimal interpolation method. With the use of the concentration and gamma dose rate measurements the developed algorithms allow the correction of the source function. Figs.: 2.: Refs. 20 titles.


UDC 681.3
Program interfaces of complex discrete systems simulation / Liavchuk V.D. // Mathematical Machines and Systems. - 2007. - N 1. - P. 88 - 92.
Program interfaces needed for the creation of a simulation model are discussed in this report. The composition of the simulation toolkit MICIC4 oriented to a team way of realization project implementation is considered. Refs.: 7 titles.


UDC 681.3
Sеmantics and pragmatics of the UN-factors in the conceptual model of expert knowledge / Ilyina О.Р. // Mathematical Machines and Systems. - 2007. - N 1. - P. 93 - 98.
The kinds of UN-factors showing their manifestations in the expert knowledge systems reflecting the conceptually different viewpoints on the decision making area are distinguished and investigated. Their semantic definition by means of predicates and metrics for the special type relations of the conceptual model elements is developed. The description of pragmatics of UN-factors which connects them with the functions of the analytical supporting of expertize is given. Fig.: 1. Refs.: 4 titles.


UDC 681.3
Simulation modelling of the probabilistic transport floods of the region / Giruts P.L., Maximay I.V., Sukach O.I., Eskova O.I. // Mathematical Machines and Systems. - 2007. - N 1. - P. 99 - 104.
It is considered the task of the research of the probabilistic transport floods of region. There are formulated the peculiarities of the formalization of traffic network with the multitude of entrances and ways out for building of simulation model, with the purpose of searching maximal flood. It is informed about composition and assigning of the procedures of simulation model the algorithm of Ford-Falkerson and method Monte-Karlo. Refs.: 4 titles.


UDC 001; 681.3
Modeling system realizing a modular way of imitation / Smorodin V.S. // Mathematical Machines and Systems. - 2007. - N 1. - P. 105 - 110.
Particularities of formalization of system realizing a modular way of imitation for probabilistic technological production processes are formulated. About composition and structure of system for automation of simulation realizing a modular way of imitation is reported. Problems of design modeling of similar processes by means of developped modeling system for automation are enumerated. Refs.: 6 titles.


UDC 551.468.4:574.4
Modeling water eutrophication of northwestern part of the Black Sea / Tuchkovenko Ju.S., Torgonskaya O.A. // Mathematical Machines and Systems. - 2007. - N 1. - P. 111 - 116.
The three-dimensional numerical simulation model of water eutrophication of northwestern part of the Black Sea (NWBS) is developed. The model is calibrated on the base of the data of longterm ecological monitoring and is adapted to conditions of Dnieper-Bug and Odessa regions in NWBS. Figs.: 6. Refs.: 3 titles.


UDC 621.314
Computer design of quasireverberatory invertor power supply for the arc loading / Feldsher I.F. // Mathematical Machines and Systems. - 2007. - N 1. - P. 117 - 121.
A new more effective topology of transformer is offered in connection with development of demand on transformers with the high volume density of energy. A quasireverberatory transformer on the base of inventor with a throttle in the chain of alternating current is the offered chart of construction of power circuit. A functional model confirmed possibility of diminishment of losses of switching and receipt of high coefficient of efficiency (94%) and power-factor (0,9) in the range of loadings from 20% to 100% of nominal. Also sit enables the key transistors of source to function with the minimum losses at switching in all range of loadings with frequency of switching to 150 kHz. As compared to the known topology the negligible quantity of additional components is required here only. Figs.: 2. Refs.: 3 titles.


UDC 651.3:518.5
Methodology of construction of the extraction model of the objects of education in the adaptive system of distance learning and knowledge control / Fedoruk P.I. // Mathematical Machines and Systems.  2007.  N 1.  P. 122 - 128.
The article reveals the approach to the projecting of the adaptability function in the interactive mode on the basis of the models of extraction of the learning objects with the help of system of distance learning and knowledge control by students with adaptation to their preparation and other peculiarities. Besides the suggested methodology lets us to reduce the decomposition of needed set of learning objects for the given learning course. Figs.: 8. Refs.: 7 titles.


UDC 004.318
Implementation of interpreter object oriented design pattern on basis of XML language / Tsukur V., Drobnych O., Plakosh Yu. // Mathematical Machines and Systems. - 2007. - N 1. - P. 129 - 136.
This article describes programmatic issues and solutions while implementing XML-based Interpreter Object Oriented Design Pattern. Aims and usage of such Interpreter are presented. Language elements and their implementation for Java 2 are described. Refs.: 5 titles.


QUALITY, RELIABILITY, AND CERTIFICATION OF COMPUTER TECHNIQUE AND SOFTWARE

UDC 504.056
The use of probabilistic-physical models for estimation of probabilities of elementary events which cause technogenic danger / Serebrovsky О.M., Strelnikov V.P. // Mathematical Machines and Systems. - 2007. - N 1. - P. 137 - 143.
The method for estimation the probability of elementary undesirable events which cause technogenic danger, is offered. The principles of probabilistic-physical models of failures are used. The work can be utilized when developing software of the automated systems for control and analysis of potential-hazardous objects safety. Refs.: 5 titles.


UDC 621.3.019.3
Мodeling of restored system reliability with a "cold" reserve / Fedukhin О.V., Cespedes Garcia N.V. // Mathematical Machines and Systems. - 2007. - N 1. - P. 144 - 150.
The questions of statistical modeling of reliability of restored system with a "cold" reserve on the basis of generators of the random numbers having DN-distribution are considered. The algorithm of reliability modeling and examples of reliability modeling of systems for the various initial data on components reliability parameters are offered. Tabl.: 2. Figs.: 5. Refs.: 3 titles.


UDC 681.3.019.3
Research of design procedures of reliability of parallel structures / Dgassim Muhamed Kasmy, Strelnikov V.P. // Mathematical Machines and Systems. - 2007. - N 1. - P. 151 - 155.
The comparative analysis of existing design procedures of reliability of systems such as Is submitted. It is considered five techniques, the different methods based on use and laws of distribution of an operating time to refusal. It is shown, that to the most effective, resulting{bringing} to the minimal errors of calculation of parameters of reliability, the technique based on use of two-parametrical -distribution, classical probability theory and a method of functions of casual argument is represented. Tabl.: 2. Refs.: 4 titles.


       Last modified: May 18, 2010