Mathematical Machines and Systems. 2009 #4

ABSTRACTS


COMPUTER SYSTEMS

      UDC 004.27; 004.25; 004.382.2

Mathematical model and the strategy of allocation of applications for intellectual memory of the distributed computer systems / Yakovlev Yu.S., Yelisyeyeva O.V. // Mathematical Machines and Systems. - 2009. - N 4. - P. 3 - 17.

The model of the strategy of allocation of applications for intellectual memory which is grounded on model of the PIM-system containing objects, tags and the properties distinguishing it from computer systems with the classical architecture Is offered. The set of the main procedures of the strategy of allocation of the applications, the integrated flowchart of the strategy and the flowchart of the hardware-software environment for support of implementation of this strategy are offered. Tabl.: 1. Figs.: 3. Refs.: 19 titles.


   UDC 519.95+612.84

Computer vision in IAM by V.M. Keldysh of RAS - history of the development / Zueva O.Yu. // Mathematical Machines and Systems. - 2009. - N 4. - P. 18 - 26.

Computer vision (technical vision, robot vision) appeared at Keldysh Institute in 1970. The computer vision problems were generated by the robotics, the men-computer interface, the pattern recognition, the diagnostics in medicine, computer graphics. The history of this branch during more then 30 years is discussed. Refs.: 82 titles.


 
UDC 681.3

Research of parallel schemes of Dantzig algorithm for symetric multiprocessing systems // Pogoriliy S.D., Maryanovskiy V.A., Boyko Yu.V., Verestchinskiy O.A. // Mathematical Machines and Systems. - 2009. - N 4. -     P. 27 - 37.

Formalization of Dantzig algorithm for the shortest ways search in connected oriented graph using mathematical means of V.M. Glushkov modified systems of algorithmic algebras is performed. Conceptions of paralleling for architectures with shared memory, which are based on minimization of loss on synchronization and parallel data proceeding are proposed. Transformation of algorithm is performed, set of parallel schemes are obtained and their comparative analysis is performed. Figs.: 7. Refs.: 9 titles.


NEW INFORMATION AND TELECOMMUNICATION TECHNOLOGIES

UDC 681.3

Modelling in the teaching systems / Litvinov V.V., Zhigulskaya V.Yu. // Mathematical Machines and Systems. - 2009. - N 4. - P. 38 - 51.

In the article we propose a method of creating intelligent training systems, the main aim of which is learning concepts of the subject area, including the testing of trainees. It is proposed to use for knowledge representation of concept and notation of Universal Modeling Language (UML). It is proposed the method of monitoring a trainee knowledge, which allows you to make conclusions about future training strategy. Figs.: 4. Refs.: 10 titles.


UDC 681.5

Problem-oriented knowledge bases is a platform of self-development of the systems of support of making decision / Vjun V.I., Kuzmenko G.Ye., Michnenko Yu.A. // Mathematical Machines and Systems. - 2009. - N 4. - P. 52 - 57.

It is developed conception of problem-oriented knowledge bases as a general system information resource of providing and supporting of processes of information systems (IS), which are progressing. The methodological approaches for creating problem-oriented knowledge bases are proposed. Fig.: 1. Refs.: 8 titles.


UDC 631.3

The approach to creation of the base of knowledges estimation's expert system, prognosis and analysis of situations on the objects of the promoted danger./ Serebrovskiy О.М. // Mathematical Machines and Systems. - 2009. - N 4. - Р. 58 - 66.

It is proposed the approach for creating knowledge base of the hybrid expert systems of the assessment and analysis on the objects "Storage of explosive things" type. These expert systems are intended for support of making decisions on prevention of possible fires and explosions. Refs.: 18 titles.


UDC 681.3.062

Specification of constraints min and max of the simple cardinality in the model „essence-connection" / Buy D.B., Silveystruk L.M. // Mathematical Machines and Systems. - 2009. - N 4. - P. 67 - 81.

In the paper the constraints of cardinality which are used for types of connections in the entity-relationship model. The purpose of the paper is to define the exact nature of min and max constraints of cardinality for binary types of connections and to research the logical connection between their meanings. Min and max of constraints of cardinality are specified with the help of full pattern. Tabl.: 1. Figs.: 6. Refs.: 10 titles.


