УДК 629.78 + 004.9
РАЗРАБОТКА ПРОБЛЕМНО-ОРИЕНТИРОВАННОЙ СИСТЕМЫ АВТОМАТИЗИРОВАННОГО ПРОЕКТИРОВАНИЯ КОСМИЧЕСКИХ АППАРАТОВ НАБЛЮДЕНИЯ С ВОЗМОЖНОСТЬЮ ВЗАИМОДЕЙСТВИЯ
С РБМ-СИСТЕМОЙ
© 2011 А. А. Якищик
Самарский государственный аэрокосмический университет имени академика С. П. Королёва (национальный исследовательский университет)
Рассматривается проблема разработки проблемно-ориентированных систем для автоматизированного решения задач проектирования космических аппаратов. Описывается алгоритм проверки задач на корректность, метод определения последовательности выполнения расчётов c последующим получением численных значений искомых параметров для бортовых систем космического аппарата. Рассматривается задача получения численных значений массогабаритных характеристик космического аппарата в целом. Описывается программное обеспечение, разработанное в среде программирования DELPHI XE для решения поставленных задач. Исследуется возможность интеграции проблемно-ориентированной системы с системой управления данными об изделии (PDM-системой).
Проблемно-ориентированная система, уравнения связи, входные данные, выходные данные, двудольный граф, компонент сильной связности, РБЫ-система, САПР, объект Шпс1сЫ11.
При проектировании или модернизации космических аппаратов (КА) наблюдения с высокими показателями целевой эффективности (детальности, периодичности, оперативности, производительности, срока активного существования, точности и т.п.) в условиях ограничений по массе конструкции, мощности электропотребления, времени выполнения тех или иных частных операций и т.д. возникает проблема согласования («увязки») массогабаритных, энергетических, ресурсных, временных и других характеристик целевой аппаратуры, бортовых обеспечивающих систем и КА в целом.
Характеристики различных бортовых систем КА в большинстве случаев связаны между собой множеством разнородных уравнений (алгебраических, дифференциальных и интегральных), логических зависимостей, алгоритмических связей. Обобщённо все эти зависимости называют операторами связи. При этом количество увязываемых характеристик, а следовательно, и соответствующих операторов связи, может быть очень большим, и при увязке характеристик «вручную» велика вероятность возникновения ошибки.
Не всегда ясно, достаточно ли имеющихся операторов связи или имеется их избыток,
корректно ли поставлена задача проектирования или нет.
Также зачастую требуется поставить множество задач проектирования в рамках конкретной модели (минимизация стоимости космической системы наблюдения, минимизация массы КА, улучшение целевых показателей эффективности, оптимизация расписания работы целевой и обеспечивающей аппаратуры, бортовой аппаратуры и т. д.).
Кроме того, иногда приходится заимствовать уже существующие, отработанные элементы, узлы и агрегаты бортовых систем из КА других типов. Указанные элементы, как правило, «не вписываются» в оптимальную структуру проектируемого космического аппарата, но тем не менее, их используют по соображениям минимума финансовых затрат и экономии времени.
На основании вышеизложенного было принято решение о создании проблемно-ориентированной системы автоматизированного проектирования (САПР). Данная система анализирует математическую модель, основываясь на исходных данных и требуемых выходных параметрах, указанных пользователем. В качестве результата система выдаёт отчёт о корректности модели, при положи-
тельном содержании которого разбивает модель на последовательность уравнений и систем уравнений, после чего пытается решить их численно. Если численные значения исходных данных не позволяют найти численное решение требуемых параметров, система сообщит о некорректности введённых пользователем данных.
Методика построения проблемно-ориентированных автоматизированных систем основана на использовании теории графов и теории отношений и заключается в следующем [1].
По исходной системе уравнений, описывающих рассматриваемый объект, строится двудольный граф G = (иV, E), где и -множество переменных; V - множество отношений между переменными; Е - множество рёбер. Такой граф отражает связи между переменными, используемыми в математической модели, и уравнениями, в которые эти переменные входят.
Далее из графа исключаются вершины, соответствующие исходным данным (так называемые входные вершины), как не нуждающиеся в определении. В полученном графе определяется максимальное паросоче-тание, т. е. максимально мощное множество его рёбер, обладающее тем свойством, что каждая вершина графа инцидентна не более чем одному ребру. Это позволяет для каждой переменной определить совокупность тех уравнений, из которых она может быть выражена.
После этого проводится разделение двудольного графа на компоненты сильной связности. Выделение этих компонент разбивает исходную систему уравнений на подсистемы, которые должны решаться совместно.
Проходя последовательно по вершинам компонент сильной связности от искомых переменных (в графе G им соответствуют выходные вершины) через вершины отношений к остальным переменным, можно определить последовательность решения данной системы уравнений.
Подобная реализация проблемно-ориентированной системы позволяет решать разнородные задачи на постоянном множе-
стве моделей. Поскольку анализ моделей и поиск решения осуществляется автоматизированно, участие пользователя ограничивается лишь изменением наборов входных и выходных параметров без перестройки модели в целом. Также для решения отдельных задач возможно заимствование уже готовых моделей и последующее их использование в совокупности с уже имеющимися. Таким образом, будет обеспечена существенная эко -номия времени на начальных этапах разработки космического аппарата, а также сведено к минимуму количество ошибок, возникающих при аналитическом поиске решения поставленной задачи.
Рассмотренный укрупнённый алгоритм решения задачи был реализован в программном комплексе, разработанном в среде программирования БЕЬРШ [2].
Работа программы происходит следующим образом. Пользователь выбирает один из двух вариантов - работать с ранее сохранёнными моделями или создать новую модель. При выборе ранее сохранённой модели происходит автоматическая загрузка всех данных о модели (в том числе информации о входных и выходных переменных). При изменении связей модели программа потребует пересохранить модель перед расчётами. Таким же образом происходит добавление новой модели - опция расчёта будет недоступна, пока модель не будет сохранена. Для сохранения модели необходимо ввести исходные данные по переменным системы.
После проверки правильности ввода исходных данных работа программы может идти в двух режимах - подробном (с пошаговым отображением процесса поиска последовательности решения) и сокращённом. В случае подробного режима программа будет последовательно демонстрировать все этапы алгоритма отыскания последовательности решения в виде графов. При работе в сокращённом режиме программа пропустит визуальное отображение. Независимо от того, какой режим был выбран - сокращённый или подробный, - после анализа системы пользователю будет предоставлен отчёт о результатах анализа модели. В случае, когда система уравнений, описывающих модель,
при текущих входных и выходных параметрах не имеет решения, программа выдаст соответствующее уведомление. Если же решение существует, оно будет отображено в окне.
Поскольку в программе предусмотрено численное решение уравнений, пользователь имеет возможность получить численные значения выходных переменных. При выполнении этой процедуры предусмотрена обработка различных исключительных ситуаций. В частности, - детальная проверка синтаксиса введённых уравнений. При обнаружении некорректно введённого уравнения программа выдаст предупреждение с указанием на строку, где была допущена ошибка. Обработка исключений, связанных с численным решением (например, деление на ноль), происходит без уведомления пользователя и без прерывания процесса поиска решения. Критические ошибки, не предусмотренные работой программы, также обрабатываются с последующим выводом системного сообщения. Таким образом, при возникновении исключительных ситуаций аварийного завершения программы не произойдёт.
Для численного решения уравнений используется метод дихотомии, точность результатов которого устанавливается пользователем для каждой переменной индивидуально. Также программа имеет возможность решать подсистемы, имеющие в своём составе два нелинейных уравнения. Поскольку численное решение таких систем представляет значительную сложность, рекомендуется при вводе исходных данных сужать область поиска значений переменных, входящих в состав таких подсистем. Для решения систем нелинейных уравнений применён модифицированный метод дихотомии.
С помощью описанного программного комплекса были решены задачи определения характеристик ряда систем КА:
- системы терморегулирования (СТР);
- комплексной двигательной установки (КДУ);
- оптико-электронного телескопического комплекса (ОЭТК);
- элементов целевой аппаратуры;
- силового гироскопического комплекса (СГК);
- системы энергетического питания (СЭП).
В качестве примера использования комплекса рассмотрим задачу расчёта параметров СЭП космического аппарата. Уравнения, описывающие массогабаритные характеристики указанной системы, имеют следующий вид [3]:
P + P P
£> _ нсрсут СЭП ^ _ 1 фб
РФБ = S ФБ =
ЦКАС ЦАБ COS« ’ Руд
(Рт + РСЭП К +(РАН + РС ЭП У
hpy Цу
Wa.
тфБ = gФБ *ФБ; тАБ =— ; тсн = ^сн ;
ЇАБ ’ Ру
уд
РФБ РФБ
тзу = ру ; тру = рБ
Руд Руд
В уравнениях используются следующие переменные:
РФБ - требуемая мощность фотоэлектрической батареи на конец срока активного существования;
РнсРсут - среднесуточная мощность нагрузки;
РСЭП - собственное потребление системы электропитания;
hfAC - среднее значение коэффициента полезного действия (КПД) комплекса автоматики и стабилизации напряжения (КАС);
цАБ - среднее значение КПД аккумуляторной батареи (АБ);
cos а - средний (интегральный) за виток полета КА косинус угла между направлением на Солнце и нормалью к поверхности фотоэлектрической батареи;
Руд - удельная мощность фотоэлектрической батареи;
ЖАБ - необходимая энергия аккумуляторной батареи;
Рт - среднее значение мощности нагрузки на теневом участке;
РнАН - средняя мощность нагрузки на участке работы аппаратуры наблюдения;
тт - длительность теневого участка орбиты;
тАН - средняя длительность участка работы аппаратуры наблюдения на одном витке;
Лру - среднее КПД разрядного устройства;
Пзу - среднее КПД зарядного устройства;
8фб - площадь фотоэлектрических преобразователей;
уФБ - удельная масса фотоэлектрической батареи с учётом элементов конструкции солнечной батареи;
уАБ - удельная энергия аккумуляторной батареи;
Рнагр - максимальное значение мощности, проходящей в нагрузку от фотоэлектричес-
кой батареи через стабилизатор напряжения;
РС - удельная мощность стабилизатора напряжения;
РФБ - требуемая мощность фотоэлектрической батареи на конец срока активного существования;
пЗУ
Руд - удельная мощность зарядного устройства;
пРУ
Руд - удельная мощность разрядного устройства;
тзу - масса зарядного устройства; т - масса разрядного устройства; тСН - масса стабилизатора напряжения; тфБ - масса фотоэлектрической батареи; тСЭП - масса системы электропитания; тАБ - масса аккумуляторных батарей. Для ввода уравнений в программный комплекс необходимо ввести нормализованные переменные-идентификаторы. Их соответствие исходным параметрам математической модели отображено в таблице 1.
В качестве входных переменных были приняты параметры, указанные в таблице 2.
Обозначения отношений (уравнений) приведены в таблице 3.
Таблица 1. Список идентификаторов
Иденти- фикатор Параметр модели Иденти- фикатор Параметр модели Иденти- фикатор Параметр модели Иденти- фикатор Параметр модели Иденти- фикатор Параметр модели
и1 Р ФБ и7 иФБ и13 *ан и19 Уаб и25 тру
и2 Рн срсут и8 Руд и14 Яру и20 тсн и26 р РУ Уд
и3 Р 1 СЭП и9 ^аб и15 Яу и21 Р нагр и27 тсэп
и4 ЯКЛС и10 Р т н и16 т фб и22 рСН Уд
и5 ЯлБ и11 *т и17 У ФБ и23 тзу
и6 008 а и12 Р АН н и18 тлБ и24 Р зу уд
Таблица 2. Входные переменные
Иденти- фикатор Параметр модели Значение Иденти- фикатор Параметр модели Значение Иденти- фикатор Параметр модели Значение
и2 Р н ср сут 354Вт и10 р т н 5.9Вт и17 У ФБ 4.2 кг/ м2
и3 р 1 сэп 24Вт и11 *т 0.83час и19 Уаб 1.2Вт*час/кг
и4 Я кас 0.9 и12 р АН н 411Вт и21 Рнагр 579Вт
и5 Яаб 0.9 и13 * АН 0.55час и22 РСН уд 275Вт/кг
и6 008 а 0.356 и14 Яру 0.95 и24 Р ЗУ уд 225Вт/кг
и8 руд 130 Вт/м2 и15 Язу 0.95 и26 Р РУ уд 325Вт/кг
Таблица 3. Обозначения отношений модели
Идентификатор Уравнение модели Идентификатор Уравнение модели
у1 и 1 =(и2+и3)/(и4*и5 *и6) у6 и25=и1/и26
у2 и7=и1/и8 у7 и23=и1/и24
у3 и9=((и10+и3)*и11+(и12+и3)*и13 )/(и 14*и15) у8 и20=и21/и22
у4 и16=и17*и7 у9 и18=и9/и19
у5 и27=и16+и18+и20+и23+и25
Исходный граф , построенный по системе уравнений, описывающих СЭП, приведён на рисунке 1а, на рисунке 1б приведён граф достижимых вершин, построенный программой.
На основании построенного графа программа выдаёт решение поставленной задачи, которое в данном случае выглядит следующим образом:
Решите уравнение вида: и1=(и2+и3)/ (и4-и5-и6)
Относительно: иі
Решите уравнение вида: и7=и1/и8
Относительно: и7
Решите уравнение вида: и25=и1/и26
Относительно: и25
Решите уравнение вида: и23=и1/и24
Относительно: и23
Решите уравнение вида: и20=и21/и22
Относительно: и20
Решите уравнение вида:
и9=((и10+и3)-и11+(и12+и3)-и13)/(и14-и15)
а)
Рис. 1. а) исходный граф, б)
Относительно: и9
Решите уравнение вида: и18=и9/и19
Относительно: и18
Решите уравнение вида: и16=и17и7
Относительно: и16
Решите уравнение вида:
и27=и16+и18+и20+и23+и25
Относительно: и27
Данная последовательность уравнений может быть решена численно с использованием входных параметров, указанных пользователем.
В данном примере были получены следующие значения выходных параметров: Найденные выходные переменные: и7=10,08355 (площадь солнечных батарей, м2)
и27=298,145 (масса СЭП, кг)
На основе текущих возможностей проблемно-ориентированной системы было принято решение о реализации в программном продукте метода, позволяющего получить
б)
граф достижимых вершин
значения основных массогабаритных характеристик (массу, объём и момент инерции) космического аппарата в целом.
Данный метод - метод синтеза конструктивного облика изделий ракетно-космической техники на основе последовательного “ наращивания” составных частей “вокруг” блоков большой массы и габаритов - состоит в следующем. В качестве основной составной части КА наблюдения выбирается оптико-электронный телескопический комплекс, который для КА детального и оперативного наблюдения занимает наибольший объём КА и имеет наибольшую массу по сравнению с другими бортовыми системами.
Далее КА “наращивается” путём расположения “ вокруг” ОЭТК элементов бортовых систем сначала с наибольшими, затем с меньшими массами. Компоновка осуществляется по критерию минимума моментов инерции КА (исходя из необходимости высокой динамичности КА при выполнении программных разворотов). Причём расчёт масс, габаритов и энергопотребления каждой “добавляемой” бортовой системы (или какого-либо блока БС) осуществляется, исходя из фиктивной массы КА. В первом цикле итерации фиктивная масса КА принимается равной массе ОЭТК, затем к ней добавляются массы других блоков целевой аппаратуры, которые рассчитываются, исходя из текущей фиктивной массы КА. Далее к полученной фиктивной массе КА добавляются массы бортовых систем или элементов БС, присоединяющиеся к КА в процессе “наращивания”. И так до окончания процесса “добавления” массы всех бортовых систем КА. Во втором и последующих итерационных циклах проектирования в качестве фиктивной массы КА используют массу, полученную в конце предыдущего итерационного цикла.
Расчёт фиктивных объёмов и моментов инерции КА производится в процессе расчёта масс в той же последовательности.
Данный алгоритм реализован в рассмотренном ранее программном продукте и работает следующим образом. Пользователь выбирает соответствующий пункт меню для перехода к части программы, отвечающей за реализацию метода. Здесь работа ведётся с
уже готовыми моделями (редактировать или добавлять новые в этой части программы невозможно). Из списка моделей выбираются те, которые входят в состав КА. Обязательным условием корректной работы является наличие ОЭТК в списке выбранных моделей. Далее программа самостоятельно загружает все необходимые модели и рассчитывает характеристики КА по описанному выше алгоритму.
Значения массы, объёма и момента инерции каждой системы КА берутся из значений соответствующих переменных на каждой итерации. Индексы переменных, соответствующих этим величинам, должны быть указаны пользователем при заполнении исходных данных.
Если отсутствует переменная, соответствующая моменту инерции системы КА, расчёт будет происходить следующим образом. Условно принимается, что КА имеет форму цилиндра. Принимается, что масса системы, не имеющей в составе модели уравнения расчёта момента инерции, равномерно распределена по поверхности КА. Таким образом, момент инерции системы рассчитывается как момент инерции полого цилиндра, имеющего объём, равный объёму КА, и длину ОЭТК.
Полученные численные результаты не противоречат значениям, полученным при расчёте моделей по отдельности, и удовлетворяют отношениям, используемым в регрессионных моделях.
Поскольку в процессе проектировании любого изделия, в том числе и космического аппарата, участвует множество конструкторов, было принято решение об интеграции проблемно-ориентированной системы в систему управления жизненным циклом изделия (РБМ-систему). Также рассматривается возможность автоматизации переноса результатов работы проблемно-ориентированной системы в САПР, что позволит автоматически создавать предварительные трёхмерные модели составных частей космического аппарата.
В качестве РБМ-системы был выбран продукт фирмы РТС - 'МпёсЫП 9.1, тесно связанный с САПР РКО\Еп§теег. Поскольку
Windchill является системой с открытым программным кодом, имеется возможность встроить разработанную проблемно-ориентированную систему в интерфейс Windchill в виде web-сервиса. Подобная интеграция позволит работать напрямую с объектами Windchill. В качестве целевых объектов будут использоваться дочерние модификации объекта типа WTPart (этот объект, с отображаемым именем «Часть», является контейнером для хранения различного рода документации изделия - конструкторской, технологической и т.п.). Дочерний объект будет иметь дополнительные атрибуты и документацию, необходимые для работы с проблемно-ориентированной системой. В частности, одним из расширений родительского объекта будет являться наличие XML-документа с математической моделью изделия.
Результаты, полученные с помощью проблемно-ориентированной системы, будут храниться так же, как и модель, в виде XML. Данный XML-файл в последующем можно использовать для построения трёхмерных моделей в PRO/Engineer следующим образом. С каждой математической моделью будет
связана модель PRO/Engineer - на данный момент не решено, будет ли это каркасная модель или полноценный ЭБ-чертёж. При регенерации модели в PRO/Engineer часть характеристик будет заимствоваться из соответствующего XML-файла, созданного проблемно-ориентированной системой.
Схема взаимодействия PRO/Engineer, Windchill и проблемно-ориентированной системы изображена на рисунке 2.
Интеграция САПР и PDM-системы обеспечит централизованное хранение конструкторской документации, а при совместной работе с проблемно-ориентированной системой - возможность быстрого поиска решения, разработки и внесения изменений в созданные трёхмерные модели PRO\ Engineer. В дальнейшем планируется развить эту разработку, что позволит создавать потоки работ для отдельных групп разработчиков и конструкторского бюро в целом.
Данная статья написана по результатам проведения поисковой научно-исследовательской работы в рамках реализации ФЦП «Научные и научно-педагогические кадры инновационной России» на 2009 - 201Э годы.
Продукты компании РТС (САПР+РОМ)
9? РТС'
Рис. 2. Схема взаимодействия программных продуктов
Библиографический список
1. Друшляков, Ю.И. Теоретические основы программирования: Учебное пособие [Текст]/ Ю.И. Друшляков, И.В. Ежова. - М.: МАИ, 1986. - 60 с.
2. Фомичёв, С .Г. Разработка элементов проблемно-ориентированной системы автоматизированного проектирования [Текст] / С. Г. Фомичёв, В. И. Куренков, А. С. Кучеров. // Труды XIII Всероссийского научно-
технического семинара по навигации и управлению движением. - Самара, 2007. -С. 305 - 309.
3. Куренков, В.И. Методика выбора основных проектных характеристик и конструктивного облика космических аппаратов наблюдения: учеб. пособие [ Текст] / В. И. Ку -ренков, В. В. Салмин, А. Г. Прохоров. - Самара: Изд-во Самар. гос. аэрокосм. ун-та, 2007. - 160 с.
DEVELOPING A PROBLEM-ORIENTED SYSTEM FOR AUTOMATED DESIGN OF OBSERVATION SPACE VEHICLES CAPABLE OF INTERACTING WITH A PDM-SYSTEM
© 2011 A. A. Yakishchik
Samara State Aerospace University named after academician S. P. Korolyov (National Research University)
The paper deals with the problem of developing problem-oriented systems for automated solution of space vehicle design tasks. The paper presents an algorithm for testing the tasks for correctness and a method of defining the sequence of performing calculations, subsequently obtaining the numerical values of the required parameters for the space vehicle airborne systems. The problem of obtaining numerical values of mass and dimensional characteristics of the space vehicle as a whole is discussed. The software developed in the DELPHI XE environment for solving the tasks set is described. The possibility of integrating the problem-oriented system with a system of product data management (PDM-system) is analysed.
Problem-oriented system, constraint equations, input data, output data, bipartite graph, connected component, PDM-system.
Информация об авторе Якищик Артем Андреевич, аспирант кафедры летательных аппаратов, Самарский государственный аэрокосмический университет имени академика С. П. Королёва (национальный исследовательский университет). E-mail: [email protected]. Область научных интересов: проектирование и моделирование целевого функционирования космических аппаратов наблюдения, исследование операций.
Yakishchik Artyom Andreyevitch, post-graduate student of the department of aircraft construction, Samara State Aerospace University named after academician S. P. Korolyov (National Research University). E-mail: [email protected]. Area of research: design and simulation of target spacecraft monitoring, operations research.