Труды КНЦ вып.9 (ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ) вып. 9/2019(10)

Введем переменные у і - количество продаж /-того товара за месяц. Домены для переменных у і берутся из таблицы 5: у 1 е [4 7 ;5 3 ], у 2 е[\5;45], у 3 е [85;115]. Сформулируем дополнительное ограничение на продажу Товара 2: С18. у 2 —20 . Обозначим через Р общую выручку от реализации товара: Р = 3 9 у 1+ 6 5 у 2 + 2 2 у 3 . Введем переменные /г. - стоимость хранения /-того товара на складе и сформулируем ограничения на хранение товара: С19. [{хх- у х < x 2 - y 2 ) A { h l = х 1- > ’1) ]ѵ [ (х 1- > ’1 > х 2 - у 2) л л (/?j = 6(Xj - j-,))] (ограничение на хранение Товара 1), С20. h2 = 5 ( х 2 - у 2) (ограничение на хранение Товара 2 ), С21. [(х3 - у 3 < 50) а (h3 = x 3 - у 3 )] ѵ [(х3 - у 3 > 50) л (hj = З(х3—>*з))] (ограничение на хранение Товара 3). Обозначим Н - общую стоимость хранения излишков товара: Н = I " , І и запишем ограничение на прибыль: С22: P - Q - H > 600. Заключение Проведенные исследования показали перспективность применения технологии программирования в ограничениях для задачи планирования закупок малым предприятием. Применение данной технологии дает возможность совместно обрабатывать не только количественные, но и качественные зависимости предметной области, служащие для формализации гибких ограничений на поставку, сроки и стоимость доставки, хранение и продажу товара. Использование технологии программирования позволяет обеспечить возможность сопровождения модели, отрытой для оперативных модификаций. Потребность в модификации модели возникает довольно часто: когда задача не имеет решения и требуется “ослабить” условия задачи, когда требуется ввести в рассмотрение новые критерии и т.п. При добавлении/удалении из модели ограничений нет необходимости писать новые методы решения задачи, что выгодно отличает предлагаемую технологию от методов теории исследования операций [8]. Среди направлений дальнейших исследований следует отметить целесообразность разработки специализированных глобальных ограничений [9] для повышения эффективности обработки логических условий (качественных ограничений), поскольку при росте размерности задачи (пространства поиска) недостаточно эффективные процедуры удовлетворения нечисловых ограничений вызвать значительные трудности. В качестве одного из дальнейших направлений развития работы в задачу можно ввести критерии оптимизации. Тогда задача удовлетворения ограничений превратиться в задачу ограниченной оптимизации (СОР — Constraint Optimization Problem). Систематизация подобных критериев представляется 135