UDC 621.391.26 One of methods of an evaluation of primitive Roots in residual classes / Vizor Ya.Ye. // Mathematical Machines and Systems. - 2006. - N 3. - P. 3 -11. With the purpose of constructing optimal on speed and the equipment of arithmetic devices of computer facilities, the analysis of two number systems, item and number systems in residual classes is carried out the method of an evaluation of primitive roots for the units represented as the sum of geometrical progression is offered, permitting without superfluous temporary expenditures to calculate not only primitive roots, but also numbers from the carried out system of residues with orders of dividers . Refs.: 12 titles.
UDC 62-50 Heuristic method of Bayesian networks constructing / Terentyev O.M., Biduk P.I. // Mathematical Machines and Systems. - 2006. - N 3. - Р. 12 - 23. Bayesian networks are the instrument, which is widely used for classification task when performing data analysis. The network structure is a NP-hard problem. The paper presents a heuristic method for constructing Bayesian network, based on using mutual information between all vertexes and as an estimation function in each iteration to use description of minimum long. For calculation of the error of learning the formula of the structure difference is proposed. Basic definitions and correspondent illustrative examples are given. Tabl.: 7. Figs.: 2. Refs.: 10 titles.
UDC 681.322.00; 681.324.00 About optimization of accommodation data in PIM-system / Yakovlev Yu.S., Tykhonov B.M. // Mathematical Machines and Systems. - 2006. - N 3. - P. 24 - 35. On the basis of the analysis of existing approaches to accommodation of data in PIM-systems ("Processor-in-Memory") it is drawn a conclusion on specialization of the approach for each created PIM-system. Substantive provisions for the construction of a universal method of optimum accommodation of data based on features of the architecturally-structural organization of PIM-systems are formulated. The opportunity of its practical realization on the basis of production decisions of the declaration patent of authors is noted. Figs.: 4. Refs.: 7 titles.
UDC 621.8:681.5 Single camera pedestrian detection system / Kussul M.E., Sadova О.G., Sitchov О.S. // Mathematical Machines and Systems. -2006. - N 3. - P. 36 - 43. This paper is dedicated to investigations of pedestrian detection system based on single video camera. The purpose of the investigations is to find limitations and possibilities of subsystem, which utilizes one frame for recognition. It is shown possibility to obtain neural network classifier for pedestrian recognition with accuracy up to 99,99%. Developed classifier is very important part of pedestrian recognition system based on video camera. In spite of high classification rate one classifier is not enough to solve the problem in the whole. Pedestrian detection system can be applicable if it based on two-steps classification. Figs.: 3. Refs.: 11 titles.
UDC 519.1 The problem of building images of two-dimensional mosaic / Samer I.M. Alshalame // Mathematical Machines and Systems. - 2006. - N 3. - P. 44 - 54. It is discussed the problem about building discrete images on the plane. This work is continuation of researches of the same author about creation of colour images with using given set of templates. Introducing notions homomorphity of template and its self-sufficienty for building basis of decisions of the main system of linear equations in the class of residues on the finite module. There are proved the set of statements about characteristics of some templates and about existence of decisions of the denoted system of equations. Tabl.: 2. Figs.: 6. Refs.: 4 titles.
UDC 519.8 Optimal strategies of restart organization in real-time systems / Grechuk B.V., Furugyan M.G., Petrukhin V.О. // Mathematical Machines and Systems. - 2006. - N 3. - P. 55 - 59. The problem of restart organization in real-time systems is considered. The importance of the order of performance of working and supervising modules is shown. An alternative strategy of error handling, according to which the restart of the system does not follow immediately error detection by a verifying module is proposed. An example according to which new proposed strategy leads to reduction of the expected execution time is considered. Figs.: 2. Refs.: 9 titles.
UDC 007:075.8:518.5.681.3 Postcybernetics: change of paradigms / Tesler G.S. // Mathematical Machines and Systems. - 2006. - N 3. - P. 60 - 72. The change of paradigms in cybernetics by M. Viner and V.M. Gluskov, and also superseded them postcybernetics is observed in the paper. The main attention is paid to postulate about information influence and interaction in the processes of animate, inatimate and artificial nature, system-cybernetic approach and general laws of the development and transformation of information. Refs.: 29 titles.
LARGE SYSTEM SIMULATION AND MANAGEMENT
UDC 680.3 Situation Centers. Main principles of design / Morosov A.O., Kuzmenko G.E., Vyun V.I., Litvinov V.A. // Маthematical Machines and Systems. - 2006. - N 3. - P. 73 - 79. There are adduced peculiarities of Situation Centers (Center of strategic modeling, Crisis Centers), as some highest variety (subclass) of STDS. The main principles of designing and functioning Situation Centers by directions stages of constructing and functioning creation and support of information base, intellectualization, technology of tasks decision will be guided by when creating Situation Centers. Refs.: 8 titles.
UDC 519.862 A Model of lease payments / Alekseyev D.A., Alekseyev K.D. // Mathematical Machines and Systems. - 2006. - N 3. - Р. 80 - 83. The model proposed includes procedures of credit repayment, interest payment, amortisation charges, and repayment of turnover taxes and profit taxes. The effective variables are the profits of a leasee and a lessor and budget receipts. The general model requires the use of methods of linear programming. Fig.: 1. Refs.: 2 titles.
UDC 502 About the design of some aspects of development of conflict situation / Bespalov V.P., Koval Yu.Kh. // Mathematical Machines and Systems. - 2006. - N 3. - P. 84 - 90. In the article the algorithm of analysis and estimation of conflict situation is expounded with the use of least-squares method. The feature of approach, that is examined, is that it enables to design and explore the different variants of development of conflict situation, determine and forecast the conduct of the states in military, political, economic, social, informative and other spheres of activity. The calculations with the use of algorithms which are represented in the article allow at presence of measures of influencing to specify the model of development of conflict situation and to forecast the moment of «Х» (for example, beginning of battle actions in a military conflict and others like that). Tabl.: 1. Figs.: 4. Refs.: 9 titles.
UDC 004.318 The model of the world language ontological сategorial level / Palagin O.V., Petrenko M.G. // Маthematical Machines and Systems. - 2006. - N 3. - P. 91 - 104. The new approach to the decision of one of the main tasks of systems of an artificial intellect - the analysis and understanding natural-language texts is offered. The abstract model of a ontological picture of the world which is based on a lexicographic database of a natural language and semantic-syntactical relations between language units is developed. The variant of ontology categories of a conceptual level is described. Figs.: 4. Refs.: 19 titles.
UDC 681.3.06(075.8) Architecture of the distributed system for medical usage in the conditions of unreliable communication / Kononov M.V., Sudakov O.O. // Mathematical Machines and Systems. - 2006. - N 3. - С. 105 - 116. Architecture of distributed information system for telemedical consultations is proposed. The system is oriented on usage of slow and unstable communication channels. The primary usage of proposed system is telemedical care of population from distant regions and for screening people suffered from Chernobyl Accident. Protocols for information storage and transfer is described, block-schema of algorithms for data consistency and crash recovery is considered, database structure is presented. Tabl.: 1. Figs.: 6. Refs.: 7 titles.
UDC 681.3.07 Usage of the algorithm of clonal selection for the system of algebraic equations / Litvinenko V.I. // Mathematical Machines and Systems. - 2006. - N 3. - С. 117 - 126. In the given paper the features and characteristics of the clonal algorithm, intended for decision of the system algebraic equations are discussed. Clonal algorithm is very powerful method of combinatorial search; which makes decision on the base of sorting multiplicity variants of sequences from n-variables of them and represents more adaptive mechanisms than genetic algorithms when searching decisions. Figs.: 2. Refs.: 14 titles.
UDC 004.4:006.015.5 Designing programs of creation of test data sets on the basis of automatic models / Raychev I.E., Charchenko O.G. // Маthematical Machines and Systems. - 2006. - N 3. - P. 127 - 136. In the article the questions of automation of creating test data sets are considered. The technology of creating programs of generation of test data sets which is based on construction of automatic models is offered. The obtained test data sets allow to automate detection of events of the monitoring that raises efficiency of tests, reduces labour input of certification and increases reliability of their results. Figs.: 4. Refs.: 14 titles.
UDC 681.3.06 Realization of process of verification for development of the reliable software / Sklar V.V., Kharchenko V.S. // Mathematical Machines and Systems. - 2006. - N 3. - P. 137 - 145. Requirements of standards to verification of software are generalised, that permits to structure this process and to develop a method of integrated verification which is directed to assurance of software reliability. The method of integrated verification is universal and can be used for any type of software. Tabl.: 2. Figs.: 6. Refs.: 9 titles.
UDC 681.3 Supercomputers: tendencies and technologies of the last twentieth anniversary / Klimenko V.P., Komyhayev E.G. // Маthematical Machines and Systems. - 2006. - N 3. - P. 146 - 151. The problems of tendencies, architectures, technology of the developments of the supercomputers of the last twentieth anniversary are discussed in the paper. There are adduced data about new abilities of the element base of the supercomputers, about broadening of using. The prospects of the development of cluster systems, the ways of perfection of interaction of the cluster nodes are accepted. The significant contribution of the leading specialists of the Institutes of Cybernetic Centre by Glushkov V.M. of NASU to the developments of decisions and technologies of supercomputers realisation is marked. Tabl.: 1. Refs.: 8 titles.
QUALITY, RELIABILITY, AND CERTIFICATION OF COMPUTER TECHNIQUE AND SOFTWARE
UDC 62 - 192.003 Planning of tests at an estimation of non-failure operation of technical systems / Strelnikov V.P., Vorona N.G., Egorov S.V. // Mathematical Machines and Systems. - 2006. - N 3. - P. 152 - 155. The technique of planning tests is developed with the purpose of an estimation of probability of non-failure operation of technical systems on the basis of use -distribution. Analytical expressions for an estimation of confidential intervals (boundary values), allowable number of failures and necessary number of samples are received. It is shown, that is offered technique results in more effective (economic) plans of tests. Refs.: 3 titles.
