Mathematical Machines and Systems. 2013 #2

ABSTRACTS


COMPUTER SYSTEMS

UDC 004.3

Carbon nanoelectronic element base of informatics. P. 2 / Voitovych I.D.,
Korsunsky V.M., Lavryk F.T. // Mathematical Machines and Systems. - 2013. - N 2. - P. 3 - 18.

This paper introduces readers with up to date element base which can replace silicon element base of informatics. The properties of fullerenes, carbon nanotubes (CNT), graphene films were briefly described as well as transistors, logic circuits, resistors, interconnections, memory cells, ultra-sensitive sensors and display devices were realized on their base. The advantages and prospects of implementation of such ele-ments in the nearest decades were pointed out. Figs.: 23. Refs.: 45 titles.


 
UDC 681.3
 
Computing systems. Trends in the architecture development of heterogeneous structures / Klymenko V.P., Ledyankin Yu.Ya. // Mathematical Machines and Systems. – 2013. – N 2. – P. 19 – 31.

It is proposed to build the architecture of heterogeneous computing systems (HCS) as a system for the solution (common) tasks of mathematical physics type (MP), according to the principle: central intelligence machine-special processor (CIM – SP). The transition to the submission and processing of information in the SP HCS in the form of complex data structures (CDS) requires a computer with a high-level language (such as ANALYST). CIM will provide: the transition from the analytical description of the essence of computer simulation (when setting) to one of numerical methods for solving the problem in the SP parallel type, conversion and CDS input, SP operation in single mode computational flow, system startup and displays the result; correction if necessary, etc. Refs.: 16 titles.


 
INFORMATION AND TELECOMMUNICATION TECHNOLOGY

 UDC 004.93'1

Computer vision (analytical review) / Dyatlov Ye.I. // Mathematical Machines and Systems. – 2013. – N 2. – P. 32 – 40.

The article is devoted to computer vision technology. The purpose of these systems is described in details, the basic terms and concepts needed for a basic understanding of the process of constructing solutions are represented. This article highlights the main areas of research related to the creation of automated machine vision systems, describes the typical equipment used in the majority of decisions. It is emphasized on the components of systems and their role in solutions building. Figs.: 11. Refs.: 8 titles.

UDC 004.031.6
Formal verification of class diagram / Lytvynov V.V., Bogdan I.V. // Mathematical Machines and Systems. – 2013. – N 2. – P. 41 – 47.
The article describes the most popular of the existing approaches to verification of the most frequently used UML-diagram – the class diagram. It is indicated that these methods allow us to estimate its correctness only in certain aspects and integrated application of these methods is considered to be the most effective. Figs.: 8. Refs.: 6 titles.

UDC 621.391
Construction information technology of radio communication systems with OFDM, innerbit pseudo-random reconstruction of subcarrier frequencies and three-component turbo codes / Zaitsev S.V. // Mathematical Machines and Systems. – 2013. – N 2. – P. 48 – 63.

Construction information technology of radio communication systems using principle of orthogonal frequency-division multiplexing, innerbit pseudo-random reconstruction of subcarrier frequencies and three-component turbo codes was developed in the paper. Usage of the information technology in practice will improve spectral and power efficiency of radio communication means, working in conditions of inten-tional interference. Figs.: 9. Refs.: 8 titles.

UDC 680.3
Formation of methodological principles of area evaluation for urban control system as a part of electronic control / Kuzmenko G.Ye., Khominich V.S. // Mathematical Machines and Systems. – 2013. – N 2. – P. 64 – 72.

There were regarded organization, methodical, technical, information analysis factors as the methodical principles of city area evaluation. Complex using of these factors will permit to make an objective city area evaluation. Fig.: 1. Refs.: 10 titles.
 

 
UDC 004.9: 519.7:004.8

Technology for creating forecasts demand of consumer goods with the use of experts / Sychov O.S. // Mathematical Machines and Systems. – 2013. – N 2. – P. 73 – 80.

