Проверяемый текст
Ковалев, Игорь Владимирович. Система мультиверсионного формирования программного обеспечения управления космическими аппаратами (Диссертация 1997)
[стр. 62]

62 Поскольку описание технологических циклов управления не зависит от типа комплекса управления, мы имеем начальное значение вектора временной развертки для графа ТЦУ G t = (ti, где tj соответствует времени задействования компонента структуры ВС для решения задачи находящейся в z'-ой вершине графа G.
Вектор временной развертки полностью определяет информационное взаимодействие между структурными компонентами сети.
Граф технологического цикла управления
G, построенный на этой структуре, описывается таблицей, содержащей данные об инцидентности вершин графа.
Также мы используем вектор реализации (ВР), который упоминался выше, h=(hh
h2,..., кЦ\ где hj является временем выполнения задачи обработки информации и управления ТЦУ, находящейся в началеу-ой дуги и задается структурой ВС.
Итак, при анализе реализуемости ТЦУ необходимо установить возможность реализации вектора временной развертки на ВС с заданной структурой при заданном векторе
h.
Для реализации алгоритма анализа реализуемости ТЦУ сформулируем следующее утверждение.
Для реализации ТЦУ
па заданной структуре ВС с заданным ВВР t необходимо и достаточно выполнение следующего условия: если из i-ou вершины графа ТЦУ выходит j-ая дуга, входящая в п-ую вершину, то разница tti должна быть не меньше, чем время выполнения задачи в i-ой вершине.
t„-tj >hj Итак, благодаря информации о структуре системы и векторам t и h становится возможным определение многих характеристик процесса выполнения ТЦУ.
Например, время реализации определим по формуле: Т=
шах (tt+zi)-min ti, тре Zi является временем выполнения задачи, реализация которой начинается в момент С
[стр. 69]

где ti соответствует времени задействования компонента структуры ВС для решения задачи находящейся в г-ой вершине графа G.
Вектор временной развертки полностью определяет информационное взаимодействие между структурными компонентами сети.
Граф технологического цикла управления
(7, построенный на этой структуре, описывается матрицей инцидентности А = Это правая матрица размерности п х т, где 1 если j-ая дуга выходит из вершины г; < —1 если j-ая дуга входит в вершину г; О в другом случае.
Также мы используем вектор реализации (ВР), который упоминался выше, h (^1
5 ^2 ? • •• 7 hm^ у где hj является временем выполнения задачи обработки информации и управления ТЦУ, находящейся в начале J-ой дуги и задается структурой ВС.
Итак, при анализе реализуемости ТЦУ необходимо установить возможность реализации вектора временной развертки на ВС с заданной структурой при заданном векторе
Л.
Для реализации алгоритма анализа реализуемости ТЦУ сформулируем следующее утверждение.
Для реализации ТЦУ
на заданной структуре ВС с заданным ВВР t необходимо и достаточно выполнение следующего условия: если из г-ой вершины графа ТЦУ выходит j-ая дуга, сходящая в и-ую вершину, то разница tu •— ti должна быть не меньше, чем время выполнения задачи в г-ой вершине.
Ц — Р > hjaij (1) Итак, благодаря матрице А и векторам t и h становится возможным определение многих характеристик процесса выполнения ТЦУ.
Например, время реализации определим по формуле: Т =
тах(Д + гф — minZ;, (2) i i где Zi является временем выполнения задачи, реализация которой начинается в момент tj.
69

[Back]