UDC 519.1 One problem of numbering of the tree vertices / Donets G.A. // Mathematical Machines and Systems. - 2010. - N 1. - P. 17 - 24.
Problem on special numbering of the tree vertices, referred to as the Rosa problem, is studied here. The solution is given for some elementary tree types, namely: hain, star and caterpillar. Appoaches to solving the problem in the case of more complicated trees are suggested. Figs.: 6. Refs.: 3 titles.
UDC 004.93 The complex of characteristic and criteria of comparison of training / Subbotin S.О. // Mathematical Machines and Systems. - 2010. - N 1. - P. 25 - 39.
The actual problem of criteria set development for evaluating the training sample quality in the problems of diagnostics and pattern recognition on the features is solved in the paper. The experiments were conducted for the study of implementation of proposed criteria in practical problems solving. It confirms the practical usefulness of the developed criteria and software. Таbl.: 1. Refs.: 10 titles.
UDC 681.3
The analysis of methods of increase of the productivity computers with use of graphic processors and hardware-software platform CUDA / Pogoriliy S.D., Boyko Yu.V., Tribrat M.I., Gryaznov D.B. // Mathematical Machines and Systems. - 2010. - N 1. - P. 40 - 54.
Analysis methods for improving the performance of computers made using graphics processors and software and hardware platform CUDA. Ability to use graphics processors is considered to perform mathematical calculations. Features of the calculation analyzed using adapters. Tabl.: 4. Figs.: 11. Refs.: 33 titles.
UDC 519.8
A new solving algorithm of assignment problem / Nedobachiy S.I., Gvozdik D.М. // Mathematical Machines and Systems. - 2010. - N 1. - Р. 55 - 59.
A new method and proper to him solving algorithms of assignment problem is offered, witch in case of a big dimension is more effective comparatively to the Hungarian method algorithm. Refs.: 4 titles.
NEW INFORMATION AND TELECOMMUNICATION TECHNOLOGIES
UDC 004.413
Multilevel system of development of routing in the net of remote training / Shevchenko A.I., Olshevskiy A.I. // Mathematical Machines and Systems. - 2010. - N 1. - P. 60 - 67.
Methods of synthesis networks, ways and algorithms applied for group dispatch of data have been considered at remote training. Combination of two types of approaches to the decision of a problem is offered: division into subnetworks supporting on the regional centers of trees-synthesis as D-structures and methods of synthesis of networks routing in a class of treelike structures. Thus, the developed system is two-level and allows to apply heurisms. Figs.: 5. Refs.: 4 titles.
UDC 004.416.3:004.82
Technology of individual adaptive learning trajectory in adaptive system of distance learning and control of knowledge / Fedoruk P.I., Pikulyak M.V. // Mathematical Machines and Systems. - 2010. - N 1. - P. 68 - 76.
The article reveals the technology of individual adaptive learning trajectory formation on the basis of the method of multilevel algorithmic knowledge quantification. The given technology gives the possibility to create individual structure of the learning material, that lets realize great possibilities of adaptation to the beginner's knowledge level and other characteristics of learners. Predicative-analytical and vector-matrix forms of knowledge presentation give possibility to fulfill machine information processing of algebra of completed predicates and algorithmic inductive searching structures by means of which the task of optimal governance of quantum knowledge stream in the adaptive system of distance learning and knowledge control in the process of course learning. Figs.: 2. Refs.: 4 titles.
UDC 55.244.1:356.255.2
Problems of the security against information-psychological influene of the enemy / Aleshtenko V.I., Serbin V.G. // Mathematical Machines and Systems. - 2010. - N 1. - P. 77 - 86.
Problems of the security against information-psychological influene of the enemy, abstract: sone normative - legal bases, summary and problems of security of the Armed Forces and the population of Ukraine against information-psyhochological influence of the enemy. On the base of the analysis the authors opinions on the structure of the system of information security and mechanisms of realization such security are detailed. Figs.: 4. Refs.: 9 titles.
UDC 004.89:510.649
Tree-like form of refutation search in intelligent systems with logic possibilities / Afonin A.O. // Mathematical Machines and Systems. - 2010. - N 1. - P. 87 - 94.
The paper is devoted to the study of intelligent system possibilities given by the tree-like form of refutation search when using the resolution technique with paramodulation-type rules. Calculation of so-called literal trees intended for the establishment of formula unsatisfiability of first-order classic logic, both with equality and without it, are considered. Results about their correctness and completeness are given. Refs.: 13 titles.
UDC 004.31, 538.945
The basis principles of designing and constructing medical nanorobots / Voyitovich I.D., Zolot A.I., Khodakovskiy М.I. // Mathematical Machines and Systems. - 2010. - N 1. - P. 95 - 104.
The paper is devoted to investigating the basic principles of designing and constructing medical nanorobots. The approaches for realization of designing medical nanorobots on base the automated systems are discussed. Technical requirements for medical nanorobots hardware are listed. Figs.: 5. Refs.: 15 titles.
UDC 681.3
Model of decomposition of mental operators in problem-oriented user interface and its experimental research / Oksanitch I.M. // Mathematical Machines and Systems. - 2010. - N 1. - P. 105 - 112.
The problem of placing mental operators GOMS in evaluating the performance of the user interface is discussed. A model of a decomposition of a mental operators in relation to the problems of input and visual verification data are proposed. The results of experimental research of model are given. Tabl.: 3. Figs.: 2. Refs.: 8 titles.
UDC 681.323
Method of formation of a noiseproof code of power independent memory of devices of family jButton of type DS1971 of systems of the authorized journey in lifts / Belyavin V.F. // Mathematical Machines and Systems. - 2010. - № 1. - P. 113 - 121.
The problem of restriction of access to lifts of extraneous persons and the users having essential debts on municipal payments is considered. Use of systems of the authorized journey using electronic keys of family jButton of type DS1971 with power independent memory EEPROM is offered. The method of formation of a noiseproof code is developed for the power independent memory, raising non-failure operation of work of lift system of the authorized journey. Tabl.: 2. Figs.: 5. Refs.: 5 titles.
UDC 681.5:658.149.3(477)
Construction in Ukraine national innovative network in the sphere of transfer of technologies / Lysenko V.S., Yegorov S.O. // Mathematical Machines and Systems. - 2010. - N 1. - P. 122 - 126.
In the article the questions of construction of national innovative networks are examined on the base of modern models of innovative process. Principles forming innovative networks of intergovernmental, national, regional and of a particular branch level are determined. Material of the article is accompanied by the example of construction in Ukraine of the national network of transfer of technologies of NTTN. Fig.: 1. Refs.: 5 titles.
LARGE SYSTEM SIMULATION AND MANAGEMENT
UDC 517.9; 621.317
The state and perspectives of neuron modeling SSMD in complex sociotechnical systems / Morozov A.O., Klimеnko V.P., Lyakhov O.L., Alyoshin S.P. // Mathematical Machines and Systems. - 2010. - N 1. - P. 127 - 149.
In the article the analysis of the modern state of design of difficult sociotechnical systems is given on the basis of artificial neuron networks. The results of analysis allowed to see the strong and weak sides of application of intellectual technologies of construction of systems of support of making decisios for different subject domains. It is shown degree of theoretical and applied development of questions of using teachable neuron networks during classification of states, prognostication of conduct and management difficult sociotechnical objects. Approaches and directions of reseaches, allowing to extend an application of neuroneworks technologies for the productive management difficult objects. Refs.: 90 titles.
UDC 004.4'23
Reserves of the activity programming. Terminology / Malyshev O.V. // Mathematical Machines and Systems. - 2010. - N 1. - P. 150 - 161.
Programming is one of types of activity modeling. There are the followings possibilities to increase the efficiency of activity programming: 1) a revision and clarification of concepts and terminology in the examined subject domain; 2) expansion of possibilities of creation and use of programmatic activity models due to application of the special systems; 3) creation and use of the n-dimensional programmatic activity metamodels. The article is devoted to consideration of the first of indicated directions - terminology. Tabl.: 4. Fig.: 1. Refs.: 28 titles.
UDC 681.3.069+681.3.015
Practical implementation of complex examining-calaclation method in the processes of diagnostic of the complex dynamic objects of aircraft / Tchoh Yu.M., Legenkiy V.I. // Mathematical Machines and Systems. - 2010. - N 1. - P. 162 - 170.
We consider some methodological steps of the implementation of the universal integrated method to provide enhanced operational assessment of the current technical condition of modern aircraft engines. Figs.: 6. Refs.: 6 titles.
UDC 519.2+600.1
Destruction of statistical stability of physical processes / Gorban I.I. // Mathematical Machines and Systems. - 2010. - N 1. - P. 171 - 184.
The concept of statistical stability of random sequences and random processes is formalized. Parameters characterizing their statistical stability in finite observation interval are proposed. It is shown, that statistical instability processes are especial class of nostationary processes. On the base of analytical researches and computer modeling of random processes it has been proposed the hypothesis that the cause of statistical stability destruction in the finite observation interval is low frequency cyclical fluctuations of expectation. Writing of voltage of electrical supply network for two months with pause in some days has been realized. The processing of obtained records showed that oscillations of town net electrical voltage have statistical instability character. The area of statistical instability is continuous and corves the range from some hours to no less 60 hours. Figs.: 6. Refs.: 10 titles.
UDC 007; 681.3
Use of imitation models for making decisions in the control systems on the transport / Maksimey I.V., Sukach O.I., Galushko V.M., Giruts P.V. // Mathematical Machines and Systems. - 2010. - N 1. - P. 185 - 192.
For decision-making in control systems on transport it is offered to use the comprehensive approach grounded on simulation of transport streams of various level. For handling transit streams the task of definition of the most effective maximum stream of a network is desired. The ice of a variant of functioning network of public transport is realized by simulation of interaction of a volume of passenger traffic and a transport stream. Refs.: 4 titles.
UDC 681.3
About approach to scheduling flight plane for diren members of airlines / Miroshnichenko A.В. // Mathematical Machines and Systems. - 2010. - N 1. - P. 193 - 197.
Аnalysis of requirements, applied to the scheduling algorithms on the current stage of informational technologies, was done. Also the set of scheduling solutions was described. These solutions were applied for „Ukrainian International Airlines". Figs.: 3. Refs.: 3 titles.
QUALITY, RELIABILITY, AND CERTIFICATION OF COMPUTER TECHNIQUE AND SOFTWARE
UDC 681.3; 004.274
FPGA-based systems as a mean of increasing reliability / Fedukhin O.V., Мukha A.A., Мukha O.A. // Mathematical Machines and Systems. - 2010. - N 1. - P. 198 - 204.
In this paper, we consider there are trends in the development of management information systems in the context of the acquisition of the properties of fault tolerance when used for their construction FPGA-based systems. It is investigated the benefits of FPGAs to the MP in terms of possible risks and their compliance with international standards of the industry. Examples of the use of FPGA-based in various fields of science and technology are given. Tabl.: 1. Figs.: 1. Refs.: 12 titles.
UDC 621.31
The secondary defects in models of reliability software / Odarushchenko O.М., Rudenko О.A., Kharchenko V.S. // Mathematical Machines and Systems. - 2010. - N 1. - P. 205 - 217.
We analyze the assumptions made in models assessing the reliability of software tools for the introduction of new (secondary) defects in the process of removing previously identified defects. Outlined the procedure for finding the parameters of the function of risk for different models. Characterized by the use of models to assess the reliability of software in view of the secondary defects. Tabl.: 1. Figs.: 9. Refs.: 16 titles.
UDC 681.3.06, 519.76
A process for consistent assessment of software reliability over its life cycle / Slabospitckaya O.O. // Mathematical Machines and Systems. - 2010. - N 1. - P. 218 - 224.
The software process is improved with a new process of unified, informed and consistent software reliability predicting/assessing over software life cycle. It is represented with both the ratio of faults and Function Points (FD) and FD-depending probability of functioning without failures (PD). The model is built and methods are elaborated for the process with Bayesian net and Value tree (to ensure informational continuity and permanent increasing of FD estimates formalized consistency) and J. Musa's reliability model (to PD uniformly assess on their base). Figs.: 2. Refs.: 14 titles.
