Computer Sciences

Synthesis of Pseudorandom Test Patterns for the Discrete Device

In article the pseudorandom method of test patterns generation for discrete devices applicable for both to combinational devices and to sequential devices is considered. The entropy approach for search of optimum distribution of probabilities of input vectors is used that allows reducing average length of generated tests. For definition of the mentioned probabilities the multivariate problem of search of a maximum of output entropy with application of genetic algorithm is solved.

Methods and Algorithms of Identification of External Heat Exchange Parameters for Heat and Mass Tranfer Processes

The methods and algorithms of identification of external heat exchange parameters based on least square method are proposed. The comparative analysis of distributerd parameters identification methods is performed.

O РАЗРЕШИМОСТИ ОБРАТНОЙ ЗАДАЧИ ШТУРМА – ЛИУВИЛЛЯ В СИММЕТРИЧНОМ СЛУЧАЕ

Necessary and sufficient conditions are provided for the solvability of the inverse problem of recovering Sturm – Liouville operator from its spectrum in the central symmetry case.

Conditions for Functions on Semilattices to be Realized by Networks with Stable Behaviour under Hazards

The notion of functional stability under hazards is introduced for networks realizing functions defined on finite upper semilattices. Some constructive conditions are established for such functions to be realized by stable networks composed of any elements or of transistors and switches.

About One Approach to the Reconstruction of Behavior of Finite Automaton with Circularity of the Change of States

The article deals with one of the possible approaches to the problem of reconstruction of determined finite automaton behavior, based on the information about the current (defective) and specified (correct) laws of functioning with the help of periodic sequences. A model of finite automaton circularity was built for the purpose of analyzing the behavior of a finite automaton in a circularity mode.

The Using of gLite Middleware for Organization of Distributed Data Storage

This paper gives an introduction to using the grid technology for distributed data storage. There are many different technologies of grid systems deployment for geographically distributed data storages and distributed computation purposes. One of these technologies, gLite middleware is described in this paper. The architecture, the functioning, and the main gLite services are presented here.

The Automata Interpretation of Integer Sequences

Transformation of phase pictures to geometrical images of laws of functioning of state machines, offered and developed by V.A.Tverdokhlebov , has allowed to represent phase pictures by uniform mathematical structures –- broken lines with numerical coordinates of points. V.A.Tverdokhlebov shows, that sequence of elements from the finite set, combined with linear order on set of input words, defines laws of functioning of the discrete determined dynamic system (state machine).

About Realisation of Finite-Element Modeling in Problems of an Osteosynthesis on Cluster Systems of SSU

In this article we describe the optimized cluster version of a package of finite-element modeling. This project titled «Development of Computational and information technologies using computer modeling on parallel computing complexes for traumatological and surgical evaluations to enable efficient diagnostic and medical recommendations».

Technology of Building Femur Bones Solid Models Based on Data from Computerized Axial Tomography

In this article we describe the technology used to build femur bone 3D models based on Computerized Axial Tomography data. This project is titled «Development of Computational and information technologies using computer modeling on parallel computing complexes for traumatological and surgical evaluations to enable efficient diagnostic and medical recommendations».

On Directed Acyclic Exact Extensions

Exact extensions of undirected graphs are well studied, but exact extensions of directed graphs are much less known.We prove that only directe dacyclicgraphor strongly connected graph can be an exact extension. Further more, only transitive tournament can be directed acyclic exact extension.

Pages