Mathematical Machines and Systems. 2008 #1

ABSTRACTS


COMPUTER SYSTEMS

  UDC  681.3:330.3:340.1

"Rada­-3" - Decision making support system that serves a legislative process of the Verkhovna Rada of Ukraine and bodies of the other levels / Morozov A.O., Baran L.B., Kopeychikov V.V., Kosolapov V.L. // Mathematical Machines and Systems. - 2008. - N 1. -  P. 3 - 22.

The main principles of building up a system of information service to the deputies of bodies at different levels are suggested in the paper. The structure of the DMSS "Rada­3" technical means complex is considered. The "Rada-3" is a decision making support system that serves a legislative process of the Verkhovna Rada of Ukraine and bodies of other levels. The chief stages of creating and implementing the basic elements of the "RADA­3" technical means are defined. In addition their complex integration into a single DMSS is conducted. Figs.: 3. Refs.: 14 titles.


  UDC 519.24+681.142/155

About the nature of the intellect / Reznik O.M. // Mathematical Machines and Systems. - 2008. - N 1. - P. 23 - 45.

New explanation of the nature of the intellect, as a property of complicated self-developing systems, that appear during evolution of populations of simple systems, having metabolic and reproduction ability, is proposed. Processes of formation of organisms, societies, civilizations, genetic and non-genetic memory, development of individual and social intellect are discussed. It is shown, that society member's aspiration for overcoming of informational overload plays key role in its evolution. Main trends and problems of artificial intelligence are discussed, and explanation of economical model of intellectual activity is proposed. Refs.: 32 titles.


 
UDC 681.5:658.149.3(477)

Precondition and methodological bases of creation and development of the network of transfer of technologies in Ukraine / Lysenko V.S., Yegorov S.O. // Mathematical Machines and Systems. - 2008. - N 1. - P. 46 - 51.

Methodological bases of construction of network of transfer of technologies in Ukraine are considered in the article. At the construction of network it is suggested to utillize European and Russian experience of realization of similar projects taking into account the features  of the national innovative systems. Figs.: 2. Refs.: 7 titles.


UDC 519.95

Computation of information content of data analyzing their symmetry / Makarenko O.S., Sagaidak L.O. // Mathematical Machines and Systems. - 2008. - N 1. - P. 52 - 66.

Herein an approach to computation of information quantity of object, which doesn't use a probability concept, is proposed. The value of quantity of information is connected to power of orbit of group of automorphisms of object. According to this approach the more symmetries are in object the less quantity of information it contains. Let us remind that symmetry is a transformation which doesn't change object's properties. In this article theoretical foundations of the method are put, main definitions are introduced and key theorems about convergence of quantity of information for object's approximation and about neighborhood of information values for objects which are metrically close are formulated. Graphs of Morse functions and their approximation in a space of words are considered as objects. Then main results of numerical investigation of behavior proper features of introduced object's quantity of information for a Morse function are put. Perspective practical application is also argued and the ways of probable theoretical development and generalization of approach, which is described in this article, are discussed. Tabl.: 3. Figs.: 2. Refs.: 12 titles.


UDC 681.3.06

Ukrainian academic Grid: the first results of creation and application / Boyko Yu.V., Zynovyev M.G., Svistunov S.Ya., Sudakov O.O. // Mathematical Machines and Systems. - 2008. - N 1. - P. 67 - 84.

Paper describes design features of Grid-infrastructure of The National Academy of Sciences of Ukraine and the first results of its application. History of creation of Grid-systems in Ukraine is depicted. The main requirements for computing resources, communication channels and middleware are listed. Beowulf clusters concept and Advanced resource connector (ARC) middleware were chosen and approved. Technical characteristics Grid-infrastructure clusters and results of its practical application for physics, biology and information technology problems are listed. Tabl.: 2. Figs.: 4. Refs.: 10 titles.


UDC 519.682+531.6

On the history of symbolical manipulation in mechanic applications / Еfimov G.B., Grosheva M.V. // Mathematical Machines and Systems. - 2008. - N 1. -  P. 85 - 90.

Computations with symbolic expressions (Computer Algebra, CA) were one of first attempts of modeling intellectual work. Mechanics and its problems provided a vast field for such investigations; mechanicians play ed a significant role in CA evolution. In this paper we give a brief description of some stages and problems of CA development and application in mechanical tasks. In more details it is presented in the book and several papers of the authors. Refs.: 22 titles.


UDC 004.032.26

Estimation of quality of training sets for neural nets in problems of lossless data compression / Ivaskiv Yu.L., Leschinsky O.L., Levchenko V.V. // Mathematical Machines and Systems. - 2008. - N 1. - P. 91 - 97.

The experimental estimation of quality of the training sets, which are generated of data of various types for neural networks, by criteria of repeatability and discrepancy is given. Recommendations at the choice of parameters of training set for neural models in problems of lossless data compression are formulated. Tabl.: 1. Figs.: 3. Refs.: 10 titles.


UDC 519.7+518.7

The problems of artificial intelligence and the dominant theory by О.О. Uchtomsky / Zueva О.Yu., Efimov G.B. // Mathematical Machines and Systems. - 2008. - N 1. - P. 98 - 105.

