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

Предпринята попытка построения макроэкономической модели, которая позволяет описать и объяснить цикличность рынков металлопродукции

Сделан обзор последних работ по оптимизации крупномасштабных систем с использованием имитационных моделей. Выбрана схема, обеспечивающая адекватное описание системы и успешное решение задачи оптимизации.

В рамках онтологического подхода к созданию систем управления знаниями научной организации предлагаются модель профиля объекта знаний (специалиста, публикация, доклад, отчет, проект и т.д.) и семантического соответствия/похожести профилей объектов знаний на основе мер семантической близости. Показано использование этих моделей при выборе исполнителей проекта.

Исследуются возможности применения байесовых сетей доверия для оценки надежности программного обеспечения.