Mathematical Machines and Systems. 2014 #3

ABSTRACTS


COMPUTER SYSTEMS

 UDC 004.3

Spintronics and its contribution to element base of computer science. P.3 /
Voitovych I.D.,  Korsunsky V.M. // Mathematical Machines and Systems. – 2014. – N3. – P. 3 – 21. 

This paper 
considers contribution of spintronics to the development of quantum processors and neurocomputers. Figs.: 12. Refs.: 44 titles. 

 
UDC  519.8

Localization of values of a linear function on the set of combinations / Nagirna A.M. // Mathematical Machines and Systems. – 2014. – N 3. – P. 23 – 28.

This paper considers the localization algorithm of a linear function on the configuration of combinations taking into account its representation in the form of an undirected graph. A numerical example of algorithm realization is given. Figs: 4. Refs.: 10 titles.


UDC 004.896

Principles of intelligent CAD systems based on the idea of a dialogue knowledge base / Chmyr I.O. // Mathematical Machines and Systems. – 2014. – N 3. – P. 29 – 38.

This paper deals with concepts of organization of intelligent CAD systems based on the idea of a dialogue knowledge base. Using the philosophical and psychological foundations of an intelligent CAD system, the author considers the hypothesis of the Zone of Proximal Development offered by L.S. Vygotsky. According to this hypothesis, in the context of intelligent CAD systems, a project can be carry out by an unskilled operator with the support of the embedded intelligent component. This paper demonstrates that the core of the architecture of this intelligent component can contain a dialogue knowledge base, which keeps the declarative and procedural knowledge needed to support a goal-oriented erotetic dialogue process. In the final part of the paper there is an example of an intelligent CAD system constructed on the idea of the dialogue knowledge base. This CAD system is oriented to the thermal design of parts of power-producing systems. Tabl.: 3. Figs.: 3. Refs.: 17 titles.


  INFORMATION AND TELECOMMUNICATION TECHNOLOGY

 UDC 680.3

Distributed data processing and GIS technology in electronic management system of the regional level / Вiletsky B.O.,  Hominich V.S. // Mathematical Machines and Systems. – 2014. – N 3. – P. 39 – 47.

Distributed data processing technology for decision support in electronic management system is considered. The paper shows that GIS technology maybe the basis for control of territorial development of the region. Basic functions of control in electronic management system of the region level are described. Figs.: 2. Refs.: 10 titles.


 UDC 004.5

System interface of quasi-random query in a single information space / Oksanych I.M. // Mathematical Machines and Systems. – 2014. – N 3. – P. 48 – 52.

The problem of constructing arbitrary user queries in a single information space is discussed. The use of technologies for creating quasi-random queries in a single information space of complex domain is proposed. The example of a crosstab query is given. Figs.: 2. Refs.: 6 titles.
 


 UDC 621.391

 Selection model of complex signal-code structures for information technology to construct wireless access systems / Nazaruk V.D. // Mathematical Machines and Systems. – 2014. – N 3. – P. 53 – 61. 

 

This paper describes a model of multi-position multi-frequency signals of orthogonal frequency-time sequences type, which allows determining the rational values of signal parameters by selecting on the criteria of maximum utilization of the signal power in a frequency-selective fading. Fig.: 1. Refs.: 5 titles.


UDC 681.31

Management technology of mediastreams / Alexeev K.D., Alexeeva K.D. // Mathematical Machines and Systems. – 2014. – N 3. – P. 62 – 66.

This paper describes DirectShow computer multimedia framework. The results of analysis of the evolution of technology, architecture, rendering filters, video and 3D integration were shown. Fig.: 1. Refs.: 3 titles.


SIMULATION AND MANAGEMENT

UDC 004.942: 631.15

Functional features of dispatching control centre for automatic control system of agricultural enterprise / Lytvynov V.V., Mykhailiuk I.V., Posadska A.S. // Mathematical Machines and Systems. – 2014. – N 3. – P. 67 – 77.

The problems of construction of dispatching control system for agricultural enterprise are investigated. The selection of the functionality of dispatching control subsystem, which allows minimizing losses associated with low-quality and untimely implementation of issues of executive plan is considered in the article. The task of providing timely and qualitative response to unforeseen events is presented. Таbl.: 2. Figs.: 5. Refs.: 7 titles.


UDC 532 59

Numerical simulation of the resonant properties of harbors by non-linear non-hydrostatic SWASH model / Zheleznyak M.I., Demchenko R.I., Dykyi P.V., Sorokyn M.V. // Mathematical Machines and Systems. – 2014. – N 3. – P. 78 – 87.