In this paper the technology of demand forecasts of consumer goods, based on the creation of mathematical model of the process using expert knowledge in a define area. Figs.: 4. Refs.: 6 titles.


 
UDC 004.056

National key for users authentication, description, analysis and usage suggestions / Korolyov V.Yu., Polinovsky V.V. // Mathematical Machines and Systems. – 2013. – N2. – P. 81 – 90.

Abstract. The national key for users’ authentication is presented. Description, analysis and suggestions for the usage of authentication of users of information systems based on the Ukrainian authentication key (UAK) are given. A new timer transmission system with limited access and buried channel of sender identity authentication is suggested. Tabl.: 2. Figs.: 13. Refs.: 11 titles.


 
UDC 004.5

Relative performance of accelerated enter of a keyword in the search engine with a step-wise prompt / Lytvynov V.A., Oksanych I.М., Maystrenko S.Ya. // Mathematical Machines and Systems. – 2013. – N 2. – P. 91 – 95.

The possibility of increasing the efficiency of user interface of information-retrieval system by accelerating the entry mode of keyword is discussed. Calculated and experimental data of interface complexity dependence on the entered signs number in accelerated mode and parameters of vocabulary promp are given. Some recommendations on the choice of optimal value of keyword signs in accelerated mode are given. Figs.: 4. Refs.: 4 titles.


 
UDC 519.765:519.767:004.93

Forming the semantic space basis of text documents using genetic algorithms / Pavlyshenko B.M. // Mathematical Machines and Systems. – 2013. – N 2. – P. 96 – 104.

Genetic algorithms usage for forming set of semantic fields has been discussed in this paper. These fields form the semantic space basis by their frequency characteristics in data mining of text documents. The classification analysis of newsgroups texts messages shows the effectiveness of genetic optimization of semantic basis of vector space for text documents. Figs.: 4. Refs.: 15 titles.
 

SIMULATION AND MANAGEMENT

UDC 519.2: 530.1: 600.1

Entropy of uncertainty / Gorban I.I. // Mathematical Machines and Systems. – 2013. – N 2. – P. 105 – 117.

The concepts of uncertainty, many-valuedness, randomness, and hyper-randomness are systematized. Known for random events and quantities concept of information entropy is carried over uncertain quantities which have not probability measure. The method for calculating of hyper-random quantities entropy is proposed. Figs.: 6. Refs.: 17 titles.


