Резидентная и распределенная модели систем управления технологических машин

Аннотация

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

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