Найдено научных статей и публикаций: 16, для научной тематики: Бортовая вычислительная система
1.
Калентьев А.А., Тюгашев А.А.
- Изд-во МАИ , 2006
представлены алгебраические и логические модели для управляющих программ в свете их спецификации, верификации и синтеза...
представлены алгебраические и логические модели для управляющих программ в свете их спецификации, верификации и синтеза
Тез.докладов 11-й Международной конференции "Системный анализ, управление и навигация". Евпатория, 2006.
2.
Калентьев А.А., Тюгашев А.А.
- Изд-во МАИ , 2009
описана графическая верификация циклограмм управления космическими аппаратами...
описана графическая верификация циклограмм управления космическими аппаратами
Тез. докл. 14-й международной конференции "Системный анализ, управление и навигация": Изд-во МАИ Евпатория, 2009.
3.
Калентьев А.А., Тюгашев А.А.
- Изд-во ПГУ , 1998
описан программный модуль графического редактора временных диаграмм САПР управляющих алгоритмов реального времени...
описан программный модуль графического редактора временных диаграмм САПР управляющих алгоритмов реального времени
Актуальные проблемы анализа и обеспечения надежности и качества приборов, устройств и систем / книга докладов научн.конференции.-Пенза: Изд-во Пензенского гос.техн.ун-та, 1998 С.157
4.
Калентьев А.А., Тюгашев А.А.
- Изд-во ПГУ , 1998
описан генератор управляющей прогрммы на языке ассемблер среды ГРАФКОНТ...
описан генератор управляющей прогрммы на языке ассемблер среды ГРАФКОНТ
Актуальные проблемы анализа и обеспечения надежности и качества приборов, устройств и систем / книга докладов научн.конференции.-Пенза: Изд-во Пензенского гос.техн.ун-та, 1998 С.156
5.
А.А, Тюгашев, А.А. Калентьев, Я.А. Мостовой
- ИРА "Комсомолка-плюс" , 1999
описан генератор ассемблерного кода управляющей программы CASE-комплекса ГРАФКОНТ, разработанного для ЦСКБ-Прогресс...
описан генератор ассемблерного кода управляющей программы CASE-комплекса ГРАФКОНТ, разработанного для ЦСКБ-Прогресс
Надежность и качество. Инновационные технологии производству XXI века / Книга докладов Международн. симпозиума, посвящ. 275-летию РАН.-Под ред. А.Н. Андреева, А.В. Блинова, Н.К. Юркова.-Пенза, 1999. С.186
6.
Калентьев А.А., Тюгашев А.А.
- Издательство Санкт-Петербургского гос.уни-та аэрокосмического приборостроения , 1998
описана технология проектирования бортовых управляющих алгоритмов реального времени...
описана технология проектирования бортовых управляющих алгоритмов реального времени
Тезисы докладов I-й Международной молодежной школы-семинара БИКАМП-98 22-26 июня 1998 г. - СПб: Изд-во Санкт-Петербургского государственного университета аэрокосмического приборостроения. C.71-72
7.
Тюгашев А.А.
- Изд-во ПГУ , 2003
описана методология проектирования качественных и надежных управляющих программ реального времени для БВС КА...
описана методология проектирования качественных и надежных управляющих программ реального времени для БВС КА
Надежность и качество. Труды международного симпозиума / Под ред. Н.К. Юркова.-Пенза: Изд-во Пенз. гос. уни-та, 2003 С. 198-201 ISBN 5-94170-031-8
8.
Тюгашев А.А.
- ПГУ , 2003
описан метод автоматизации оценивания временных характеристик программ управления комплексного функционирования в технологии ГРАФКОНТ...
описан метод автоматизации оценивания временных характеристик программ управления комплексного функционирования в технологии ГРАФКОНТ
Надежность и качество. Труды международного симпозиума / Под ред. Н.К. Юркова.-Пенза: Изд-во Пенз. гос. уни-та, 2003 С. 198-201 ISBN 5-94170-031-8
9.
Тюгашев А.А.
- Изд-во Санкт-Петербургского государственного университета аэрокосмического приборостроения , 2001
описывается проблема неоднозначности при построении логико-временной структуры управляющего алгоритма по многовходовой модели...
описывается проблема неоднозначности при построении логико-временной структуры управляющего алгоритма по многовходовой модели
Труды международной школы-семинара БИКАМП-01. 25-29 июня 2001 г.- СПб: Изд-во Санкт-Петербургского университета аэрокосмического приборостроения. С. 179-180 ISBN 5-7183-0134-5
10.
Калентьев А.А., Мостовой Я.А., Платонов С.Н,, Никанорова Н.С, Ендуткина Л.И., Николаев Ю.А., Тюгашев А.А.
- Самарский филиал Академии космонавтики , 2000
представлена система поддержки процессов разработки бортовых алгоритмов управления в реальном времени...
представлена система поддержки процессов разработки бортовых алгоритмов управления в реальном времени
Управление движением и навигация летательных аппаратов: сб.тр. IX Всерос. научн.-техн.семинара по управлению движением и навигации летательных аппаратов: Ч2 / Самарский филиал Российской академии космонавтики. Самара, 2000.