An approximate solution of the problem of optimal control over elliptic systems in domains of arbitrary form V. V. SkopetskiiS. I. LyashkoS. A. Voytsekhovskii OriginalPaper Pages: 847 - 852
The evidence algorithm and problems of representation and processing of mathematical computer knowledge A. I. DegtyarevYu. V. KapitonovaM. K. Morokhovets OriginalPaper Pages: 853 - 859
The Thue problem and logical specifications of derivation in formal systems A. I. ProvotarAlhi Adnan OriginalPaper Pages: 860 - 866
General method of testing the compatibility of interacting automata with finite memory A. N. Chebotarev OriginalPaper Pages: 867 - 874
On the sufficient equivalence conditions of gaussian measures corresponding to homogeneous fields whose spectral densities have real zeros S. M. KrasnitskiiS. L. Kryvyi OriginalPaper Pages: 875 - 883
Accelerated simulation of failure probability of a system consisting of elements with considerably differing reliability N. Yu. Kuznetsov OriginalPaper Pages: 884 - 891
Optimality of software resource structurization in distributed processing N. S. KovalenkoV. M. Metel’skii OriginalPaper Pages: 892 - 894
Localization of edges in graph models of two-level algorithms N. A. LikhodedP. I. SobolevskiiA. A. Tiunchik OriginalPaper Pages: 895 - 902
Enumeration of small nonisomorphic pentagonal packings A. Ya. Petrenyuk OriginalPaper Pages: 903 - 909
A method of designing cam mechanisms by means of piecewise-circular curves A. A. LigunA. A. Shumeiko OriginalPaper Pages: 910 - 917
Using the VIRT programming language for automatic theorem proving A. I. Baranovskii OriginalPaper Pages: 918 - 929
Problems with conjugation conditions and their high-accuracy computational discretization algorithms I. V. SergienkoV. S. Deineka OriginalPaper Pages: 930 - 950
Regularization of a lexicographic vector problem of integer programming V. A. EmelichevO. A. Yanushkevich OriginalPaper Pages: 951 - 955
Estimation of the parameter of identically distributed exponential quantities L. V. Volokh OriginalPaper Pages: 956 - 959
Sufficient condition of completion of a pursuit in a nonlinear differential game T. A. Komleva OriginalPaper Pages: 960 - 964
Using the generalized chebyshev inequalities in estimating the interval failure rate L. S. Stoikova OriginalPaper Pages: 965 - 972
A multipoint method of minimization of a convex function É. I. Nenakhov OriginalPaper Pages: 973 - 975
Method of elimination of a group of unknown flows in networks with the generalized kirchhoff law G. S. Finin OriginalPaper Pages: 976 - 980
Algorithmic soluyion of two parametric optimization problems on a set of complete combinations O. A. YemetsA. A. Roskladka OriginalPaper Pages: 981 - 986
Application of a numerical increased-accuracy method to the solution of the poisson equation L. Yu. Ferdigalov OriginalPaper Pages: 994 - 998