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

63 Отметим, что последовательность выполнения задач ТЦУ соответствует упорядочению координат ВВР по возрастанию.
Если некоторые координаты равны, то это указывает на их параллельное выполнение.
Для случая, когда неравенство (1) не выполняется, предлагается следующий алгоритм коррекции ТЦУ, который позволяет производить замену компонентов ВВР на удовлетворительные.
Для того, чтобы этот корректирующий алгоритм имел смысл, необходимо выполнение следующих условий: 1.
Условие неотрицательности
0, (iel), trq I—{i} это совокупность задач ТЦУ; 2.
Условие завершения предыдущих задач ТЦУ
Zj (i,jel); tj3.
Условие логической последовательности (ijel), где а,уэто коэффициент связанности задач, т.е.
1 если j предшествует /, О в другом слуае, ti и hj являются компонентами векторов ВВР и ВР соответственно.
Для каждой задачи ТЦУ введем параметры: t{ момент времени, до истечения которого ценность
/-ой задачи остается максимальной.
ti момент времени, до истечения которого выполнение
z-ой задачи невозможно.
//' Очевидно, что:
[стр. 70]

Отметим, что последовательность выполнения задач ТЦУ соответствует упорядочению координат ВВР по возрастанию.
Если некоторые координаты равны, то это указывает на их параллельное выполнение.
Для случая, когда неравенство (1) не выполняется, предлагается следующий алгоритм коррекции ТЦУ, который позволяет производить замену компонентов ВВР на удовлетворительные.
Для того, чтобы этот корректирующий алгоритм имел смысл, необходимо выполнение следующих условий: 1.
Условие неотрицательности
ti > о, (г е /), (3) где I = {г} это совокупность задач ТЦУ; 2.
Условие завершения предыдущих задач ТЦУ
УД < С (w е 0; (4) t>3.
Условие логической последовательности ti > (i,j е С, (5) где aij это коэффициент связанности задач, т.е.
1 если задача j предшествует задаче i; О в другом случае, ti и hi являются компонентами векторов ВВР и ВР соответственно.
Для каждой задачи ТЦУ введем параметры: t{ момент времени, до истечения которого ценность
г-ой задачи остается максимальной.
t? момент времени, до истечения которого выполнение
г-ой задачи невозможно.
tsi <и< (б) Очевидно, что: о < Ц < й < Т, t{ tsi > Zi, где Т длительность реализации ТЦУ.
70

[Back]