Mathematical Machines and Systems. 2008 #4

ABSTRACTS


COMPUTER SYSTEMS

 UDC 510.67:512.562:515.126.2:519.767

On some properties of set-theory models of lambda theory / Lyaletsky О.О. // Mathematical Machines and Systems. - 2008. - N 4. - P. 10 - 22.

The paper is devoted to investigating the possibility of set-theoretical models of theory lambda on the base of the author's notions of weak and strong continuities of a function. The author proofs that starting with the notion of a weekly continuous function, one cannot construct models by means of the Scott method; nevertheless, the close notion of a strongly continuous function leads to new lambda-algebras and lambda-models. Refs.: 8 titles.


UDC 004.31, 538.945, 530145

Perspectives of quantum computations with using superconductivity / Voitovich I.D., Korsunskiy V.M. // Mathematical Machines and Systems. - 2008. - N 4. - P. 23 - 56.

Details of  qubits, the quantum registers along with the concept of intricate states are presented. Specifics of quantum logical operations and algorithms are described. Causes of unique parallelism and advantages of the quantum calculations connected therewith are explained. Destructive effect of "decoherentization" and effective ways of overcoming it are indicated. Technical requirements to the quantum processor hardware and possible ways of its mounting are listed. Charge and torrent superconductive qubits, effective reading and recording information thereon, interaction of such qubits with the magnetic field, methods of executing functionally complete set of logical operations on the qubits are described. Issues of combining hundreds of superconductive qubits into a single system are considered. Figs.: 15. Refs.: 78 titles.


 
UDC 519.8.3

To the complete description of macroconveyor computer speed-possibilities / Moroz-Podvorchan I.G. // Mathematical Machines and Systems. - 2008. - N 4. - P. 57 - 60.

Two notions of acceleration are introduced, that allows to make the completer comprehension of macroconveyor computer speed possibilities. Refs.: 7 titles.


NEW INFORMATION AND TELECOMMUNICATION TECHNOLOGIES

UDC 681.3

Forming and analysis of parallel charts of Deykstris algorithm / Pogorily S.D., Boyko Yu.V., Bilous P.V. // Mathematical Machines and Systems. - 2008. - N 4. - P. 61 - 72.

Formalization of Deykstris algorithm using mathematical means of the modified systems of algorithmic algebras. Strategies for creating a parallel algorithm are proposed and parallel regular charts of algorithm for different structures are received. Figs.: 5. Refs.: 11 titles.


UDC 005.52:[005.591.6:004]

Information technology and structure of the organization / Rybakov L.O. // Mathematical Machines and Systems. - 2008. - N 4. - P. 73 - 81.

In the paper it is advanced the idea that new information technology bids defiance to traditional interrelations between elements and parts of the organization. This requires new approaches to formation of structure and culture of business relations. The decision of the technical questions of the computer support of the control activity out of organization problems sometimes  brings to that, that after implementation of SIAP. The illusion of simplification and increasing the quality of information provision appeared. That is why the common computerization of the organization must be began from revealing redundant complexity of its structure. This may be performed with the help of  patern analysis methodology and a set of corresponding computer tools. Refs.: 13 titles.


UDC 681.3.06, 531.36

The tasks of mechanics and computer algebra / Banstchiekov A.V., Burlakova L.О., Irtegov V.D., Titorenko T.М.  // Mathematical Machines and Systems. - 2008. - N 4. - P. 82 - 97.

The paper suggests a description of the functional content of software complexes stability, LinModel, etc., which are intended for modeling and qualitative investigation of both systems of interconnected bodies and electromechanical systems. The complexes have been elaborated on the basis of the computer algebra system MATHEMATICA. Examples of application of this software are given. In particular, investigation of the invariant manifold of steady motions in the Kirchhoff's problem, which is related about the motion of a body in ideal fluid in a special case, has been fulfilled. Fig.: 1. Refs.: 22 titles.


UDC 004.82:004.896

The model of representation of knowledges for a rational agent in the automated system designing of IACS   / Buyalskyy V.M. // Mathematical Machines and Systems. - 2008. - N 4. - P. 98 - 110.

The model of representation of a field of knowledges for the system designing of integrated automated control system is offered (IACS). The model basis is the system of classification and structuring  knowledges by method of objective-structural analysis with the use of algebra of multidimensional matrices. A model is used for encoding vector of entrance variables for a rational agent, built on a neuron network, which executes functions, related  with forming models of the automated designing IACS. Tabl.: 1. Figs.: 8. Refs.: 10 titles.


LARGE SYSTEM SIMULATION AND MANAGEMENT

UDC 621.326

About one approach to modeling of the complex systems / Voloboev V.P., Klimenko V.P. // Mathematical Machines and Systems. - 2008. - N 4. - P. 111 - 122.

