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

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

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

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

А.А. Калентьев, А.А. Тюгашев - СГАУ , 1995
о многовариантном синтезе управляющего алгоритма
Источник   Обсудить     
173.

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

Калентьев А.А., Тюгашев А.А. - СГАУ , 1997
представлена многовариантная модель управляющего лгоритма реального времени
Источник   Обсудить     
174.

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

Калентьев А.А., Тюгашев А.А. - МАИ , 2003
описана технология проекирования управляющих алгоритмов реального времени для космических аппаратов
Источник   Обсудить     
175.

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

А.А, Тюгашев - СГАУ , 2003
описан метод автоматизированного вычисления временных характеристик управляющих программ реального времени
Источник   Обсудить     
176.

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

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

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

Калентьев А.А., Тюгашев А.А. - ПГУ , 2004
описана методология проектирования надежных и качественных алгоритмов управления реального времени
Источник   Обсудить     
178.

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

Тюгашев А.А. - СГАУ , 2001
описана проблема неодначности порождения схемы управляющего алгоритма и пути ее разрешения
Источник   Обсудить     
179.

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

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

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

Тюгашев А.А., Шулындин А.В. - СГАУ , 2012
описано применение логического вывода для установления непротиворечивости (верификации) спецификаций управляющих бортовых программ реального времени для космических аппаратов
  Обсудить