In this paper, to determine the natural frequencies of the port, numerical simulation of wave spectrum transformation of “white noise, characterized by an equal amount of energy for all frequencies through the port area was implemented by non-linear, non-hydrostatic model of open SWASH access. It was investigated the effect of increasing the number of simulated vertical layers of liquid as well as spectral analysis methods of water level time series on the range of resonance frequencies of the port. Таbl.: 1. Figs.: 10. Refs.: 14 titles.


UDC 004.94

On peculiarities of the objective function formation and limitation in the problem of timetabling / Snytuk V.Ye., Sypko O.M. // Mathematical Machines and Systems. – 2014. – N 3. – P. 88 – 95.

The problem of the timetabling in universities is considered. New approaches, models, and a method for forming the objective function and its subsequent optimization through the use of evolutionary technologies and matrix representation of the timetable are suggested. Refs.: 21 titles.


UDC 004.85, 004.416.3

Multisets theory application for individual quantum set formation of educational content / Pikulyak M.V. // Mathematical Machines and Systems. – 2014. – N 3. – P. 96 – 103.

Abstract. The article deals with multisets theory application to form individual learning trajectory of a student in adaptive system of distance learning. The described technology allows to build a knowledge base of educational content based on the smallest indivisible quantum information. Figs.: 4. Refs.: 21 titles.


 UDC  519.24

Algorithms  foundations of determination of greenhouse gas emission and nitrous oxide in Ukraine / Popadynets V.I. // Mathematical Machines and Systems. – 2014. – N 3. – P. 104 – 118.

The proposed algorithms are formalized description of the computational schemes of determination of methane outburst and nitrous oxide in Ukraine. This involves the calculation of methane outburst from municipal solid waste, industrial and household wastewater, as well as nitrous oxide from industrial wastewater and life of the population. Considered algorithms are focused on acting in Ukraine national system for estimating anthropogenic emissions and absorbing of greenhouse gases (GHGs), and the preparation of GHG inventories in accordance with requirements document of Ukraine regulating the preparation of national communications. Tabl.: 4. Refs.: 7 titles.


 UDC 519.876:55.435.62 (477.75)

Models and methods of analysis and forecasting of complex processes / Taran V.M. // Mathematical Machines and Systems. – 2014. – N 3. – P. 119 – 124.

Models and methods which are used to the design and forecasting of difficult stochastic processes are analyzed. Classification of models and basic methods of forecasting is shown. It is suggested for the receipt of objective prediction to utilize a few methods and models. Figs.: 3. Refs.: 5 titles.


  QUALITY, RELIABILITY AND CERTIFICATION OF COMPUTER TECHNIQUE AND SOFTWARE

 UDC 621.3.019.3

Modeling the reliability of restored quasi-bridged structure, taking into account the trend of reliability parameters of components / Fedukhin O.V., Pasko V.P. // Mathematical Machines and Systems. – 2014. – N 3. – P. 125 – 135.

Problems of modeling reliability of restored quasi-bridged structure taking into account the trend of reliability parameters of the components by means of RELIABm od v.3.0 software package were regarded. The dependences of the reliability indices structure on recovery time and the number of nodes were introduced. Tabl.: 3. Figs.: 9. Refs.: 7 titles.


UDC 629.735.05.017 (076.5)

On the possibility of reducing the probability of false rejection of LRU type blocks based on algorithmic redundancy / Grybov V.M., Smolych D.V. // Mathematical Machines and Systems. – 2014. – N 3. –  P. 136 – 146.

There was investigated the possibility of reducing the probability of false rejection of LRU type blocks at operation of the onboard equipment of air courts based on time redundancy of the control algorithm of those defining parameters on which at unitary measurement the decision “not norm” has been generated. The research tool is statistical experiments on models - the computer programs simulating process of formation of a situation “false rejection” under admission control. Tabl.: 2. Figs.: 6. Refs.: 4 titles.


UDC  004.3:681.518

Templates development of evolutionary methods of diagnosing digital devices /
Ivanov
D.Ye. // Mathematical Machines and Systems. – 2014. – N 3. – P. 147 – 157.

The paper proposes classification of existing evolutionary methods for generating identifying sequences of digital devices as well as development the templates for constructing such methods and their algorithmic implementation, which are based on this classification. Such classification and built templates are part of the methodology for the synthesis of evolutionary methods of diagnosing digital devices aimed to accelerate the development of new methods by unifying their components. Figs.: 2. Refs.: 26 titles.


 
 UDC 621.3.019.3

Assessment of the confidentiality level of dependable computer systems /
Cespedes Garcia N
.V. // Mathematical Machines and Systems. – 2014. – N 3. – P. 158 – 164.

The main aspects of confidentiality of dependable computer systems (DCS) were considered in the article. The mechanisms and methods of ensuring confidentiality of DCS were described. Method of quantitative evaluation of the level of privacy systems was proposed. Tabl.: 2. Refs.: 5 titles.


 
       Last modified: Oct 1, 2014