Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов: автореферат диссертации на соискание ученой степени доктора технических наук: 05.13.12 / Тюгашев Андрей Александрович

Сохранено в:
Шифр документа: 2//21362(039),
Вид документа: Авторефераты диссертаций
Автор: Тюгашев, А. А.
Опубликовано: Самара , 2007
Физические характеристики: 32 с. : ил.
Язык: Русский
Предмет:
00000cam0a2200000 ia4500
001 BY-NLB-br0000090578
005 20071211141758.0
100 # # $a 20070921d2007 k y0rusy50 ca 
101 0 # $a rus 
102 # # $a RU 
105 # # $a a m 000yy 
109 # # $a ac  $a aa 
200 1 # $a Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов  $e автореферат диссертации на соискание ученой степени доктора технических наук  $e 05.13.12  $f Тюгашев Андрей Александрович  $g [ГОУ ВПО "Самарский государственный аэрокосмический университет им. С. П. Королева"] 
210 # # $a Самара  $d 2007 
215 # # $a 32 с.  $c ил. 
320 # # $a Библиография: с. 29-32 (50 назв.) 
606 0 # $3 BY-NLB-ar14878  $a КОСМИЧЕСКИЕ АППАРАТЫ  $2 DVNLB 
606 0 # $3 BY-NLB-ar2731716  $a БОРТОВЫЕ ВЫЧИСЛИТЕЛЬНЫЕ СИСТЕМЫ  $2 DVNLB 
606 0 # $3 BY-NLB-ar2667262  $a АЛГОРИТМЫ УПРАВЛЕНИЯ  $2 DVNLB 
606 0 # $3 BY-NLB-ar19436  $a НАДЕЖНОСТЬ (техн.)  $2 DVNLB 
606 0 # $3 BY-NLB-ar5128  $a ВЕРИФИКАЦИЯ  $2 DVNLB 
606 0 # $3 BY-NLB-ar30160  $a СИНТЕЗ СИСТЕМ УПРАВЛЕНИЯ  $2 DVNLB 
606 0 # $3 BY-NLB-ar2703579  $a ОЦЕНКА КАЧЕСТВА  $2 DVNLB 
606 0 # $3 BY-NLB-ar56222  $a ОЦЕНКИ МЕТОДЫ  $2 DVNLB 
686 # # $a 55.49.51  $2 rugasnti  $v 5 
686 # # $a 55.03.05  $2 rugasnti  $v 5 
686 # # $a 55.01.77  $2 rugasnti  $v 5 
686 # # $a 55.01.85  $2 rugasnti  $v 5 
686 # # $a 05.13.12  $2 oksvnk 
686 # # $a 28.17.31  $2 rugasnti  $v 5 
686 # # $a 28.17.27  $2 rugasnti  $v 5 
700 # 1 $3 BY-NLB-ar2736495  $a Тюгашев  $b А. А.  $g Андрей Александрович  $c доктор технических наук 
801 # 0 $a BY  $b BY-HM0000  $c 20070921  $g psbo