Разработка программного комплекса интеллектуальной корабельной автоматизированной системы управления. Активная логика с точки зрения фундированной семантики логических программ с приоритетами. Создание систем графического отображения изучаемых процессов.
Аннотация к работе
ПРОЕКТИРОВАНИЕ СИСТЕМ УПРАВЛЕНИЯ СЛОЖНЫМИ ДИНАМИЧЕСКИМИ ОБЪЕКТАМИ, РАБОТАЮЩИХ В УСЛОВИЯХ ЖЕСТКОГО РЕАЛЬНОГО ВРЕМЕНИТакие системы предназначены для работы в условиях неопределенности (невозможности точного аналитического описания) информации о свойствах и характеристиках системно-сложных объектов и среды их функционирования. В условиях работы технических объектов с высоким уровнем неопределенности информации для построения систем управления этими объектами в условиях жесткого реального времени (ЖРВ) неизбежно применение информационных технологий и методов, ориентированных на потоки контекстно-зависимой информации. Среди конкретных реализаций концепции активной логики можно выделить формализм, который отвечает принципам логического программирования и может рассматриваться как система, основанная на правилах и, таким образом, адекватен специфике динамических экспертных систем жесткого реального времени [3]. При построении моделей используется общая методологическая база: модели первого типа описываются в терминах примеров использования (прецедентов), а модели второго типа раскрывают особенности реализации этих примеров в терминах объектно-ориентированного моделирования. Совместная разработка моделей обеих систем при общей методологической базе позволяет естественным образом учесть их взаимосвязи и осуществить параллельное и согласованное создание и последующее развитие обеих систем [6, 7].