The dominant theory by О.О. Ucthomsky is considered. This theory is regarded as a possible approach to alive organism and human behavior description and modeling. The dominant theory can explain a vast of psychology and physiology phenomena and therefore can be "a bridge" between humanitarian and scientific approaches to human behavior description. Refs.: 8 titles.


LARGE SYSTEM SIMULATION AND MANAGEMENT

UDC 004.94:004.78

Presentation of the procedural knowledge in the dialog data base / Chmyr I.O. // Mathematical Machines and Systems. - 2008. - N 1. - P. 106 - 114.      

The article is devoted to the theory of the Question-Answering Dialogue in the light of declarative and procedural dichotomy of knowledge. It is proposed a formal description of question-answering pairs and a diagrammatical model of the dialogue step in the Petri net notation. The Dialogue Knowledge Base is defined as a set of the Memory of Questions and the Dialogue Access Method, which simulate respectively the declarative and procedural knowledge of an active partner. It  is demonstrated that proposed conception of the Dialogue Knowledge Base is applicable to the task of solving some ill-formalized problems. Fig.: 1. Refs.: 20 titles.


UDC 651.3:518.5

Adaptive test: common prepositions / Fedoruk P.I. // Mathematical Machines and Systems. - 2008. - N 1. - P. 115 - 127.

In the article the problems of test knowledge control in modern educational establishments are considered. Methods and instruments of classic theory in spite of big possibilities do not solve many tasks, that gives modern level of education development. Adaptive tests in the given case let us solve the given questions and may be used effectively for solving any tasks of learning process optimization - evaluation of effectiveness of pedagogical innovations and technologies, monitoring etc. Refs.: 10 titles.


UDC 681.513 

Basic properties of automated modeling systems and educational process management in higher school / Lyahov O.L., Demidenko M.I. // Mathematical Machines and Systems. - 2008. - N 1. - P. 128 - 132.

The problem of the software intellectualization is selected from the general problem of higher educational establishment automatization. The classification of the software is presented and the urgency of its development is proved. Tabl.: 2. Refs.: 8 titles.


UDС 007; 681.3

About one method of imitation modeling probabilistic technological processes of manufacture / Goncharov О.М., Maximey I.V., Smorodin V.S., Klimenko A.V., Yezerskiy D.М. // Mathematical Machines and Systems. - 2008. -    N 1. - P. 133 - 138.

Particularities of formalization of probabilistic technological processes of manufacture are considered. The strategy of using system of automation of simulation modeling realizing a modular way of imitation is offered. Refs.: 4 titles.


UDC 517.9

Method of the system analysis from a position of methodology of system approach to the needs of designing the systems of control / Tesler G.S., Koss B.A. // Mathematical Machines and Systems. - 2008. - N 1. - Р. 139 - 150.

In paper the principles of the system analysis from a position of methodology of the system-formatted approach is conducted and the interpretation of their application for needs of designing systems of control by the organizational systems and the systems such as "man-machine" is given. Figs.: 3. Refs.: 20 titles.


UDC 519.816+004.67

About automation of expert evaluations / Lysetskyi Yu.M., Karevina N.P. // Mathematical Machines and Systems. - 2008. - N 1. - P. 151 - 162.

The problem of automation of expert evaluation tasks of solutions is examined. The mathematical-statistical methods of information processing, obtained from experts and the analysis of its correspondence and authenticity are given. The program-algorithmical complex for generalization and expert information analysis is described. Fig.: 1. Refs.: 9 titles.


UDC 004.934.1'1

The method of verification of the speaker on the basis of unvoiced fricative sounds / Krivodubski O.O., Fedorov Ye.Ye. // Mathematical Machines and Systems. - 2008. - N 1. - P. 163 - 170.

For creation of a system of verification of the speaker in the article the technique of verification on the basis of unvoiced fricative sounds was offered which uses author's methods executing a generalized classification of sounds by means of discrete and continuous wavelet-transformation. For unvoiced fricative sounds chosen by these methods, the quantitative analysis of systems of indications based on a linear prediction, normalized quantity of pulses of equal length and mel-frequency cepstral coefficients (MFCC) is conducted. The obtained indications are used in a method of verification based on the algorithm DTW. Tabl.: 1. Refs.: 10 titles.


QUALITY, RELIABILITY, AND CERTIFICATION OF COMPUTER TECHNIQUE AND SOFTWARE

UDC 621.3.019.3

Modelling reliability of nonrestorable not reserved system with consecutive structure of elements / Fedukhin O.V. // Mathematical Machines and Systems. - 2008. - N 1. - P. 171 - 177.

The questions of statistical modelling reliability of nonrestorable and not reserved system with consecutive structure of elements are considered on the basis of generators of the random numbers having -distribution. The algorithm of modelling reliability and examples of modelling reliability of systems for the various initial data on characteristics of reliability of components are offered. Tabl.: 5. Figs.: 4. Refs.: 3 titles.


UDC 19 621.3.019:658.562

About certified tests to reliability / Strelnikov P.V. // Mathematical Machines and Systems. - 2008. - N 1. - P. 178 -184.

It is shown, that at carrying out certified fail-safe tests it is recommended to use diffusion distributions, as the most suitable theoretical functions of distribution of refusals. Techniques of definition of volumes of tests to reliability (confidential probability and a ratio error) on the basis of use diffusion distributions are presented. Refs.: 4 titles.


       Last modified: May 18, 2010