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

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

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

В последней версии справочника MIL217 Plus для всех видов интегральных микросхем предложена упрощенная методика оценки интенсивности отказов. Все виды ИМС делятся на три группы: Цифровые, Линейные и Памяти и микропроцессоры, которые в свою очередь в зависимости от вида корпуса делятся на две подгруппы: герметичные и не герметичные. В работе проведен сравнительный анализ результатов прогнозирования с данными, полученными для цифровых КМДП СБИС при испытаниях. Установлено, что основную долю интенсивности отказов по версии 217+ составляют отказы контактных соединений.

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