Mathematical Machines and Systems. 2000 #1

ABSTRACTS


COMPUTER SYSTEMS

UDC 681.3.06
Actions planning for Intelligence robots / Galagan N.I. // Mathematical Machines and Systems.- 2000.- N 1.- P. 3-27.
Approaches to development of Sensor-based robotic systems is surveyed and discussed in this article. Typical architicture of such system is based on integration of perception, planning and execution processes as well as on using frames for world model and action representation. Figs: 8. Refs: 48 titls. 

UDC 519.1
About of weighted problem of Steiner / Donets A.G. // Mathematical Machines and Systems.-2000.-N1.-P. 28-37
The problem of Steiner in the plane is studied for arbitrary values of Steiner tree edges? weights. A number of statements about optimal tree construction for given three or four points is proved. Figs: 6.Refs.:4 titles. 

UDC 681.3
Creation of Computers for Solution of Problems of a High Dimensionality II / Vyshinsky V.A., Yakovlev Yu.S., Zadorozny V.F. // Mathematical Machines and System. -2000. -N1. - P.38-45.
When proceeding from the analysis of the history and trends of development of architectural and structural decisions and of computer element bases, the conclusion is made, that, if one wishes to create computers of next-coming generations, it is necessary to go to a qualitatively new computation process arrangement level. The main aspects of this transition are formulated. One of the ways, in which a computation process is arranged, is proposed, and this way is based on application of the matrix algebra, on utilization of essential broadening of an information unit (of an operand) and on enhancement of an internal computer language. The examples are given, which illustrate, how the new computer-aided information processing technology is arranged. Refs.: 22 titles.

 PROGRAMME-TECHNICAL COMPLEXES

UDC.680.31
Additional Specifications in Procedural Programming / Manev M.K., Shishkov D.P. // Mathematical Machines and Systems.-2000.-N1.- P.46-56
A survey of the types of specifications and syntactic tools for formal specifications of programs available in procedural programming languages is made. For description of a program a system of additional formal specifications is suggested. They describe: program blocks, functions (procedures), conditions in different program points. A mathematical description of an algorithm which, by specifying the functions in a program, finds all functions which are used directly or indirectly by a given function is done. Refs.: 3 titles. 

UDC 504.056
About the estimations of situations on potentially dangerous units on the stage of preventive monitoring / Serebrovsky A.N. / Mathematical Machines and Systems. - 2000. -N1. -P.57-64.
The methodology of the estimations of situations on the stage of preventive monitoring at automated inspection systems, of the analysis and prevention of emergency incidents on potentially dangerous objects is considered. This methodology permits to perform screenings of situations which don?t arouse apprehensions (i.e. normal or closed to them) and thereby to concentrate attention of operating control on the analysis of concealed risk situations. The criteria of estimations are proposed, the algorithm of calculations is developed, the technology of monitoring is described. The possibility to control the process of estimations by adjustment of monitoring sessions is provided. Table: 1. Figs: 2. Refs: 5 titles. 

UDC 621.391
The influence of speech compression methods to distortion of signal / Magera V.N., Peleshchuk V.A. // Mathematical Machines and systems. -2000. N1-P.65-70.
The most popular speech compression algorithms are investigated. It is shown, satisfactory speech identification is possible if speech compression algorithms realize insignificant compression. Tabl.: 2. Figs: 6. Bibliogr.: 11 titles. 

UDC 681.326:612.821.3
The creation of the bases of knowledges in the systems of the collective taking decisions of the situation centers types (SC) / Kusmenko G.E., Litvinov V.A., Khodak V.I. // Mathematical Machines and Systems. - 2000. - ?1. - P.71-80.
The content of paper is the consideration of the main aspects and possible ways of creation of bases of knowledge (KB) in the systems of the collective taking decisions of the Situation centers type (SC) . It is considered the substantial structure of subject field KB of SC, it is grounded advisability of using generalizing Frame models of representing heterogeneous components of knowledge, it is proposed the approach to creation KB SC system. Refs.: 3 titles. 

UDC 004.518
Architecture of programm systems for automation of business-processes of the enterprise with using GIS and Internet tecnologies. /Litvinov V.V, Shinder V.S, Kozhevnikov V.A, Basiladze D.G, Maltsev D.V, Sedzyalo S.M// Mathematical Machines and Systems.-2000.-? 1.-P.81-93.
In the present work the approaches to creation of enterprise management systems with the use of GIS and Internet technologies are described. The review of ESRI software tools for implementation of GIS functionality in such systems is given. The system being developed for American communication company MCI WorldCom - Collocation Sites Engineering - is considered as an example of design of such systems. The work also includes the issues of business analysis of processes in departments being automated, the review of system architecture, and the description of some solutions used during the development of the software complex. Figs.: 8. Refs.: 2 titles.

 QUALITY, RELIABILITY AND CERTIFICATION OF COMPUTER TECHNOLOGY AND SOFTWARE

UDC 621.192 (035)
The definition of expected residual operating time to failure for DM-distribution / Strelnikov V.P. //Mathematical Machines and Systems. - 2000. - N . - P.94-100.
The analytical expression for expected residual time to failure in case DM-distribution is determined. The adequacy of received estimation demonstrated. Refs.: 4 titles. 

UDC 621.822
Accelerated estimation of multylayer printed circuit reliability/ Feduhin A.V., Yakovlev M.F.// Mathematical Machines and Systems.-2000.-N 1.- P.101-110.
Main degradation processes of printed circuit are studied, and the influence of each degradation process on the generalizized prozess of multilayer printed circuit degradation is estimated. The force parameter is obtained which enables to obtain an accelerated estimate of boards? reliability quantitative indices according to the results of forced tests. Tabl.: 6. Figs: 5. Refs.: 6 titles.

UDC 621.822
Accelerated estimation of multylayer printed circuit reliability/ Feduhin A.V., Yakovlev M.F.// Mathematical Machines and Systems.-2000.-N 1.- P.101-110.
Main degradation processes of printed circuit are studied, and the influence of each degradation process on the generalizized prozess of multilayer printed circuit degradation is estimated. The force parameter is obtained which enables to obtain an accelerated estimate of boards? reliability quantitative indices according to the results of forced tests. Tabl.: 6. Figs: 5. Refs.: 6 titles.

 NEW INFORMATION AND TELECOMMUNICATIONSTECHNOLOGIES

UDC 681.324
Protection of information exchange in computer networks from the non-authorized supervision of the traffic. / Boychenko A.V. // Mathematical Machines and Systems- 2000. - N1 . - P.115-119
With information interchange in computer networks sometimes there is a necessity to conceal of a data exchange fact. In the article the problem of protection from the non-authorized supervision over the traffic of the user is considered, new method allowing to conceal facts of data exchange between two units is offered, and the example of its use for TCP/IP networks is given. Figs:6. Refs.: 7 titles. 
UDC 658.012.011.56.
Investigation of information and statistics properties of Ukrainian text /  Krygin M.J., Shirokov  V.A. // Mathematical machines and systems. - 2000. - N 1. - P.120-127.
Information statistic properties of sign system of Ukrainian language are investigated. Values of entropy for printed Ukrainian text, probability distribution of signs and Markov transition probabilities are obtained. Tabl: 1. Refs: 17 titles. 

ISSN 1028-9763 Mathematical Machines and Systems, 2000, N1


       Last modified: May 18, 2010