RUS  ENG
Full version
JOURNALS // Program Systems: Theory and Applications // Archive

2017, Volume 8, Issue 2


Hardware, software and distributed supercomputer systems
Computer tools for analysis of transcriptomics data: program complex ExpGene
A. M. Spitsina, A. O. Bragin, A. I. Dergilev, I. V. Chadaeva, N. N. Tverdokhleb, E. R. Galieva, L. E. Tabikhanova, Yu. L. Orlov
45

Optimization Methods and Control Theory
Degenerate optimal control problems for nonuniform discrete systems
I. V. Rasina, O. V. Fesko
3

Mathematic Modeling
Data generation for the problem of diagnostics of space systems
S. A. Amelkin, O. G. Shishkin, A. A. Talalaev
19
Choice–thermodynamically optimal sequence of separation of multicomponent systems that use mechanical energy
V. S. Hovsepyan, A. M. Tsirlin
33

Mathematical Foundations of Programming
Verification of logical consequence, using the calculus of constituent sets and correspondences of Galois
Yu. M. Smetanin
69


© Steklov Math. Inst. of RAS, 2025