Contents
Automatic Control and Computer Sciences


Vol. 44, No. 1, 2010

A simultaneous English language translation of this journal is available from Allerton Press, Inc.
Distributed worldwide by Springer. Automatic Control and Computer Sciences ISSN 0146-4116.


Formal Verification with Functional Indeterminacy on the Basis of Satisfiability
Testing of the Conjunctive Normal Form

L. D. Cheremisinova and D. Ya. Novikov p. 1  abstract

Reconstruction of the Corrective Component of the Transfer Function
of the Interpolator in the process of Calibration of the Precision Event Timer

A. S. Rybakov p. 11  abstract

Teletraffic Problems in the Contact Center Industry

M. A. Shneps-Shneppe and J. Sedols p. 22  abstract

Simulation of Wireless Cellular Networks with Impatient Calls

A. Z. Melikov and M. I. Fattakhova p. 31  abstract

Optimal Dispatching of the Flows Falling in the Same Priority Class

M. Kulikovs and E. Petersons p. 42  abstract

Stabilization of Nonlinear Systems on the Basis of the Method of the
Lyapunov Function with the Nonlinearity and Disturbance Estimation

G. A. Rustamov, S. G. Gardashov, and R. G. Rustamov p. 47  abstract

Fuzzy Logic Approach Applied to the Surge Detection and Isolation
in Centrifugal Compressor

A. Hafaifa, F. Laaouad, and K. Laroussi p.53  abstract


Pleiades Publishing home page | journal home page | top

If you have any problems with this server, contact webmaster.