- Математический аппарат для описания управляющих алгоритмов реального времени, в том числе модель семантики УА РВ, логико-временная схема и многовариантная модель УА РВ.
- Алгебраический подход к УА РВ, обеспечивающий конструктивное построение и исследование УА РВ с использованием операций и предикатов многоосновной алгебраической системы УА РВ.
- Формальная теория УА РВ и ее применение в качестве средства спецификации и верификации важнейших свойств УА РВ.
- Методы и средства автоматизированного синтеза логико-временной схемы УА РВ и параметрической генерации текста управляющей программы на заданном языке.
- Методы выбора проектных решений при синтезе УА РВ для БВС КА.
1. Калентьев А.А., Тюгашев А.А. ИПИ/CALS технологии в жизненном цикле комплексных программ управления. - Самара: СНЦ РАН, 2006. - 285 с.: ил.- 1000 экз. - ISBN 5-934-24257-1.
Статьи в изданиях, рекомендованных ВАК для публикации результатов докторских диссертаций:
2.Тюгашев, А.А. Интегрированная среда для проектирования управляющих алгоритмов реального времени // Известия РАН. Теория и системы управления. -2001.- №5.-, С. 128-141.
3.Калентьев А.А., Тюгашев А.А. Использование технологии ГРАФКОНТ при автоматизированном проектировании управляющих программ реального времени для БВС КА. // Всероссийский аэрокосмический журнал «Полет». – 2005. - №12. - С. 41-47.
4.Тюгашев А.А. Автоматизированная спецификации, верификация и синтез управляющих программ на основе логического и алгебраического подходов // Вестник СГАУ. – 2007.- №1(12). – С. 171-179.
5.Тюгашев А.А. Автоматизированное оценивание временных характеристик программ управления комплексного функционирования в технологии ГРАФКОНТ // Вестник СГТУ. Серия «Физико-математические науки». – 2007. - №1 (14). – С. 134-137.
6.Тюгашев А.А. Автоматизация спецификации, синтеза и верификации управляющих программ реального времени с применением логического и алгебраического подходов // Мехатроника, автоматизация, управление.- 2007. - №7. - С. 46-50.
7.Тюгашев А.А. Методология и программный комплекс для автоматизированного проектирования управляющих алгоритмов реального времени // Вестник СНЦ РАН. Том 7.- 2005. - №1. - С.131-137.
8.Калентьев А.А., Тюгашев А.А. CALS-технологии для бортовых алгоритмов управления космическими аппаратами // Вестник СНЦ РАН. Том 7. .- 2005.- №1. - С.124-130.
9.Тюгашев А.А. Алгебраические модели управляющих алгоритмов и программ реального времени для космических аппаратов. // Вестник СГТУ. Серия «Физико-математические науки».- 2005. - выпуск 38. – С. 19-25.
10.Тюгашев А.А. Технология проектирования надежных управляющих алгоритмов реального времени для космических аппаратов. // Вестник СГАУ. - 2004. - №1. – С.124-131.
Статьи в сборниках научных трудов:
11.Калентьев А.А., Тюгашев А.А. Оптимизация логико-временной схемы управляющего алгоритма при его автоматизированном синтезе. // Международный симпозиум «Надежность и качество 2007»:сб. научн. тр. / ПГУ. – Пенза, 2007. -С.117-118.
12.Калентьев А.А., Тюгашев А.А. Математическое моделирование управляющих алгоритмов и программ реального времени. // Международный симпозиум «Надежность и качество 2005»:сб. научн. тр. / ПГУ. – Пенза, 2005. ЧII.-С.251-257.
13.Калентьев А.А., Тюгашев А.А. Технология проектирования надежных и качественных алгоритмов управления реального времени. // Труды Международный симпозиум «Надежность и качество 2004»: сб. научн. тр. /ПГУ.- Пенза, 2004. – С.249-253.
14.Калентьев А.А., Тюгашев А.А. Методология проектирования надежных алгоритмов управления для космических аппаратов // 11-й Всероссийский научно-технический семинар по управлению движением и навигации летательных аппаратов: сб. научн. тр. / СГАУ.– Самара, 2003. - С.115-119.
15.Тюгашев А.А. Технология проектирования качественных и надежных управляющих программ реального времени для БВС КА // Международный симпозиум «Надежность и качество 2003»: сб. научн. тр. / ПГУ.- Пенза, 2003. -С.201-203.
16.Тюгашев А.А. Автоматизация оценивания временных характеристик программ управления комплексного функционирования в технологии ГРАФКОНТ // Международный симпозиум «Надежность и качество 2003»: сб. научн. тр. / ПГУ. – Пенза, 2003. – C.198-201.
17.Калентьев А.А., Тюгашев А.А. Развитие системы автоматизации проектирования бортовых управляющих алгоритмов реального времени ГРАФКОНТ // Международный симпозиум «Надежность и качество 2002»: сб. научн. тр. / ПГУ. – Пенза, 2002. – С.123-129.
18.Тюгашев А.А. Использование функции выполнимости для описания алгоритмов управления дискретными асинхронными системами // Международный симпозиум «Надежность и качество 2002»: сб. научн. тр. / ПГУ. – Пенза, 2002. – С.129-132.
19.Калентьев А.А., Мостовой Я.А., Тюгашев А.А. Технология ГРАФКОНТ для автоматизированного проектирования комплексных управляющих программ. // Сб. научно-технических статей по ракетно-космической тематике. / ГНПРКЦ «ЦСКБ-Прогресс».- Самара,2001. - C.165-167.
20.Калентьев А.А., Мостовой Я.А., Тюгашев А.А. Проблема неоднозначности при порождении синтаксических структур над семантикой управляющих алгоритмов реального времени. // Сб. научно-технических статей по ракетно-космической тематике. / ГНПРКЦ «ЦСКБ-Прогресс».- Самара,2001. - C.162-165.
21.Тюгашев А.А. Построение улучшенного транслятора проблемно-ориентированного языка описания управляющих алгоритмов реального времени в системе ГРАФКОНТ // Международный симпозиум «Надежность и качество 2001»: сб. научн. тр. / ПГУ. – Пенза, 2001. – С.33-35.
22.Калентьев А.А., Тюгашев А.А. Проблема автоматизированного формирования отладочных заданий в рамках информационной технологии автоматизированного проектирования бортовых алгоритмов управления // Международный симпозиум «Надежность и качество 2001»: сб. научн. тр. / ПГУ. – Пенза, 2001. – С.35-37.
23.Тюгашев А.А. Неоднозначность порождения логической схемы управляющего алгоритма реального времени // Перспективные информационные технологии в научных исследованиях, проектировании и обучении: сб. научн. тр. / СГАУ. - Самара, 2001.-С.29-35.
24.Калентьев А.А., Тюгашев А.А. Математическая модель алгоритмов управления системами с множеством дискретных состояний // Перспективные информационные технологии в научных исследованиях, проектировании и обучении: сб. научн. тр. / СГАУ. - Самара, 2001.-С.29-35.
25.Калентьев А.А., Тюгашев А.А. Задача согласования логики и времени исполнения функциональных управляющих программ в системе ГРАФКОНТ // Управление движением и навигация летательных аппаратов: сб. научн. тр./ Самарский филиал академии космонавтики. – Самара, 2000. - С.90-95.
26.Калентьев А.А., Мостовой Я.А., Платонов С.Н., Тюгашев А.А., Ендуткина Л.И., Николаев Ю.А. Система автоматизированного синтеза бортовых алгоритмов управления // Управление движением и навигация летательных аппаратов: сб. научн. тр./ Самарский филиал академии космонавтики. – Самара, 2000. - С.96-97.
27.Калентьев А.А., Мостовой Я.А., Тюгашев А.А. Параметризованная генерация кода ассемблерного текста в CASE-технологии ГРАФКОНТ // Международный симпозиум «Надежность и качество»: кн.докл. / ПГУ– Пенза, 1999.С.186-187.
28.Калентьев А.А., Мостовой Я.А., Тюгашев А.А. Проблема переполнения при кодировании векторов трехзначной логики в системе ГРАФКОНТ // Международный симпозиум «Надежность и качество»: кн.докл. / ПГУ– Пенза, 1999.С.185-186.
29.Калентьев А.А., Тюгашев А.А. Графический редактор в системе автоматизации проектирования управляющих алгоритмов // Международная научно-техническая конференция «Актуальные проблемы анализа и обеспечения надежности и качества приборов, устройств и систем»: сб. докладов . - Пенза, 1998., - С. 158-159.
30.Калентьев А.А., Тюгашев А.А. Автоматизированный синтез управляющих программ реального времени на языке ассемблера // Международная научно-техническая конференция «Актуальные проблемы анализа и обеспечения надежности и качества приборов, устройств и систем»: сб. докладов . - Пенза, 1998., - С. 156-157.
31.Тюгашев А.А. Построение текста управляющего алгоритма на базе многовходовой модели. // Управление движением и навигация летательных аппаратов: сб. научн. тр./ Самарский филиал академии космонавтики. – Самара, 1998. - С.71-74.
32.Калентьев А.А., Тюгашев А.А. Проектирование управляющих алгоритмов средствами объектно-ориентированного программирования. // Управление движением и навигация летательных аппаратов: сб. научн. тр./ Самарский филиал академии космонавтики. – Самара, 1998. - С.68-71.
33.Калентьев А.А., Тюгашев А.А. Алгебраические модели и программные средства для проектирования алгоритмов управления бортовой аппаратурой. // Цифровые модели в проектировании и производстве РЭС: межвузовский сб. научн. тр.. / ПГТУ. - Пенза, 1996. – С..30-35.
34.Калентьев А.А., Тюгашев А.А. Языковые средства системы автоматизированного синтеза алгоритмов управления реального времени // Международная научно-техническая конференция «Актуальные проблемы анализа и обеспечения надежности и качества приборов, устройств и систем»: сб. докл.. / ПГТУ.- Пенза, 1996. С.55-57.
35.Калентьев А.А., Тюгашев А.А. Многовариантный синтез алгоритмов управления реального времени // VII-й Всероссийский семинара с межд. участием по управлению движением и навигации летательных аппаратов : cб. докладов / СГАУ. - Самара, 1995. –С.19-25.
36.Тюгашев А.А. Процессор выходных документов в системе автоматизации проектирования управляющих алгоритмов // VII-й Всероссийский семинара с межд. участием по управлению движением и навигации летательных аппаратов : cб. докладов / СГАУ. - Самара, 1995. –С.17-19.
37.Калентьев А.А., Тюгашев А.А. Разработка подсистемы синтеза управляющих алгоритмов на базе исчисления УА // Всероссийская научная школа «Компьютерная алгебра, логика и интеллектное управление. Проблемы анализа стратегической стабильности»,: сб. трудов / ИрВЦ СО РАН. - Иркутск, ,1994.
Тезисы докладов:
38.Калентьев А.А., Тюгашев А.А. Алгебраические и логические подходы к спецификации, верификации и синтезу управляющих программ для КА // 11-я Международная научно-техническая конференция «Системный анализ, управление и навигация»:тез . докл. / МАИ.-М., 2006. – С.171.
39.Калентьев А.А., Тюгашев А.А. Автоматизированное оценивание характеристик управляющих программ БВС. // 10-я Международная научно-техническая конференция «Системный анализ, управление и навигация»:тез . докл. / МАИ.-М., 2005. – С.101.
40.Калентьев А.А., Тюгашев А.А. Методы повышения качества при проектировании управляющих программ для космических аппаратов. // 9-ая Международная конференция «Системный анализ и управление»: тез . докл. / МАИ.-М., 2005. – С.56.
41.Калентьев А.А., Тюгашев А.А. Технология проектирования надежных бортовых алгоритмов реального времени // 8-ая Международная конференция «Системный анализ и управление»: тез . докл. / МАИ.-М., 2003. - С. 55.
42.Калентьев А.А., Тюгашев А.А. Автоматизация проектирования и отладки бортовых управляющих алгоритмов CASE-средствами // 7-ая Международная конференция «Системный анализ и управление»: тез . докл. / МАИ.-М., 2002. - С. 51-52.
43.Калентьев А.А., Тюгашев А.А. Система автоматизации проектирования алгоритмов управления летательными аппаратами // 6-я Международная конференция "Системный анализ и управление аэрокосмическими комплексами»: тез. докл. / МАИ.-М., 2001 - С. 99.
44.Калентьев А.А., Тюгашев А.А. Моделирование алгоритмов управления асинхронными системами с дискретными состояниями // Тезисы докладов Международная космическая конференции, посвященной 40-летию первого полета человека в космос «Космос без оружия – арена мирного сотрудничества в XXI веке»:тез. докл. / МАИ. -Москва, 2001.С.50.
45.Тюгашев А.А. Технология ГРАФКОНТ автоматизированного создания алгоритмов управления космическими аппаратами // XХVII н.т.к., посвященная 40-летию первого полета человека в космос «Гагаринские чтения»: тез. докл. / МАТИ. - Москва, 2001.С.19-20.
46.Тюгашев А.А. Параметрическая генерация текста управляющей программы реального времени // XХVII н.т.к., посвященная 40-летию первого полета человека в космос «Гагаринские чтения»: тез. докл. / МАТИ. - Москва, 2001. - С.21.
47.Калентьев А.А., Тюгашев А.А. Использование многовходовой модели для представления управляющего алгоритма // Научно-техническая конференция «Перспективные информационные технологии в научных исследованиях, проектировании и обучении»: тез. докл./ СГАУ.- Самара, 1995. - С.65.
48.Калентьев А.А., Тюгашев А.А. Применение CASE-технологии для проектирования управляющих алгоритмов реального времени // Научно-техническая конференция «Перспективные информационные технологии в научных исследованиях, проектировании и обучении»: тез. докл./ СГАУ.- Самара, 1995. - С.64.
49.Калентьев А.А., Тюгашев А.А. Алгебраическая система синтеза УА // 1-ая Поволжская научно-техническая конференция «Научно-исследовательские разработки и высокие технологии двойного применения»: тез. докл. / СГАУ. - Самара, 1995.С.51-52.
50.Тюгашев А.А. Автоматизация проектирования алгоритмов управления реального времени на основе алгебраических моделей // V-я научная межвузовская конференции «Математическое моделирование и краевые задачи»: тез. докл. / СамГТУ. - Самара, 1995.С.18.