COMPUTER SYSTEMS
UDC 681.2
Dynamic Air Traffic Management Using Distributed Brain Concept / Sapaty P.S., Klimenko V.P., Sugisaka M. // Mathematical Machines and Systems. – 2004. – N1. – C.3 -8.
Using higher-level distributed processing and control technology known as WAVE-WP (or World Processing) allows us to obtain optimized seamless spatial solutions in open dynamic environments without any central resources. Within this paradigm, the traditional message passing and communicating agents appear only on the implementation layer, drastically simplifying programming of distributed knowledge processing and control problems. One of the strictest applications of WAVE-WP may be air traffic management in crisis situations, where a priori traffic schedules are usually useless, radar stations and control centers may become dysfunctional, and a quick, runtime, recovery and reintegration into the functional whole may be required, with dynamic routing and collision avoidance. A broader usage of the paradigm is considered too, especially for the creation of intelligent distributed robotized infrastructures for different purposes. Figs.: 6. Refs.: 7 titles.
UDC 519.1
New Approach to Hilbert-Pollak Problem / Aselderov Z.M., Donets A.G., Frolova L.Z. // Mathematical Machines and Systems. – 2004. – N 1. – P.916.
New approach to justification of Hilbert-Pollak hypothesis concerning the estimate of ratio of minimum Steiner tree length to the minimal skeleton tree length for a set of points on the plane. The problem is reduced to a problem of nonlinear programming by introducing proper new parameters. Figs.: 4. Refs.: 14 titles.
UDC 621.8:681.5
Associative cellular neural networks with adaptive architecture / Dekhtyarenko O.K. // Mathematical Machines and Systems. – 2004. – N1. – C.15 – 27.
In this paper we introduce a new model of associative memory based on cellular neural network with adaptive architecture. This model outperforms one with fixed architecture that is set independently on data; also it has better associative recall properties than fully connected network with weight selection procedure. Apart from the direct experimental comparison of considered learning algorithms this work presents justification and application of comparison method that uses network indirect characteristics. Figs.: 7. Refs.: 13 titles.
Secondary Automatisms of Artificial Intelligence Systems Base on Neural-like of Growing Networks / Yashchenko V. A. // Mathematical Machines and Systems. – 2004. – № 1. – P. 28-38.
In the paper the new conception of creating self – training intelligent system and robots on the base of modeling neuro – physiological properties of the brain with using neural – like networks is discussed.
Neural-like growing networks are dynamic structure, which changes depending on meaning and time of appearance of the information on receptors, and also previous condition of a network. The information on concepts, objects and situations in network is represented by ensembles of the exited tops and connections between them. The set of steady connections of described object is formed. This connections ensuring its integrity and identity. The storing of the descriptions of objects and situations is accompanied by input in a network of new tops and arches at transition of any group receptors, and neural-like elements in a condition of excitation, i.e. during training the network reconstructs its structure. The proposed conception, which unites physical and virtual worlds, has universal character. Such approach gives the new basis for development and mass production of the advanced self – training intelligent systems and robots. The last may have different important using in civil and military fields, especially for performing actions in unpredicting situations and dangerous media. Figs.: 7. Refs.: 10 titles.
UDC 681.3
Mathematical aspects of designing the intellectual switching systems of transfer of multimedium traffics / Lastovchenko M.M., Yaroshenko V.N., Bilyak V.I. // Mathematical Machines and Systems. – 2004. – N 1. – P. 39 -51.
A mathematical model of the processes of commutation and buffering for the intellectual system of commutation is presented. The results acknowledging the efficiency of the method of analysis are given. Tabl.: 2. Figs.: 2. Refs.: 13 titles.
UDC 62-50:007:656
Mathematical model of the operative planning task of the anti-ice-up treatment of the airships in airports / Nelin O.V. // Mathematical Machines and Systems. – 2004. – N 1. – P.52-57.
There are defined functional tasks, which demand solution in case when airships ice up in the airport. There is represented the mathematical model of common task of the operative plan of the airships’ anti-ice-up treatment. The choice of the algorithm for its solving is substantiated. Refs.: 4 titles.
UDC 681.3
Instrumental medium for creation of intelligent tidoring Systems / Taran T.A., Syrota S.V. // Mathematical Machines and Systems. – 2004. – N 1. – P.58-68.
This work represents software tools for intelligent tutoring systems, witch uses the Formal Concept Analysis (FCA). It is proposed the control method of knowledge control on the base of the pupil’s cognitive model, that reflects his subjective representation of the problem, which is studyied. Given process supposes extraction and processing expert knowledge of about subject domain with the help of FCA methods and constructing the set of questions following this knowledge which are used for diagnostics of the pupil’s knowledge. The pupil’s knowledge is compared with expert’s one and according the results of this comparison, the pupil receive the information directed to replenishment of missing notions and connections. Tabl.: 1. Figs.: 3. Refs.: 14 titles.
UDC 681.2
Towards Fully Distributed Cognitive Systems / Peter Sapaty, Kazuhiko Kawamura, Masanori Sugisaka, Robert Finkelstein // Mathematical Machines and Systems. – 2004. – N.1. – P.69-75.
A new paradigm, including a philosophy, model and technology, for the creation of advanced distributed cognitive systems is discussed. This paradigm allows for the description of interacting deliberative, reactive, and reflective processes on a semantic level. It provides new degrees of freedom for autonomous robotic teams, where the collective behavior of robots emerges as a derivative of parallel and distributed interpretation of a language, known as WAVE-WP, in a united physical and virtual world. Figs.: 6. Refs.: 7 titles.
PROGRAMME-TECHNICAL COMPLEXES
UDC 681.012
The calendar-planning model inside unified model of discrete production control object / Kaplunov M.I. // Mathematical Machines and System. – 2004. – N 1. – P. 76-85.
The method of tree "explosion" transformation in an oriented graph is offered on the basis of unified model of discrete production control object and on the basis of unified algorithm "explosion" for such model. The capability of integrated operational schedule automatic construction is based. The algorithm of integrated operational schedule for production order automatic construction is given. Tabl.: 11. Figs.: 5. Refs.: 6 titles.
UDC 004.94
Automated stereopair calibration in laboratory environment / Kireev O.S. // Mathematical Machines and Systems. – 2004. – N 1. – Р.86-100.
Calibration methods survey is done. Stereopair mathematical model is discussed in detail. Original calibration automation program is described. Relative contribution to calibration error of space and image calibration points coordinates measurement errors is considered. Calibration technique and easy-to-make calibration stand design are proposed which allow 3D coordinates measurement with high accuracy. Calibration error estimation is confirmed by experiment. Tabl.: 2. Figs.: 5. Refs.: 17 titles.
UDC 681.3
Methodology of building composite Systems of documents Turnover / Krukovskiy M.Yu. // Mathematical Machines and Systems. – 2004. – N 1. – P.101-114.
The article observes existent domestic and foreign expertise in developing and usage of system electronic documentflow. Methodology as a solution was presented by complex of activities with defined processes that forms a system of interactive elements. To achieve appropriate control level interactions were separated to macro- and micro- level. Theoretical basis of the methodology is formed by principles of ACM systems of V.M. Glushkov , principles of object oriented design of G. Buch , principles of project management from PMBOK and principle of mixed extremum G.S. Tesler . All that principles were consolidated value added as a harmonic alliance. Scientific value of this article is a methodology that is a practical solution to modern management problems. This methodology can be used as a practical guide in creating documentflow systems as well as in developing and implementing documentflow regulations. Refs.: 8 titles.
UDC 512.81+517.977.1+681.5
On the design of control systems with invariant representation of desired trajectory / Lehenkiy V.I. // Mathematical Machines and System. – 2004. – N 1. – P. 115-121.
The method of synthesis of control for terminal tasks, nonlinear mathematical models of which has symmery, is proposed. The essence of the method consists in invariant represesentation of initial program Trajectory, where the calculation of inwariants is based on analysis of symmetry groups, evalecable by initial mathematical model of the control system and, boundary (terminal) conditions. There is descussed the example of synthesis of control law for nonlinear objects of the second order with scalar control. Figs.: 2. Refs.: 16 titles.
UDC 044.896
Searching optimumal ways in a tree of the decisions / Panchenko M.V. // Mathematical Machines and Systems. – 2004. – N 1. – P.122-132.
The methodic of prediction of the unstable processes with the help of the method of the tree of decisions on the base expert information concerning development of the separate parameters, which influence on the result of prediction is proposed. The methods of searching optimal ways in the tree of decisions are described. Refs.: 9 titles.
UDC 004.518
The creation of software framework for Windows CE 3.0 in Rational Rose by Reverse Engineering method / Semenets S.V. // Mathematical Machines and Systems. – 2004. – № 1. – P.133-143.
The method of software framework creation for Windows CE 3.0 in Rational Rose is proposed in the article. This method allows to reduce significantly the time of mobile software creation. Special attention is paid to obtaining the class model of Windows CE platform. The software framework of Windows CE 3.0 was created and its advantages were showed. Tabl.: 3. Figs.: 5. Refs.: 4 titles.
UDC 519.6
System methodology of prediction: prediction of processes of the natural and artificial nature / Tesler G.S. // Mathematical Machines and Systems. – 2004. – N 1. – P. 144-165.
In the paper the system methodology of prediction of processes of natural and artificial nature uras discussed. The proposed methodology is based on the system approach and analysis and also on the common taws of the evolution development. As such laws there are used: principles of mixed extremum, bilateral symmetry by Savchenko V.I., inveise bilateral symmetry by Tesler G.S., storage of the information by Brilluen L., stable coexistence of the kinds by G. Hause, principles of ecology by Shelford, evolution development by Darvin, homologous series by Vavilov N., population by Maltus T., spiral development and so on. Using this methodology is illustrated on the development of the computer systems, society and so on. It is discussed more detail the problem of globalization a to what it may lead. Tabl.: 1.Refs.: 33 titles.
QUALITY, RELIABILITY AND CERTIFICATION OF COMPUTER TECHNOLOGY AND SOFTWARE
UDC 681.3.06
Profiles conception in reliability engineering of software systems / Moroz G.B. , Koval G.I., Korotun T.M. // Mathematical Machines and Systems. – 2004. – N 1. – P.166-182.
This article offers a profiles conception which could be applied asa study tool of software systems future use. A short description of basic elements of software system usage process is given, as well as formal definitions of different kind of profiles and some mechanisms of their relations. Using this conception will promote a regulation of software development process and a construction of appropriate models for reliability estimation and testing. Tabl.: 4. Fig.: 1. Refs.: 13 titles.
UDC 621.382
To a question on a constancy of apparent energy of activation of electronic technics products / Fedukhin A.V. // Mathematical Machines and Systems. – 2004. – N 1. – P.183-187.
It is shown, that apparent energy of activation is not a constant because of domination change between compound processes of degradation. Using the product apparent energy of activation brings to the big errors in an estimation coefficient of forcing. Tabl.: 1. Figs.:2. Refs.: 6 titles.
