Архив выступлений: 2019-2020 учебный год, осенний семестр
Аннотация доклада.
Несмотря на значительные достижения, состояние сложных целенаправленных автоматизированных систем, программно-технических средств таких систем продолжает вызывать обоснованные опасения. Для целенаправленных систем по-прежнему характерны аварии, катастрофы и невосполнимые потери. Построение информационного общества, будущего без решения проблем целенаправленных систем невозможно. Выход видится в математической стандартизации и интеллектуализации целенаправленных систем на основе средств избыточного моделирования – радикального моделирования, радикального программирования, единого и универсального языка целенаправленных систем – языка RADICAL. Необходим специализированный редактор схем радикалов, позволяющий формировать и развивать соответствующие библиотеки, строить с помощью схем радикалов формальные описания моделей проблемной области целенаправленных систем и всесторонне анализировать такие описания. Рассмотрены некоторые классы схем радикалов, характерные для целенаправленных систем.