UDC 681.3.06
The qualitatively different dynamic modes in new models of biological processes / Perevaryukha A.Yu. // Mathematical Machines and Systems. – 2013. – N 2. – P. 118 – 129.
The article is devoted to development of new models of population dynamics on the basis of concepts development of the theory of fisheries stocks formation. Analysis of data about reproduction and exploitation of sturgeons of the Caspian Sea has led to a conclusion about necessity of mathematical description of a number of nonlinear dependencies. It is shown that the expansion of ecological principles formalizing by our mathematical methods, leads to realization of qualitatively different modes of behavior for populations modeling with different conditions of reproduction. Figs.: 7. Refs.: 22 titles.
 

 
UDC 681.518 : 004.93 : 621.791.7
Multiparameter adaptive technological production control of electron-beam welding / Lytvynov V.V., Yarmylko A.V. // Mathematical Machines and Systems. – 2013. – N 2. – P. 130 – 138.
The article deals with the concept of multiparameter adaptive control of the process of electron-beam welding. The article also focuses on the observation field models, methods of information signs obtaining, quality evaluations and their interpretations in the tasks of welding parameters control. Figs.: 4. Refs.: 7 titles.
 

 
UDC 519.233.5:519.242.5
Typological and structural properties of multifactorial designs of experiments / Radchenko S.G. // Mathematical Machines and Systems. – 2013. – N 2. – P. 139 – 146.
The properties of multifactorial designs of experiments    under topological mapping of well-conditioned factor space – pre-image – into poor-conditioned factor space – image were analyzed. The maintenance of informative properties of experiment for pre-image and image was illustrated with the usage of introduced concept of design of experiment structure. Tabl.: 2. Figs.: 3. Refs.: 8 titles.
 

 
UDC 330.43
Estimation of long-term solvency of legal entities based on semi-structured time series forecasting of their finance indicators / Rzayev R.R., Shikhaliyeva G.M.,
Ibragimova A.I. // Mathematical Machines and Systems. – 2013. – N 2. – P. 147 – 165.
It is proposed an estimation procedure of current and long-term solvency of legal entities under conditions of uncertainty based on fuzzy forecasting models of semi-structured time series of financial indicators and fuzzy methods of multicriteria selection of alternatives. Tabl.: 5. Figs.: 5. Refs.: 11 titles.
 

 
UDC 004:005.21
Mathematical model of numerical optimization of the DTIP of strategic planning based on balanced score-card / Stepanyuk M.Yu. // Mathematical Machines and Systems. – 2013. – N 2. – P. 166 – 175.
A problem of the development of mathematical models of numerical optimization of discrete technological and informational processes (DTIP) is considered. The mathematical model of numerical optimization of the DTIP of the strategic planning based on balanced scorecard is proposed. The proposed model permits to solve the problems of the strategic planning using the numerical optimization methods of the discrete service process. Figs.: 3. Refs.: 15 titles.
 

 
UDC 681.5
Management in multivariable systems with ill-conditioned transfer matrix of the object / Solovchuk K.Yu. // Mathematical Machines and Systems. – 2013. – N 2. – P. 176 – 183.
The problem of management of multivariable static object in the presence of unmeasured bounded distur-bances is posed and solved. The transfer matrix of this object is assumed to be ill-conditioned. A sufficient condition of guaranteeing the dissipativity of closed-loop control system is established. Simulation results are given. Figs.: 5. Refs.: 9 titles.
 

 
UDC 004.93:159.95
Conceptual model system of figurative analysis and synthesis of natural language constructions / Bisikalo O.V. // Mathematical Machines and Systems. – 2013. – N 2. – P. 184 – 187.
The approach to creation of conceptual model of the figurative analysis and synthesis of natural language constructions is offered in the article. The system of assumptions for consecutive building in the concept of functionality of known psychophysiological phenomena is received. Fig.: 1. Refs.: 7 titles.
 

 
UDC 004.519.712 +004.92
Application of visual modeling system in the field of medicine / Tereshchenko V.M. // Mathematical Machines and Systems. – 2013. – N 2. – P. 188 – 194.
In this article we propose a visual modeling system for real-time medical research. In particular, the library of picture processing algorithms for applying in manual therapy was developed. Figs.: 3. Refs.: 4 titles.
 

 

 QUALITY, RELIABILITY AND CERTIFICATION OF COMPUTER TECHNIQUE AND SOFTWARE

UDC 621.3.019.3
Attributes and metrics of dependable computer systems / Fedukhin О.V., Сespedes Garсia N.V. // Mathematical Machines and Systems. – 2013. – N 2. – P. 195 – 201.
The attribute model of systems dependability was considered; a complex analysis of the key attributes and metrics of systems dependability were performed. Refs.: 10 titles.


 

UDC 621.3.019.3
Structural synthesis and analysis of fault-tolerant computer systems // Mukha Ar.A., Pasko V.P. // Mathematical Machines and Systems. – 2013. – N 2. – P. 202 – 206.

In this paper there were discussed the problems of structural synthesis and analysis of fault-tolerant computer systems: a case of self-checking quasibridging structure. The results of structure modeling by means of RELIABmod and Matlab Simulink + Stateflow software packages were given. Tabl.: 1. Figs.: 4. Refs.: 4 titles.


       Last modified: Jun 14, 2013