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

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

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

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