PROGRAM SYSTEMS: THEORY AND APPLICATIONS

12+

Online Scientific Journal published by the Ailamazyan Program Systems Institute of the Russian Academy of Sciences

Papers are accepted in the form of a PDF file

To view the PDF files, you will need Adobe Acrobat Reader

2016 Volume 7
Issue 1

Clicking on a menu header directs you to the abstracts of papers. Each abstract is preceded by an assigned number, submission date, and the number of A5 pages contained in the paper.
Please use the PDF icon to open the PDF version of the paper.

Methods for Optimal Control and Control Theory

Gurman V.I., Rasina I.V. Turnpike Solutions in the Problem of Excitation Transfer Along a Spin Chain
DOI: https://doi.org/10.25209/2079-3316-2016-7-1-3-13
Blinov A.O., Dmitriev M.D. The sensitivity of the solution of some optimization problems with perturbation
DOI: https://doi.org/10.25209/2079-3316-2016-7-1-47-59
Gurman V.I., Rasina I.V. Global Control Improvement Method for Non-homogeneous Discrete Systems
DOI: https://doi.org/10.25209/2079-3316-2016-7-1-171-186

Software and Hardware for Distributed Systems and Supercomputers

E. Biryaltsev, P. Bogdanov, M. Galimov, D. Demidov, A. Elizarov. HPC Platform for Oil&Gas Industry
DOI: https://doi.org/10.25209/2079-3316-2016-7-1-15-27
Smirnov S.A., Voloshinov V.V. Effective use of discrete optimization solvers in cloud infrastructure on the basis of heuristic decomposition of the initial problem by optimization modeling system AMPL
DOI: https://doi.org/10.25209/2079-3316-2016-7-1-29-46
Isupov K.S., Knyazkov V.S. Parallel multiple-precision arithmetic based on residue number system
DOI: https://doi.org/10.25209/2079-3316-2016-7-1-61-97
Baranov A.V., Nikolaev D.S. The use of container virtualization in the organization of high-performance computing
DOI: https://doi.org/10.25209/2079-3316-2016-7-1-117-134

Mathematical Foundations of Programming

Smetanin Yu.M. Non-paradoxical logical consequence and the problem of solving ML-equations
DOI: https://doi.org/10.25209/2079-3316-2016-7-1-99-115
Znamenskij S.V. A picture of common subsequence length for two random strings over an alphabet of 4 symbols
DOI: https://doi.org/10.25209/2079-3316-2016-7-1-201-208

Artificial Intelligence, Intelligence Systems, Neural Networks

Trofimov I.V. Peculiarities of fine-grained factual information extraction from text
DOI: https://doi.org/10.25209/2079-3316-2016-7-1-135-152
Vlasova N.A., Podobryaev A.V. To the noun phrase recognition problem in application to automatic information extraction from Russian texts
DOI: https://doi.org/10.25209/2079-3316-2016-7-1-153-170

Mathematical Modelling

Akhremenkov An.A., Tsirlin A.M. Mathematical model of liquid immersion cooling system for supercomputer
DOI: https://doi.org/10.25209/2079-3316-2016-7-1-187-199
S. Amelkin, S. Karpesh, A. Klementiev, A. Petrov. Research and Development of a Control System for Immersion Cooling of a High-Performance Computing Complex
DOI: https://doi.org/10.25209/2079-3316-2016-7-1-209-219