3. Анализ структурной схемы

Вариант 1

СФА 2.6: Структурная формула алгоритма

A571 = (Z2  (((Z0 & Z8)  Z2) & Z3)  ((Z4 & (Z8  Z2)) & (Z6  Z7)))

A571 = (Z2 – (((Z0 & Z8) – Z2) & Z3) – ((Z4 & (Z8 – Z2)) & (Z6 – Z7)))

ШСА 2.5: Штрих-схема алгоритма

A1'

A2'

#

Z2

Z0

Z2

#

&

&

Z4

A571:

#

&

&

#

A222

Z8

Z8

Z2

A21

A11

A12

Z3

Z6

Z7

A22

#

A571:

Z2

A1'

A2'

A21

A2':

&

A22

A11

A1':

#

&

#

Z3

Z4

A21:

&

A222

A11:

Z2

A12

Z8

A222:

Z21

A12:

Z0

#

&

Z6

Z71

Z8

A22:

Вариант 2

СФА 2.7: Структурная формула алгоритма

A572 = (Z2(((Z0 &Z8)Z2) &Z3)((Z4V(Z8Z2))V(Z6Z7)))A572 = (Z2 – (((Z0 &Z8) –Z2) &Z3) – ((Z4 | (Z8 –Z2)) | (Z6 –Z7)))

ШСА 2.6: Штрих-схема алгоритма

A1''

A2''

#

V

#

Z2

Z0

Z2

#

&

V

Z4

A572:

#

&

A222

Z8

Z8

Z2

A21

A11

A12

Z3

Z6

Z7

A22

A572:

Z2

A1''

A2''

A21

A2'':

#

V

A22

A11

A1'':

#

&

#

Z3

Z4

A21:

V

A222

A11:

Z2

A12

Z8

A222:

Z21

A12:

Z0

#

&

Z6

Z71

Z8

A22:

Общие данные структуры алгоритма

а) Структурный класс алгоритма:

двухполюсный постоянный ациклический алгоритм;

б) Общие структурные показатели

Показатели	Значения	Примечания
Общее число команд	10
Число разных команд	7	Есть повторные вхождения команд
Общее число элементов	18	Включая узлы вилки и сборки
Число пар операций распараллеливания	4	#&, #V
Степень параллелизма	5	Три параллельные ветви алгоритма
Наличие дизъюнктивных сборок	вариант 1 – нет вариант 2 – есть	Нет особенностей Есть 1 особый узел

4. Группирование элементов схемы – оболочковые схемы

1. Вариант 2 структурной схемы. Ручные построения

СФА 2.8: Структурная формула алгоритма // ПИнФ

A572 = (Z2(((Z0 &Z8)Z2) &Z3)((Z4V(Z8Z2))V(Z6Z7)))ШСА 2.7: Штрих-схема алгоритма – наложение схемных оболочек

#

Z2

Z0

Z2

#

&

V

Z4

A572:

#

&

V

#

Z8

Z8

Z2

xa571

ya571

Z3

Z6

Z7

2. Вариант 2 структурной схемы. Автоматизация построения

Настройки: ИнФ / ГИ / ШСА / OФ

ШСА 2.8: Штрих-схема алгоритма / ГИ: Горизонтальное исполнение

5. Проверочная нумерация оболочек формул и схем

1. Вложенность формульных оболочек

СФА 2.9: Структурная формула алгоритма – нумерация оболочек:

а) Внешняя (пристроенная) нумерация оболочек формулы

1) Первая строка нумерации – уровень вложенности блоков

A572 = (Z2–(((Z0&Z8)–Z2)&Z3)–((Z4V(Z8–Z2))V(Z6–Z7)))

1 234 4 3 2 25 6 65 5 521

2) Вторая строка нумерации – разные блоки одного уровня

A572 = (Z2–(((Z0&Z8)–Z2)&Z3)–((Z4V(Z8–Z2))V(Z6–Z7)))

1 234 4 3 2 25 6 65 5 521

2 1 1 2 43 3 4

б) Внутренняя (встроенная) нумерация оболочек формулы

A572 = (1 Z2–(21 (3 (4 Z0 & Z8 )4–Z2 )3 & Z3 )21 –(22 (51 Z4 V (6 Z8–Z2 )6 )51 V (52 Z6–Z7 )52 )22 )1 =

= (₁ Z2–(₂₁ (₃ (₄ Z0 & Z8 )₄–Z2 )₃ & Z3 )₂₁ –(₂₂ (₅₁ Z4 V (₆ Z8–Z2 )₆ )₅₁ V (₅₂ Z6–Z7 )₅₂ )₂₂ )₁