Поиск публикаций Научные конференции и семинары Новости науки Научная сеть

 Найдено научных статей и публикаций: 31, для научной тематики: управляющий алгоритм


Связанные научные тематики:
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 



1.

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

А.Ю. Богатов, А.А. Тюгашев - Изд-во Пензенского ун-та , 2013
описывается логическое исчисление управляющих алгоритмов
2.

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

А.А. Тюгашев, А.В. Шулындин - Вестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва (национального исследовательского университета) , 2013
Описывается инструментальный программный комплекс для модельного/дедуктивного/визуального контроля правильности управляющих...
3.

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

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

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

Калентьев А.А., Тюгашев А.А. - Изд-во МАИ , 2009
описана графическая верификация циклограмм управления космическими аппаратами
5.

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

Калентьев А.А., Тюгашев А.А. - Изд-во МАИ , 2002
описаны методы автоматизации проектирования и отладки бортовых управляющих алгоритмов
6.

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

Калентьев А.А., Тюгашев А.А. - ПГТУ , 2002
Описаны перспективы и планы развития системы ГРАФКОНТ
7.

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

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

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

Тюгашев А.А. - СГАУ , 1994
Преставлен проект системы, предназначенной для атвоматизации проектирования управляющих алгоритмов для космических летательных...
9.

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

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

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

Калентьев А.А., Тюгашев А.А. - Самарский филиал Академии космонавтики , 2000
показана сложная сущность управляющего алгоритма реального времени с проекциями во временном и логическом пространстве