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

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

В работе показано как поэтапно создать программу контроллера с помощью СД2С2 моделирования для оборудования с дискретным поведением. Кратко изложим суть этапов: • На первом этапе объект формализуется в виде коллекции независимых КА моделирующих неуправляемое поведение объекта, язык этих автоматов структурируется на управляемые и ожидаемые события. • На втором этапе создается спецификация, которая задается в виде последовательности команд на объект управления. • На третьем этапе проверяется совместимость модели объекта и спецификации, полученные данные являются основой для синтеза управляющего КА – супервизора. • На четвертом этапе осуществляется переход от алфавита системных событий к алфавиту целевой платформы ПЛК. • На пятом этапе супервизор переносится в ПЛК. Учет структурных особенностей технологического объекта позволяет на этапе верификации отказаться традиционной процедуры параллельной композиции, и задать спецификацию более компактно. Что в свою очередь позволяет гарантированно синтезировать программу ПЛК меньшими затратами.

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

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