Geodesic
Алгебраические модели управляющих алгоритмов и программ реального времени для космических аппаратов
Journal of Samara State Technical University, Ser. Physical and Mathematical Sciences, Journal of Samara State Technical University, Ser. Physical and Mathematical Sciences, Tome 38 (2005) no. 38, pp. 19-25 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

@article{VSGTU_2005_38_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},
     year = {2005},
     volume = {38},
     number = {38},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VSGTU_2005_38_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
VL  - 38
IS  - 38
UR  - http://geodesic.mathdoc.fr/item/VSGTU_2005_38_38_a3/
LA  - ru
ID  - VSGTU_2005_38_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
%V 38
%N 38
%U http://geodesic.mathdoc.fr/item/VSGTU_2005_38_38_a3/
%G ru
%F VSGTU_2005_38_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, Tome 38 (2005) no. 38, pp. 19-25. http://geodesic.mathdoc.fr/item/VSGTU_2005_38_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