Найдено научных статей и публикаций: 19, для научной тематики: Управляющий алгоритм реального времени
1.
А.Ю, Богатов, А.А. Тюгашев
- Киев , 2013
описано исчисление управляющих алгоритмов реального времени...
описано исчисление управляющих алгоритмов реального времени
Материалы XI Международной научно-технической конференции "Авиа-2013", г. Киев, Том 1, С637-640
2.
Тюгашев А.А., Богатов А.Ю, Шулындин А.В.
- Издательство ПГУ , 2011
приводится семантическая модель управляющих алгоритмов реального времени...
приводится семантическая модель управляющих алгоритмов реального времени
Надежность и качество - 2011: труды Международного симпозиума: в 2 т./ под ред. Н.К. Юркова.-Пенза:Изд-во ПГУ, 2011 - 1т. С.90-93 ISSN 2220-6418
3.
Тюгашев А. А., Богатов А. Ю.
- СГАУ , 2012
Описан подход к построению оптимизирующих преобразований спецификации управляющих алгоритмов реального времени...
Описан подход к построению оптимизирующих преобразований спецификации управляющих алгоритмов реального времени
Управление движением и навигация летательных аппаратов : Сборник трудов XV Всероссийского
семинара по управлению движением и навигации летательных аппаратов: Часть I / Самар. гос.
аэрокосм. ун-т. Самара, 2012 С 69-72
4.
А.А. Тюгашев, А.Ю. Богатов
- Вестник Самарского государственного аэрокосмического университета имени академика С.П. Королева (национального исследовательского университета) , 2011
Предлагается подход к решению проблемы спецификации управляющих алгоритмов реального времени, основанный на специально построенной формальной теории. Рассматривается возможность автоматизации синтаксической редукции спецификации управляющих алгоритмов...
Предлагается подход к решению проблемы спецификации управляющих алгоритмов реального времени, основанный на специально построенной формальной теории. Рассматривается возможность автоматизации синтаксической редукции спецификации управляющих алгоритмов
Вестник СГАУ, №2 (26) 2011, с.269-275
5.
Калентьев А.А., Тюгашев А.А.
- Изд-во ПГУ , 1998
описан программный модуль графического редактора временных диаграмм САПР управляющих алгоритмов реального времени...
описан программный модуль графического редактора временных диаграмм САПР управляющих алгоритмов реального времени
Актуальные проблемы анализа и обеспечения надежности и качества приборов, устройств и систем / книга докладов научн.конференции.-Пенза: Изд-во Пензенского гос.техн.ун-та, 1998 С.157
6.
Тюгашев А.А.
- Изд-во ПГУ , 2003
описана методология проектирования качественных и надежных управляющих программ реального времени для БВС КА...
описана методология проектирования качественных и надежных управляющих программ реального времени для БВС КА
Надежность и качество. Труды международного симпозиума / Под ред. Н.К. Юркова.-Пенза: Изд-во Пенз. гос. уни-та, 2003 С. 198-201 ISBN 5-94170-031-8
7.
Тюгашев А.А.
- СГАУ , 1996
доклад...
доклад
Управление движением и навигация летательных аппаратов: Сб. тр. VII Всероссийского научно-техн. семинара по управлению движением и навигации летательных аппаратов Ч.2 / СГАУ, Самара, 1996 С.53 ISBN 5-7217-0021-1
8.
Калентьев А.А., Тюгашев А.А.
- ИрВЦ СО РАН , 1994
описано исчисление управляющих алгоритмов...
описано исчисление управляющих алгоритмов
Всероссийская научная школа“Компьютерная алгебра, логика и интеллектное управление. Проблемы анализа стратегической стабильности”:Сб.трудов. Ч4.-Иркутск, ИрВЦ СО РАН, 1994
9.
А.А. Калентьев, А.А. Тюгашев
- Пензенский государственный университет , 2007
описываются методы оптимизирующих преобразований логико-временной схемы управляющих алгоритмов реального времени...
описываются методы оптимизирующих преобразований логико-временной схемы управляющих алгоритмов реального времени
Труды международного симпозиума "Надежность и качество". 2007. Т. 1. С. 117-118. ISSN 2220-6418
10.
А.А. Тюгашев
- Ежемесячный научно-технический и производственный журнал "Мехатроника, автоматизация, управление" , 2007
Рассматривается комплекс проблем спецификации, верификации и синтеза управляющих программ реального времени, исполняемых на борту космического аппарата. Анализируются подходы к решению этих задач на основе временной логики и применения расширенной алгебры управляющих процессов. Описывается структура...
Рассматривается комплекс проблем спецификации, верификации и синтеза управляющих программ реального времени, исполняемых на борту космического аппарата. Анализируются подходы к решению этих задач на основе временной логики и применения расширенной алгебры управляющих процессов. Описывается структура основанного на приведенном подходе инструментального программного комплекса разработки управляющих программ для космических аппаратов.
Мехатроника, автоматизация, управление. 2007. № 7. С. 46-51.