Mathematical Machines and Systems. 2011 #3
ABSTRACTS
COMPUTER SYSTEMS
UDC 004.31, 538.945 Mathematical formalism of medical quantum nanorobots and quantum nanoobjects interaction and their modeling on the of the quantum computers / Voitovych I.D., Pastukh O.A. // Mathematical Machines and Systems. - 2011. - N 3. - P. 3 - 11.
The paper is devoted to the mathematical formalism of the interaction between medical quantum nanorobots and quantum nanoobjects, and simulation of them on quantum computers. Figs.: 5. Refs.: 21 titles.
UDC 004.94:004.78
Declarative knowledge representation in the dialog transaction / Chmyr I.O. // Mathematical Machines and Systems. - 2011. - N 3. - P. 12 - 22.
This paper deals with investigation and modeling of the inner structure of erotetic dialogue transaction with the final objective to construct an artificial humanlike dialogue agent. An ontological basis, underlying follow-up reasoning, was obtained from the analysis of one of Plato's dialogues, Protagoras. The paper proposes a spectrum of models explaining internal organization of the dialogue transaction from knowledge representation point of view. The models are synthesized on the basis of lingua-independent entities of declarative knowledge representation. Refs.: 13 titles.
UDC 519.2:612.822
Investigation of probability model of neuron's dendrite / Bondarenko Ya.S., Turchyn V.M. // Mathematical Machines and Systems. - 2011. - N 3. - P. 23 - 31.
An influence of basic numerical characteristics of neuron's dendrite probability model on the form of dendritic tree realizations and values of emergent characteristics of dendrite is investigated. The influence of basic numerical characteristics is illustrated by a series of dendritic realizations. Total length of dendrite, number of branchings, number of terminations, maximum segment order, and maximum path distance are chosen as the emergent characteristics of dendritic tree. Figs.: 6. Refs.: 22 titles.
УДК 007; 681.3
Компьютерная система вероятностно-алгебраического моделирования сложных систем со многими состояниями / Сукач Е.И., Демуськов А.Б., Ратобыльская Д.В. // Математические машины и системы. - 2011. - № 3. - С. 32 - 39.
Приводится описание компьютерной системы PALS, реализующей метод вероятностно-алгебраического моделирования сложных систем и позволяющей оценить в динамике вероятностные характеристики исследуемого свойства сложных систем со многими состояниями. На примерах демонстрируется оценка вероятностных свойств структурно-простых и структурно-сложных систем. Табл.: 1. Ил.: 4. Библиогр.: 8 назв.
UDC 681.3:519.68
Architectural principles of monitoring and forecasting of epidemiological processes / Viyun V.I., Kuzmenko G.E., Mikhnenko Yu.A. // Mathematical Machines and Systems. - 2011. - N 3. - P. 40 - 46.
The article investigates the architectural principles of monitoring and forecasting epidemiological processes development systems (based on examples of flue and ARVI) that function within state E-control system. Tabl.: 1. Figs.: 2. Refs.: 10 titles.
NEW INFORMATION AND TELECOMMUNICATION TECHNOLOGIES
UDC 621.396.2.019.4: 621.391.254
Probabilistic assessment of jamming and Rayleigh fading impact on MIMO systems immunity with extended signals spectrum by pseudorandom working frequency tuning / Zaitsev S.V., Kazimir V.V., Voskolovich A.I. // Mathematical Machines and Systems. - 2011. - N 3. - P. 47 - 57.
Analytical expressions for average probability calculation of bit error in the channels with Rayleigh fading, fluctuating noise and jamming for MIMO systems with extended signals spectrum are obtained with the use of pseudorandom working frequency tuning. These dependencies allow us to make a more precise analysis of channels immunity at low signal-to-noise ratio in the channel. Figs.: 2. Refs.: 11 titles.
UDC 57. 001
Biometric technologies. Methods of fingerprint identification / Moroz A.O. // Mathematical Machines and Systems. - 2011. - N 3. - P. 58 - 65.
The article covers the description of internal features that have become widely spread in biometric technology. The methods of fingerprint identification and configuration of equipment for the implementation of these methods are being described in details. Figs.: 10. Refs.: 11 titles.
UDC 004.89
Intelligent agents find relevant precedent based on adaptive ontology / Lytvyn V.V. // Mathematical Machines and Systems. - 2011. - N 3. - P. 66 - 72.
The paper reviews the functioning of intelligent agents based on adaptive ontologies using precedents. A mathematical support of such agents is developed. Tabl.: 2. Figs.: 3. Refs.: 7 titles.
UDC 519.852.67
Numerical differentiation of the solution of boundary value problem with respect to placement of physical field sources / Kryzhanivsky V.B. // Mathematical Machines and Systems. - 2011. - N 3. - P. 73 - 79.
The paper is devoted to numerical differentiation of elliptic type boundary value problem with respect to parameters of placement of physical field sources. The practical importance of this result is in a possibility of using gradient method of conditional optimization for optimal synthesis of distributed systems. The proposed idea can be easily adapted to other boundary value problems appearing in optimization of technical systems with physical field sources. Figs.: 2. Refs.: 14 titles.
UDC 519.8.3
A certain information technology «introduction-perception» / Moroz-Podvorchan I.G. // Mathematical Machines and Systems. - 2011. - N 3. - P. 80 - 82.
The information-technological interactions in some management of contemporary society are considered. Fig.: 1. Refs.: 5 titles.
UDC 004.94: 532.59
Assessment of the wave energy diffraction and dissipation in the model SWAN when researching both irregular waves transformation on the bottom undulations and the alongshore currents generation / Demchenko R.I., Dykyi P.V., Kolomiets P.S. // Mathematical Machines and Systems. - 2011. - N 3. - P. 83 - 96.
Spectral models SWAN and ExEBED being applied for the wave processes at the coastal zone include both different description methods of the diffraction, which are based on the mild slope equation (MSE) approximation in wave energy terms, and different treatments of surfer zone process. The comparison of SWAN and ExEBED models calculated results was realized with laboratory data for the wave transformation both on the bottom heterogeneity and at the surfer zone on the beach slope. Figs.: 11. Refs.: 27 titles.
LARGE SYSTEM SIMULATION AND MANAGEMENT
UDC 519.2+600.1
Statistical resistance fluctuations in air temperature and precipitation in the area of Moscow / Gorban I.I. // Mathematical Machines and Systems. - 2011. - N 3. - P. 97 - 104.
Researches of statistical stability of temperature and precipitation fluctuations in the region of Moscow for 43 years were led on the base of testing methodology developed before. It was found that temperature fluctuations had evident statistical instable character and precipitation fluctuations were statistically stable on all researched interval. Obtained results point that using of stochastic models is justified for describing of precipitation fluctuations and is unjustified for describing of temperature fluctuations. Adequate description of temperature fluctuations may be realized by hyper-random models taking into account destruction of statistical stability. Figs.: 8. Refs.: 7 titles.
UDC 51.7:532.546
Mathematical modeling of gas hydrates processes / Poveschenko Yu.A., Kazakevich G.I. // Mathematical Machines and Systems. - 2011. - N 3. - P. 105 - 110.
The equations of gas hydrates dissociation in porous media are analyzed. This analysis allows to create effective computing algorithms for solving of considered equations. Developed computational environment enables to model studied processes in interactive mode. Refs.: 4 titles.
UDC 519.8.004.4: 621.8
Accounting for the effects of economic factors on the sales of consumer goods / Kussul M.Е., Sychov O.S., Antonenko A.О. // Mathematical Machines and Systems. - 2011. - N 3. - P. 111 - 115.
The authors propose a method for determining the impact of economic, social and market factors on the sales of consumer goods. The algorithms that take into account the effect of standard and nonstandard factors. Describes the main disadvantages of the method. Tabl.: 1. Fig.: 1. Refs.: 7 titles.
UDC 519.682.5
Bases of the use of method "Spectrum of knowledge" in distance learning / Fedoruk P.I., Petryk S.M. // Mathematical Machines and Systems. - 2011. - N 3. - P. 116 - 120.
The article reveals the method of contextual knowledge representation in the system of distance education, which allows to operate different by structure parts of electronic course for providing the most effective perception necessary for mastering the material. Described mathematical model of the method foresees possibility of concretization, detalization, variation of knowledge complication and the way of its presentation at transference without any changes of themes and contents of material. Figs.: 4. Refs.: 3 titles.
UDC 621.396.67
Application of the theory of hyper-random phenomena for calculation of functional characteristics and parameters of radio-electronic means / Uvarov B.M., Zinkovskyi Yu.F. // Mathematical Machines and Systems. - 2011. - N 3. - P. 121 - 129.
The problems of definition of parameters of functional application of radio-electronic means are considered in the design based on theory of hyper-random phenomena. Hyper-random models of physical processes are received; the results of definition of hyper-random characteristics of electro-radio-elements are given. Fig.: 1. Refs.: 8 titles.
UDC 004.82
About time representation of the Hoare communicating processes theory / Gajtan О.М. // Mathematical Machines and Systems. - 2011. - N 3. - P. 130 - 134.
The article studies addition of the time parameter to the theory of communicating processes of Hoare. The basic operations of theory, such as prefix, recursion, selection operator and other, and axiomatic laws of theory are rewritten taking into account the entered parameter. Refs.: 6 titles.
QUALITY, RELIABILITY, AND CERTIFICATION OF COMPUTER TECHNIQUE AND SOFTWARE
UDC 656.257.004
A new approach to automation of level crossings at the railway transport / Fedukhin А.V., Gladkov А.V., Mukha A.А. // Mathematical Machines and Systems. - 2011. - N 3. - P. 135 - 141.
The paper deals with the problem of traffic safety at railway level crossings. A concept of a capable electronic system of the new generation crossing signalization with objective crossing zone monitoring is worked out. It can provide signalization of crossing occupation on the traffic lights and in driver's cabin. Figs.: 4. Refs.: 3 titles.
UDC 621.3.019:658.562
To estimate the reliability for the certification tests for reliability / Strelnikov P.V. // Mathematical Machines and Systems. - 2011. - N 3. - P. 142 - 145.
Presented methods for determining the reliability (confidence level and relative error) based on the results of tests (observation during operation) by using diffusion distributions. Refs.: 4 titles.
DISCUSSION NEWS
UDC 001.895; 351.746; 316.422
On the concept of innovative component of national security (preliminary remarks and investigation). Рart 2 / Morozov A.О., Dzhelali V.I. // Mathematical Machines and Systems. - 2011. - N 3. - Р. 146 - 159.
Necessity and possibility of a joint and massive innovative-moral activity are shown with the creation of a peculiar innovative spirit. A qualitative structure of innovation environment - a means of integral representation - has been developed. Basics of solving problems of innovative activity are offered which are developed at the Cybernetics Center of NAS Ukraine (1975-2009) with active participation of other organizations in Kiev. The structure of Innovation Development Program is worked out. Fig.: 2. Refs.: 31 titles.
REVIEWS
Riznyk O.M. review on the monograph of Gorban I.I. “The theory of hyper random phenomena: physical and mathematical basis” // Mathematical Machines and Systems. - 2011. - N 3. - P. 160 - 161.
