Библиотека » Информационные Технологии
Языковые средства системы автматизированного синтеза алгоритмов управления реального времени
Калентьев А.А., Тюгашев А.А., Международная научно-техническая конференция “Актуальные проблемы анализа и обеспечения надежности и качества приборов, устройств и систем”: Сб. докл. – Пенза,....
Алгебраические модели и прогаммные средства для проектирования алгоритмов управления бортовой аппаратурой
Калентьев А,А., Тюгашев А.А., Международная научно-техническая конференция “Методы и средства повышения надежности приборов, устройств и систем”: Тез. докл.. – Пенза, 1995 С.77.
Разработка подсистемы синтеза управляющих алгоритмов на базе исчисления УА
Калентьев А.А., Тюгашев А.А., Всероссийская научная школа“Компьютерная алгебра, логика и интеллектное управление. Проблемы анализа стратегической стабильности”:Сб.трудов. Ч4.-Иркутск, ИрВЦ....
Использование многовходовой модели для представления управляющего алгоритма
Калентьев А.А., Тюгашев А.А., Научно-техническая конференция “Перспективные информационные технологии в научных исследованиях, проеировании и обучении. ”:Тез. докл.-Самара, 1995.-С65.
Применение CASE-технологии для проектирования управляющих алгоритмов реально времени
Калентьев А.А., Тюгашев А.А., Научно-техническая конференция “Перспективные информационные технологии в научных исследованиях, проеировании и обучении. ”:Тез. докл. -Самара, 1995.-С64.
Алгебраическая система синтеза управляющих алгоритмов
Калентьев А.А., Тюгашев А.А., Научно-исследовательские разработки и высокие технологии двойного применения: материалы 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.
