|
64 0 Если условия (3)-(5) выполняются, то выполняются и условия ti С другой стороны, если ТЦУ существует, то: i>j t/> t-+Zi, где tj и ti моменты началау'-ой и завершения z'-ой задач. Поэтому, для каждой связанной пары г и j замена при коррекции ВВР "старых" значений t/r на "новые" max(tf, tj-zJ и, соответственно, tf на min(tj,ti+Zi) не влияет на факт допустимости существования ТЦУ. Таким образом, в результате алгоритма коррекции "старые" координаты ВВР меняются на "новые", удовлетворяющие следующим условиям: 1) 2) i>j ^tjr >ti + Zi, 3) i>j > tjZj. Итак, нами подробно рассмотрен второй шаг аналитико-оптимизационной процедуры. 2.2.1 Формализация общей схемы анализа реализуемости ТЦУ. В данном разделе мы рассмотрим формальное представление этапов аналитико-оптимизационной процедуры раздела 2.1. Эта формализация базируется на совокупности приведенных выше моделей и позволяет объединить их в рамках общей схемы. Здесь же отметим, что описание циклограмм управления космическими аппаратами не зависит от типа комплекса управления (бортового или наземного). Однако, временные характеристики для бортового комплекса более важны, чем для наземного, то есть БКУ имеет жесткие ограничения по времени выполнения задач и циклограмм в целом. Как для НКУ, так и для БКУ будем считать, что эти временные характеристики зависят (в общем случае) от выбора типа программного модуля для реализации конкретной задачи ТЦУ. Согласно указанным условиям введем следующие обозначения: К количество типов программных модулей на нижнем уровне |
Если условия (3)-(5) выполняются, то выполняются и условия Ц < tj, для связанных задач i и j. С другой стороны, если ТЦУ существует, то: г -<: j ==> tfj > tbj > tsi + Zi, где tbj и tf моменты начала j-ой и завершения г-ой задач. Поэтому, для каждой связанной пары i и j замена при коррекции ВВР ’’старых” значений У7' на ’’новые” max^t^tj — zi) и, соответственно, t*? на min(t^ti + z,) не влияет на факт допустимости существования ТЦУ. Таким образом, в результате алгоритма коррекции ’’старые” координаты ВВР меняются на ’’новые”, удовлетворяющие следующим условиям: 1) « -! J =* <Г > <;> 2) i j ==> tj' > ti + Zi] 3) Итак, нами подробно рассмотрен второй шаг аналитико оптимизационной процедуры. 2.2.2. Формализация общей схемы анализа реализуемости ТЦУ В данном разделе мы рассмотрим формальное представление этапов аналитико-оптимизационной процедуры раздела 2.1. Эта формализация базируется на совокупности приведенных выше моделей и позволяет объединить их в рамках общей схемы. Здесь же отметим, что описание циклограмм управления космическими аппаратами не зависит от типа комплекса управления (бортового или наземного) [131]. Однако, временные характеристики для бортового комплекса более важны, чем для наземного, то есть БКУ имеет жесткие ограничения по времени выполнения задач и циклограмм в целом. Как для НКУ, так и для БКУ будем считать, что эти временные характеристики зависят (в общем случае) от выбора типа программного модуля для реализации конкретной задачи ТЦУ. Согласно указанным условиям введем следующие обозначения: К количество типов программных модулей на нижнем уровне иерархии; 71 |