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

Представлена информационная технология структурного синтеза схем многостадийных технологических процессов на основе интеграции методов концептуального моделирования и программирования в ограничениях. Актуальность разработки обусловлена тем, что существующие решения в области структурного синтеза не предлагают средств для формального описания разнородных ограничений на сочетания структурных элементов при формировании целевого объекта. Интеграция методов концептуального моделирования и программирования в ограничениях обеспечивает формализованное описание, автоматизированный учет и анализ разнородных ограничений как на сочетаемость реализующего процесс оборудования, так и на показатели эффективности. В качестве примера рассматриваются технологические процессы обогащения минерального сырья. Описаны формальные структуры, характеризующие как свойства объекта обработки, так и оборудования, реализующего основные технологические операции процесса. Представлены примеры ограничений на синтезируемую структуру технологического процесса и элементы инструментальной системы, реализующей разработанную технологию.