RU 
EN 
CN 
ES 
Тюгашев Андрей Александрович
- Кафедра автоматических систем энергетических установок имени академика РАН Владимира Павловича Шорина, профессор
- Кафедра динамики полёта и систем управления, профессор
- Email: tyugashev.aa@ssau.ru
Учёные степени и звания
- 2008 Присуждена учёная степень "Доктор технических наук" , тема диссертации "Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов"
- 2002 Присвоено учёное звание "Доцент"
- 1997 Присуждена учёная степень "Кандидат технических наук" , тема диссертации "Многоязыковый процессор автоматизированного описания управляющих алгоритмов"
Образование
- 2022 Повышение квалификации: Самарский университет, Навыки оказания первой помощи
- 2021 Повышение квалификации: Самарский университет, Электронная информационно-образовательная среда университета
- 2020 Повышение квалификации: Самарский государственный университет путей сообщения, "Использование ЭИОС СамГУПС при реализации программ высшего и дополнительного образования"
- 2020 Повышение квалификации: Самарский государственный университет путей сообщения, "Реализация адаптированных программ профессионального образования и профессионального обучения. Вопросы обеспечения доступности объектов и услуг в сфере образования"
- 2019 Повышение квалификации: Тольяттинский государственный университет, "Технологии оперативной обработки данных и анализа информации"
- 2019 Повышение квалификации: Самарский государственный технический университет, "Электронная информационно-образовательная среда Вуза"
- 2018 Повышение квалификации: Самарский государственный технический университет, "Теоретические и практические аспекты обучения в университете лиц с ограниченными возможностями здоровья"
- 2005 - 2007 Докторантура: Самарский государственный аэрокосмический университет имени академика С.П.Королева
- 1994 - 1997 Аспирантура: Самарский государственный аэрокосмический университет имени академика С.П.Королева
- 1988 - 1994 Высшее: Самарский государственный аэрокосмический университет имени академика С.П.Королева, факультет Информатика
- 2022 Повышение квалификации: Самарский университет, Инклюзивное профессиональное образование
Монографии
2009
- 1 ТЮГАШЕВ А.А. Графические языки программирования и их применение в системах управления реального времени Самара: Издательство Самарского научного центра РАН, 2009. 97с.
2006
- 1 ТЮГАШЕВ А.А. ИПИ/CALS технологии в жизненном цикле комплексных программ управления Самара: Издательство Самарского научного центра РАН, 2006. 265с.
ВАК
2015
- 1 Салмин В.В., Филатов А.В., Ткаченко И.С. и др. Вычислительный алгоритм формирования программного движения в программном повороте малого космического аппарата // Вестник СГАУ. — 2015. — № Том 14, № 2 . — С. 9-18
- 2 ТЮГАШЕВ А.А. Метод верификации расписаний на основе логического исчисления // Вестник транспорта Поволжья. — 2015. — № 2. — С. 105-112
2014
- 1 ТЮГАШЕВ А.А., МЯСНИКОВА Е.А. ПАРАМЕТРИЧЕСКИЙ ГЕНЕРАТОР УПРАВЛЯЮЩИХ ПРОГРАММ РЕАЛЬНОГО ВРЕМЕНИ // ИЗВЕСТИЯ СНЦ РАН. — 2014. — № том 16, №4. — С. 447-449
2013
- 1 ТЮГАШЕВ А.А., Петунин Н.В. Система активной интеллектуальной безопасности дорожного движения // Журнал Автомобильных инженеров. — 2013. — № 3 (80). — С. 53-53
- 2 ТЮГАШЕВ А.А., ШУЛЫНДИН А.В. Реализация математической модели верификации требований к управляющим алгоритмам реального времени в автоматизированной системе визуального проектирования // Вестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва (национального исследовательского университета). — 2013. — № №7 (38). — С. 59-66
2012
- 1 ШУЛЫНДИН А.В., БОГАТОВ А.Ю., ТЮГАШЕВ А.А. Визуальный подход к верификации управляющих программ реальноговремени // ВЕСТНИК СГАУ. — 2012. — № 1 (32). — С. 219-225
- 2 ТЮГАШЕВ А.А. Пути повышения надежности и качества программного обеспечения в космической отрасли // Управление большими системами. — 2012. — № Вып. 39. — С. 288-299
2010
- 1 ТЮГАШЕВ А.А., Шулындин А.В. Разработка методов верификации требований к системам управления реального времени // В мире научных открытий. — 2010. — № 4(10). — С. 62-64
2006
- 1 ТЮГАШЕВ А.А. Интегрированная среда для проектирования управляющих алгоритмов реального времени // Известия Российской академии наук. Теория и системы управления. — 2006. — № 2006. № 2. — С. 128-141
Другие
2015
- 1 ФИЛАТОВ А.В., ТКАЧЕНКО И. С., ТЮГАШЕВ АНДРЕЙ АЛЕКСАНДРОВИЧ и др. МАТЕМАТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ СИСТЕМЫ УПРАВЛЕНИЯ МАЛЫМ КОСМИЧЕСКИМ АППАРАТОМ // Материалы международной конференции и молодежной школы "ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ И НАНОТЕХНОЛОГИИ (ИТНТ-2015)". — 2015. — № 1. — С. 290-295
- 2 Тюгашев А.А., Насекин А., Сопченко Е.В. TOOLS FOR VISUALIZATION AND CONSTRUCTION OF REAL-TIME SPACECRAFT’S CONTROL // \"ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ И НАНОТЕХНОЛОГИИ (ИТНТ-2015)\". — 2015. — С. 284-287
- 3 Andrey Tyugashev, Myasnikova E.A., Elena Sopchenko TOOLS OF TEST GENERATION FOR SATELLITES CONTROL PROGRAMS // \"ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ И НАНОТЕХНОЛОГИИ (ИТНТ-2015)\". — 2015. — P. 287-290
- 4 ТЮГАШЕВ А.А. Использование бортовых баз знаний реального времени // XVII Всероссийский симпозиум по управлению движением и навигации летательных аппаратов. — 2015. — С. 52-57
2014
- 1 ТЮГАШЕВ А.А. Бортовые базы знаний как метод обеспечения живучести автоматических космических аппаратов // Международный симпозиум "Надежность и качество 2014". — 2014. — С. 72-74
- 2 ТЮГАШЕВ А.А. Интеллектуальные программные средства автономного управления как средство обеспечения живучести космического аппарата // Системный анализ, управление и навигация. — 2014. — С. 89-91
2013
- 1 ТЮГАШЕВ А.А. Направления обеспечения надежности программного обеспечения в авиакосмической отрасли // Материалы XI Международной научно-технической конференции "Авиа-2013". — 2013. — № Том 4. — С. 2212-2215
- 2 МЯСНИКОВА Е.А., ТЮГАШЕВ А.А. Параметрический генератор управляющих программ реального времени // МЕЖДУНАРОДНАЯ НАУЧНО-ТЕХНИЧЕСКАЯ КОНФЕРЕНЦИЯ "ПЕРСПЕКТИВНЫЕ ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ (ПИТ-2013)". — 2013. — С. 352-357
- 3 ТЮГАШЕВ А.А., БОГАТОВ А.Ю. Логическое исчисление управляющих алгоритмов // Сборник трудов Международного симпозиума "Надежность и качество 2013". — 2013. — № Т.1. — С. 256-258
- 4 ТЮГАШЕВ А.А., БОГАТОВ А.Ю. Исчисление управляющих алгоритмов реального времени // Материалы XI Международной научно-технической конференции "Авиа-2013". — 2013. — № ТОМ 1. — С. 637-640
- 5 ТЮГАШЕВ А.А., БОГАТОВ А.Ю. Логический подход к управляющим алгоритмам // Сборник трудов XVI Всероссийского семинара по управлению движением и навигации летательных аппаратов. — 2013. — № Часть I.. — С. 95-98
2012
- 1 ЕРМАКОВ Е.А., ИЛЬИН И.А., ТЮГАШЕВ А.А. Создание единой отраслевой САПР ПО как основное условие предотвращения кризиса управляющего ПО в космической отрасли // XXXVI АкадемическИЕ чтенИЯ по космонавтике/ Под общей редакцией А.К. Медведевой. — 2012. — С. 468
- 2 ТЮГАШЕВ А.А., КАЛЕНТЬЕВ А.А. Технология ГРАФКОНТ/ГЕОЗ автоматизациипроцессов проектирования и верификации управляющего программного обеспечения для космическихаппаратов // Сист. управ-я беспилот.косм.и атмосфер.летат.аппаратами. — 2012. — С. 147-148
- 3 TYuGAShEV A.A., Ermakov E.I., Ilin I.A. Ways to get more reliable and safe software in Aerospace Industry // Proc. Program Semantics, Specification and Verification: Theory and Applications (PSSV 2012). — 2012. —
- 4 ТЮГАШЕВ А.А., БОГАТОВ А.Ю., ШУЛЫНДИН А.В. АВТОМАТИЧЕСКАЯ ГЕНЕРАЦИЯ ОТЛАДОЧНЫХ ЗАДАНИЙ В ТЕХНОЛОГИИ ГРАФКОНТ/ГЕОЗ // НАДЕЖНОСТЬ И КАЕЧТВО. — 2012. — С. 288-291
- 5 ТЮГАШЕВ А.А., ИЛЬИН И.А., ЕРМАКОВ И.Е. МЕТОДЫ ОБЕСПЕЧЕНИЯ НАДЕЖНОСТИ И КАЧЕСТВА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ В АЭРОКОСМИЧЕСКОЙ ОТРАСЛИ // НАДЕЖНОСТЬ И КАЧЕСТВО. — 2012. — С. 20-23
- 6 БОГАТОВ А.Ю., ТЮГАШЕВ А.А. Один подход к построению оптимизирующих преобразованийспецификации управляющих алгоритмов реального времени // XV Всероссийский семинар по управлению движением и навигации летательных аппаратов. — 2012. — С. 69-72
- 7 ТЮГАШЕВ А.А., ШУЛЫНДИН А.В. Логический вывод в системе верификации требований к управляющималгоритмам реального времени // Управление движением и навигация летательных аппаратов. Сборник трудов XV Всероссийского семинара по управлению движением и навигации летательных аппаратов: Часть I. — 2012. — С. 157-160
- 8 ТЮГАШЕВ А.А. Направления совершенствования методов разработки и верификации программного обеспечения в аэрокосмической отрасли // СИСТЕМНЫЙ АНАЛИЗ, УПРАВЛЕНИЕ И НАВИГАЦИЯ. — 2012. — С. 77-79
2011
- 1 ТЮГАШЕВ А.А., Ильин И.А., Ермаков А.А. Создание единой отраслевой САПР ПО как основное условие предотвращения кризиса управляющего ПО в космической отрасли // Академические чтения по космонавтике. — 2011. —
- 2 TYuGAShEV A.A., KALENTEV A.A., Shulyndin A.V. Shulyndin Visual toolset for real-time onboard programs verification support // Proceedings of The Second Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2011). — 2011. —
- 3 ТЮГАШЕВ А.А., Богатов А.Ю. Графический визуализатор связей между логическими последовательностями алгоритмов управления космическими аппаратами // Тезисы докладов 16-й Международной конференции Системный анализ, управление и навигация. — 2011. —
- 4 KALENTEV A.A., TYuGAShEV A.A., Bogatov A.Yu. Visual toolset for real-time onboard programs verification support // The Second Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2011). — 2011. —
- 5 ТЮГАШЕВ А.А., Богатов А.Ю., Шулындин А.В. Использование расписаний при моделировании семантики управляющих алгоритмов реального времени // Международный симпозиум Надежность и качество 2011. — 2011. —
- 6 Ильин И.А., Ермаков И.Е., ТЮГАШЕВ А.А. Создание единой отраслевой САПР ПО как основное условие предоствращения кризиса управляющего ПО в космической отрасли // XXXV Академические чтения по космонавтике. — 2011. —
2010
- 1 ТЮГАШЕВ А.А., Шулындин А.В., КАЛЕНТЬЕВ А.А. Формальная верификация требований к управляющим алгоритмам реального времени // Международный семинар «Семантика, спецификация и верификация программ: теория и приложения» (ССВП 2010). — 2010. —
- 2 ТЮГАШЕВ А.А., Шулындин А.В. Логический вывод в системе верификации требований к управляющим алгоритмам реального времени // Международная конференция с элементами научной школы для молодежи Перспективные информационные технологии для авиации и космоса (ПИТ 2010). — 2010. — С. 247
- 3 ТЮГАШЕВ А.А., КАЛЕНТЬЕВ А.А. Средства визуализации программ интегрального управления космическими аппаратами // XV Международная научная конференция Системный анализ, управление и навигация. — 2010. —
- 4 ТЮГАШЕВ А.А., КАЛЕНТЬЕВ А.А. Методы верификации требований к управляющим алгоритмам реального времени // Международный симпозиум Надежность и качество 2010. — 2010. —
| Название | Авторы | Год | Вид публикации | Гриф | Издательство | Страницы |
|---|---|---|---|---|---|---|
| Языки программирования | 2014 | Учебное пособие | УМО | Другое | 333 |
Научные интересы
Искусственный интеллект
CASE-системы
Управление сложными техническими системами - например, космическими аппаратами, в реальном масштабе времени
Программная инженерия
Языки программирования
Научные результаты
Эксперт научно-технической сферы Российской Федерации с 2012 года (рег. номер 3675 в Федеральном реестре экспертов, области экспертизы программная инженерия, языки программирования, верификация программного обеспечения, средства автоматизации тестирования программ, визуальное программирование, системы управления реального времени).
Число научных публикаций - более 150, включая две монографии, учебное пособие "Языки программирования" издательства "Питер" с рекомендацией УМО
Индекс Хирша в Scopus 7
Индекс Хирша в РИНЦ 10
Приглашенный рецензент статей международного издательства Horizon Publishing (США, http://www.hrpub.org/journals/jour_reviewers.php?id=35)
Ассоциированный редактор научного журнала International Journal of Knowledge-Based and Intelligent Engineering Systems (Scopus) (Великобритания, IOS Press)
Консультативный редактор международного журнала (Scopus) International Journal of Reasoning Based Intelligent Systems (Великобритания, https://www.inderscience.com/jhome.php?jcode=ijris#journalDetail )
Доклады на конференциях, симпозиумах, семинарах:
Член программных комитетов специальных секций Международных конференций INISTA2018 (http://inista.org/ris2018.html, Греция) , ICMA2018 (Мадейра, Португалия). Член программного комитета ежегодного коллоквиума по программной инженерии для молодых ученых (SYRCoSE).
Приглашенный докладчик на Международных конференциях TMPA-14 ("Методы и инструменты анализа программ"), специальной секции WRIS2018 в рамках конференции ICEST2018 (Созополь, Болгария http://icestconf.org/wris-2018/) Пленарный докладчик на Международной конференции по мягким вычислениям и измерениям SCM-2018 (Санкт-Петербург).
В 2016-2018 - участник Международных конференций IDT2016 (Пуэрто де ла Круз, Испания), KES2016 (Лондон, Великобритания), ITNT2015, ITNT2017 (Самара), SCM2016, SCM2017, SCM2018 (Санкт-Петербург), KES2018 (Белград, Сербия).
Научно-педагогическая деятельность
Опыт преподавания в вузе - 29 лет (Самарский государственный аэрокосмический университет имени академика С.П. Королева (национальный исследовательский университет), ИТМО - Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики, ПГУПС - Петербургский государственный университет путей сообщения императора Александра I, Самарский государственный технический университет, Самарский государственный университет путей сообщения). Подготовка и проведение лекций, практических и лабораторных занятий, руководство курсовыми проектами, дипломным проектированием. Разработка учебных планов, учебно-методических комплексов дисциплин, и пр.
Лекционные курсы (специалитет, бакалавриат, магистратура, аспирантура, дневное, вечернее и заочное отделения): «Теория проектирования систем (системный анализ и инженерия знаний)», «Интеллектуальная робототехника», «Основы искусственного интеллекта», «Компьютерные средства искусственного интеллекта», «Искусственные нейросети», «Теория принятия решений и системный анализ», «Математические основы искусственного интеллекта», «Технология программирования», «Проектирование и архитектура программных систем», «Проектирование автоматизированных систем реального времени», «Современные методы разработки и проектирования сложных программных комплексов», «Проектирование защищенных автоматизированных систем», «Логическое программирование», «Компьютерная алгебра», «Машинно-ориентированное программирование», Спецкурс по С++, «Языки программирования», «Визуальное программирование», «Распределенная обработка данных в современных СУБД», «Модели и методы обработки данных», «Теория автоматов», «Операционные системы» и др.
Руководство учебно-исследовательской и научной работой студентов, включая победителей Международных и Всероссийских конкурсов и конференций, дипломными проектами, выпускными квалификационными работами бакалавров и магистров в области информационных технологий (>40). Руководство аспирантурой (пять чел).
Подготовка научных кадров
Руководство аспирантурой (пять чел).
Награды
Победитель конкурса грантов Президента РФ для молодых докторов наук (МД2009).
Награжден знаком Губернатора Самарской области «За успехи в высшем образовании и научной деятельности» (2019).
Победитель Самарского областного конкурса грантов для поддержки молодых кандидатов наук.
Совместно с А.А. Калентьевым – победитель Губернского конкурса научно-технических грантов.
Неоднократный победитель конкурса лучших молодых ученых и преподавателей Самарского государственного аэрокосмического университета.
Другие места работы
Самарский государственный технический университет, кафедра "Вычислительная техника"
Прочее
Опыт работы в США (2000) – компания Cleanscape Software International, Силиконовая Долина, Калифорния.
Программист-аналитик, консультант. Участие в проекте разработки комплексной системы автоматизированной разработки программ для операционной системы Linux – IDEal Linux. Участие в выработке концепции системы, участие в разработке отдельных модулей. Техническая поддержка продуктов в области автоматизации программирования (qef).
Эксперт научно-технической сферы Российской Федерации с 2012 года (рег. номер 3675 в Федеральном реестре экспертов, области экспертизы программная инженерия, языки программирования, верификация программного обеспечения, средства автоматизации тестирования программ, визуальное программирование, системы управления реального времени).
Обладатель профессиональных международных сертификатов в области программирования и информационных технологий (C, C++, Delphi и др).
Участник рабочей группы Роскосмоса по разработке и совершенствованию отраслевых стандартов в области создания бортового программного обеспечения.
Английский язык – свободный. Жил и работал в США (Силиконовая Долина, 2000 г., программист-аналитик, эксперт-консультант).
Знания и навыки включают:
Организационно-методические: опыт IT-менеджмента в крупной территориально распределенной организации, руководства коллективом в области разработки и сопровождения автоматизированных систем. С 1988 г. - участие на уровне исполнителя, научного сотрудника, с.н.с., в.н.с., заместителя руководителя, руководителя проектов в ряде НИР и ОКР для ракетно-космического центра «Прогресс», г. Самара. Написание научно-технических отчетов, согласование и сдача проектов заказчику и военной приемке.
2014-2018 гг – успешная реализация в качестве научного руководителя комплексной СЧ ОКР «Система интеллектуальной поддержки проектирования и верификации макропрограмм интегрального управления для спутников» для ОАО «Информационные спутниковые системы», г. Железногорск.
Руководство комплексными проектами в области автоматизации различных сторон деятельности организации (финансы и планирование, КИС, производство, кадры и др.), в том числе опыт руководства проектами для зарубежных заказчиков, включая командировки и проведение переговоров.
Опыт руководства крупными проектами для государственного заказчика (Правительство Самарской области).
Разработка концепций автоматизации среднего и территориально распределенного крупного предприятия (пароходство «Волготанкер»). Подготовка технических заданий и тех.проектов.
Опыт создания и руководства отделом системного анализа и перспективных разработок в ИТ-области в крупном транспортно-промышленном холдинге, анализа рынка аппаратных и программных ИТ-решений в сфере документооборота, управления ресурсами предприятий, финансового и управленческого учета. Проведение тендеров и взаимодействие с подрядчиками и исполнителями работ в ИТ-сфере.
Технические: Математическое моделирование и системный анализ, включая структурные и объектно-ориентированные методики анализа и проектирования и анализ/разработку регламентов бизнес-процессов. Программирование на различных языках, включая C/C++, Java, Pascal, FORTRAN, различные версии ассемблера и др. Знание стандартов процесса разработки сложных информационных систем (RUP), описания и моделирования бизнес-процессов и информационных потоков - UML2.0, SADT (IDEF0), DFD, ER-моделирование. Программы BPwin, ERwin, Rational Rose, MS Project и другие инструментальные средства системного анализа и управления проектами в высокотехнологичных областях. Системное администрирование компьютеров под управлением DOS, Windows, Linux, FreeBSD. Сетевое администрирование.
