Page 102 - 2577
P. 102
Призначена для центрального сервера КС, який контролює регламентність виконання
функцій підрозділами КС і координує їх роботу в часі.
Формалізація моделі суміщений часовий граф:
f D O a a b ;
i i j ij ij ij
f D O 1 1 ; 3 f D O 10 10 ; 2
i 3 1 6 1 2
f D O 3 3 ; 2 f 7 D 4 O 5 12 12 ; 1
2 1 5
f D O 4 4 ; 1 f 8 D 4 O 2 13 13 ; 4
3 4 4
f D O 17 17 ; 2
f D O 5 5 ; 2 9 5 3
4 2 4
f D O 21 21 ; 2
f D O 7 7 ; 1 10 2 2
5 6
f D O 25 25 . 1
11 5 5
f i
f1 f2 f4 f5 f6 f7 f8 f9 f10 f11
Т
f3 10 20 30
f1 – D3.O1 f4 – D2.O4 f7 – D4.O5 f10 – D2.O2
f2 – D1.O5 f5 – D6.O1 f8 – D4.O2 f11 – D5.O5
f3 – D4.O4 f6 – D1.O2 f9 – D5.O3
Рисунок 6.9 - Модель суміщений часовий граф
Модель блок–схема алгоритму оброблення даних. Модель ”блок–схема алгоритму
оброблення даних” (рис..12) є діагностичною моделлю КС, яка будується на основі
суміщеної часової моделі у відповідності з використанням типових позначень блок–схем
алгоритмів і програм. Дана модель використовується центральним сервером РКС для
діагностування виконання процесів руху даних в системі згідно регламентного алгоритму її
функціонування на основі моделі „суміщений часовий граф”.
Суть побудови даної моделі методично виконується формалізацією процедур побудови
оптимального несуперечного змістовного графа розгалуженого алгоритму у наступному
порядку:
– формалізація умови задачі;
– побудова суміщеного часового графа;
– побудова логічного розгалуженого графа;
– покриття логічного графа блок–схемою;
– нумерація операторів блок–схеми.
Тривимірні матричні моделі. Представлена інформаційна технологія побудови та
теоретичне обгрунтування параметрів тривимірної матричної моделі руху даних (ТММРД),
яка базується на наступних принципах формалізації (табл.6.3).
Введена оцінка коефіцієнта ефективності руху даних (.2) та символіка матричних
моделей, яка представлена в табл..3, дозволяє розрахувати характеристики швидкості
створення повідомлень у вузлах матричної моделі і шляхом їх представлення в
трьохвимірному просторі перейти до побудови трьохвимірних матричних моделей .
99