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

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

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

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

Рассматривается опыт применения семейства программных продуктов IBM Rational Rhapsody, ориентированных создание программного обеспечения для рынка систем реального времени и встраиваемых систем. Это семейство продуктов на базе унифицированного языка моделирования (спецификация UML 2.2) реализует подход проектирования на основе моделей (MDD). Исследуя эту систему на тестовых примерах, моделях секундомера, посудомоечной машины, радиоприёмника, мы получили практический опыт по генерации законченных приложений на языках C++ и Java. Весьма любопытным оказался механизм анимации моделей, когда при генерации кода можно указать, что необходимо создать анимированную версию приложения. В этом случае в поведенческий код, реализующий диаграммы конечных автоматов и диаграммы последовательностей, вставляются соответствующие инструкции. При выполнении такой программы среда разработки отражает изменение состояния приложения на соответствующей диаграмме.