Труды КНЦ (Технические науки вып.3/2025(16))

Труды Кольского научного центра РАН. Серия: Технические науки. 2025. Т. 16, № 3. С. 117-130. Transactions of the Kola Science Centre of RAS. Series: Engineering Sciences. 2025. Vol. 16, No. 3. P. 117-130. 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 51 82 83 84 85 86 87 88 89 -1 -1 -1 -1 -1 -1 -1 2 2 2 6 6 6 6 1 1 1 5 5 5 5 О О О 4 4 4 4 -1 -1 -1 3 3 3 3 2 2 2 2 2 2 2 1 1 1 1 1 1 1 О О О О О О 0 -1 -1 -1 -1 -1 -1 -1 Рис. 6. Пространство и матрицарасстоянийдля направления «South» Пример: есть объект W (рис. 7) и пространство (см. рис. 6). Задано ограничение, что объект W должен располагаться строго на расстоянии 1 от «стены» по направлению « South ». Рис. 7. Переменная W и ее домен При распространении проверяется каждое значение из домена, но в данном примере рассматривается клетка 13. Вначале необходимо получить список {pi } всех клеток, которые займет объект при постановке его в клетке 13, согласно формуле 5: p + i + j х widthg, при i е [0, 3), j е [0, 2). Получится список p, = {13, 14, 15, 23, 24, 25}. Для каждого из значения необходимо рассчитать координаты x и y и получить по полученным координатам значение dj из матрицы расстояний для «South»: {13}: х = 3; y = 1 ^ du = 2; {14}: х = 4; y = 1 ^ d ^ = 6; {15}: х = 5; y = 1 ^ du = 6; {23}: х = 3; y = 2 ^ d23 = 1; {24}: х = 4; y = 2 ^ d24 = 5; {25}: х = 5; y = 2 ^ d25 = 5. Из полученных dj берется минимальное (d 23 = 1) и сравнивается с параметром distance. Так как d 23 не превышает distance , то рассматриваемая клетка 13 удовлетворяет ограничению и не удаляется из домена. Если бы параметр distance был 0 или 2+, то ограничение не удовлетворялось бы и клетка 13 удалилась бы из домена. После проверки всех значений из домена W в домене останутся только те значения, которые удовлетворяют ограничению (рис. 8). © Таран П. В., Зуенко А. А., 2025 123