Связанные научные тематики:
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 




 Найдено научных статей и публикаций: 41, для научной тематики: Космический аппарат


1.

Технология графконт/геоз автоматизации процессов проектирования и верификации управляющего программного обеспечения для космических аппаратов (публикация автора на scipeople)   

Калентьев А.А,, Тюгашев А.А. - МОКБ "Марс" , 2012
"Тезисы докладов II Всероссийской научно-технической конференции.-М.:МОКБ ""Марс"", 2012 - с.147-148 ISBN 978-5-9903829-1-6"
2.

Пути повышения надежности и качества программного обеспечения в космической отрасли (публикация автора на scipeople)     

Тюгашев А. А., Ильин И. А., Ермаков И. Е. - Инс-т проблем управления им. В.А.Трапезникова РАН , 2012
Управление большими системами. Сборник трудов. Инс-т проблем управления им. В.А.Трапезникова РАН, Вып.39 2012, с. 288-299
3.

Графический визуализатор связей между логическими последовательностями алгоритмов управления космическими аппаратами (публикация автора на scipeople)   

Тюгашев А. А., Богатов А. Ю. - Издательство МАИ-ПРИНТ , 2011
Системный анализ, управление и навигация: Тезисы докладов.-М.: Изд-во МАИ-ПРИНТ, 2011. С.90 ISBN 978-5-7035-2275-2
4.

Использование расписаний при моделировании семантики управляющих алгоритмов реального времени (публикация автора на scipeople)   

Тюгашев А.А., Богатов А.Ю, Шулындин А.В. - Издательство ПГУ , 2011
Надежность и качество - 2011: труды Международного симпозиума: в 2 т./ под ред. Н.К. Юркова.-Пенза:Изд-во ПГУ, 2011 - 1т. С.90-93 ISSN 2220-6418
5.

Автоматическая генерация отладочных заданий в технологии графконт/геоз (публикация автора на scipeople)   

Тюгашев А.А., Богатов А.Ю, Шулындин А.В. - Издательство ПГУ , 2012
Надежность и качество - 2012: труды Международного симпозиума: в 2 т./ под ред. Н.К. Юркова.-Пенза:Изд-во ПГУ, 2012 - 1т. С.288-291 ISBN 978-5-94170-435-4
6.

Методы обеспечения надежности и качества программного обеспечения в аэрокосмической отрасли (публикация автора на scipeople)   

Ермаков И.Е., Ильин И.А., Тюгашев А.А. - Издательство ПГУ , 2012
Надежность и качество - 2012: труды Международного симпозиума: в 2 т./ под ред. Н.К. Юркова.-Пенза:Изд-во ПГУ, 2012 - 1т. С.20-23 ISBN 978-5-94170-435-4
7.

Направления совершенствования методов разработки и верификации программного обеспечения в аэрокосмической отрасли (публикация автора на scipeople)   

Тюгашев А.А. - Издательство МАИ , 2012
Системный анализ, управление и навигация: Тезисы докладов.-М.: Изд-во МАИ, 2012. С.77-79 ISBN 978-5-4316-0067-8
8.

Алгебраические и логические подходы к спецификации, верификации и синтезу управляющих программ для ка (публикация автора на scipeople)   

Калентьев А.А., Тюгашев А.А. - Изд-во МАИ , 2006
Тез.докладов 11-й Международной конференции "Системный анализ, управление и навигация". Евпатория, 2006.
9.

Средства визуализации программ интегрального управления космическими аппаратами (публикация автора на scipeople)   

Калентьев А.А., Тюгашев А.А. - Изд-во МАИ , 2010
Сб.тезисов 15-й Междунардной научной конференции "Системный анализ, управление и навигация". Евпатория, 2010
10.

Использование графического подхода при верификации циклограмм управления космическими аппаратами (публикация автора на scipeople)   

Калентьев А.А., Тюгашев А.А. - Изд-во МАИ , 2009
Тез. докл. 14-й международной конференции "Системный анализ, управление и навигация": Изд-во МАИ Евпатория, 2009.