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

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

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

Рассмотрен возможный подход к моделированию ментальной деятельности за счет отнесения ее к мнимой части пространства, в отличие от материальных процессов, описываемых в модели действительными переменными.