Выражение построенной сп-модель в исходной системе координат
Умножим матрицу инцидентности примитивной системы N17 на тензор преобразования .
Таблица 7 – Матрица N17 после умножения на тензор преобразования
№ |
|
t11 |
t21 |
t31 |
t12 |
t22 |
t32 |
t13 |
t23 |
t33 |
1 |
b1_1 |
-1 |
-1 |
-1 |
|
|
|
|
|
|
2 |
b''1_2 |
|
|
|
|
|
|
|
|
|
3 |
b'1_2 |
|
|
|
|
|
|
|
|
|
4 |
b''1_3 |
|
|
|
|
|
|
|
|
|
5 |
b'1_3 |
|
|
|
|
|
|
|
|
|
6 |
b1_4 |
1 |
1 |
1 |
|
|
|
|
|
|
7 |
b2_1 |
|
|
|
-1 |
|
|
|
|
|
8 |
b''2_2 |
|
|
|
1 |
-1 |
|
|
|
|
9 |
b'2_2 |
|
|
|
1 |
-1 |
|
|
|
|
10 |
b''2_3 |
|
|
|
|
1 |
-1 |
|
|
|
11 |
b'2_3 |
|
|
|
|
1 |
-1 |
|
|
|
12 |
b2_4 |
|
|
|
|
|
1 |
|
|
|
13 |
b3_1 |
|
|
|
|
|
|
-1 |
|
|
14 |
b''3_2 |
|
|
|
|
|
|
1 |
-1 |
|
15 |
b'3_2 |
|
|
|
|
|
|
1 |
-1 |
|
16 |
b''3_3 |
|
|
|
|
|
|
|
1 |
-1 |
17 |
b'3_3 |
|
|
|
|
|
|
|
1 |
-1 |
18 |
b3_4 |
|
|
|
|
|
|
|
|
1 |
19 |
c1_1 |
-1 |
-1 |
-1 |
|
|
|
|
|
|
20 |
c''1_2 |
1 |
1 |
1 |
-1 |
|
|
|
|
|
21 |
c'1_2 |
1 |
1 |
1 |
-1 |
|
|
|
|
|
22 |
c''1_3 |
|
|
|
1 |
|
|
-1 |
|
|
23 |
c'1_3 |
|
|
|
1 |
|
|
-1 |
|
|
24 |
c1_4 |
|
|
|
|
|
|
1 |
|
|
25 |
c2_1 |
-1 |
-1 |
-1 |
|
|
|
|
|
|
26 |
c''2_2 |
1 |
1 |
1 |
|
-1 |
|
|
|
|
27 |
c'2_2 |
1 |
1 |
1 |
|
-1 |
|
|
|
|
28 |
c''2_3 |
|
|
|
|
1 |
|
|
-1 |
|
29 |
c'2_3 |
|
|
|
|
1 |
|
|
-1 |
|
30 |
c2_4 |
|
|
|
|
|
|
|
1 |
|
31 |
c3_1 |
-1 |
-1 |
-1 |
|
|
|
|
|
|
32 |
c''3_2 |
1 |
1 |
1 |
|
|
-1 |
|
|
|
33 |
c'3_2 |
1 |
1 |
1 |
|
|
-1 |
|
|
|
34 |
c''3_3 |
|
|
|
|
|
1 |
|
|
-1 |
35 |
c'3_3 |
|
|
|
|
|
1 |
|
|
-1 |
36 |
c3_4 |
|
|
|
|
|
|
|
|
1 |
Далее выполним удаление эквивалентных позиций и получим матрицу искомой СП-модели:
Таблица 8 – Матрица N17 после удаления эквивалентных позиций
№ |
|
t1 |
t12 |
t22 |
t32 |
t13 |
t23 |
t33 |
1 |
b1_1 |
-1 |
|
|
|
|
|
|
2 |
b1_2 |
|
|
|
|
|
|
|
3 |
b1_3 |
|
|
|
|
|
|
|
4 |
b1_4 |
1 |
|
|
|
|
|
|
5 |
b2_1 |
|
-1 |
|
|
|
|
|
6 |
b2_2 |
|
1 |
-1 |
|
|
|
|
7 |
b2_3 |
|
|
1 |
-1 |
|
|
|
8 |
b2_4 |
|
|
|
1 |
|
|
|
9 |
b3_1 |
|
|
|
|
-1 |
|
|
10 |
b3_2 |
|
|
|
|
1 |
-1 |
|
11 |
b3_3 |
|
|
|
|
|
1 |
-1 |
12 |
b3_4 |
|
|
|
|
|
|
1 |
13 |
c1_1 |
-1 |
|
|
|
|
|
|
14 |
c1_2 |
1 |
-1 |
|
|
|
|
|
15 |
c1_3 |
|
1 |
|
|
-1 |
|
|
16 |
c1_4 |
|
|
|
|
1 |
|
|
17 |
c2_1 |
-1 |
|
|
|
|
|
|
18 |
c2_2 |
1 |
|
-1 |
|
|
|
|
19 |
c2_3 |
|
|
1 |
|
|
-1 |
|
20 |
c2_4 |
|
|
|
|
|
1 |
|
21 |
c3_1 |
-1 |
|
|
|
|
|
|
22 |
c3_2 |
1 |
|
|
-1 |
|
|
|
23 |
c3_3 |
|
|
|
1 |
|
|
-1 |
24 |
c3_4 |
|
|
|
|
|
|
1 |
Далее выполним моделирование в программном комплексе:
Рисунок 13 – Полученная СП-модель в программном комплексе
Таким образом, синтез модели был выполнен верно, так как произошло объединение элементов нижней горизонтальной линейки процессорной матрицы.
Рисунок 14 – Дерево достижимых разметок полученной СП-модели