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

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

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

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