N3 (23) July-September 2009 CONTENTS

Bibilo P.N., Kirienko N.A. Optimizing conversions of a logic circuit by partitioning into blocks (p. 5)

The problem of optimizing conversions of a logic circuit by partitioning into blocks is considered. The results of synthesis for different descriptions of a search logic circuit in CAD systems Leonardo and Custom Logic are described. Synthesis is performed in the library gate basis. The results of experimental investigations are presented. Conclusions regarding the efficiency of the partitioning procedure reducing the complexity of synthesized circuit are drawn.

Pottosin Yu.V., Toropov N.R., Shestakov E.A. A method for minimizing the system of incompletely specified boolean functions (p. 16)

The problem of minimization of a system of incompletely specified Boolean functions in the class of disjunctive normal forms (DNFs) when the initial system of functions is given in the interval form is considered. The criterion of minimization is the total number of different elementary conjunctions in the obtained DNF system. A method to solve this problem is suggested. It can be considered as a generalization of the method of minimization of a system of completely specified Boolean functions suggested by the authors earlier. The results of testing software that implements the suggested method are provided.

Yarmolik S.V., Yarmolik V.N. Transparent RAM testing based on self-adjusting output data compression (p. 27)

In this paper a new concept of transparent RAM Testing based on Self-Adjusting Output Data Compression (SAODC) has been proposed and developed. The presented technique is based on a memory characteristic derived as the modulo-2 sum of all addresses pointing to non-zero memory cells. This characteristic can be used as the RAM under test fault-free signature. The main properties of new transparent tests are investigated and validated.

Kovalev V.A., Safonov I.V. An experimental study of the recognition quality of real-world scenes for computer vision purposes (p. 36)

This paper presents results of an experimental study of recognition quality of color images of real-world scenes. The goal was to assess the implemented recognition techniques and to tune control parameters of image frame recognition employed in so-called Mobile Voiced Visual Assistant, which is aimed to assist visually-impaired people in recognition and audio–interpretation of real-world scenes and surrounding objects in real time. As a result, for each recognition algorithm the optimal set of control parameters was identified and suitable modes were chosen for further implementation in the introduced Mobile Assistant. The use of these parameters allows achieving the highest recognition rates possible in the framework of actual limitations.

Krautsou S.L. Analysis of the current state and the basic trends of development of remote sensing image processing methods (p. 46)

Improvement tendencies of remote sensing images are described. Basic approaches and limitations of the existing methods of remote sensing image processing are reviewed. Trends on the new remote sensing image processing methods and algorithms are presented.

Novoselova N.A., Tom I.E. Evolutionary method of fuzzy clustering (p. 55)

The evolutionary method of fuzzy clustering of multivariate data is proposed. The method makes use the genetic algorithm with chromosomes of variable length, which allows to find the near-optimal cluster partition and simultaneously to define the number of clusters. A theoretical analysis of computational complexity of the proposed method in comparison with standard approach to the definition of the number of clusters is conducted. The results of testing on two data sets have demonstrated a more accurate classification of data with the classification rules constructed on the basis of the proposed method when compared to the classical FCM-method.

Prakapovich R.A. Adaptive neuronet classifier (p. 68)

The memory overwrite problem in artificial neural networks when presenting new classes of images is considered. The hybrid classifier which capable with retraining is proposed. The distinctive features of the described classifier include the supervised learning and realization of associative search of images in long-term memory, raising noise stability of the classifier and reducing the number of memory access operations in comparison with the sequential method.

Alexeyev S.G. The method of calculating mutual inductance of coils, regular grids of cascade connections and parallel placed wires (p. 82)

Explicit formulas for calculating mutual inductance of regular grids and cylindrical inductive coils oriented by their axis of symmetry orthogonally to the grids disposition planes are proposed. The grids consist of parallel and opposite connected wires.

Busko V.L., Lobaty A.A., Pochebut M.V., Said G.M. A posteriory probabilistic analysis of the phase control system (p. 91)

A method for solving a posteriori probabilistic analysis task at the preliminary design stage is proposed. It is based on the theory of markov processes of random structure and mathematical models of phase control systems.

Shafransky Y.M. On the existence of globally optimal schedules for two-machine Bellman –Johnson problem under the conditions of uncertainty (p. 100)

The paper addresses the known two-machine Bellman – Johnson scheduling problem under the assumption that job processing times are unknown and only sets of their possible values are available. Sufficient conditions of schedule existence that is optimal for any values of the job processing times taken from the given sets are adduced.

Hurski N.N., Korobkin V.A., Slabko Y.I., Fourounjiev R.I., Homich A.L. Simulation of vibration of mobile machines in ADMOS visual environment (p. 111)

This paper considers mathematical tools and software for decision-making which allows to perform the analysis of mobile machine dynamics under proper service conditions and to choose its optimal elastic-dissipative and some other parameters. The results of computer-aided modeling of the power disseminated at the fluctuations of the mobile machine are adduced.

Pegov D.V., Busla A.P., Ovsianko V.A. Application of LS-DYNA software package for modeling explosions of the artillery ammunition (p. 119)

The ways of application of LS-DYNA software package for modeling the processes of a detonation of explosive artillery ammunition and resultant fragmental fields are considered. Calculation results for explosions of ammunition box are presented.

Anishchanka U.V., Fisenko U.K., Maksimovich E.P., Shibut M.S. An approach for automation of security evaluation process of information technology objects (p. 126)

A formalized approach for automation of security evaluation process of information technology objects is proposed. The evaluation is performed in accordance with the Common Criteria. The approach is based on fuzzy formalization and expert experience. Implementation of the approach allows substantially reduce the laboriousness of the evaluation process and increase the validity of decisions.

Listopad N.I., Trukhan A.V. Models of maintenance of proper quality service in telecommunication networks (p. 141)

Optimization of the choice of topology in telecommunication networks is presented. The models of optimal topology design of telecommunication network for data flows routing by two criteria – cost and quality of service – are suggested.