Mathematical Machines and Systems. 2008 #2

ABSTRACTS


COMPUTER SYSTEMS

  UDC 519.876.5

Definition of adequacy of models of complex discrete systems / Nesterenko B.B., Novotarskiy M.A. // Mathematical Machines and Systems. - 2008. - N 2. - P. 3 - 13.

In this paper the substantiation of necessity of development of formal means for the description of complex systems  is given for the case when the strict substantiation of adequacy of system and its model is required. The process algebra focused on the description of parallel structures, functioning with use of real working loading is shortly considered. Concepts of strong and weak bisimulations are determined. Functioning of direct algorithm of definition of weak bisimulation is described by the example of model of message transfer in the homogeneous computing environment. The block diagram and the description of the accelerated algorithm for determination of weak bisimulation is submitted. Figs.: 2. Refs.: 8 titles.


  UDC 004.318

To projection of ontology-driven intelligence system with natural language processing / Palagin O.V., Petrenko M.G. // Mathematical Machines and Systems. - 2008. - N 2. - P. 14 - 23.

In this work the approach to the formalized projection of ontology-driven an intelligence system with natural language processing objects is considered. Primal problems of the analysis and the synthesis, solved on all design stages are briefly considered. Also the example of solution of the task of classification of text documents is considered. Figs.: 2. Refs.: 22 titles.


 
UDC 519.7

To the problem of intellectualization of computer systems / Meytus V.Yu. // Mathematical Machines and Systems. - 2008. - N 2. - P. 24 - 37.

The article is devoted to the analysis of process of construction of intellectual systems, being based on definition of intelligence as properties of the subject, allowing structuring an environment, and then to apply the created structure to the problem solving, concerning to this environment. Definition of tasks and the problems linked to the environment is considered. Category model of the environment structure is presented. This model specifies a way of the work of intelligence in this environment. Refs.: 14 titles.


UDC 519.711.3

Analysis and researching the expert system diagnostic algorithms of the energy complex in electron beam welding installation / Khominich O.V. // Mathematical Machines and Systems. - 2008. - N 2. - P. 38 - 46.

This article is devoted to using contemporary information technologies in the analysis and researching the algorithms for the expert system of diagnostic device of electron beam welding installation. Mathematical models of logical type were used. The probability estimate method of disrepair beginning was offered. Tabl.: 1. Fig.: 1. Refs.: 4 titles.


UDC 681.324

The basic problems and methods of realization of functions of management of memory in PIM-systems / Yakovlev Yu.S., Yelisyeyeva О.V. // Mathematical Machines and Systems. - 2008. - N 2. - P. 47 - 62.

Tasks and methods of implementation functions of control by memory in PIM-systems are considered - creation and translation of the address information, an optimal memory distribution, allocation of data, etc. Examples of two various approaches are led to construction of controllers of a memory management. Sentences on implementation of an effective way management by the memory grounded on features of construction and operation of PIM-systems are formulated. Tabl.: 3. Figs.: 6. Refs.: 13 titles.


UDC 680.3

Intellectualization of interaction of user with system on the base of the geoinformation technologies / Biletskiy B.O., Gambal O.V., Kuzmenko G.E. // Mathematical Machines and Systems. - 2008. - N 2. - P. 63 - 69.

In the article the questions of perfection of man-machine interface owing to the use of GIS technologies are discussed. For this the generelized technology of creating the specialized facilities of GIS is offered on the base of standard facilities.The concrete examples of GIS projects are resulted with the use of the specialized facilities of GIS. Figs.: 6. Refs.: 16 titles.


UDC 519.8.3

To the question concerning the upper limit of acceleration in macroconveyor computer / Moroz-Podvorchan I.G. // Mathematical Machines and Systems. - 2008. - N 2. - P.  70 - 72.

The acceleration of information processing in macroconveyor computer depends on a number of processors in arithmetical block. The quantitative estimation of approaching to the linear acceleration is considered. Figs.: 2. Refs.: 6 titles.


LARGE SYSTEM SIMULATION AND MANAGEMENT

UDC 681.51

The mathematical model of the optimal planning geological survey / Litvinenko O.Ye., Zuryan O.V. // Mathematical Machines and Systems. - 2008. - N 2. - P. 73 - 80.

The criterion functions focusing the decision of a problem on performance of a maximum quantity of exploration works for minimal time are formalized. The system of restrictions reflecting the requirements to technical and financial maintenance of exploration process is formulated. It is proved, that in the resulted mathematical statement the problem concerns to a class of extreme combinatory problems with linear structure that allows to apply a method of the directed enumeration of possibilities to its decision. Refs.: 2 titles.


UDC 519.876.2

Method of receipt of simplified macromodel of the dynamic system by the methods of Simulink-Matlab / Dyachuk O.A. // Mathematical Machines and Systems. - 2008. - N 2. - P. 81 - 89.

In work the computer method of receipt of simplified macromodel of the dynamic system, which is based on the methods of selection of dominant eigenvalue of the system, is offered. The algorithm of computer approximation transformation of complex model to more simple format is represented. Tabl.: 4. Figs.: 7. Refs.: 7 titles.


UDC 519.6

