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

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

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

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