UDC 517.972/974 The method of the numerical solution for the class of nonlinear variational inequalities with restriction on the boundary of domain / Sazheniuk V.S. // Mathematical Machines and Systems. - 2009. - N 1. - Р. 23 - 30.
The method of the numeral solution for the class of nonlinear variational inequalities with restriction on the boundary of domain which is based on application of methods of fictitious region and grids is proposed. Theorems of convergence of the method аnd estimations of velocity of convergence are given. Refs.: 10 titles.
UDC 519.62 Numerical solution a fuzzy differential equation / Bychkov О.S., Ivanov Е.V. // Mathematical Machines and Systems. - 2009. - N 1. - P. 31 - 39.
In the article a new method for solution of fuzzy differential equations is obtained. The method is based on finding of an estimation of domain in which trajectories of solution with prescribed possibility level are contained. On the basis of the given method the numerical algorithm of solution of fuzzy differential equation is obtained. Fig.: 1. Refs.: 6 titles.
UDC 681.324
The mathematical model of functional environment PIM-system on the basis of the theory of fuzzy sets and theory of granulations / Yelisyeyeva O.V., Yakovlev Yu.S. // Mathematical Machines and Systems. - 2009. - N 1. - P. 40 - 54.
The method of construction of mathematical model, formation of its compound components and base portrait of the functional environment of PIM-system is offered. The base portrait contains a feature set (functions) and a set of priority parameters, which the projected PIM-system should have at the chosen type of integrated technology of the PIM-chip to realize the set algorithm of a solved task. The method is based on application of the theory of fuzzy sets and the theory of granulations. Tabl.: 8. Fig.: 1. Refs.: 8 titles.
UDC 141.1, 303.725.36, 001.9
Incarnate knowledge / Malyshev O.V. // Mathematical Machines and Systems. - 2009. - N 1. - P. 55 - 69.
The knowledge management is a perspective direction of modern science and concomitant technical disciplines. However, the review of literature, touching the range of problems of knowledge management, allows to draw a conclusion that single and confessedly determinations (interpretations) of base concepts, appearing in this subject domain are presently absent (knowledge, (knowledge management, knowledge base, knowledge management system etc). The article tries to give «once again» an answer for a question «What the «knowledge» is?» from positions stipulated by offered conception of «incarnate knowledge». Tabl.: 1. Refs.: 31 titles.
NEW INFORMATION AND TELECOMMUNICATION TECHNOLOGIESUDC 519.7+519.95+681.5
The role of the bases of computer science and system-cybernetic approach in decision the problem of the information psychological influence / Morozov A.O., Aleschenko V.I., Tesler G.S. // Mathematical Machines and Systems. - 2009. - N 1. - P. 70 - 77.
The theoretical bases of the deciding the problem of the information-psychological influence in the aspect of bases of computer science. These bases are: element technological, information psychological, program-algorithmic, organization and intelligent. For uniting given bases in one system the systems-cybernetic approach is used. For estimation of the information- psychological influence the index of information value is used. Fig.: 1. Refs.: 21 titles.
UDC 004.434:51+519.673+53.02
Physical quantities, dimensions and units of measurement in mathematical packages / Ochkov V.F., Lehenkiy V.I., Minaeva К.О. // Mathematical Machines and Systems. - 2009. - N 1. - P. 78 - 90.
There are described problems and solutions when working with valid dimensions in the medium of mathematical program (engineer calculator) Mathcad. Figs.: 14. Refs.: 7 titles.
UDC 004.9
Methods and facilities of operative vocal information distribution in IP-network / Kazimir V.V., Gavsievich I.B., Chuprinin О.D. // Mathematical Machines and Systems. - 2009. - N 1. - P. 91 - 101.
The stages of IP-networks development and voice transmission technologies are considered in the article, a possibility of integration of existent public-call networks and IP-networks is shown, a possibility of external VoIP gateways to increase the scope of audience of notification is analyzed and criteria of operative voice data distribution are formulated. Figs.: 2. Refs.: 14 titles.
UDC 075.8
Object-oriented programming in СКА Maple / Gelembyuk R.V. // Mathematical Machines and Systems. - 2009. - N 1. - P. 102 - 109.
It is described software library that extends facilities of computer algebra system Maple with including support of object-oriented programming (OOP) in designing mathematical libraries. It is shown necessity of supporting OOP in Maple and it is analysed the range of application. It is demonstrated the process of applying the library. Figs.: 3. Refs.: 8 titles.
LARGE SYSTEM SIMULATION AND MANAGEMENT
UDC 007.003; 007.008; 65.0
Automation of modeling control systems of technological processes on basis of man-machine complex of simulation / Goncharov О.М. // Mathematical Machines and Systems. - 2009. - N 1. - P. 110 - 116.
It is reported about the method of organization of technological process of production control by the complex of imitation, containing in its composition the indicators of the equipment state and technological process functioning, decision-making system, simulation model of the probabilistic network graph and expert-technologist. Technology of production process control and method of control of the state of indicators of the system are described. Refs.: 2 titles.
UDC 004.4:004.94
The simulation modeling system based on Petri net / Stetsenko I.V., Boyko O.V. // Mathematical Machines and Systems. - 2009. - N 1. - Р. 117 - 124.
This article considers the system's simulation modeling based on Petri net. The information ties between Petry net's elements are proposed for simulation of model part's interaction on information level. The universal simulation modeling system PTRSIM based on Petri net is created. Figs.: 4. Refs.: 4 titles.
UDC 007; 681.3
Technology of simulation modeling the management systems of production with parallel-successive organization / Chirik I.K. // Mathematical Machines and Systems. - 2009. - N 1. - P. 125 - 130.
General approach and methodological problems of the task decision of the development of programmatic-technological complex is examined for research and control of probabilistic technological process of production at presence of feed-backs. Refs.: 3 titles.
UDC 378.14:004.738.5
Model of adaptive testing with fuzzy logic / Fedoruk P.I., Maslovskiy S.M. // Mathematical Machines and Systems. - 2009. - N 1. - P. 131 - 137.
There is considered the model of adaptive of testing that is using device of fuzzy logic. There is offered description of the fuzzy characteristics of test tasks and functions of definition of a support level on 12-ball scale. The algorithm of testing with an opportunity of flexible adjustment by the teacher-expert is constructed on the basis of the given description. Tabl.: 4. Refs.: 7 titles.
UDC 681.3.06
Imitation modeling the algorithm of the direct-sequential processing files in homogeneous memory / Litvinov V.A., Maistrenko S.Ya., Khodak V.I. // Mathematical Machines and Systems. - 2009. - N 1. - P. 138 - 143.
It is described the advanced algorithm of the direct-sequential processing of an ordered file. The results of the imitation modeling the algorithm and comparative estimations of its speed of response in homogeneous memory are given. Tabl.: 1. Figs.: 2. Refs.: 3 titles.
UDC 681.142.2+519.2
Mathematical models of the optimal control by dynamical data structures / Aksenova E.O., Sokolov A.V. // Mathematical Machines and Systems. - 2009. - N 1. - P. 144 - 149.
This paper concerns issues related to building mathematical models and optimal algorithms of LIFO-stacks, FIFO and priority queues control. These models were constructed as 1, 2 and 3-dimensional random walks. Refs.: 13 titles.
UDC 678.057.5
The process of polymer's motion modeling in a flat-die / Cherednichenko P.I., Bakalov V.G., Bakalov O.V. // Mathematical Machines and Systems. - 2009. - N 1. - P. 150 - 158.
The mathematical model of polymer's motion in the channels of the flat-die examined in the аrticle. The equations for determination of film's thickness and width changing within the limits of the flat-die and the boss roller during the film's orifice drawing are given. The influence of geometrics of the flat-die's internal channels and technological processing characteristics over the film's parameters is determined. Tabl.: 2. Figs.: 9. Refs.: 9 titles.
QUALITY, RELIABILITY, AND CERTIFICATION OF COMPUTER TECHNIQUE AND SOFTWARE
UDC 19 621.3.019:658.562
Forecasting of parameters of reliability of means of computer facilities by results of under control operation / Strelnikov P.V. // Mathematical Machines and Systems. - 2009. - N 1. - P. 159 - 164.
In work techniques of handlings of results of supervision about refusals of means at a small number of refusals (and even of absence of those) on the basis of use of is likelihood-physical model of refusals and are represented the additional aprioristic information, in particular, about factor of a variation of an operating time to refusal. Tabl.: 1. Figs.: 3. Refs.: 3 titles.
UDC 504.56
The algorithms of forming and minimization of logical presenting the fault tree / Serebrovskiy O.M., Sitnichenko L.P., Pilipenko V.G. // Mathematical Machines and Systems. - 2009. - N 1. - P. 165 - 172.
The algorithms of proсedures, which realizes the function of input data of the hazardous event in the form of fault tree and forming and minimization of the fault tree disqunctive for. The given algorithms can be used for development of crisis centres software. Figs.: 3. Refs.: 6 titles.
