UDC 681.2 Towards a Universal Distributed Brain for Mobile Multi-Robot Systems / Sapaty P.S., Sugisaka M.// Mathematical Machines and Systems. - 2003. - N 3,4. - P.3-20. The paper describes a new concept for the creation of a universal distributed brain for mobile multi-robot systems. This brain spatially interprets a special high-level language in which mission scenarios can be efficiently formulated and implemented, with cooperative work of robots being a derivative of the parallel interpretation process. Due to the universal nature of the scenario language proposed, which navigates in a unity of physical and virtual worlds and operates with both information and physical matter, the approach may form a new basis for the development and massive production of advanced distributed multi-robot systems. The latter may have a variety of important applications in both civil and defense areas, especially for the support of complex operations in open, unpredictable, and hazardous environments. The presented technology extensively uses globally coordinated mobile program code on the implementation level, which provides its high flexibility and robustness. Figs.: 13. Refs.: 11 titles UDC 681.3 Neural-like growing networks in intelligent system of analysis and prediction of tactic-technical characteristics of contradictory parties/ Yashchenko V.А. // Mathematical Machines and Systems. - 2003. - N 3,4. - P. 21-29. The neural-like growing networks used in the intelligent system of analysis and prediction of tactic-technical characteristics of contradictory parties are under consideration in this paper. All operations on processing the image and also classification and storage of the information about the images and their further identification are made extremely by mechanisms of neural-like networks without usage of complex algorithms requiring considerable volumes of calculus. At the conforming hardware support the neural network methods allow considerably to increase the effectiveness of the solution of the given class of problems, saving a high accuracy of result and high level of response, both in a mode of training, and in a mode of identification. Figs.: 11. Refs.: 8 titles. UDC 681.3.06 Elvolution of the development of the languages and systems of programming / Tesler G.S. // Mathematical Machines and Systems. - 2003. - N 3,4. - P.30-42. In the paper on the basis of analysis of the existent languages and systems of programming from the point of view of subjectfields, data and structures, decomposition elements, static and dynamic of describing program modules, processes, technologies of programming and the level of intellectualization, the evolution of discussed program means has been traced. The prognosis of the future languages and systems of programming peculiarities is made on the base of studied evolution processes. Particularly, the future languages of programming, so as some existent, will combine different orientations, get the futher development of abstracting data, knowledge, structures, means of management, and will contain the nuclear and specialized means for adaptation and self-development. Structure- and subject-orinted technologies will be replaced by semantic (sense) programming, using the existent technologies. The future languages and systems of programming will contain means and mechanisms of supporting parallel, parallel / consecutive work and also mechanisms of providing the high level of fail-safety and failurestability Tabl.: 1. Refs.: 48 titles. UDK 681.513 The properties of non-perspective maximal closed sets / Aksonova L.О. // Mathematical Machines and Systems. - 2003. - N 3,4. - P.43-50. The classical intractable problem of combinatorial optimisation “Maximal independent set” is considered. The problem has many possibilities of use in different theoretical and practical applications. In the previous works the author has defined the new properties of optimal problem solution, introduced the term of the node cover and considered the exact algorithm for its determination analysing maximal closed sets. There were derived the new properties for non-perspective maximal closed sets and the new cutting rules for redundant algorithm’s branches were proposed. The given rules allow to decrease the variant tree and amount of necessary calculation. Figs.: 2. Refs.: 7 titles. UDC 004. 82: 510: 65: 510. 662 Deductive, inductive and analytical methods of representation and processing of computer knowledge in intellectual systems (1. Deductive methods and means) / Aselderov Z.M., Vershinin K.P., Zyaletski O.V., Paskevych A.Yu., Klimenko V.P., Fishman Yu. S. // Mathematical Machines and Systems. - 2003. - N 3,4. - P.51-74. Method of researches is the development of the principles, methods and means of designing and realization of the new generation mathematical services, which based on integration deductive, inductive and analytical possibilities of the modern systems of reasoning of computer algebra systems. The first section describes the main theses of the “Eridence Algorithm” (EA) according to which the development of logical-mathematical computer knowledge transformation methods was performed and given the peculiarities of processing means of texts in the style of EA. Syntaxis and semantics of the formal languages ForTheL and ForTheL1 are stated, which provide formal describing and deductive transformation of mathematical texts. The second section describes deductive methods and main modern approaches to searching logical deducing, gives the technique of logical deduction with the help of some sets of the sequent type. The results of correctness and completeness of proposed sets are given. Refs.: 42 titles. UDC 681.3 The pragmatical approach to estimation of the level of intellect of the intellectualized systems / Kuzmenko G.E., Litvinov V.A. // Mathematical Machines and Systems. - 2003. - N 3,4. - P.75-78. The paper is devoted to actual range of problems of creation and analysis of the systems with artificial intelligence (AI). It is proposed the simple approach to the estimation of the AI level, based on quantitative interpretation of the test questions, proposed by Mitchi for definition AI as such . The comparative analysis of the “intellectual” and “intellectualized” systems notions is made. Two-criteria (two-aspects) estimation of the intellectuality of the systems with the help of absolute (on test Mitchi’s indices) and relative (on problem-oriented indices) coefficient of the artificial intellectuality is offered. Tabl.:1. Refs.: 7 titles. UDC 621.8:681.5 Associative memory using kernel machines / Novitskiy D.V. // Mathematical Machines and Systems. -2003. - N 3,4. - P. 79-86. We propose a new approach to associative memories using kernel machine methodology. Basing on Hopfield-type pseudoinverse associative memories we developed a series of kernel-based hetero- and auto-associative algorithms. There are convergence processes during examination procedures even for continuous data. Kernel approach enables to overcome capacity limitations inherent to Hopfield-type networks. Memory's capacity does not virtually depend on data dimension. We provide theoretical investigation for proposed methods and proved its attraction properties. Also we have experimentally tested them for tasks of classification and associative retrieval. Tabl.: 1. Figs.: 5. Refs.: 8 titles. UDC 681.51 Modular neural networks: review of modern state of development / Galinskaya A. // Mathematical Machines and Systems. -2003. - N 3,4. - P. 87-102. Literature review dedicated to modular neural networks’ problem is presented at this article. Questions of modular systems’ organization, ensemble and essentially modular architectures, task division methods, methods of networks’ selection for whole system construction, different techniques of subordinate modules combination were considered at the paper. Advantage, issues and disadvantages of various techniques at modular system field were reviewed. Figs.: 2. Refs. : 49 titles.
UDC 681.3.06 Applied mathematical problem as object of computer algebra / Klimenko V.P., Lyakhov O.L. // Mathematical Machines and Systems. - 2003. - N 3,4. - P.103-123. Imaginations about a difficult applied mathematical problem that is object of language of computer algebra systems are developed. Methodological principles are offered and general points of set-theoretic model of a problem are formulated in paper too. On this basis it is established that for representation of data and the description of process of the decision of difficult problems should be use ed the language on the analytical basis. The theorem of existence of such language is formulated and proven, as well as some consequences of it. Also the new imaginations about a data structure are justified and have received further development. New procedures for language ANALYTIC-2000 are developed proceeding from these imaginations. Their use together with a vehicle of management of transformations gives additional opportunities for programming transformations on set of expressions without recursive executing substitutions. Results and analysis of approbation of developed means are adduced. Figs.: 3. Refs.: 46 titles. UDC 502 Estimating the Character and Consequences of the Extraordinary incident at the Stationary Type Chemically Dangerous Objectives / Bespalov V.P., Beletskiy B.O., Koval Y.Kh., Syvenyuk V.V.// Mathematical Machines and Systems. - 2003. - N 3,4. - P.124-129. In the article the algorithms have been adduced: sector parameters definitions of spreading chemically dangerous matters in case of the extra ordinary incident at the stationary potentially dangerous object; the definitions of the general contamination sector crossing zone and the neighboring populated areas. Figs.: 2. Refs.: 5 titles. UDC 004.518 Simulation modeling system for support and optimization of sorting work distributing at the network of stations / Burinskaya T.I. // Mathematical Machines and Systems. - 2003. - № 3,4. - P.130-137. The simulation modeling system, which allows to carry out analysis for retaining advisability or reorganization of existing sorting stations network, to associate alternative variants by their efficiency, to analyze base consequences of taken decisions is described in article. The modeling system allows to change and choose calculation criteria with respect to customers interests, to take into account transportation capacity dynamics, their structure, non-uniformity at the time, prices and tariffs changing, normative indicators. Tabl.: 1. Refs.: 4 titles. UDK 681.3.01+001 Architecture of automated information-analytical systems of bodies of the government / Dodonov O.G., Nesterenko O.V., Budko M.M. // Mathematical Machines and Systems. - 2003. - N 3,4. - P. 138-146. On the basis of the analysis of existing information-analytical systems of bodies of the government, an estimation of existing approaches to their construction, the basic classes of decided problems, the base architecture of information-analytical system of body of the government is marked out. Fig.: 1. Refs.: 6 titles. UDK 681.012:332.1:330.3:340.1 Systems analysis and methodological approach to forming regional model of provisions complexes of Ukraine / Morozov A.O., Kosolapov V.L., Superson V.I., Romashkina L.V., Kozlov V.V. // Mathematical Machines and Systems. - 2003. - N 3,4. - P.147-160. Specific features of territorial, components, technological structure of the regional provisions complexes of Ukraine are reviewed in the work. The main tendencies of reforming these structures within the modern conditions are showed. The important task for establishing territorial arrangement is providing optimal unification of well-grounded scientific analysis of already formed branch and territorial complexes, considering economic and social development parameters of regions during the construction of complex model, as well as establishing effective and working connections between different branches of industry, the study of which represents both practical and theoretical interest. Refs.: 9 titles. UDC 681.012 Unified model of discrete production control object / Kaplunov M.I. // Mathematical Machines and Systems. - 2003. - N 3,4. - P.161-169. The unified model of discrete production control object is offered on the basis of correlations analysis for a various kind of control objects and resources. The method of control object task and description is described in the article. The unified algorithm "explosion" of control object unified model, which saves topology of control object tree in a resulting structure, is offered. Tabl.: 5. Figs.: 5. Refs.: 5 titles. UDK 004.518 Adaptive Control with Models in Electron Beam Welding / Morozov A.O., Litvinov V.V., Kazymyr V.V. // Mathematical Machines and Systems. - 2003. - № 3,4. - P.170-180. Building principles and structure of adaptive control system of electron beam welding machine are considered. The article contains description of control algorithm specification method that use dynamic E-nets and method of building synthetic environment including models of vacuum system, workpiece and joint. Figs.: 7. Refs.: 12 titles. UDC 62-50:007:656 Mathematical method of correcting the flight’s plan in unstaff situations in airport / Nelin O.V. // Mathematical Machines and Systems. - 2003. - N 3,4. - P.181-185. There is brought in the classification of factors of appearing unstaff situations in airport. There is represented the mathematical model of the task of operative correction of the airships lights’ day plan. There is described the method of its reforming in the canonical type tasks of linear partly-full-numerical programming with the logical alternates. The choice of the algorithm for solving the task is substantiated. Refs.: 4 titles. UDC 519.237.5:621.9.048 Multifactor mathematical modeling and compromise optimization of technological process of electroerosive hole piercing / Radchenko S.G. // Mathematical Machines and Systems. - 2003. - N 3,4 . - P.186-200. On the example of solving task, put by manufacture, the basic rules of multifactor in mathematical modeling and multicriteria of compromised optimization of technological process of electroerosive hole piercing in steel 1Х12СЮ are considered. The found optimum recommendations of five factors for two criteria of quality - efficiency of processing and wearing of the electrode-instrument are listed. Tabl.: 12. Figs.: 2. Refs.: 13 titles. UDC 681.3 Simulation and Optimization of Large Scale Subsurface Environmental Impacts; Investigations, Remedial Design and Long Term Monitoring / Larry M. Deschaine, PE // Mathematical Machines and Systems. - 2003. - N 3,4 . - P.201-218. The global impact to human health and the environment from large scale chemical / radionuclide releases is well documented. Examples are the wide spread release of radionuclides from the Chernobyl nuclear reactors and the mobilization of arsenic in Bangladesh. The seriousness of these issues is represented by the activities of the World Health Organization, the Environmental Protection Agencies in Europe, the United States, and the like. The fiscal costs of addressing and remediating these issues on a global scale are astronomical, but then so are the fiscal and human health costs of ignoring them. An integrated complete methodology for optimizing the response(s) to these issues is presented. This work addresses development of global optimal response policy design for large scale, complex, environmental issues. It is important to note that “optimization” does not singularly refer to cost minimization, but to the effective and efficient balance of cost, performance, risk, management, and societal priorities along with uncertainty analysis. This tool integrates all of these elements into a single decision framework. It provides a consistent approach to designing optimal solutions that are tractable, traceable, and defensible. Subsurface environmental processes are represented by linear and non-linear, elliptic and parabolic equations. The state equations for multi-phase flow (water, soil gas, NAPL), and multicomponent transport (radionuclides, heavy metals, volatile organics, explosives, etc.) are solved using numerical methods such as finite elements. Genetic programming is used to generate simulators from data when simulation models do not exist, to extend the accuracy of them, or to replace slow ones. To define and monitor the subsurface impacts, geostatistical numerical models, Kalman filtering and optimization tools are integrated. Optimal plume finding is the estimation of the plume fringe(s) at a specified time using the least amount of sensors (i.e. monitoring wells). Long term monitoring extends this approach concept, and integrates the spatial-time correlations to optimize the decision variables of where to sample and when to sample over the project life cycle for least cost of achieving specified accuracy. The remediation optimization solves the multi-component, multiphase system of equations and incorporates constraints on life-cycle costs, maximum annual costs, maximum allowable annual discharge (for assessing the monitored natural attenuation solution) and constraints on where remedial system component(s) can be located. It includes management overrides to force certain solutions be chosen or precluded from the solution design. It uses a suite of optimization techniques, including the outer approximation method, lipschitz global optimization, genetic algorithms, and the like. A discussion of using the WAVE-WP algorithm for distributed optimization is included. This system process provides the full capability to optimize multi-source, multiphase, and multicomponent sites. The results of applying just components of these algorithms have produced savings of as much as $90,000,000(US), when compared to alternative solutions. This was done without loss of effectiveness, and received an award from the Vice President of the United States. Refs.: 45 titles. UDC 532 Mathematical modelling of the ferment hydrolysis processes / Aleskseyewa I.V., Zinkevich O.P., Klimenko R.K., Michaylenko T.T., Nedaskivska O.D. // Mathematical Machines and Systems. - 2003. - N 3,4. - P.219-225. There are given in the paper the mathematical models of hydrolysis of cellulose and starch as a linear system of differential equations of the first order, their decisions (correct and approximate) are found and searches are performed. Tabl.: 1. Figs.: 2. Refs.: 11 titles.
QUALITY,RELIABILITY AND CERTIFICATION OF COMPUTER TECHNOLOGY AND SOFTWARE
UDC 621.192 (035) Reliability prediction of electronic systems in the absence of failures with usage of the padding prior information / Strelnikov V.P. // Mathematical Machines and Systems. - 2003. - N 3,4. - P.226-231. The methods of an estimation of indexes of reliability (cumulative distribution function of a mean lifetime) are esteemed on the basis of the padding prior information of coefficient variation of the operative time on the base of DN-distribution. The adequacy of the estimation method of reliability indices is shown. Tabl.: 1. Refs.: 5 titles. UDC 681.14 Diagnostics of short circuits in multilayered printed-circuit-boards / Fedukhin О.V. // Mathematical Machines and Systems. - 2003. -N 3,4. - P.232-236. The method of the short circuits diagnostics based on coding diagram of Ferrera and unconditional algorithm of malfunctions localization is offered. Tabl.: 3. Figs.: 4. Refs.: 4 titles.