Другие журналы

scientific edition of Bauman MSTUSCIENCE & EDUCATIONBauman Moscow State Technical University. El № FS 77  48211. ISSN 19940408
Informatics, Computer Science and Management
Rational ordering of alternatives in a dialogue with DM
# 02, February 2013 DOI: 10.7463/0213.0531045 In this paper a method of selecting a rational linear order of a set of admissible alternatives is discussed. The author offers a way of representing a set of permutations of high power in a compact set of partial orders called στdecomposition. Disparate elements of the expansion are a source of combinatorial diversity of acceptable alternatives. Additional ordinal information from the DM can reduce search space of the best linear order, and in a few iterations, get a better alternative. The proposed technique can be used to generate rational design decisions at the stage of technological preparation of production.
Adaptive cluster model of minimal speech units in analysis and speech recognition problems
# 02, February 2013 DOI: 10.7463/0213.0527867 This article deals with the problem of variability of word pronunciation in analysis and speech recognition tasks. An adaptive acoustic model defined as a multitude of minimal sound units (MSU) united into a clusterphoneme under the principle of minimum informational mismatch in KullbackLeibler metric, is proposed. An adaptive algorithm of filling the MSU cluster from a continuous stream of speech was developed on the basis of the whitening filter method. An example of its practical implementation is also provided in the article. As a result of this experiment, from the total list of phonemes of the national language the authors selected the phonemes which, in their implementation, are the most sensitive to conditions of their pronunciation by the speaker. Adjusting an information system to such a phoneme, the authors guarantee maximum sensitivity of perception in relation to the speaker’s emotional and physical state.
Solving systems of linear algebraic equations by preconditioning on graphics processing units
# 01, January 2013 DOI: 10.7463/0113.0525190 The authors consider an algorithm for solving systems of linear algebraic equations (SLAE) with preconditions. The authors introduce parallel algorithms and software for image processing devices that implement the basic operations of the algorithm  multiplication of the matrix by a set of vectors and solutions of a block triangular SLAE. The results of extensive studies of effectiveness of the proposed algorithmic and software solutions are provided in this paper. These results show a fairly high efficiency of the developed algorithms and software for multiplication of the matrix by a set of vectors. Acceleration of computations in this case is four to sixteen times. Algorithms and programs for solving the block triangular SLAE showed satisfactory results which allow to expect an acceptable acceleration for practically significant SLAE of high dimension and when using professional GPU.
Identification of the structure and parameters of a chemical reaction model by a network operator method
# 12, December 2012 DOI: 10.7463/0113.0521994 The authors consider the identification problem for a chemical reaction model. The mathematical model in the form of a system of ordinary differential equations is developed on the basis of the given experimental data on the variation in time index of the concentration of substances that interact in the chemical reaction. To construct this model which clarifies the law of mass action a network operator is used. As a result of application of the network operator method, clarification of the law as a product of polynomials of the concentration of substances that interact in the chemical singlet oxygen reaction is obtained.
Construction of pseudorandom functions based on generalized cellular automata
# 12, December 2012 DOI: 10.7463/0113.0517543 In this paper the author proposes a method of constructing block ciphers which is based on using generalized cellular automata. The Feistel network is used as the structure of the ciphers. Its combining function is a pseudorandom function based on generalized cellular automata; this automata’s graph is a Ramanujan graph. Statistical properties of the ciphers were studied by means of the NIST Statistical Test Suit. The empirical evidence showed that the ciphers have all necessary statistical properties and are indistinguishable from pseudorandom substitutions. There are a number of practical applications in the field of information security where ciphers constructed by means of developed method can be used.
Design and analysis of low power consumption software using software power efficiency metrics
# 01, January 2013 DOI: 10.7463/0113.0511596 There is permanent growth of requirements for power efficient operation of the majority of portable computing devices. In this paper the author considers power efficient software design and proposes metrics for energy consumption analysis in software systems. Sources of power consumption in digital circuits are considered. It was proved that power consumption depends on executing software. The author gives a description of energy measures which form a basis for definition of software energy metrics. The defined metrics can be used for calculating the level of energy consumption of any software system.
WEBmodeling of oxidizing catalyst regeneration
# 12, December 2012 DOI: 10.7463/1212.0507309 The authors consider mathematical modeling of complex catalytic processes  oxidative regeneration of coked catalysts. The relevance of the subject depends on the fact the regeneration of catalysts is important for the chemical, petrochemical and refining industries, as it is an essential step in any catalytic process. A virtual computer lab for calculations was developed. The authors propose a mathematical model of oxidative regeneration at the kinetic level, on an individual catalyst grain, in a still bed and a moving bed of contact material as well; methods for numerical solution of mathematical description are provided. The authors present an architecture of a designed virtual laboratory, the purpose of its main functional parts, a description of the developed software, the results of computer simulation and also physical and chemical findings.
Digital signal processing of the Doppler sensor of volume blood velocity with transient processes in microvasculature
# 12, December 2012 DOI: 10.7463/1212.0506267 The author considers methods of mathematical apparatus and programmed mathematical tools for diagnosing biosystems conditions. This paper describes methods that can be divided into the following classes: a study of the general spectral pattern (Fourier  analysis, JMP); study of timefrequency characteristics of the signal (wavelet  analysis, scalogram, skeleton, selection of signal from noise); study of internal time series (methods of nonlinear dynamics, fractal analysis, R/Sanalysis). Special attention is paid to methods of nonlinear dynamics,  in particular, to calculation of the Lyapunov exponent which allows to identify two types of irregularities: noise and chaos. The author describes interconnection of the Lyapunov spectrum and the entropy of dynamical systems. Also the author presents findings on persistence of the investigated physiological systems.
Formalized curriculum model for optimization of individual learning paths
# 11, November 2012 DOI: 10.7463/1112.0506173 The authors solve the problem of constructing a formal model of curriculum and structuring requirements for the minimum specialist training. They propose keeping a terminological glossary that provides the basis for determining performance criteria of developed curricula. Algorithms for calculating the function of forgetting terms are given in the article. The authors consider evaluation of connectivity of disciplines and optimization of the sequence of modules in order to maximize the values of learning functions in all terms. Operations on disciplines, modules and terms for implementation of search operations and editing base operations are listed.
Method of guaranteed estimation of domain of attraction of a linear system with a convex feasible set
# 12, December 2012 DOI: 10.7463/1212.0506130 The author considers the problem of estimating the domain of attraction for linear systems with constraints on the state. It is proved that the domain of attraction of the linear system with a convex admissible region is a convex set; the Minkowski function of the desired set and a method of its calculation are provided in this article. A method of guaranteed estimation of the required convex polyhedron is proposed, and an example is provided. The obtained results can be used to evaluate domains of attraction for linear systems with limited control.
Evaluation of efficiency of adaptive test control procedures
# 11, November 2012 DOI: 10.7463/1112.0506146 The authors consider formal description of procedures for computer control of knowledge. For the adaptive algorithm of presentation of tests a model of evaluation of its effectiveness in minimizing the probability of misclassification was created. To solve this problem the authors propose to use the Markov chains whose states correspond to the levels of complexity, and transition probabilities are calculated basing on Birnbaum's logistic model. The ratio for stationary probabilities which show a significant advantage of adaptive algorithms for test control were obtained.
Dynamic compensator in the form of an observer
# 12, December 2012 DOI: 10.7463/1212.0500592 The author considers constructing an observer for a discrete dynamical system specified in the state space, on the basis of an existing arbitrary compensator. In this paper the author describes a technology of bring any form of dynamic compensator to the Luenberger observer. Cases of compensators of low and highorder control object are considered. The author demonstrates validity of the principle of separation for the high order compensator. The results of the vector allow to obtain an estimation of the state vector of the control object from the state of arbitrary dynamic compensator after applying a special degenerate similarity transformation to its realization in the state space.
Personal identification by voice based on the Kohonen selforganizing map
# 11, November 2012 DOI: 10.7463/1112.0500433 The work deals with the problem of identification by voice. The focus is on building an adaptive classifier of specific voice features based on the Kohonen selforganizing map. The authors present the algorithms used for audio processing and classification, as well as the software system VOICE which implements these algorithms. The results of the studies confirming the effectiveness of the algorithmic and software solutions are given in this paper.
Stabilization of singlelink manipulator with incomplete state measurement: feedback by the angular coordinate of the motor shaft
# 11, November 2012 DOI: 10.7463/1112.0500549 In this paper the author considers solving the problem of stabilization of a set angular position of a singlelink manipulator when the measurement can only be done by the angular coordinate of the motor shaft. It was sown that synthesis of stabilizing control laws, as well as in the case when measurements can only be done by the angular coordinate of the link manipulator, can be carried out by the principle of separation and bypass integrator in the observer. According to the results of numerical simulation one can draw a conclusion about approximately the same (with the considered initial data and use of the same observer) quality of transient processes of the system with the control found by the bypass integrator in the observer and the control based on the principle of separation and linearization technique using feedback according to the state. The possibility of applying the bypass method to the problem of stabilization can solve this problem also in the case of system disturbances and uncertainties. Possible range of application of the results obtained in the work is solving solve problems of control of technical systems with incomplete information about the state of the measured system.
Stabilization of singlelink manipulator with incomplete state measurement: feedback on the angular coordinate of the engine shaft
# 12, December 2012 DOI: 10.7463/1212.0500563 In this paper the author considers the task of stabilization of a given angular position of a singlelink manipulator when only the angular coordinate of the motor shaft can be measured. It was shown that synthesis of stabilizing control laws, as well as in the case when only the angular coordinate of the manipulator link can be measured, can be realized by the principle of distribution and bypassing the integrator in the observer. According to the results of the numerical simulation one can draw a conclusion about a similar quality of transient processes in the system with control found by means of bypassing the integrator in the observer, and the control which is based on the principle of distribution and linearization technique according to the state, provided that the observer is the same in all the cases and the initial data was considered. Possibility of applying the method of bypassing the integrator to stabilization can solve this problem also in the case of system disturbances and uncertainties. The results provided in this paper can possibly be applied in controlling technical systems with incomplete information about the state of the measured system.
Flight control of highly maneuverable aircraft during aerial refueling
# 01, January 2013 DOI: 10.7463/0113.0500331 The author considers aircraft flight control during aerial refueling. Results of hardwareinloop simulation and flight tests are presented in this paper. A corrected model of aerodynamic coupling of a tanker with a receiver is the first main outcome of this study. The control law for the flybywire system’s aerial refueling special mode is another one. This control law ensures desired handling qualities for the aerial refueling task and could be used in flybywire systems. That fact was validated by hardwareinloop simulation and flight tests. The author’s further study will include development of a control law for the automatic docking procedure during aerial refueling.
Construction of pseudorandom functions based on generalized cellular automata
# 10, October 2012 DOI: 10.7463/1112.0496381 The paper presents a method of constructing pseudorandom functions based on generalized cellular automata. In this case, LubotzkyPhillipsSarnak graphs  an explicit construction of Ramanujan graphs  are as used as such automata. An empirical study of statistical properties of pseudorandom functions obtained by applying a set of statistical NIST tests was conducted. The proposed method can be used to build Sunits intended for use in block ciphers, hash functions and other cryptographic algorithms and protocols.
Disruption of synchronization in the tracking system with delayed pseudo noise signal
# 12, December 2012 DOI: 10.7463/1212.0496490 The author analyzes the mean time till failure of synchronization of the discrete phaselocked loop system (PLL) in order to optimize parameters of the filter in the ring of delay control for the longest possible synchronization mode. The optimal value of the system parameter and the maximum reachable mean time till failure of synchronization was determined. An expression for the mean time till failure of synchronism, which is resistant to any limiting transition leading to reduction of the order of the system (which does not occur for a number of other methods of calculation) was obtained. The results are compared with different types of PLL systems of the second order.
Fuzzy processoriented approach to nondeterministic design of intelligent multimodal interfaces
# 11, November 2012 DOI: 10.7463/1112.0495687 Intelligent multimodal interface is user interface that can provide users with the opportunity to interact adequately to their modalities, recognize different situations to achieve users’ goals, create a model of user’s behavior and the environment in which it operates, modify behavior in accordance with the current state of the user and the environment. Design of intelligent multimodal interfaces is associated with overcoming a number of challenges and uncertainties by the developer. Therefore, they actively develop and study formal design methodology of intelligent multimodal interfaces which include a hierarchical set of interrelated formal models and operations on them, which can solve all tasks and related design automation. In this paper, the processoriented approach to the formal nondeterministic design of intelligent multimodal interfaces using the concept of fuzzy running processes is presented. The method of selecting version of the draft of interface is considered. The language for visual representation of processes for the development of intelligent multimodal interfaces is described.
Modeling of highspeed processes in damping systems with phase transitions
# 11, November 2012 DOI: 10.7463/1112.0493560 The authors consider problems of modeling processes in new types of damping devices, in which the working fluid is a twophase system: a porous body  a fluid which does not wet it. On the basis of the theory of heterogeneous porous systems with phase changes they propose a mathematical model of nonstationary processes in a heterogeneous working fluid damper. Specific tasks for calculating microand macro parameters of the damping system are formulated. Numerical methods for solving these problems are developed.