UDC 621.37-39

About national system of indices of information society / Bahovets O.B., Polumienko S.K., Ribakov L.O., Tyurin V.V. // Mathematical Machines and Systems. - 2009. - N 4. - P. 82 - 88.

It the work the principles of construction the indicators of the development are discussed. On the basis of their analysis information-telecommunication infrastructure - the basis of forming information society is defined the construction. Measuring its penetrating in the vital activity of the society is a task of the prototype of the national system of indicators of the information society that is proposed. Tabl.: 1. Refs.: 10 titles.


UDC 681.3.016

Development and optimization of a statistical information database / Kolomeychuk V.V. // Mathematical Machines and Systems. - 2009. - N 4. - P. 89 - 95.

This article is devoted to problems of development and optimization of specific databases. The analysis of the existing general methods and approaches of database optimization has been given and the need for a qualitatively different approach within the specifics of optimizing statistical information databases has been justified. The implementation of the method of the problem solution has been proposed and illustrated. Tabl.: 3. Refs.: 5 titles.


UDC 004.056

The concept of building personalized flash-drive with hardware-based information security / Korolyov V.Yu., Polinovskyi V.V. // Mathematical Machines and Systems. - 2009. - N 4. - P. 96 - 105.

The concept of building a personalized flash drives with a higher degree of security of confidential information is discussed. The solutions are based on Petri network models of processes of authentication of user and protection of portable data processing services. Tabl.: 4. Figs.: 8. Refs.: 8 titles.


LARGE SYSTEM SIMULATION AND MANAGEMENT

UDC 621.311

About one approach to modelling power systems / Voloboyev V.P., Klimenko V.P. // Mathematical Machines and Systems. - 2009. - N 4. - P. 106 - 118.

Correct statement of a task of modelling of distribution of streams of powers in the established operating mode of a power supply system is offered. It is shown that correctness of setting depends on the selection of the variables of system of equations (SE), which describe power system. It is proposed to use the voltage of the components of the branches of the tree of the graph of a power system as variable SE, whose correct selection is carried out with the composition of the topological matrix of the contours of graph and depends on the parameters of the components of power system, and the modification of Newton's method of the solution of SE, in which it is realized checking of correctness of task when resolving and its correct formulation. Tabl.: 2. Figs.: 3. Refs.: 17 titles.


UDC 004.9:504:519.6

About the problem of variational data assimilation in lagrangian stochastic models of atmospheric dispersion / Kovalets I.V. // Mathematical Machines and Systems. - 2009. - N 4. - P. 119 - 126.

For the problem of variational data assimilation in lagrangian sochastic models of pollutants transport the method of control vector reduction is proposed, which improves the efficiency of the numerical solution of the problem of minimizing the cost functional. Refs.: 15 titles.


UDC 62-522

Mathematical modeling of hydraulic system of controlling / Borovin G.K., Kostyuk A.V., Platov A.K. // Mathematical Machines and Systems. - 2009. - N 4. - P. 127 - 138.

It is searched the possibility of using six-legged strading machine of the hydraulic drive with machine throttle controlling. Short description of the mathematic model of the hydro-system with LS-controlling is adduced. With the help of the considered mathematic model modeling of one legged hydro-system of the strading machine with pump with LS-controlling. Was performed the results of modeling are given. Figs.: 11. Refs.: 11 titles.


   UDC 004.9

Conditions of the construction of algorithms of the synthesis of models in the systems of multilevel transformation of information / Kolos P.O., Golub S.V. // Mathematical Machines and Systems. - 2009. - N 4. - P. 139 - 146.

The article is devoted research of basic data informativeness influencing on the feature of constructor of models synthesis algorithms functioning with the purpose with the purpose of development of method of informative sufficietness threshold determination and creation technology of constructing models synthesis methods on descriptions of primary data informativeness.  The features of the use of intellectual systems approach. Tabl.: 2. Refs.: 17 titles.


   UDC 004.31, 538.945

