CC BY
46
Библиографический список
1. Аверьянов, Г С. Исследование процессов и путей повышения эффективности воздушного демпфирования в пневматических амортизаторах виброзащитных систем
/ Г. С. Аверьянов ; Омский гос. тех. ун-т. Омск, 1999. Деп. в ВИНИТИ 17.06.99, № 1957-В99.
2. Пат. 2325567 РФ, МПК Б 16 Б 9/04. Пневматический упругий элемент / Аверьянов Г. С., Хамитов Р. Н. Опубл. 27.05.2008, Бюл. № 15.
R. N. Khamitov
PNEUMATIC ELASTIC ELEMENTS OF DIFFERENTIAL TYPE
The device for damping ofobjectfluctuations with the improved damping parameters are offered. The model describing thermo gas dynamic processes in volumes of the pneumatic elastic element at various operating modes and dynamics of damped objects for investigation damping fluctuation of the offered device are constructed and investigated. It allows to lead the analysis and to reveal the basic laws and features of the pneumatic elastic element operation to getits elastic damping characteristics.
Keywords: fluctuation damping, elastic damping characteristics.
УДК 519.216
О. А. Антамошкин
КОМБИНИРОВАННЫЙ МЕТОД ФОРМИРОВАНИЯ МУЛЬТИВЕРСИОННОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ УПРАВЛЕНИЯ КОСМИЧЕСКИМ АППАРАТОМ «ГОНЕЦ-М»
Комбинированный метод развит в рамках целеориентированного подхода к разработке программных средств и направлен на реализацию мультиверсионного программирования сложных систем управления космическим аппаратом «Гонец-М», к которому предъявляются повышенные требования по отказоустойчивости. Формирование состава версий модулей программного обеспечения поддерживает базовую схему Ы-вариантного программирования, а также ЯБ-блок-схему отказоустойчивого программирования с восстановительным блоком.
Ключевые слова: отказоустойчивые системы, многоцелевые и многоатрибутивные методы принятия решений, проектирование космических аппаратов.
В настоящее время по государственному заказу в рамках Федеральной космической программы на 2006-2015 гг. ОАО «Информационные спутниковые системы имени академика М. Ф. Решетнева» создает многофункциональную систему персональной спутниковой связи «Гонец-Д1М».
Планируется, что в составе орбитальной группировки будут функционировать 12 космических аппаратов (КА) «Гонец-М» (по 3 КА в четырех плоскостях). Такое количество спутников на орбите будет обеспечено к концу 2015 г.
Круг потребителей услуг системы очень широк. К ним относятся Министерство РФ по делам ГО и ЧС, Министерство транспорта РФ, Мининформсвязи РФ, Росатом, РАО ЕС и другие ведомства и организации.
Одной из важнейших задач при создании КА, входящих в данную группировку, является проектирование бортовой системы обмена информацией, так как от скорости и надежности данной системы зависит скорость и надежность функционирования всей системы в целом. В настоящее время это возможно только с использованием таких систем проектирования, которые обеспечивали бы сквозной процесс разработки - от общего облика системы до конечной конструкции.
Использование комбинированных методов принятия решений при проектировании бортовой системы обмена информацией позволяет учесть возрастающие тактико-технические требования как к бортовой аппаратуре аппарата, так и к его программному обеспечению, а также значительно сократить время разработки.
Рассматриваемый в статье метод ориентирован на представленный в работе [1] базовый состав формальных моделей мультиверсионного программирования, который имеет ряд детализаций, обеспечивающих учет иерархичности построения модулей программного обеспечения (ПО), многоэтапность выполнения задач технологического цикла управления (ТЦУ) и наличие одновременно реализуемых ТЦУ для совокупности объектов. Причем значительно видоизменяются схемы и приводимые в статье [2] пошаговые процедуры для алгоритмически заданных целевых функций и ограничений задач в случае, когда используется стохастический анализ на вЕКГ- сетевой модели и требуется обеспечить интерактивный режим.
Проведенный в работе [3] анализ формальных моделей показывает, учитывая размерность реальных задач
управления КА, используемое модельное описание ТЦУ и связанные с ним алгоритмически проверяемые ограничения при анализе и коррекции ТЦУ на заданном уровне детализации, что традиционные методы решения не позволяют получить приемлемые для практики результаты. Поэтому предложен и реализован комбинированный метод, лежащий в основе решающего алгоритма и состоящий из двух этапов:
1. Использование многоцелевых методов принятия решений (МОБМ-процедур) в комбинации с модифицированными алгоритмами случайного поиска для решения исходных оптимизационных задач с целью получения множества недоминируемых решений.
2. Применение многоатрибутивных методов принятия решений (МАБМ-методов) для окончательного выбора альтернативы, принимаемой в качестве решения на полученном множестве.
Следует отметить, что модифицированный МАБМ-под-ход также позволяет учесть, что в случае оценки затрат на ПО, производительности системы, временных оценок реализации задач ТЦУ и т. д. не всегда возможно точно и определенно установить значения всех необходимых показателей. Часто приходится сталкиваться с неопределенностями в оценках на этапе принятия решения, когда полная информация недоступна, даже если на этом этапе привлекаются высококвалифицированные системные аналитики и специалисты по управлению КА. В этом случае на предварительном этапе оценки глубины мультиверсионности исполнения компонент ПО рассматриваются методы анализа риска (и их значение для экономики инженерного проектирования программного обеспечения технологии управления КА), теория статистических решений, которые применяются для выработки решения в условиях неопределенности.
Постановка задачи. Разрабатывается метод решения системы мультиверсионных моделей, позволяющий в результате многоэтапной процедуры сформировать оптимальный состав мультиверсий для отказоустойчивых систем (МУ8-систем), функции которых определяются заданными технологическими циклами управления КА «Гонец-М». Рассмотрим последовательно этапы разработанной процедуры, полная реализация которой обеспечивает эффективное специально организованное сопровождение мультиверсионного состава ТЦУ КА.
На предварительном (нулевом) этапе с целью реализации базовых требований мультиверсионной методологии к обеспечению разнообразия методов проектирования мультиверсий определяется глубина мультиверсионности гарантоспособных компонент. Так как в реальной ситуации при разработке отказоустойчивых компонент существуют неопределенности в оценках затрат, надежностных и временных факторов, относительно которых необходимо принять решение, то предлагается использовать на этом этапе методы анализа риска и элементы теории статистических решений, которые позволяют вырабатывать решения в условиях неопределенности. Кроме того, рассматриваются методы снижения неопределенности о необходимой глубине мультиверсионности гарантоспособных компонент.
Введем следующие понятия, характеризующие три возможных варианта для установления глубины мульти-версионности:
1. Базовый вариант (БВ), предусматривающий минимально возможную избыточность мультиверсий (N = 2) и обеспечивающий гарантоспособность компонента NVS(n= 2)-системы.
2. Радикальный вариант (РВ), предусматривающий избыточность мультиверсий при N > 2 (радикально увеличивающий глубину мультиверсионности компонента NVS(n> 2)-системы) и, естественно, требующий дополнительных затрат по сравнению с БВ.
3. Основной вариант (ОВ), который соответствует од-новерсионному (безызбыточному) программированию компонента NVS-системы и обеспечивает минимальную стоимость его реализации.
Очевидно, что в процессе специально организованного сопровождения NVS при отказе РВ необходимо перепрограммировать систему, используя БВ и получая при этом снижение гарантоспособности и дополнительные затраты на перепрограммирование. Потенциальные результаты применения вариантов мультиверсионности компонентов ПО (РВ и БВ), а также ОВ, оцениваются, а выигрыш, в зависимости от формулировки, может выражаться в стоимостных единицах, единицах показателей качества, функции полезности и т. д.
Задача предварительного этапа, фактически, сводится к выбору между РВ и БВ для конкретного мультивер-сионного компонента, причем на этом этапе ничего не известно о шансах на успех РВ, что соответствует выбору при полной неопределенности. В статье [4] анализируются правила выбора из нескольких альтернатив для случаев, когда результат или выигрыш зависит от конкретного выбора: для конкретного выбора известен выигрыш по всем альтернативам; вероятность конкретного выбора неизвестна. Там же рассмотрены и реализованы основные методы выбора при полной неопределенности - правила максимина и максимакса, правило Лапласа, или равной вероятности, применяемые на данном этапе процедуры. Критически проанализированы оптимистичность и пессимистичность, а также сильные и слабые стороны каждого из подходов. Несмотря на применение экспертных оценок вероятностей (как метода преодоления влияния полной неопределенности) и соответствующего метода интервального анализа, а также функции полезности, поиск хорошей альтернативы является исключительно трудной задачей, причем для указанных методов существуют классы ситуаций, в которых назначается противоестественный выбор при полном отсутствии информации о возможных исходах. Несомненно, что такая информация способна дать значительный эффект при решении поставленной задачи.
Метод решения. Предлагается следующий метод повышения знаний о конечном состоянии мультиверсионного компонента NVS-системы ПО, который становится возможным благодаря организации в составе средств сопровождения модельного блока прототипов мультиверсий, реализующего основные функции компонента при погружении в среду моделирования технологии управления КА и логики функционирования бортового ком -плекса управления. Естественно, в этой ситуации значительно повышается риск для РВ, хотя в общем случае не представляется возможным получить полную информа-
цию, так как существуют два источника неопределенности, которые выражаются вероятностью Р(Б[РВ] / неблагоприятный случай (НС)), что соответствует вероятности того, что исследование с помощью модельного блока приводит к выбору РВ при условии, что в действительности этот вариант окажется неудачным, и Р(Б[РВ] / благоприятный случай (БС)) - вероятность того, что использование модельного блока приводит к выбору РВ при условии, что он действительно оказывается удачным.
Использование формулы Байеса и ее частных случаев является основным при получении математического ожидания дохода при использовании модельного блока для выбора предпочтительного варианта мультиверсион-ности компонент программной системы. При этом возможно определение чистой стоимости (ЧС) при различных затратах на моделирование и отладку мультиверсий, обеспечивающих различные уровни надежности предсказания гарантоспособности компонент.
Итак, имеется m альтернатив NVS1(n > 2), NVS2(n > 2), ..., NVSm(N > 2) в ситуации, имеющей n возможных состояний S1, S ., S вероятности которых равны P(S) P(S2), ., P(S), а значения выигрышей от выбора альтернативы в состоянии Sj задается матрицей выигрышей с элементами v (j = 1, ., n; i = 1, ., m). Необходимо выбрать альтернативу (вариант реализации мультиверсионного компонента ПО) с максимальным математическим ожиданием М выигрыша. При полной информации, рассчитав М дохода при выборе каждой альтернативы и выбрав максимально значимую, вычислим М дохода от полной информации:
м _£ P(Sj)( max Vjj) - max £ P(Sj )vtJ.
j=1 i_1,..m i_1,..., mj_1
Таким образом, если применение модельного блока Б прототипов обеспечивает полную информацию для определения глубины мультиверсионности NVS-системы ПО, то всегда можно рекомендовать альтернативу, максимизирующую выигрыш. Рекомендуемые в результате этого применения альтернативы Б[NVSi.] связаны с состояниями Sj, причем в практике инженерного программирования рекомендация Б [NVS ] основана на неполной информации о состояниях Sj (где для нашего случая Б[NVSi] соответствуют БВ, РВ или ОВ, а S. - суть НС и БС). Тогда общая формула для М дохода при решении задачи выбора варианта мультиверсионности из Б[NVS.] (i = 1, ., m) имеет следующий вид:
M^[NVSj], Б[NVS2], ..., Б[NVSm]) _
m n
_ £P(B(NVSi])[£P(S. /Б[NVSi])Vj].
i_1 j_1
В соответствии с вышесказанным, разработана процедура определения дохода от информации, в результате реализации которой определяется структура мультиверсионности NVS-системы ПО и обеспечивается наилучшее соотношение между затратами на применение модельного блока прототипов и доходами от результатов этого применения и полученной при этом информации. Здесь же отметим, не касаясь случая, когда значением М можно пренебречь, что, вычислив М, получаем «грубую» верхнюю оценку допустимых затрат и в этих пределах
определяем оценочную стоимость Ск наиболее обещающей компоновки модельного блока. Вычислив чистую стоимость по каждому Б[ЫУ§.], выбираем наиболее предпочтительный вариант мультиверсионного исполнения компонента ПО.
Указанная процедура позволяет решать ключевые проблемы, нашедшие свое отражение в рамках парадигмы мультиверсионности жизненного цикла программного обеспечения (ЖЦПО) и касающиеся, в первую очередь, вопросов о том, какие средства необходимо затратить на фазе исследования осуществимости мультивер-сионного исполнения компонента на анализ альтернативного варианта глубины мультиверсионности, на анализ риска при конкретизации требований, на верификацию и подтверждение, прежде чем приступить к эксплуатации МУ8-системы ПО и т. д.
После того как получена структура мультиверсион-ности ПО, выполняется двухэтапная процедура формирования состава мультиверсий, обеспечивающая решение системы моделей на множестве булевых переменных, отражающих фактор стоимости, надежности и времени исполнения ТЦУ КА. Реализация целеориентированного подхода (ЦОП) при инженерном программировании мультиверсионного ПО обеспечена в рамках предложенного метода, причем на первом этапе с использованием разработанных МОБМ-алгоритмов в комбинации с алгоритмами случайного поиска (СП) и их модификациями формируется множество недоминируемых решений, которые соответствуют возможным допустимым составам мультиверсионного ПО управления КА, а на втором этапе осуществляется окончательное формирование состава мультиверсий путем решения многоатрибутивной задачи выбора с помощью разработанного МАБМ-метода.
Неполнота и нечеткость информации, как и ранее, остается неотъемлемым сопутствующим фактором решаемой задачи, однако ЦОП предполагает возможность согласования целей путем применения субъективных оценок и непосредственного участия проектировщика на любом из этапов ЖЦПО особенно в составе согласованных с классическим ЖЦПО процедур создания отказоустойчивых компонент.
В статье [2] предложен метод случайного поиска при формировании множества недоминируемых решений системы мультиверсионных моделей на множестве булевых переменных. Базовые шаги указанной процедуры применимы и в том случае, когда используются разработанные модифицированные алгоритмы случайного поиска с адаптацией (возвратом). В работе [3] разработаны рандомизированные схемы направленного поиска, использующие теоретико-групповой подход к бинарной оптимизации, который позволяет ввести направление в пространстве булевых переменных.
Таким образом, представленная унифицированная процедура и рандомизированные методы направленного поиска позволяют генерировать допустимое множество недоминируемых решений, мощность которого задается (или ограничивается) проектировщиком, однако при всей универсальности предложенной схемы нет возможности управлять процедурой, хотя эксперт обладает
информацией, способной оказать существенное влияние на процесс формирования состава мультиверсий ПО. Чтобы добиться этого, предлагается в комбинации с разработанными алгоритмами СП применить модифицированный МОБМ-метод, новизна и оригинальность которого заключается в применении интерактивной схемы нечеткого программирования, учитывающей предпочтительности критериев решаемой задачи.
Предлагаемый метод, фактически, переформулирующий МОБМ-задачу как задачу нечеткого программирования, позволяет преодолеть недостатки, присущие реализованным ранее подходам. Одним из наиболее удобных способов выражения уровней желаемости через информацию о предпочтениях является предлагаемый способ установления предпочтений критериев и рассмотрения процента достигаемости целей при выполнении процедуры принятия решений по той или иной альтернативе. Далее эти значения определяются через нечеткую функцию принадлежности, значение которой будет выражать и определять степень предпочтений лица, принимающего решения (ЛПР), относительно указанных (нечетких) уровней желаемости целевых функций относительно их актуальных уровней достигаемости. Предлагаемый метод базируется на концепции нечеткого целевого программирования, однако, одним из существенных его отличий является учет размытой входной информации ЛПР в качестве базовой при оценке допустимости полученного решения в интерактивном режиме.
При формальном описании метода будем учитывать, что для общей постановки МОБМ-задачи $ есть вектор-функция, имеющая к компонент.
Применяя интерактивную МОБМ-процедуру для решения поставленной задачи, пользователь получает возможность сгенерировать конечное число г > к недоминируемых решений, удовлетворяющих структуре его предпочтений, а также сформировать множество пробных (испытательных) решений. Обозначим это множество как
и = {$(х*и), и = 1, 2, ...,г}.
Из этого множества необходимо отобрать наилучшее компромиссное решение. Следующие (к + 1) критериев отбора С(г), г = 1, ., к и С(к + 1) могут оказать существенную помощь при отыскании такого решения:
С(г): 0 < рс-Е. < ра. < 100 V г = 1, 2, ..., к,
где ра и рс. - процент достижимости и предпочтительность г-го критерия для каждой целевой функции соответственно; Е. - неотрицательное значение нижней оценки (недооценка цели) г-й функции, устанавливаемая экспертом;
к
С(к + 1): 0 < £ (ра% - ра.) < Е§ ,
г=1
где раё - глобальный процент желаемости для г-й целевой функции, который может быть рассчитан в результате решения оптимизационной задачи:
к
тах V ра.,
е
где Е - подмножество достижимых целей, определяемое допустимым подмножеством X; Еg - максимум установленного ЛПР неотрицательного значения разности меж-
ду суммой глобальных и действительных процентов достижимости по всем к целям.
Итак, будем рассматривать (к + 1) подмножеств и. множества и испытательных недоминируемых решений. Тогда подмножество определится следующим образом (для. = 1, ..., к):
и. = { /(х*иУ- ра.(/(х*и)) удовлетворяет С(/)}, ик+ 1 = {$х*и): ра^х*)), г = 1, ..., к, удовлетворяют С(к + 1)}.
Установим, что испытательные недоминируемые решения являются элементами нечеткого множества, функции принадлежности которых могут быть рассчитаны как значения некоторых функций, которые будут определены ниже как функции принадлежности в интервале [0, 1].
Взяв за основу базис для правил выбора, используемых в максимине и ^ту-программировании [5] и положив к.(и.) > 2, V . = 1, 2, ..., к + 1, запишем задачу в следующем виде:
тах 2
Е
таким образом, чтобы для. = 1, 2, ., к + 1
к. (и) > 2,
где к. (и.), . = 1, ., к + 1 - функции принадлежности, задаваемые для каждого подмножества и,. = 1, ., к + 1 недоминируемых решений, удовлетворяющих .-му критерию выбора; Е - допустимое пространство целей, заданное ограничениями исходной задачи.
Эта последняя постановка может быть переписана в виде задачи нечеткого программирования (ЕР), причем все ограничения задаются четко:
(ЕР): тах 2 таким образом, чтобы для г = 1, 2, ., к
(ра. - рс. + Е.) / (100 - рс. + Е. ) > 2,
0 < рс. - Е. < ра. < 100,
к
1 -£(ра. -ра)/Eg >г,
г=1
к
0 < V (р^ - раг ) < Е&,
г=1
ра= = [1 - $(х) - $(х'*)) / $-$(х*))]-100,
$+ * $(**),
$(х) = ($1, ..., $) е Е, где$(х'*) = т1п$ при выполненных ограничениях задачи, в том числе заданных алгоритмически; рс. (г = 1, 2, ., к) -входная информация о предпочтительности критериев; Е. (г = 1, 2, ., к) и Еg - входная информация о степени недооценки, принятая проектировщиком;
$+ = тах{$ (хг*)}.
1< . <к
Фактически, приведенная выше формулировка задачи полностью описывает все необходимые вычислительные процедуры, причем решение задачи (ЕР) однозначно указывает на недоминируемое решение исходной задачи.
Сформулируем шаги интерактивного алгоритма генерации недоминируемого решения, учитывая, что проектировщик может модифицировать в начале любой итерации алгоритма значения входных параметров:
Шаг 0. Сформулировать нечеткую модель (ЕР), соответствующую исходной МОБМ-задаче.
Шаг 1. Ввод исходных параметров рс, . = 1, ., к; Е, г = 1, ..., к; Е. ' '
g
Шаг 2. Решение ЕР-модели. Если это невозможно, то переход на шаг 1, иначе - шаг 3.
Шаг 3. Предоставление ЛПР результирующего значения 2 и соответствующего недоминируемого решения исходной задачи. Если предпочтительное решение выбрано, то остановка, в противном случае - переход на шаг 1.
Комбинированный МАБМ-метод завершает двухэтапную процедуру решения многоатрибутивной задачи формирования мультиверсионного ПО и позволяет выбрать в качестве оптимального альтернативный состав мультиверсий, который минимизирует взвешенное расстояние (соответственно для размытой и интуитивной составляющей) от назначенной «идеальной точки», т. е. данный метод комбинирует оценки каждого значения атрибута при отсутствии полной информации о предпочтениях и субъективные оценки относительно важности всех атрибутов.
Итак, имеется т альтернатив, представляющих собой различные составы ПО ТЦУ для мультиверсионного программного продукта, из которых необходимо сделать выбор. Каждому выбору соответствует п значений атрибутов. Для к-й альтернативы существует х(к)1, х(к)2, ., х(к)п, где х(к). - значение г-го атрибута, если к-я альтернатива выбрана. Будем обозначать через МУ8(к) некоторую к-ю альтернативу, однозначно определяющую х(к)1, х(к)2, ..., х(к)п и соответствующую одному из вариантов состава мультиверсионного ПО.
Обозначим субъективною оценку относительной важности каждого г-го атрибута с помощью нечеткого множества Н., т. е. X. = {х®: 1 < к <т} и х*}, где х* соответствует идеальной альтернативе МУ8 *. Нечеткое множество Н. описывается своей характеристической функцией вида /н:. X. ® [0, 1]. Таким образом, /н.(х.(к)) характеризует предпочтительность МУ8(к) по г-му атрибуту.
С использованием метода энтропии и с учетом соотношения между размытым множеством и распределением вероятностей [6] определим генерируемую размытость по г-му атрибуту в. и общую неопределенность Е, полученную путем суммирования. Определим коэффициент сатисфакции как
п
$ = (1 - в.)/ V (1 - в.) = (1 - в.)/ (п - Е), 0 < г < п . г=1
Приведенная ниже процедура комбинирует нечеткость, характеризующую полученные коэффициенты сатисфакции и субъективную составляющую, присущую конкретному специалисту на этапе принятия решения о составе мультиверсионного ПО. Пусть м. - относительные веса по важности, назначенные ЛПР г-му атрибуту априори. Тогда комбинированный весовой коэффициент можно определить как
п
комб = , 0 < г < п.
г=1
Итак, если необходимо определить, насколько удалены друг от друга МУ8 * и МУ8(к) по г-му атрибуту, то это можно определить по степени неудовлетворенности ЛПР
значением г-го атрибута для №У8(к), т. е. введя дополнение нечеткого множества, которое будем обозначать и. и для которого выполняется/1Г.(х<<к)) = 1 -$Н/(х/к)). Определим
т&[№$*, Ы¥8к)] = ^/„(х.®)
и тогда
Dis ^У8*, №У8(к)] =
п
= £ (Dis(t)[ИУ8*,ИУ8(к)])2 ,
Ь=1
где обозначение Dis соответствует нотации, введенной в работе [7], и характеризует функцию различимости по каждому отдельному г-му атрибуту.
Собственно процедура выбора может быть представлена последовательностью следующих этапов:
Этап 1. В момент t все доступные альтернативы, специфицированные по каждому атрибуту относительно «идеальной» альтернативы, предоставляются ЛПР который затем определяет/н.(х.®)® V., к. Дополнительно могут быть рассмотрены и выбраны некоторые лучшие альтернативы предыдущего этапа t - 1 и обозначены/^х®)1^ [)
на /н/х/к))®
Этап 2. Расчет частных энтропий (по каждому атрибуту), суммарной энтропии и $. (используется количественная шкала и периодически предоставляется возможность сверить коэффициенты соответствия - интерактивный режим).
Этап 3. Определение м ® (используется количественная шкала и периодически предоставляется возможность сверить коэффициенты относительной важности отдельных атрибутов - интерактивный режим).
Этап 4. Расчет весовых коэффициентов $ ®комб, комбинирующих нечеткость и субъективную оценку.
Этап 5. Расчет DiS(t)[NУ8 *, №У8(к)].
Этап 6. Определение наилучшей альтернативы путем минимизации Dis(t).
Последовательность указанных шагов может повторяться до тех пор, пока не будет принято решение о том, что полученная альтернатива максимально близка к NVS *. В интерактивном режиме с учетом сверки коэффициентов и обновления информации (этапы 2, 3) пользователю могут быть предоставлены и альтернативы, полученные на предыдущих этапах t - 1 применения алгоритма.
Таким образом, процедуры комбинированного метода, соответствующие выбору структуры мультиверси-онности состава комплекса управления КА «Гонец-М» (нулевой этап), реализованы в рамках стоимостно-ориентированного подхода, что возможно только с учетом методов анализа риска, теории статистических решений при оценке их значения для экономики инженерного проектирования при выработке решений в условиях неопределенности. Комбинированный МОБМ-метод (первый этап), реализующий теоретико-групповой подход к бинарной оптимизации, позволяет ввести направление в пространстве булевых переменных, что обеспечивает использование на этом этапе для решения поставленных задач рандомизированных методов направленного поиска. Завершающим шагом первого этапа процедуры является формирование конечного множества недоминируемых решений многокритериальной задачи, который
осуществим в результате применения предпочтений критериев в нечетком программировании и организации интреактивной (и итеративной) пошаговой схемы. Решение интерпретированной задачи нечеткого программирования однозначно определяет недоминируемое решение исходной MODM-задачи, и более того, модификация предложенного алгоритма позволяет получить наилучшее компромиссное решение задачи по составу мультиверсионного комплекса управления КА «Гонец-М».
Второй этап соответствует MADM-методу решения многоатрибутивной задачи выбора на полученном конечном множестве недоминируемых альтернатив и комбинирует оценки каждого значения атрибута при отсутствии полной информации о предпочтениях, а также субъективные оценки относительно важности всех атрибутов. Это возможно в результате диалоговой процедуры, причем в реально работающей системе обеспечен режим сверки коэффициентов и обновления информации.
Библиографический список
1. Антамошкин, О. А. Совершенствование процессов проектирования бортовых систем обмена информацией
I О. А. Антамошкин, И. В. Ковалев, А. А. Усольцев II Вестник НИИ СУВПТ : сб. науч. тр. Вып. 12. Красноярск, 200З. С. б0-б9.
2. Антамошкин, О. А. Многоатрибутивная оценка вариантов бортовой системы обмена информацией / О. А. Антамошкин, И. В. Ковалев, А. А. Усольцев // Современные проблемы информатизации в технике и технологиях : сб. тр. Вып. 9. Воронеж : Научная книга, 2004. С. 210-211.
3. Kovalev, I. V. System of multi-version development of spacecraft control software / I. V. Kovalev // Pro Universitate Verlag Sinzheim. 2001.
4. Антамошкин, О. А. Многоатрибутивные методы учета субъективности оценок при проектировании бортовых систем обмена информацией / О. А. Антамошкин, Р. Ю. Царев, А. А. Усольцев // Вестник университет. комплекса : сб. науч. тр. Вып. 1(15). Красноярск : ВСФ РГУ-ИТП : НИИ СУВПТ. 2004. С. 54-67.
5. Tapia, C. G. Interactive fuzzy programming with preference criteria in multiobjective decision-making / C. G. Tapia, B. A. Mur-tagh // Computers Ops. Res. 1991.Vol. 18. No. 3. P. 307-316.
6. Антамошкин, О. А. Применение метода многоатрибутивного принятия решений для выбора состава бортовой системы обмена информацией / О. А. Антамош-кин // Вестник Сиб. гос. аэрокосмич. ун-та им. акад. М. Ф. Решетнева : сб. науч. тр. / под ред. Г. П. Белякова; Сиб. гос. аэрокосмич. ун-т. Красноярск. 2005. Вып. 6. С. 96-99.
7. Царев, Р Ю. Учет субъективных предпочтений ЛПР при мультиверсионном проектировании АСУ / Р Ю Царев. И. В. Ковалев, М. Ю. Слободин // Системы управления и информационные технологии. 2005. N° 1(18). С. 44-49.
O. A. Antamoshkin
COMBINED METHOD OF GONETS-M SPACECRAFT CONTROL MULTIVERSION SOFTWARE DESIGN
The combined method developed within the framework of goal-oriented approach to software development is proposed to realize multi-version programming of the complex Gonets-M spacecraft control systems, which requires a high level of fault-tolerance. The design of software module version composition supports the base scheme of N-variantprogramming, as well as RB-block - a scheme of fault-tolerant programming with recovery block.
Кeywords: NVS systems, decision making MADM andMODM methods, spacecraft design.
