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

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
[стр. 72]

к конкретный экземпляр модуля г-го типа на нижнем уровне иерархии (на уровне мультиверсий); к — 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

[Back]