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.