Geodesic
Алгебраические модели управляющих алгоритмов и программ реального времени для космических аппаратов
Journal of Samara State Technical University, Ser. Physical and Mathematical Sciences, Journal of Samara State Technical University, Ser. Physical and Mathematical Sciences, no. 38 (2005), pp. 19-25.

Voir la notice de l'article provenant de la source Math-Net.Ru

@article{VSGTU_2005_38_a3,
     author = {A. A. Tyugashev},
     title = {{\CYRA}{\cyrl}{\cyrg}{\cyre}{\cyrb}{\cyrr}{\cyra}{\cyri}{\cyrch}{\cyre}{\cyrs}{\cyrk}{\cyri}{\cyre} {\cyrm}{\cyro}{\cyrd}{\cyre}{\cyrl}{\cyri} {\cyru}{\cyrp}{\cyrr}{\cyra}{\cyrv}{\cyrl}{\cyrya}{\cyryu}{\cyrshch}{\cyri}{\cyrh} {\cyra}{\cyrl}{\cyrg}{\cyro}{\cyrr}{\cyri}{\cyrt}{\cyrm}{\cyro}{\cyrv} {\cyri} {\cyrp}{\cyrr}{\cyro}{\cyrg}{\cyrr}{\cyra}{\cyrm}{\cyrm} {\cyrr}{\cyre}{\cyra}{\cyrl}{\cyrsftsn}{\cyrn}{\cyro}{\cyrg}{\cyro} {\cyrv}{\cyrr}{\cyre}{\cyrm}{\cyre}{\cyrn}{\cyri} {\cyrd}{\cyrl}{\cyrya} {\cyrk}{\cyro}{\cyrs}{\cyrm}{\cyri}{\cyrch}{\cyre}{\cyrs}{\cyrk}{\cyri}{\cyrh} {\cyra}{\cyrp}{\cyrp}{\cyra}{\cyrr}{\cyra}{\cyrt}{\cyro}{\cyrv}},
     journal = {Journal of Samara State Technical University, Ser. Physical and Mathematical Sciences},
     pages = {19--25},
     publisher = {mathdoc},
     number = {38},
     year = {2005},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VSGTU_2005_38_a3/}
}
TY  - JOUR
AU  - A. A. Tyugashev
TI  - Алгебраические модели управляющих алгоритмов и программ реального времени для космических аппаратов
JO  - Journal of Samara State Technical University, Ser. Physical and Mathematical Sciences
PY  - 2005
SP  - 19
EP  - 25
IS  - 38
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VSGTU_2005_38_a3/
LA  - ru
ID  - VSGTU_2005_38_a3
ER  - 
%0 Journal Article
%A A. A. Tyugashev
%T Алгебраические модели управляющих алгоритмов и программ реального времени для космических аппаратов
%J Journal of Samara State Technical University, Ser. Physical and Mathematical Sciences
%D 2005
%P 19-25
%N 38
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VSGTU_2005_38_a3/
%G ru
%F VSGTU_2005_38_a3
A. A. Tyugashev. Алгебраические модели управляющих алгоритмов и программ реального времени для космических аппаратов. Journal of Samara State Technical University, Ser. Physical and Mathematical Sciences, Journal of Samara State Technical University, Ser. Physical and Mathematical Sciences, no. 38 (2005), pp. 19-25. http://geodesic.mathdoc.fr/item/VSGTU_2005_38_a3/

[1] D. I. Kozlov, G. P. Anshakov, Ya. A. Mostovoi, A. V. Sollogub, Upravlenie kosmicheskimi apparatami zondirovaniya Zemli: Kompyuternye tekhnologii, Mashinostroenie, M., 1998

[2] A. M. Anisov, P. I. Bystrov, V. A. Smirnov i dr., Logika i kompyuter. Modelirovanie rassuzhdenii i proverka pravilnosti programm, Nauka, M., 1990

[3] Sovetov B. Ya., Yakovlev S. A., Modelirovanie sistem, Vyssh. shk., M., 2001

[4] Ben-Ari M., Manna Z., Pnueli A., “The Temporal Logic of Branching Time”, Proc. 8th Annual Symposium on Principles of Programming Languages (1981, ACM Press, Williamsburg), Springer-Verlag, 1992, 164–176

[5] Baeten J. C. M., Bergstra J. A., “Real time Process Algebra”, Formal Aspects of Computing, 3 (1991), 142–188 | DOI | Zbl

[6] Kasyanov V. N., Evstigneev V. A., Grafy v programmirovanii: obrabotka, vizualizatsiya i primenenie, BKhV-Peterburg, SPb., 2003

[7] K. G. Bataev (red.), Semantika yazykov programmirovaniya, Mir, M., 1979

[8] Kalentev A. A., Avtomatizirovannyi sintez algoritmov asinkhronnogo upravleniya tekhnicheskimi sistemami s mnozhestvom diskretnykh sostoyanii, Sam. gos. aerokosm. un-t, Samara, 1998

[9] Tyugashev A. A., “Problema neodnoznachnosti pri porozhdenii logiko-vremennoi struktury upravlyayuschego algoritma po mnogovkhodovoi modeli realnogo vremeni”, Sb. trudov Tretei mezhdunarodnoi molodezhnoi shkoly-seminara BIKAMP-01, SPb., 2001, 179