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

Модель геологической среды описывается с помощ ью специализированной таблицы . Каждая строка описывает один блок карьера и содержит информацию о координатах блока, размерах блока, ценности блока и процентном содержании П И в блоке. Объем блока вычисляется из его размеров, этот объем в свою очередь разделяется на объем В П и П И в соответствии с заданным для блока содержанием ПИ . В парадигме программирования в ограничениях задача планирования о ткры ты х горны х работ ставится следующим образом: каждом у бло ку карьера сопоставляется целочисленная переменная Xijk, которая может принимать значения от 1 до N , где N - номер последнего возможного года работ, требуется конкретизировать значение каждой такой переменной при выполнении ряда ограничений. Первые по пы тки использовать парадигму программирования в ограничениях для решения данной задачи были предприняты в [2]. Н а те кущ ий момент в задаче учитываю тся следующие ограничения: а) ограничения на порядок извлечения блоков; б) ограничения на заданную производительность по полезному ископаемому и вскрыш ным породам; в) оптимизационное ограничение на максимизацию вы годы от разработки карьера. Однако в рам ках предложенного метода, нет принципиальны х ограничений на то, чтобы обрабатывать ограничения и д р у ги х типов. Решение задачи состоит в том , чтобы назначить всем переменным Xijk целочисленные значения таким образом, чтобы одновременно выполнялись все перечисленные выше ограничения. Разберем семантику используемых ограничений более подробно. Рассмотрим кажды й ти п ограничения из приведенного выше списка более подробно. Ограничение на порядок извлечения блоков обеспечивает последовательную разработку карьера, исклю чая технологически невозможные варианты выем ки блока. Правила извлечения блоков задают принципы заглубления и расширения работ в пространстве карьера и должны описывать полную минимальную конф игурацию извлекаемых блоков. В качестве примера рассмотрим следующее простейшее ограничение: для разработки одного блока в те кущ ий год необходимо чтобы блок над ним и его соседи были разработаны в этот же год, либо ранее (рис. 2). О граничение формулируется следующим образом: для выем ки блока Х ,,к, где i, j, к - координаты блока, необходимо вы копать блоки X j + 1 , X - 1 ,j,k+ 1 , X + 1 ,j,k+ 1 , X j- u + 1 , X ,j+ 1 ,k+ 1 , другим и словами, необходимо извлечь пять вышележащих блоков при и х наличии. Либо можно представить 5 «лучей» различны х типов, исходящ их из исходно го (ниж не го ) блока вверх (рис. 3). Т ипы лучей различаются по разности координат блоков «луча», т.е. по направлению его распространения. Для блоков каждого типа «луча» можно задать глобальное ограничение sort, гарантирующее, что переменные X блоков в «луче» расположены в убывающем порядке. П ри этом каж ды й блок может быть задействован только 5 подобны х ограничениях - по одному на каж ды й ти п «луча». 163