Библиотека » Информационные Технологии » Системы реального времени

Библиотека

Информационные Технологии

Алгебраические модели и прогаммные средства для проектирования алгоритмов управления бортовой аппаратурой
Калентьев А,А., Тюгашев А.А., Международная научно-техническая конференция “Методы и средства повышения надежности приборов, устройств и систем”: Тез. докл.. – Пенза, 1995 С.77.
алгебраические модели   программные средства   управляющий алгоритм  
Использование многовходовой модели для представления управляющего алгоритма
Калентьев А.А., Тюгашев А.А., Научно-техническая конференция “Перспективные информационные технологии в научных исследованиях, проеировании и обучении. ”:Тез. докл.-Самара, 1995.-С65.
математическая модель   многовходовая модель   управляющий алгоритм   проектирование  
Алгебраическая система синтеза управляющих алгоритмов
Калентьев А.А., Тюгашев А.А., Научно-исследовательские разработки и высокие технологии двойного применения: материалы 1-й Поволжской научно-техническая конференции, 21-23 февраля 1995 г. Ч.1....
алгебра   управляющий алгоритм  
Многовариантный синтез алгоритмов управления реального времени
А.А. Калентьев, А.А. Тюгашев, Сб.докладов 7-го Всероссийского семинара по управлению движением и навигации летательных аппаратов, с.97-100.
многовариантный синтез   алгоритм управления   космический аппарат  
Разработка методов верификации требований к системам управления реального времени
Тюгашев А.А., Шулындин А.В., В мире научных открытий. 2010. № 4-11. С. 62-64. ISSN 2072-0831.
верификация   управляющий алгоритм   автоматическая верификация  
Разработка методов и программных средств верификации требований к системам управления реального времени
Тюгашев А.А., Шулындин А.В., Труды международного симпозиума "Надежность и качество". 2009. Т. 1. С. 42-43.ISSN 2220-6418.
система управления реального времени   верификация   управляющий алгоритм  
Оптимизация логико-временной схемы управляющего алгоритма при его автоматизированном синтезе
А.А. Калентьев, А.А. Тюгашев, Труды международного симпозиума "Надежность и качество". 2007. Т. 1. С. 117-118. ISSN 2220-6418.
логико-временная схема   оптимизация   управляющий алгоритм реального времени  
Методы верификации требований к управляющим алгоритмам реального времени
Калентьев А.А., Тюгашев А.А., сб.докладов международного симпозиума "Надежность и качество". 2010. Т. I. С. 54-55. ISSN 2220-6418.
верификация   спецификация   управляющий алгоритм  
Об автоматизированной спецификации, верификации и синтезе управляющих программ реального времени на базе логического и алгебраического подходов
Тюгашев А.А., Сб.докладов международного симпозиума "Надежность и качество". 2006. Т. 1. С. 143-146.ISSN 2220-6418.
управляющий алгоритм   логическое исчисление   алгебра   Надежность   качество программ  
Технология проектирования надежных управляющих алгоритмов реального времени для космических аппаратов
А.А.Тюгашев, Вестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва 2004. № 1. С. 124-131 ISSN 1998-6629.
технология проектирования   надежность программ   управляющий алгоритм