The basis principles of modeling, designing, constructing of medical nanorobots' / Voyitovich I.D., Zolot A.I., Khodakovskiy М.I. // Mathematical Machines and Systems. - 2009. - N 4. - P. 147 - 160.

The paper is devoted to investigating the basic principles of modeling, designing and constructing of medical nanorobots. The correct statement of a task and modeling complex objects is possible, if bionic analogies to biorobots, for example viruses, are used. Technical requirements for medical nanorobots' hardware and possible ways of their realization are listed. Figs.: 2. Refs.: 58 titles.


   UDC 007; 681.3

Automation of the process of researching variants of the transportation streams in the railway network / Sukach О.I. // Mathematical Machines and Systems. - 2009. - N 4. - P. 161 - 168.

Use of means of automation of simulation of a railway system is offered. The technique of the decision of the typical problems is described, allowing to define the most effective variant of service of transport streams. Refs.: 3 titles.


   UDC 004.942, 004.891.2, 004.021

Fractal properties and dynamics of growth of attractors by the method of the «casual rain» for the design of the socio-economic systems / Vyklyuk Ya.І. // Mathematical Machines and Systems. - 2009. - N 4. - P. 169 - 178.

In this paper dynamics of main crystal fractal characteristics in attractor's neighborhood in the evolution of social-economic system was researched. Method of evaporation modeling during crystal grows process was offered. Analogy of main processes of crystal grows (evaporation, diffusion) in social-economic systems was substantiated. Mechanism of  appearance of phenomenon stagnation and self-organization of the system in evolution process was researched. Tabl.: 1. Fig.: 1. Refs.: 24 titles.


UDC 004.94, 519.633

Software environment for modelling dynamic problems of composites with interphase interaction / Konovalova O.M. // Mathematical Machines and Systems. - 2009. - N 4. - P. 179 - 187.

Features of designing and implementation of the software environment intended for computer modelling of linear and nonlinear dynamic problems of composites with interphase interaction are considered. Functionality of the created application package, its structure and algorithm are described. The results of numerical realization of dynamic problems, found by means of the developed environment, for a representative element of one composite system, are given. Figs.: 4. Refs.: 11 titles.


QUALITY, RELIABILITY, AND CERTIFICATION OF COMPUTER TECHNIQUE AND SOFTWARE

UDC 621.396.69.019.3:355.242

To valuation of indicator of sufficiency quantities of spare parts / Strelnikov V.P. // Mathematical Machines and Systems. - 2009. - N 4. - P. 188 - 192.

Valuation of indicators of sufficiency quantities of spare parts on the basis of use as theoretical model of failures of  DN-distribution is presented. Tabl.: 2. Refs.: 3 titles.


UDC 621.3.019.3

To the question of superfluous structures. The element reservation / Fedukhin О.V. // Mathematical Machines and Systems. - 2009. - N 4. - P. 193 - 199.

Questions of the element reservations electro-radio products are considered. It is shown, that the majority of products are products with symmetric refusals of type "breakage" and "short circuit". The account of refusals of type "short circuit" allows to specify estimations of reliability of real reserved structures of elements. Figs.: 8. Refs.: 2 titles.


UDC 625.039

The fault-tolerant software of dependable computer system / Yefimova T.I., Mudla B.G., Shaleyko O.M. // Mathematical Machines and Systems. - 2009. - N 4. - P. 200 - 209.

In the paper the problems of creation of the fault-tolerant software for dependable computing systems are considered. The analysis of a modern status of a problem is carried out. The various methods of creation of the fault-tolerant software are described. The ratings of the approaches of the N-version software and model of recovery blocks are made. The example of the concrete project of the N-version software is given. Tabl.: 2. Figs.: 2. Refs.: 12 titles.


UDC 681.32.019

Construction of model of quality of software / Tchumakova T.Ya., Tzyganenko S.M. // Mathematical Machines and Systems. - 2009. - N 4. - P. 210 - 218.

In the paper the generalized recommendations on construction of model of quality of software in accordance with recommendations of international standard ISO/IEC 9126-(1:4) are discussed. Short recommendations on forming requirements for development information system and control of quality of the system on different design times are also given. Refs.: 7 titles.


       Last modified: May 18, 2010