RAE.RU
Энциклопедия
ИЗВЕСТНЫЕ УЧЕНЫЕ
FAMOUS SCIENTISTS
Биографические данные и фото 17184 выдающихся ученых и специалистов
Логин   Пароль  
Регистрация Забыли пароль?
 

Тюгашев Андрей Александрович

Научная тема: « СИНТЕЗ И ВЕРИФИКАЦИЯ УПРАВЛЯЮЩИХ АЛГОРИТМОВ РЕАЛЬНОГО ВРЕМЕНИ ДЛЯ БОРТОВЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ КОСМИЧЕСКИХ АППАРАТОВ »

Научная биография   « Тюгашев Андрей Александрович »

Членство в Российской Академии Естествознания

Специальность: 05.13.12

Год: 2007

Отрасль науки: Технические науки

Основные научные положения, сформулированные автором на основании проведенных исследований:

  1. Математический аппарат для описания управляющих алгоритмов реального времени, в том числе модель семантики УА РВ, логико-временная схема и многовариантная модель УА РВ.
  2. Алгебраический подход к УА РВ, обеспечивающий конструктивное построение и исследование УА РВ с использованием операций и предикатов многоосновной алгебраической системы УА РВ.
  3. Формальная теория УА РВ и ее применение в качестве средства спецификации и верификации важнейших свойств УА РВ.
  4. Методы и средства автоматизированного синтеза логико-временной схемы УА РВ и параметрической генерации текста управляющей программы на заданном языке.
  5. Методы выбора проектных решений при синтезе УА РВ для БВС КА.

Список опубликованных работ

Монография:

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.

Комментарии:

Если вы считаете, что какое-то сообщение нарушает Правила, оскорбляет Вас как личность, несёт заведомо ложную информацию, и должно быть удалено, сообщите нам по адресу sergey@rae.ru

Ваше имя
Текст комментария
Введите число с изображения

Антиспам защита

При добавлении комментария Вы соглашаетесь с пользовательским соглашением