Пересмотрены известные предельные теоремы теории очередей при условии совместного расммотрения заявки и ее возраста.

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

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

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

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