UDC 519.7 Algorithm of formation and calculation of mathematical expressions using component circuits / Dmytriiev V.M., Gandzha T.V. // Mathematical Machines and Systems. - 2010. - N 3. - Р. 9 - 21.
A method of presentation of mathematical expressions in the form of component circuits is considered. It is a basis for engineering of the computer mathematics system "Macrocalculator" and realization of interactive mathematical panels in the environment of modeling of technical devices and MARS-type systems. An algorithmic basis of such software products is a universal computational kernel allowing us to make computer modeling of technical objects and automated calculation of mathematical expressions presented in the form of component circuits. Figs.: 7. Refs.: 5 titles.
NEW INFORMATION AND TELECOMMUNICATION TECHNOLOGIES
UDC 004.05
Analysis of existing applications of decision support systems in the branch of jurisprudence / Riznyk O.M., Pavliuchenko M.S. // Mathematical Machines and Systems. - 2010. - N 3. - Р. 22 - 33.
Main requirements for the legal Decision Support Systems (DSS) are formulated in the article. The paper are examined some examples of this kind of software in the world and in Ukraine, and shown the results of study of the functionality of Ukrainian legal DSS and information level of legal industry. Tabl.: 1. Figs.: 11. Refs.: 19 titles.
UDC 004.62
Providing data group anonymity using concentration differences / Chertov O.R., Tavrov D.Yu. // Mathematical Machines and Systems. - 2010. - N 3. - Р. 34 - 44.
Public access to digital data can turn out to be a cause of undesirable information disclosure. That's why it is vital to somehow protect the data before publishing. There are two main subclasses of such task, namely, providing individual and group anonymity. In the paper we introduce an original method of protecting the group patterns of data. Also, we provide a comprehensive illustrative example. Tabl.: 2. Figs.: 2. Refs.: 16 titles.
UDC 681.3
Quasi-arbitrary inquiries to database and informational model of their implementation / Oksanych I.M. // Mathematical Machines and Systems. - 2010. - N 3. - Р. 45 - 52.
The different types of queries by user-analyst to the thematic database are discussed. A technology of creation system for constructing of quasi-arbitrary user queries is proposed. It is constructed the information model of domain as a set of three components: relational model, frame-based model and business rules model that provides the possibility of establishing a system for constructing of quasi-arbitrary queries. Figs.: 4. Refs.: 4 titles.
UDC 621.3.011.7
A modelling approach of nonlinear electric circuits by parts / Voloboiev V.P., Klymenko V.P. // Mathematical Machines and Systems. - 2010. - N 3. - P. 53 - 68.
It is offered a formalized technique of construction of the equivalent scheme of a nonlinear subcircuit and a method of drawing up a mathematical model (MM) of a nonlinear electric circuit (NEC), based on application of the subcircuits, and considering requirements of the correct formulation of a problem. A consideration of requirements is carried out both at a stage of drawing up of the MM NEC and in the course of decision of the received model by a purposeful choice of variables, which are voltage of components of tree branches, covering the subcircuits graphs and NEC, in which the subcircuits are replaced by equivalent schemes. Correct choice of variables is carried out at drawing up of topological matrixes of contours of the graphs of the subcircuits and NEC, and depends on parameters of the components of the subcircuits and NEC. Figs.: 1. Refs.: 13 titles.
UDC 004.318
Ontological model of situations for knowledge bases of decision support systems / Yeremenko T.K., Pylypenko Yu.H. // Mathematical Machines and Systems. - 2010. - N 3. - P. 69 - 75.
Requirements for the creation of knowledge bases for automated decision support systems are worked out. We propose an ontological model that in contrast to the well-known models can describe a wide class of objects. This opens up the possibility of using the known methods of artificial intelligence to create and modify knowledge bases. Figs.: 2. Refs.: 13 titles.
LARGE SYSTEM SIMULATION AND MANAGEMENT
UDC 004.89
Modeling evolution of complex biological and artificial systems by using neural network identification / Snytiuk V.Ye. // Mathematical Machines and Systems. - 2010. - N 3. - Р. 76 - 83.
In the paper the problem of simulate of evolution of the biological and complex technical systems is considered. Formalization of basic constituents of modeling algorithm is executed, the elements of functional loading for subjects of simulation are offered. The features of "instinctive" and "intellectual" evolution are indicated. The intellectuality of evolution subjects is realized by means teaching and using the neural networks as a tool of memory and making decisions. Figs.: 3. Refs.: 7 titles.
UDC 004.4'23
Reserves of programming an activity. A system supporting the creation and using of programs of the activity / Malyshev O.V. // Mathematical Machines and Systems. - 2010. - N 3. - P. 84 - 95.
Programming is one of the types of simulation an activity. There are the followings possibilities to increase the efficiency of programming the activity: 1) revision and clarification of concepts and terminology in the examined subject domain; 2) expansion of possibilities of creation and using of programmatic activity models due to application of special systems and 3) creation and using of the -dimensional programmatic activity metamodels. The article is devoted to consideration of the second of indicated possibilities. Refs.: 22 titles.
UDC 519.8.004.4: 621.8
DSS for business analyst / Kussul M.Е., Sychov O.S., Sadova O.H., Antonenko A.O. // Mathematical Machines and Systems. - 2010. - N 3. - Р. 96 - 103.
Article contains a review of existing decision support systems and modeling approaches used in forecasting of business processes. It describes the problems and reasons for the creation of specialized systems for solving similar problems with different types of formalization of quality criteria. Experimental results of comparing the created DSS that show savings of working time of business analyst by 20%-30% when forecasts are made with insufficient formalization of quality criteria. Tabl.: 1. Figs.: 2. Refs.: 10 titles.
UDC 004.934.1'1
Method of intellectual diagnostics of the visual analyzer / Fedorov Ye.Ye., Slesoraityte I. // Mathematical Machines and Systems. - 2010. - N 3. - P. 104 - 110.
In the article a method of intellectual diagnostics of the visual analyzer based on connection models and theory of pattern recognition was offered. The method includes: detection and formalization of relations between indications scanning laser polarimetry (SLP) and indications retrobulbar hemodynamics (RH); synthesis of neuronet structure and its mathematical model; identification of parameters of model; creation of a functional of the purpose; development of procedure of the prognosis. For an offered technique the outcomes of numerical research are resulted. Tabl.: 2. Figs.: 10. Refs.: 3 titles.
UDC 004.9:504:519.6
Application of particle methods to the problems with unstructured grids / Brovchenko I.O. // Mathematical Machines and Systems. - 2010. - N 3. - P. 111 - 115.
In present paper an effective and time-conserving method of calculating the interaction forces between particles that significantly reduce the time of calculations and memory usage is proposed. On the basis of the method a new method for fast searching of particles in the cells of unstructured grids was developed. The developed algorithm can be applied to any Lagrangian model such as "particle-particle" and "particle-mesh" and their variations. Refs.: 8 titles.
UDC 007; 681.3
Method of research of the functionally complex systems with usage of the probabilistic-algebraic modeling / Sukach O.I. // Mathematical Machines and Systems. - 2010. - N 3. - Р. 116 - 123.
The method of research of the functionally complex systems is demonstrated with usage of the probabilistic-algebraic modeling, which makes it possible to take into account probabilistic character of states of systems components and uncertainty of the ratios, which set the links between these components. Figs.: 2. Refs.: 3 titles.
UDC 681.335:004.891
Synergetic model of individualized teaching control / Mazurok T.L. // Mathematical Machines and Systems. - 2010. - N 3. - Р. 124 - 134.
A teaching control model is developed on the basis of the vector of intelligence of a person who learns and the graph of a content teaching. Realization of this model is considered on the basis of the multilayered neuron network. Tabl.: 1. Figs.: 7. Refs.: 11 titles.
UDC 631.3
About automation of knowledge extraction from information resources on the base of subject domain ontology / Serebrovskyi O.M. // Mathematical Machines and Systems. - 2010. - N 3. - Р. 135 - 140.
An approach to creating of knowledge extracting technology from text information resources is offered. The approach is based on the subject domain ontology and semantic marking out of initial data with the use of metadata. Refs.: 8 titles.
UDC 519.85:519.21:004
Simulation modeling of random processes in the package SM-DES / Maksimei I.V., Shevchenko D.M. // Mathematical Machines and Systems. - 2010. - N 3. - Р. 141 - 152.
Technology and software are offered for simulation modeling of the broad class of the random processes. There are two well-known problems of probability theory and reliability theory associated with analysis of random processes. The article contains examples of solving these problems by simulation in the package SM-DES. Possibility of solving a wide range of other applications is also presented. Tabl.: 1. Figs.: 18. Refs.: 9 titles.
QUALITY, RELIABILITY, AND CERTIFICATION OF COMPUTER TECHNIQUE AND SOFTWARE
UDC 621.396.69.019.3
The regularities of change in the mean time between failures of technical systems in operation / Strelnikov V.P., Cespedes-Garcia N.V. // Mathematical Machines and Systems. - 2010. - N 3. - P. 153 - 158.
The regularities of changes in the mean time between failures (MTBF) of restored systems through statistical modeling of the systems and theoretical estimates based on a two-parameter DN-distribution are researched. It is shown that the MTBF decreases during operation to a certain minimum value corresponding to steady-state recovery. Figs.: 5. Refs.: 2 titles.
DISCUSSION NEWS
UDC 681.3
Biogenetic law of Haeckel and his role in revealing the mechanism of retransmission of natural laws during the process of creation and evolution of computer techniques. Р.1 / Briukhovych Ye.I. // Mathematical Machines and Systems. - 2010. - N 3. - P. 159 - 169.
It was obtained an answer to the question how man creates and evolves computer techniques by natural laws. The answer is contained in the action mechanism of the known Central Dogma of Molecular Biology (CDMB), which there is in the basis of Haeckel's biogenetic law and became a new substantiation of correctness of assertions of this law. Accordingly to the law a short and quick repetition (recapitulation) of the most important stages of evolution of a species (phylogenesis) is taking place by individual development of a person (ontogenesis). In accordance with the CDMB the recapitulation (repetition) is determined by reproducing from RNA a copy of the genetic information, contained in DNA, without destroying an original, as a result in DNA occurs a sequential lamination (accumulation) of genetic information during an all phylogenesis of a species. Conclusion was made that human during process of creation and evolution the computer techniques, not realizing, recapitulates phylogenesis from Homo sapiens to ontogenesis of Computer sapiens. Figs.: 1. Refs.: 14 titles.
