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




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


1.

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

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

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

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

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

Калентьев А.А., Тюгашев А.А. - Изд-во ПГУ , 1998
Актуальные проблемы анализа и обеспечения надежности и качества приборов, устройств и систем / книга докладов научн.конференции.-Пенза: Изд-во Пензенского гос.техн.ун-та, 1998 С.157
4.

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

Калентьев А.А., Тюгашев А.А. - Изд-во ПГУ , 1998
Актуальные проблемы анализа и обеспечения надежности и качества приборов, устройств и систем / книга докладов научн.конференции.-Пенза: Изд-во Пензенского гос.техн.ун-та, 1998 С.156
5.

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

А.А, Тюгашев, А.А. Калентьев, Я.А. Мостовой - ИРА "Комсомолка-плюс" , 1999
Надежность и качество. Инновационные технологии производству XXI века / Книга докладов Международн. симпозиума, посвящ. 275-летию РАН.-Под ред. А.Н. Андреева, А.В. Блинова, Н.К. Юркова.-Пенза, 1999. С.186
6.

Case-технология автоматизированного проектирования бортовых управляющих алгоритмов реальногов времени (публикация автора на scipeople)   

Калентьев А.А., Тюгашев А.А. - Издательство Санкт-Петербургского гос.уни-та аэрокосмического приборостроения , 1998
Тезисы докладов I-й Международной молодежной школы-семинара БИКАМП-98 22-26 июня 1998 г. - СПб: Изд-во Санкт-Петербургского государственного университета аэрокосмического приборостроения. C.71-72
7.

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

Тюгашев А.А. - Изд-во ПГУ , 2003
Надежность и качество. Труды международного симпозиума / Под ред. Н.К. Юркова.-Пенза: Изд-во Пенз. гос. уни-та, 2003 С. 198-201 ISBN 5-94170-031-8
8.

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

Тюгашев А.А. - ПГУ , 2003
Надежность и качество. Труды международного симпозиума / Под ред. Н.К. Юркова.-Пенза: Изд-во Пенз. гос. уни-та, 2003 С. 198-201 ISBN 5-94170-031-8
9.

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

Тюгашев А.А. - Изд-во Санкт-Петербургского государственного университета аэрокосмического приборостроения , 2001
Труды международной школы-семинара БИКАМП-01. 25-29 июня 2001 г.- СПб: Изд-во Санкт-Петербургского университета аэрокосмического приборостроения. С. 179-180 ISBN 5-7183-0134-5
10.

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

Калентьев А.А., Мостовой Я.А., Платонов С.Н,, Никанорова Н.С, Ендуткина Л.И., Николаев Ю.А., Тюгашев А.А. - Самарский филиал Академии космонавтики , 2000
Управление движением и навигация летательных аппаратов: сб.тр. IX Всерос. научн.-техн.семинара по управлению движением и навигации летательных аппаратов: Ч2 / Самарский филиал Российской академии космонавтики. Самара, 2000.