Найдено научных статей и публикаций: 327   
161.

Формальная верификация требований к управляющим алгоритмам реального времени (публикация автора на scipeople)   

А.А. Калентьев, А.А. Тюгашев, А.В. Шулындин - Сборник трудов Международного семинара "Семантика, спецификация и верификация программ: теория и приложения" PSSV-2010 , 2010
верификация управляющих алгоритмов методом логического вывода
Источник   Обсудить     
162.

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

А.А. Калентьев, А.А. Тюгашев - сб. [науч.] тр. X Всерос. науч. -техн. семинара по упр. движением и навигации летательных аппаратов (Самара, 26-27 июня 2001г.) / Самар. гос. аэрокосм. ун-т им. С. П. Королева, Гос. науч. -произв. ракет.-косм. центр "ЦСКБ - Прогресс" , 2002
доклад
Источник   Обсудить     
163.

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

А. А. Тюгашев, А. Ю. Богатов - Вестник Самарского государственного технического университета. Серия: физико-математические науки , 2009
Рассматривается проблема машинно-независимой оптимизации программ, построенных на управляющих алгоритмах реального времени (УАРВ). Описывается математическая модель семантики УА и основанные на ней эквивалентные оптимизирующие преобразования.
Источник   Обсудить     
164.

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

А.А. Тюгашев - Ежемесячный научно-технический и производственный журнал "Мехатроника, автоматизация, управление" , 2007
Рассматривается комплекс проблем спецификации, верификации и синтеза управляющих программ реального времени, исполняемых на борту космического аппарата. Анализируются подходы к решению этих задач на основе временной логики и применения расширенной алгебры управляющих процессов. Описывается структура основанного на приведенном подходе инструментального программного комплекса разработки управляющих программ для космических аппаратов.
Источник   Обсудить     
165.

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

А.А. Калентьев, А.А. Тюгашев - Пензенский государственный университет , 2005
Представлены математиические модели управляющих алгоритмов реального времени
Источник   Обсудить     
166.

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

А.А. Тюгашев - Самар. гос. аэрокосм. ун-т им. С. П. Королева, Гос. науч. -произв. ракет.-косм. центр "ЦСКБ - Прогресс" и др. , 2003
об автоматизированном оценивании временных харакеристик управляющих алгоритмов
Источник   Обсудить     
167.

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

А.А.Тюгашев - Вестник Самарского государственного аэрокосмического университета имени академика С.П. Королева , 2004
Рассматривается проблема создания надежных алгоритмов управления реального времени, устанавливаемых на борт космического аппарата. Описывается базирующаяся на модели семантики алгоритма методология проектирования управляющих алгоритмов, обеспечивающая повышение надежности. Приводятся сведения об автоматизированной системе проектирования, поддерживающей данную технологию.
Источник   Обсудить     
168.

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

Тюгашев А.А. - Сб.докладов международного симпозиума "Надежность и качество" , 2006
об алгебре и логическом исчислении управляющих алгоритмов
Источник   Обсудить     
169.

Методы верификации требований к управляющим алгоритмам реального времени (публикация автора на scipeople)   

Калентьев А.А., Тюгашев А.А. - Пензенский государственный университет , 2010
о верификации требований к управляющим алгоритмам реального времени с проверкой выполнимости и непротиворечивости
Источник   Обсудить     
170.

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

Тюгашев А.А., Шулындин А.В. - Пензенский государственный университет , 2009
доклад о верификации требований
Источник   Обсудить