PROGRAM SYSTEMS: THEORY AND APPLICATIONS

12+

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

Papers are presented in PDF format

2016 Volume 7
Issue 4

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.

Software and Hardware for Distributed Systems and Supercomputers

Alexei Adamovich. The Ajl programming language: the automatic dynamic parallelization for the JVM platform
DOI: https://doi.org/10.25209/2079-3316-2016-7-4-83-117

Mathematical Modelling

Ivan Sukin. Method of picking a component with an intermediate evaporation temperature out of multicomponent mixture using two fractionating columns
DOI: https://doi.org/10.25209/2079-3316-2016-7-4-21-47
Maksim Balayev, Vasilij Vlasyuk, Genrich Kardashev, Sergej Aleshin. Analysis of the behavior active-adaptive voltage control system in case of failure one of the software modules
DOI: https://doi.org/10.25209/2079-3316-2016-7-4-49-64

Supercomputing Software and Hardware

Il’ya Levin, Aleksey Dordopulo, Yuriy Doronchenko, Maksim Raskladkin, Aleksandr Fedorov. Immersion cooling system for FPGA-based reconfigurable computer systems
DOI: https://doi.org/10.25209/2079-3316-2016-7-4-65-81
Yury Shevchuk, Andrey Shevchuk. Etherbox32vm virtual machine Etherbox32vm virtual machine
DOI: https://doi.org/10.25209/2079-3316-2016-7-4-119-143
Dmitry Kharitonov, Georgiy Tarasov, Denis Leontyev, Roman Parakhin, Valeriya Gribova. State of the art and development prospects of the Shared Resource Center ”Far Eastern Computing Resource” IACP FEB RAS
DOI: https://doi.org/10.25209/2079-3316-2016-7-4-197-208

Mathematical Foundations of Programming

Nikolai Nepejvoda. Local computations in system theory and VLDB
DOI: https://doi.org/10.25209/2079-3316-2016-7-4-145-160
Sergej Znamenskij. Approximation of the longest common subsequence length for two long random strings
DOI: https://doi.org/10.25209/2079-3316-2016-7-4-347-358
Mark Khatkevich. Direct-flow adder program simulation
DOI: https://doi.org/10.25209/2079-3316-2016-7-4-359-367

Methods for Optimal Control and Control Theory

Anton Popov. Asymptotics of a section by a plane of the sub-Riemannian sphere on the Engel group near abnormal trajectory
DOI: https://doi.org/10.25209/2079-3316-2016-7-4-161-176
A. Mashtakov, R. Duits. A Cortical Based Model for Contour Completion on the Retinal Sphere
DOI: https://doi.org/10.25209/2079-3316-2016-7-4-231-247

Artificial Intelligence, Intelligence Systems, Neural Networks

Natalia Vlasova, Alexey Podobryaev. Complex time expressions recognition problem in application to automatic information extraction from Russian texts
DOI: https://doi.org/10.25209/2079-3316-2016-7-4-177-195
Elena Suleymanova. On two types of time-referring expressions
DOI: https://doi.org/10.25209/2079-3316-2016-7-4-209-229
Natal’ya Lando. TimeML markup language for Russian. Future outlook
DOI: https://doi.org/10.25209/2079-3316-2016-7-4-249-265
Seda Egikian, Elena Suleymanova. The actuality modality in the framework of the information extraction for texts written in a natural language
DOI: https://doi.org/10.25209/2079-3316-2016-7-4-267-286
Dmitry Stepanov. Parallel program system for HIL experiments on visual navigation of unmanned aerial vehicles
DOI: https://doi.org/10.25209/2079-3316-2016-7-4-287-303
Egor Ivanov. Data-flow processing of data from surveillance cameras for objects detection using distributed data processing system by image segmentation
DOI: https://doi.org/10.25209/2079-3316-2016-7-4-305-316
Anna Kiryushina. Fire safety signs detection and classification by applying neural network
DOI: https://doi.org/10.25209/2079-3316-2016-7-4-317-329
Aleksandr Smirnov, Artem Bezzubtsev. Bypass obstacles mobile technical unit using stereo vision
DOI: https://doi.org/10.25209/2079-3316-2016-7-4-331-346

Personal Data Policy

Personal Data Privacy Policy

Adress: Ailamazyan Program Systems Institute of the Russian Academy of Sciences, PSTA Online Journal, 4a Peter the First Street, Veskovo village, Pereslavl area, Yaroslavl region, 152021 Russia

Phone: +7-4852-695-228 E-mail: Website: https://psta.psiras.ru

2016 Volume 7 Issue 4