ПРОБЛЕМЫ НАДЕЖНОГО ИНТЕЛЛЕКТУАЛЬНОГО УПРАВЛЕНИЯ
СЛОЖНЫМИ СИСТЕМАМИ В РЕЖИМЕ РЕАЛЬНОГО ВРЕМЕНИ 

Тюгашев Андрей Александрович, доктор технических наук, профессор, кафедра вычислительной техники, Самарский государственный технический университет (Россия, г. Самара, ул. Молодогвардейская, 244), tau797@mail.ru

681.51:629

DOI

10.21685/2307-4205-2020-3-4

В самых разных сферах человечество использует сегодня сложные технические системы. Это автоматизированные производства, космические аппараты, атомные станции и пр. Подобные системы состоят из множества приборов, датчиков, исполнительных механизмов, объединенных в подсистемы различного назначения. Для выполнения системой поставленных перед ней целевых задач необходимо обеспечить согласованное во времени и по логике управления функционирование входящих в ее состав устройств. Средства управления должны реализовывать надежное и гибкое «интеллектуальное» управление в различных смыслах, анализируемых в статье. Описывается применение логики управляющих алгоритмов реального времени, ранее предложенной автором,  для случая ограниченных доступных ресурсов. Также описаны специальные инструментальные про- граммные средства поддержки верификации и синте- за необходимых средств управления.

Ключевые слова

интеллектуальное управление, управление сложными техническими комплексами, управляющий алгоритм реального времени, искусственный интеллект, верификация программ, формальные методы.

 Скачать статью в формате PDF

1. Мостовой, Я. А. Лекции по управлению сложными техническими системами : учеб. пособие / Я. А. Мостовой. – Самара : ФГБОУ ВПО ПГУТИ, 2014. – 192 c.
2. Хартов, В. В. Автономное управление космическими аппаратами связи, ретрансляции и навигации / В. В. Хартов // Авиакосмическое приборостроение. – 2006. – № 6. – С. 29–33.
3. Калентьев, А. А. ИПИ/CALS технологии в жизненном цикле комплексных программ управления / А. А. Калентьев, А. А. Тюгашев. – Самара : Изд-во Самарского научного центра РАН, 2006.
4. Колташев, А. А. Эффективная технология управления циклом жизни бортового программного обеспечения спутников связи и навигации / А. А. Колташев // Авиакосмическое приборостроение. – 2006. – № 12. – С. 20–25.
5. Тюгашев, А. А. Интегрированная среда для проектирования управляющих алгоритмов реального времени / А. А. Тюгашев // Известия Российской академии наук. Теория и системы управления. – 2006. – № 2. – С. 128–141.
6. Кирилин, А. Н. Методы обеспечения живучести низкоорбитальных автоматических КА зондирования  Земли: математические модели, компьютерные технологии / А. Н. Кирилин, Р. Н. Ахметов, А. В. Соллогуб, В. П. Макаров. – Москва : Машиностроение, 2010.
7. Ахметов, Р. Н. Проблемы реинжиниринга автоматических космических аппаратов в аномальных полетных ситуациях и пути их решения на основе базы знаний / Р. Н. Ахметов, В. П. Макаров, А. В. Соллогуб // Вестник Самарского государственного аэрокосмического университета. – 2014. – № 1(43). – C. 9–20.
8. Тюгашев, А. А. Подход к обеспечению отказоустойчивости космических аппаратов на основе автоматизации проектирования интеллектуальных бортовых программных средств / А. А. Тюгашев // Надежность и качество сложных систем. – 2016. – № 2 (14). – С. 9–16.
9. Калентьев, А. А. Разработка информационной поддержки процесса проектирования управляющих алгоритмов бортовых комплексов управления космических аппаратов / А. А. Калентьев, Ю. М. Сыгуров // Вестник СГАУ. – 2010. – № 21 (1). – С. 58–62.
10. Tyugashev, A. A. Visual Builder of Rules for Spacecraft Onboard Real-Time Knowledge Base / A. A. Tyugashev // Proc. 8th KES International Conference on Intelligent Decision Technologies (KES-IDT 2016). – Tenerife, Spain, 2016. – Part II. – P. 189–205.
11. Тюгашев, А. А. Логическое исчисление управляющих алгоритмов / А. А. Тюгашев, А. Ю. Богатов // Труды Международного симпозиума Надежность и качество. – 2013. – Т. 1. – С. 181–193.
12. Тюгашев, А. А. Использование расписаний при моделировании семантики управляющих алгоритмов реального времени / А. А. Тюгашев, А. Ю. Богатов, А. В. Шулындин // Труды Международного симпозиума Надежность и качество. – 2011. – Т. 1. – С. 90–93.
13. Holzmann, G. J. Software model checking: Extracting verification models from source code / G. J. Holzmann, M. H. Smith // Software Testing, Verification and Reliability. – 2001. – Vol. 11, № 2. – P. 65–79.
14. Garcia, M. The Future of Optimization Technology Constraints / M. Garcia, P. Stuckey, V. H. Pascal, M. Wallace // International Symposium on Intelligent and Distributed Computing IDC 2014. – 2014. – Vol. 19. –P. 126–138.
15. Tyugashev, A. A. Application of SMT solvers for evaluation of Real-Time control logic of spacecraft /A. A. Tyugashev // Journal of Physics: Conference Series. – 2018. – № 1096 (1). – P. 012156.