Issue 6/2013
Content (18 Articles)
Cybernetics
Program Verification: State of the Art, Problems, and Results. I
S. L. Kryvyi, O. M. Maksymets
A Review of Niching Genetic Algorithms for Multimodal Function Optimization
N. N. Glibovets, N. M. Gulayeva
Analysis of a Cellular Network Model with Multiparameter Control for Call Admission to Channels and to Data Call Buffer1
A. Z. Melikov, L. A. Ponomarenko, Che Soong Kim
Multipoint Necessary Optimality Conditions for Singular Controls in Processes Described by the System of Volterra Integral Equations
A. A. Abdullayev, K. B. Mansimov
Mathematical Modeling of Three-Dimensional Fields of Transverse Dynamic Displacements of Thick Elastic Plates
V. A. Stoyan, K. V. Dvirnychuk
Chebyshev Approximation by Exponential-Power Expression
P. S. Malachivskyy, Ya. V. Pizyur, N. V. Danchak, E. B. Orazov
Continuous Stochastic Optimization with Semi-Markov Switchings in the Diffusion Approximation Scheme
V. R. Kukurba, Ya. M. Chabanyuk
Block Local Elimination Algorithms for Sparse Discrete Optimization Problems
A. V. Sviridenko, O. A. Shcherbina
Software–Hardware Systems
Information Support of a Technology for Automated Monitoring of the State of Population Health
N. S. Rogozynska, L. M. Kozak
NEW MEANS OF CYBERNETICS, INFORMATICS, COMPUTER ENGINEERING, AND SYSTEMS ANALYSIS
Reducing the Use of Resources in the FPGA Circuit of a Moore FSM
A. A. Barkalov, L. A. Tytarenko, R. V. Malcheva, K. A. Soldatov