65 иерархии; к конкретный экземпляр модуля г-го типа на нижнем уровне иерархии (на уровне мультиверсий); к=1,...,Кг', г=1,...,К', hjkr длительность выполнения задачи ТЦУ в началеу'-ой дуги, с использованием fc-ro модуля r-го типа; время выполнения задачи ТЦУ с использованием k-го модуля r-го типа, с началом выполнения в момент t-,. В общем случае можно показать, что для оптимального выполнения ТЦУ приходится решать следующую задачу оптимизации: tf} i i при: причем, (3)-(5) должны выполняться. Неравенства (8) и (9) представляют ограничения, которым должен удовлетворять ВВР. Задача оптимизации программного обеспечения НКУ может решаться с помощью статической стратеги и критерия стоимости Для приведенного здесь постановки рассматривается критерий времени. Введем переменные: Л *г_ 1 если в момент ti задаа ТЦУ наинает выполняться к м модулем г го типа, О в других слуаях. Тогда в этом случае мы имеем: min{max(ti+z^)-min i i |
к конкретный экземпляр модуля г-го типа на нижнем уровне иерархии (на уровне мультиверсий); к — 1,Kr-, г = 1,/<; hjr длительность выполнения задачи ТЦУ в начале Цой дуги, с использованием к-го модуля г-го типа; гЦ время выполнения задачи ТЦУ с использованием к-го модуля г-го типа, с началом выполнения в момент Ц. В общем случае можно показать, что для оптимального выполнения ТЦУ приходится решать следующую задачу оптимизации: min{max(ti + — min^} (7) i i при: Цti>hkjr(iij; (8) t< ti < (9) причем, (3)-(5) должны выполняться. Неравенства (8) и (9) представляют ограничения, которым должен удовлетворять ВВР. Кроме того, вектор реализации h может имеет вероятностные характеристики выполнения задач, так как с каждым его компонентом можно связать функцию вероятности, используя GERT-анализ, что будет рассмотрено в следующем разделе. Задача оптимизации программного обеспечения НКУ может решаться с помощью статической стратеги и критерия стоимости (как это делалось ранее в [75,76]). Для приведенного здесь постановки рассматривается критерий времени (в общем случае вероятностный). Введем переменные: ' 1 ч О если в момент ti задача ТЦУ начинает выполняться fc-м модулем ?’-го типа; в других случаях. Тогда в этом случае мы имеем: (10) при: (п) 72 |