RUS  ENG
Full version
JOURNALS // Vestnik TVGU. Seriya: Prikladnaya Matematika [Herald of Tver State University. Series: Applied Mathematics] // Archive

Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2009, Issue 15, Pages 85–92 (Mi vtpmk348)

INTELLIGENT SYSTEMS

Methods for optimizing logical synthesis

I. F. Cheburakhina, I. A. Matveevb, Yu. P. Treskovb

a MATI - Russian State Technological University named after K.E. Tsiolkovky, Moscow
b Dorodnitsyn Computing Centre of the Russian Academy of Sciences, Moscow

Abstract: Quantum transitive probabilities are considered. It is proved that their calculation is reduced to the decision of the first order linear differential equations system. The method of their calculation is described and application for construction of simulation models of evolution is discussed.

Keywords: boolean function, formula, circuit of functional elements, analysis, synthesis, decomposition, complexity, quality characteristics, minimization, functional and difference equation.

UDC: 519.6:681.31

Received: 19.09.2009
Revised: 30.09.2009



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024