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

82 в любом случае этот метод должен иметь законное прикрытие или же необходимо иметь добровольное согласие кредиторов.
Результаты, полученные в главе 2 1.
В результате анализа характеристик процессов управления КА для технологических циклов управления, охватывающих весь жизненный цикл системы и регламентирующих исполнение задач по обработке информации и управлению в контурах НКУ и БКУ, установлена сложная взаимосвязь с процессами их реализации на вычислительных средствах указанных комплексов.
2.

Предложена формализация ТЦУ КА, позволяющая решать задачи анализа коррекции и оптимизации ТЦУ в рамках разработанной аналитико-оптимизационной процедуры.
3.
В рамках аналитико-оптимизационной процедуры решение задачи возможно только путем последовательного уточнения,
обеспечивая многократное повторение последовательных этапов оптимизации целевого функционала, анализа реализуемости и коррекции ТЦУ.
4.
На основании анализа проблемы погашения взаимных неплатежей сделан вывод о том, что одним из методов ее решения является проведение циклических взаимозачетов.
5.
Предложена формализация модели проведения взаимозачетов, позволяющая проводить циклические взаимозачеты в системе предприятий.
[стр. 100]

и tej соответствует длине кратчайшего пути в N от источника к узлу j.
Если же все узлы j G V/{г} имеют AND-вход (Х~ = -P(j)), имеем te= max (Г + did), J iePUV что соответствует длине самого длинного пути в N из истока в узел j.
Этот подход с учетом алгоритмически заданных целевой функции и ограничений задачи более подробно рассмотрен автором для этапа анализа и коррекции ТЦУ общей аналитико-оптимизационной процедуры, а также в [108,109,119,120].
Выводы по главе 2 1.
В результате анализа характеристик процессов управления КА для технологических циклов управления, охватывающих весь жизненный цикл системы и регламентирующих исполнение задач по обработке информации и управлению в контурах НКУ и БКУ, установлена сложная взаимосвязь с процессами их реализации на вычислительных средствах указанных комплексов.
2.

Предложенная формализация ТЦУ КА позволяет решать задачи анализа реализуемости, коррекции и оптимизации ТЦУ в детерминированном и стохастическом варианте представления сетевых моделей в рамках разработанной аналитико-оптимизационной процедуры.
3.
В рамках аналитико-оптимизационной процедуры решение задачи возможно только путем последовательного уточнения
(с применением приближенных и точных методов), обеспечивая многократное повторение последовательных этапов оптимизации целевого функционала (при выборе оптимального времени реализации ТЦУ, согласно составу мультиверсионного ПО), анализа реализуемости (корректность заданных временных ограничений) и коррекции ТЦУ.
4.
Разработанная решающая сетевая модель с GERT-подобной узловой логикой обеспечивает конструирование ТЦУ КА, позволяя минимизировать затраты при реализации ТЦУ и обеспечивая минимизацию ТЦУ по времени.
Эти же задачи конструирования решаются с учетом случайных акций при реализации и многочисленных исполнений ТЦУ КА.
100

[Back]