Correct statement of a task of modelling of linear electric circuits which are described by system of linear algebraic equations (SLAE) is offered. It is shown, that the correctness of statement depends on a choice of variables SLAE at a stage of working up the equations, instead of conditionality SLAE. It is offered to apply voltage of components of branches of the graph tree of a circuit as SLAE variables, which correct choice is carried out at working up  topological matrix of graph contours and the component of a circuit depends on parameters. Correct statement of a task to modeling of complex objects is possible, if there is an electrotechnical analogy. Fig.: 1. Refs.: 18 titles.


UDC 004.9:504:519.6

Numerical weather forecast system WRF-Ukraine / Guziy О.M., Kovalets I.V., Kushchan A.A., Zheleznyak M.I.  // Mathematical Machines and Systems. - 2008. - N 4. - P. 123 - 131.

The software system of numerical weather prediction for Ukrainian territory is presented. The computational kernel of the system is the numerical weather prediction model WRF. The developed software includes automated means of visualization of the results of calculations and their statistical postprocessing and correction with the use of neural network and measurements. Tabl.: 2. Figs.: 3. Refs.: 8 titles.


UDC 536.24

Mathematical model operation of oil's microwave thermal processing / Yakovenko V.O. // Mathematical Machines and Systems. - 2008. - N 4. - P. 132 - 138.

The mathematical model of heat exchange's process of a water-oil emulsion in channels of different traversal section under activity of microwave energy is gained. The physical and mathematical model is constructed on the basis of plastic material considering physical performances of an emulsion. The method of the solution of a nonsteady convective heat exchange's problem which is grounded on corresponding terminating integrated transformations is developed. Numerical embodying of the gained results of a problem is given and the comparative analysis with known results is lead. It is shown, that the explored physical and mathematical model can be applied to cases of heat exchange in channels where section is distinct from viewed and guesses application of the developed method. Fig.: 1. Refs.: 12 titles.


UDC 681.3

Using method of analysis of hierarchies in situation centre for controlling training of the accident-saving formations   / Eremenko T.K., Oksanich I.М., Pilipenko You.G. // Mathematical Machines and Systems. - 2008. - N 4. - P. 139 - 146.

Using method of analysis of hierarchies for estimation readiness of accident - saving for mations is discussed in the paper. It is obtained criterion on the base of which to automate the processes of monitoring readiness and planning the measures on raising readiness of accident - saving formations in situation centre is proposed. The questions of technical realization of the corresponding automated system are considered. Tabl.: 1. Figs.: 3. Refs.: 6 titles.


UDC 007; 681.3

The imitation modeling of the probable characteristics of the railway streams functioning is offered to use / Maximey I.V., Sukach О.I., Giruts P.V., Yerofeyva О.О. // Mathematical Machines and Systems. - 2008. - N 4. - P. 147 - 153.

The usage of a complex of railway network imitation models is stated. It functions in the situation of random influences and is used for finding probable characteristics of railway steams service on condition that the plan of the train formation is fulfilled. Refs.: 3 titles.


UDC 004.9:504:519.6

The method of correction for parallelization of numerical models for hydrodynamics simulations in water reservoirs with free surface / Nesterov О.A. // Mathematical Machines and Systems. - 2008. - N 4. - P. 154 - 170.

This paper proposes a technique using MPI and domain decomposition to transform serial algorithms of numerical models for hydrodynamics simulations in the water reservoirs with free surface into parallel algorithms. The advantage of the proposed technique is a comparatively simple realization due to the necessity of only additional correction procedures instead of significant transformations of existing serial program code. The impacts of various factors on the method of efficiency are studied in terms of the speedup of computations with the increase of number of utilized processors. Tabl.: 1. Figs.: 7. Refs.: 21 titles.


QUALITY, RELIABILITY, AND CERTIFICATION OF COMPUTER TECHNIQUE AND SOFTWARE

UDC 681.32.019

The decision of the dependability problem of the computer systems in the aspect of basises of computer science / Tesler G.S. // Mathematical Machines and Systems. - 2008. - N 4. - P. 171 - 188.

The methods and means of element-technological, information, program-algorithmical and organization basises in deciding  the problem of dependability of CS are considered. The particular attention was paid to system-cybernetic approach in deciding this problem. Among considered means for providing dependability CS there are used the following: regular and crisis controlling, monitoring resources and information flours, functional doubling, net interconnection between components CS and others. Figs.: 3. Refs.: 19 titles.


UDC 621.3.019.3

Modelling reliability of restore reservation system with the structure of «k of n» / Fedukhin О.V. // Mathematical Machines and Systems. - 2008. - N 4. - P. 189 - 193.

The problems of statistical modelling reliability of restore reservation system with the structure of «k of  n» based on the random number generator with DN-distribution are considered. The algorithm of reliability modelling and examples of reliability modelling systems for a variety of input data is offered. Figs.: 4. Refs.: 2 titles.


       Last modified: May 18, 2010