Computer simulation of heat transfer processes in promising rack type basic bearing structures with heat pipes / Verlan A.F., Goroshko I.O., Nikolaenko Yu.Ye. // Mathematical Machines and Systems. - 2008. - N 2. - P. 90 - 99.

Computer simulation of heat and mass transfer processes in water cooling channels of condensation zones of heat pipe panel collectors in promising rack type basic bearing structures is considered. For estimation numerical simulation precision its results are compared with the results obtained in performed natural experiments. Tabl.: 1. Figs.: 6. Refs.: 12 titles.


UDC 631.3

Estimation of the level of virtual intelligence of the applied software-hardware system on the base of analysis of ergonomic model / Litvinov V.A., Oksanich I.М. // Mathematical Machines and Systems. - 2008. - N 2. - P. 100 - 105.

It is noted shortcomings of approaches to estimations of the system intelligence with the elements of the artificial intellect based on the ideology IQ coefficient in combination with expert estimations of their components. It is proposed the development of these approaches in the direction of ergonomic model of the interaction process "user-computer" and analysis of the intellectual load on user. Tabl.:1. Refs.: 14 titles.


UDC 629.735.05:621.3(045)

Criteria of costs of optimum forming of exchange fund of aviation systems of avionics / Machalin I.О. // Mathematical Machines and Systems. - 2008. - N 2. - P. 106 - 115.

Indexes and criteria of optimization of exchange fund of spares parts of aircrafts are developed for the periods of warranty and post warranty maintenance. Got indexes allow to make optimization of amount of blocks in an exchange fund taking into account the operating costs, and also reliability, periodicity and trustworthiness of checking, depth of renewal of the systems. Figs.: 2. Refs.: 9 titles.


UDC 519.6

On using wavelets and linear filtration for decision signal restoration problems / Karpenko Ye.Yu. // Mathematical Machines and Systems. - 2008. - N 2. - P. 116 - 121.

In the article one of approaches to the decision of task of signal restoration is considered, based on the use of wavelet base with filtration of the recovered signal. Figs.: 2. Refs.: 3 titles.


UDC 631.3

Approaches to the assessment of probabilities of man-caused hazard basic events / Serebrovsкy О.М. // Mathematical Machines and Systems. - 2008. - N 2. - P. 122 - 127.

Three approaches to the assessment of basic events of man-caused hazard probabilities are discussed: living probabilistic safety assessment; failure models; expert systems. The brief description of approaches, the merits and demerits are given. The results may be used during the elaboration of algorithm software for automated systems of potentially hazardous objects of monitoring and analysis. Refs.: 10 titles.


UDC 681.3

Definition of integral maximum stream of regional network using imitation modeling / Maximay I.V., Sukach O.I., Giruts P.L. // Mathematical Machines and Systems. - 2008. - N 2. - P. 128 - 136.

The usage of simulation model of a regional transport network is offered. It takes into consideration the influence of casual integral streams and a probable ageing of the roads for finding an integral maximum stream in a network and distinguishing "the narrow places" in a network of roads. Fig.: 1. Refs.: 4 titles.


QUALITY, RELIABILITY, AND CERTIFICATION OF COMPUTER TECHNIQUE AND SOFTWARE

UDC 621.3.019.3

The analysis of mixed reservation efficiency of the non-restorable systems / Fedukhin O.V. // Mathematical Machines and Systems. - 2008. - N 2. - P. 137 - 146.

The questions of constant mixed reservation efficiency of the non-restorable systems are considered. The analysis of systems reliability by a logical-likelihood method with use of the device Boolean algebra, lambda method on the basis of exponential distributions and PP-method on the basis of -distributions is lead, and recommendations on use of the constant mixed reservation of non-restorable systems are given. Figs.: 6. Refs.: 4 titles.


UDC 19 621.3.019:658.562

About connection between control and standard tests on reliability / Strelnikov P.V. // Mathematical Machines and Systems. - 2008. - N 2. - P. 147 - 151.

In the present work it is established connection at planning control and standard test on reliability. The established requirements in reliability of control tests are recalculated in corresponding requirements for Trustworthy standard test for reliability. Refs.: 3 titles.


UDC 004.934.1'1

The development of the technique of identification of defects of machines and equipment / Fedorov Ye.Ye. // Mathematical Machines and Systems. - 2008. - N 2. - P. 152 - 157.

In the article the technique of identification of defects of machines and equipment based on methods of digital processing of a signal is offered, on the base of which numerical research is conducted and the frequencies in a spectrum of a researched appropriating certain faults of bearings are chosen. Choosing researched range frequencies is implemented with the help of strict maxima, strong threshold and informative frequencies. Figs.: 5. Refs.: 5 titles.


UDC 004.414

Analysis of the methods and means of increasing quality and reliability of the diagnostical medical systems / Volkova S.O., Trunov O.M. // Mathematical Machines and Systems. - 2008. - N 2. - P. 158 - 164.

Existing approaches to definition of maintainability criterions for software reliability and quality are analyzed. Basic methods for both estimation and increasing of medical system's reliability are presented. Moreover, main features of model's application are defined. Classification of tools for modeling of the software reliability is implemented. The conception of software reliability and quality control is proposed. Tabl.: 1. Figs.: 5. Refs.: 18 titles.


       Last modified: May 18, 2010