Найдено научных статей и публикаций: 31, для научной тематики: Управляющий алгоритм
21.
Калентьев А.А., Тюгашев А.А.
- ГПСО "Импульс" , 1995
описана алгебраическая система управляющих алгоритмов...
описана алгебраическая система управляющих алгоритмов
Научно-исследовательские разработки и высокие технологии двойного применения: материалы 1-й Поволжской научно-техническая конференции, 21-23 февраля 1995 г. Ч.1 -Самара:ГПСО "Импульс" 1995.-С.95-96
22.
Тюгашев А.А., Шулындин А.В.
- Общество с ограниченной ответственностью "Научно-инновационный центр" , 2010
В работе описываются проблемы создания корректных алгоритмов для управления космическими аппаратами. Приводится математическая модель управляющих алгоритмов реального времени, выявляются проблемы верификации требований к ним и определяются возможные методы автоматической верификации....
В работе описываются проблемы создания корректных алгоритмов для управления космическими аппаратами. Приводится математическая модель управляющих алгоритмов реального времени, выявляются проблемы верификации требований к ним и определяются возможные методы автоматической верификации.
В мире научных открытий. 2010. № 4-11. С. 62-64. ISSN 2072-0831
23.
Тюгашев А.А., Шулындин А.В.
- Пензенский государственный университет , 2009
доклад о верификации требований...
доклад о верификации требований
Труды международного симпозиума "Надежность и качество". 2009. Т. 1. С. 42-43.ISSN 2220-6418
24.
Калентьев А.А., Тюгашев А.А.
- Пензенский государственный университет , 2010
о верификации требований к управляющим алгоритмам реального времени с проверкой выполнимости и непротиворечивости...
о верификации требований к управляющим алгоритмам реального времени с проверкой выполнимости и непротиворечивости
сб.докладов международного симпозиума "Надежность и качество". 2010. Т. I. С. 54-55. ISSN 2220-6418
25.
Тюгашев А.А.
- Сб.докладов международного симпозиума "Надежность и качество" , 2006
об алгебре и логическом исчислении управляющих алгоритмов...
об алгебре и логическом исчислении управляющих алгоритмов
Сб.докладов международного симпозиума "Надежность и качество". 2006. Т. 1. С. 143-146.ISSN 2220-6418
26.
А.А.Тюгашев
- Вестник Самарского государственного аэрокосмического университета имени академика С.П. Королева , 2004
Рассматривается проблема создания надежных алгоритмов управления реального времени, устанавливаемых на борт космического аппарата. Описывается базирующаяся на модели семантики алгоритма методология проектирования управляющих алгоритмов, обеспечивающая повышение надежности. Приводятся сведения об авт...
Рассматривается проблема создания надежных алгоритмов управления реального времени, устанавливаемых на борт космического аппарата. Описывается базирующаяся на модели семантики алгоритма методология проектирования управляющих алгоритмов, обеспечивающая повышение надежности. Приводятся сведения об автоматизированной системе проектирования, поддерживающей данную технологию.
Вестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва 2004. № 1. С. 124-131 ISSN 1998-6629
27.
Тюгашев А.А.
- СГАУ , 1997
диссертация на соискание ученой степени кандидата технических наук...
диссертация на соискание ученой степени кандидата технических наук
Самар. гос. аэрокосм. ун-т им. С. П. Королева. - Самара, 1997. - 166 с.
28.
А.А. Калентьев, А.А. Тюгашев
- Пензенский государственный университет , 2005
Представлены математиические модели управляющих алгоритмов реального времени...
Представлены математиические модели управляющих алгоритмов реального времени
Сб.докладов международного симпозиума "Надежность и качество". 2005. Т. 1. С. 196-199. ISSN 2220-6418
29.
А. А. Тюгашев, А. Ю. Богатов
- Вестник Самарского государственного технического университета. Серия: физико-математические науки , 2009
Рассматривается проблема машинно-независимой оптимизации программ, построенных на управляющих алгоритмах реального времени (УАРВ). Описывается математическая модель семантики УА и основанные на ней эквивалентные оптимизирующие преобразования....
Рассматривается проблема машинно-независимой оптимизации программ, построенных на управляющих алгоритмах реального времени (УАРВ). Описывается математическая модель семантики УА и основанные на ней эквивалентные оптимизирующие преобразования.
Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2009, 1(18), 260–266
30.
А. А. Калентьев, Я. А. Мостовой, А. А. Тюгашев
- сб. [науч.] тр. X Всерос. науч. -техн. семинара по упр. движением и навигации летательных аппаратов (Самара, 26-27 июня 2001г.) / Самар. гос. аэрокосм. ун-т им. С. П. Королева, Гос. науч. -произв. ракет.-косм. центр "ЦСКБ - Прогресс" , 2002
доклад...
доклад
сб. [науч.] тр. X Всерос. науч. -техн. семинара по упр. движением и навигации летательных аппаратов (Самара, 26-27 июня 2001г.) / Самар. гос. аэрокосм. ун-т им. С. П. Королева, Гос. науч. -произв. ракет.-косм. центр "ЦСКБ - Прогресс" и др. - Самара, 2002. - С. 156-159 . - ISBN 5-93424-060-9