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

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

Рассматривается задача определения эффективности параллельных вычислений. Показывается, что параллельные вычисления являются частным случаем кратных вычислений. Описывается методика определения комплексной эффективности кратных вычислений, учитывающая как эффективность по времени, так и пространственную (аппаратурную) эффективность. Разработана методика определения эффективности параллельных вычислений, учитывающая не только временные, но и пространственные (аппаратурные) затраты.

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

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