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

Исследуется возможность решения проблемы прогнозирования состояния железно-дорожных путей и полосы отвода на основе методов структурного прогнозирования.

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

В докладе рассмотрены задачи оптимизации функционирования и развития распределенных систем обработки информации на основе данных имитационных моделей. Приводится постановка задачи и ее решение.

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