Подробное описание документа

Буханов С. А.
   Автоматизация формирования конфигурации гибкой производственной системы с использованием ПО CMSolver / Буханов С. А. // Русский инженер, Международный конгресс, 3-ий : в 5 т. / МГТУ им. Н. Э. Баумана (национальный исследовательский университет). - 2026. - Т. 3 : Комплексная автоматизация проектирования и производства (КАПП-2025), Научно-практическая конференция (с международным участием), 3-я, Москва, 31 октября 2025 года : сборник статей. - С. 162-167.

В работе рассматривается использование программного обеспечения CMSolver для решения задачи формирования конфигурации производственных систем (ПС) на основе методов удовлетворения ограничений. При решении задачи учитывается фак-тор чрезвычайно широкого пространства выбора современного оборудования. Рассматриваемый в работе подход включает методику подготовки исходных данных и построение онтологической модели предметной области с применением для реше-ния задачи метода удовлетворения ограничений. Рассматривается реализация процедур управления конфигурацией ПС на всех этапах ее жизненного цикла с использованием программного средства CMSolver.
Ключевые слова: производственная система, управление конфигурацией производственной системы, онтологическая модель, задача удовлетворения ограничений, CSP