Модели композиционного проектирования авионики

ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ И СИСТЕМЫ

УДК 681.324

П. П. Парамонов, Ю. А. Гатчин, Б. В. Видин, И. О. Жаринов, О. О. Жаринов МОДЕЛИ КОМПОЗИЦИОННОГО ПРОЕКТИРОВАНИЯ АВИОНИКИ

Рассматриваются методологические основы проектирования сложных технических систем на примере разработки комплексов бортового оборудования, выполненных в соответствии с основными положениями концепции интегрированной модульной авионики.

Ключевые слова: бортовое оборудование, композиционное проектирование, интегрированная модульная авионика.

Введение. Согласно современным представлениям о методах проектирования сложных технических систем с использованием принципов композиционного проектирования, системно-структурного и системно-функционального подходов принципы формирования любой автономной системы бортового радиоэлектронного оборудования (БРЭО) определяются, в первую очередь, требованиями к самому летательному аппарату (ЛА).

Для этого необходимо найти количественные соотношения, определяющие, с одной стороны, требования к ЛА как к сложной технической системе (системе более высокого порядка), а с другой — совокупность возможных альтернативных вариантов построения технического облика его подсистемы — БРЭО (системы более низкого порядка). Затем необходимо установить количественные взаимосвязи между найденными соотношениями.

Задачи композиционного проектирования комплекса БРЭО. Решение задачи проектирования БРЭО пятого поколения с оптимизацией по множеству параметров заключается [1] в использовании в качестве концептуального каркаса проекта структурообразующей модели, которую можно составить из имеющихся классов моделей систем и объединяющих их отношений. Вначале формируется область интерпретации, включающая исчерпывающую совокупность значимых сущностей предметной области. Далее устанавливается, какие функции элементов области интерпретации представляются важными.

Процедура создания модели комплекса БРЭО существенно упрощается при использовании базиса типовых функций получения, передачи и обработки информации [2, 3]. На основе типовых функций формируются различные схемы функционирования БРЭО. В свою очередь, каждая типовая функция может быть разложена по базису более низкого иерархического уровня. Таким образом формируется иерархическая структура соподчиненных типовых элементов функциональной модели комплекса БРЭО.

Следующий этап создания модели направлен на выявление существенно значимых отношений между элементами области интерпретации и, следовательно, между соответствующими блоками модели. Синтаксическое оформление значимых отношений завершает процедуру построения концептуальной модели комплекса БРЭО.

Создание полной и всеобъемлющей модели для сложной системы нецелесообразно, так как в силу теоремы Тьюринга такая модель будет столь же сложной, сколь и сама система.

Сложная система представима конечным множеством моделей, каждая из которых отражает определенную грань ее сущности. При этом свойства системы рассматриваются как некоторый атрибут объекта проектирования.

Удачной можно считать математическую модель, предложенную Кроном [4], общую для достаточно широкого класса систем. Использование кроновского подхода и конкретизация теоретических идей Месаровича и Яблонского [5] позволяют синтезировать структурную модель комплекса БРЭО, представляющую собой упорядоченный список возможного поэлементного состава комплекса и описание поведения его элементов, что, в свою очередь, приводит к задаче построения оптимальных наборов данных (см. рисунок).

I

Системы — представители классов систем 6',, 1=1, 2, ..., 5

Библиотечный список элементов систем 6',„, 1=1, 2, ..., 5, и=1, 2, ..., т каждого класса 6,-, 1=1, 2, ..., 5

1 2 5

1 2 5

Элементарные модели систем 6',-, 1=1, 2, ..., 5

Правило объединения

Результирующая модель (совокупность моделей) системы 8

2

5

Обобщенный Обобщенное

список системы описание системы

Наиболее распространенными в настоящее время являются методы декомпозиции, снижающие сложность исследуемого объекта и решаемой им задачи. Цель декомпозиции при

этом состоит в представлении сложного объекта в виде элементов ограниченной сложности (групп физически однородных частей), создание которых соответствует возможностям современных методов и средств исследования и проектирования.

Подход на основе принципов композиционного проектирования [5] призван снизить уровень субъективизма при декомпозиции БРЭО перспективных ЛА, т.е. обеспечить, во-первых, адекватность представления объекта проектирования совокупности выделяемых элементов; во-вторых, обратимость процедуры (возможность агрегирования объекта и его характеристик на основе элементов и их характеристик); в-третьих, возможность формализации условий окончания процедуры декомпозиции.

Системный подход к решению задачи проектирования комплекса БРЭО. Корректное проведение процедуры декомпозиции сложного объекта при проектных исследованиях позволяет [6] обосновать использование совокупности математических моделей, необходимых и достаточных для определения значений векторов параметров информационно-измерительной системы БРЭО

Тд ={^дьУд2>--->Удп } Тс = {Ус1>Усп };

Тм = {м1> Ум2>->Умп } Ти ={{Уи2>->Уип } минимизирующих целевую функцию (функционал) вида

Р = Р (т д, Те, , Т и )= г (Т);

Т е т-Т е т-Т е ТТ е Т

А д — А 5 А с — ' м — ' и —

при наличии системы ограничений ф = (ф1(-), ф2(-), ..., Фф (•)}•

Система ограничений ф связывает: параметры измерительных датчиков ф1(Тд)<0; параметры средств преобразования сигналов ф2(Тс)<0; параметры бортовой вычислительной машины ф3(Тм)<0; параметры средств отображения информации ф4(Ти)<0, а также учитывает взаимное влияние элементов векторов параметров Тд, Тс, Тм, Ти в едином комплексе БРЭО:

ф5(Тд, Тс)<0; фб(Тд, Тм)<0; фт(Тд, Ти)<0П

фв

фю(Тм, Ти)<0; фП(Тд, Тс, Тм, Ти)<0, }

где ф1(^), ф2(0, ..., фп(0 — функции векторных аргументов.

При составлении системы ограничений (3) необходимо учитывать наличие в комплексе взаимодействующих элементов, каждый из которых выполняет свои функции по определенному алгоритму, а в процессе исполнения алгоритма пребывает в одном из известных состояний.

К специфике задачи оптимизации проектирования БРЭО относится также тот факт, что вариации проектных решений можно рассматривать как структурно-параметрические [7]. Структурность задачи заключается в возможности выбора для реализации комплекса элементов различного типа, решающих одну и ту же функциональную задачу, или в решении ряда функциональных задач средствами одного элемента, причем каждый набор функциональных элементов образует свое множество взаимных связей. В пределах выбранной структуры возможно такое изменение параметров элементов (1), которое меняет показатели качества БРЭО в целом. В математическом аспекте задачи оптимизации изменение структуры сводится к изменению состава и вида системы (3), а также к частичному изменению вида скалярной целевой функции Р (Т) за счет введения/исключения проектных переменных, описывающих

включенные/исключенные функциональные элементы и связи между ними. Параметрические изменения элементов БРЭО приводят к изменению векторов проектных переменных (1).

Задача структурно-параметрического синтеза комплекса БРЭО. Любая структура — это дополнительные ограничения [7], в общем случае сужающие множество допустимых проектных решений:

min {F

¥cG ' ¥cGl '

если только G' c G. Поэтому отказ от полностью централизованной (или, например, федеративной) организации комплекса в пользу интегрированной является преднамеренным сужением множества G и должен быть обоснован дополнительными факторами.

На практике функционал F (¥) зависит не только от параметров (1) проектируемой

системы, но и от большого количества неопределенных факторов n e G^, характеризующих

среду, в которой ЛА будет функционировать, т.е. в наиболее общем виде F (¥,n) . Тем не менее объективно такой функционал существует всегда, когда технический уровень промышленного предприятия и знание законов функционирования конструкции позволяют создавать подобные объекты, т.е. когда задача проектирования разрешима на современном этапе.

Пусть в условиях полной централизации ¥ c G^ , при этом имеется некоторый уровень

неопределенности n e Gn в процессе принятия конструктором проектного решения. Следовательно, гарантированная оценка значения целевой функции задачи проектирования будет определяться как

F = min J min {F

¥cGT [neGn J

Введение в комплекс БРЭО иерархической структуры предполагает распределение функций управления по отдельным элементам. Иными словами, отдельные решения на соответствующем уровне иерархии принимаются по ограниченной информации, без использования всего объема сведений, т.е. G' c G, но одновременно снижается и уровень неопределенности п таким образом, что n e Gn c Gn, и гарантированная оценка целевой функции

F = mm | mm {F

¥cGY [neGr| J

При этом вопрос о том, рационально ли вводить в комплекс данную структуру, решается, в конечном счете, сравнением величин (5) и (6). Переход к иерархической структуре сужает множество проектных решений, но одновременно снижает и уровень неопределенности п, т. е. позволяет получить более качественное результирующее решение.

Выбор структуры системы, обладающей иерархической формой организации, связан с рядом трудностей. Количество возможных архитектурных форм составляет некоторое конечное множество. В процессе проектирования системы одновременно выбираются ее параметры и наилучшая организация, т.е. существует некоторое конечное множество структур V(S), где S — множество проектов системы. Каждому проекту S соответствует свое множество ¥ c Gy и множество неопределенностей Gn, а этим множествам соответствуют свои гарантированные оценки результата

S : F

¥cG [neGn J

таким образом, задача проектирования БРЭО формулируется как задача отыскания элемента (набора элементов) S¿ e S, который обеспечивает выполнение условия

F

V У SeS

Если решение задачи (8) носит в определенной степени формальный, математический характер, то построение полного множества 8 — множества возможных „конструктивных схем" — носит характер некоторого изобретения и не является формализованным.

Модели комплекса БРЭО. Один из способов структурирования неформальной деятельности состоит в выявлении и формировании присущих ей эвристик [8], т.е. эмпирических правил, полезность которых обусловлена тем, что они во многих (хотя и не во всех) случаях приводят к успешному решению задачи проектирования. Применяемые сегодня методы автоматизированного синтеза опираются на идеи морфологического анализа Цвикке, согласно которым определяются все независимые переменные (списочный состав функциональных элементов) проектируемой системы, перечисляются возможные значения этих переменных, а генерирование альтернатив осуществляется путем „механического" перебора (например, с использованием аппарата генетических алгоритмов) всех допустимых сочетаний элементов в целях получения системы с заданными свойствами и составом.

Модельное представление в системном анализе [9] определяет такой подход к проведению научного исследования, при котором изучаемый объект — оригинал — находится в некотором соответствии с другим объектом — моделью, причем модель способна в том или ином отношении замещать оригинал на определенных стадиях (этапах) проектирования.

Для построения обобщенной математической модели сложной технической системы 8 с использованием методов системного анализа на соответствующем уровне рассмотрения необходимо решить следующие задачи [10].

1. Осуществить декомпозицию целостной системы 8 на упорядоченное множество мощностью ^ взаимосвязанных и взаимодействующих элементарных составляющих — функциональных элементов 5{ е 8 БРЭО, каждый из которых может иметь п различных вариантов 5п е 5^ технической реализации (марок):

8 =

{51 = {511, 512, • • •, 51п1 }, 52 = {521, 522 , • • •, 52п2 } , • • •, 55 = {5.?1, 552, • • •, 5.т, }},

где п - тах {пь П2,..., п8} при условии 5{п,5п +1 ,...,5{п -0, п < п.

Морфологический блок Е(8) элементов системы 8 составляет матрица, в которой столбец соответствует различным типам функциональных элементов 51, 52, ..., 5$ системы, а строка — различным вариантам (маркам) элементов одного и того же типа:

Г 5ц 5

Е(8) =

12

5ы ^

521 5

22

5

2п2

5^1 5

5 2

50

Г 511

= 52

155 )

где 5у е 5^ — функциональные элементы, входящие в комплекс БРЭО, / = 1, 2, ..., 5;] = 1, 2, ..., п.

Выражения (9), (10) определяют списочную модель состава комплекса БРЭО.

2. Определить совокупность Л8 анализируемых проектных вариантов построения системы 5j,у'=1, 2, ..., Л8, образующих исходное множество 8, перебором /=1, 2, ..., 5 по множеству допустимых сочетаний функциональных элементов 5j п, составляющих дерево проектных решений.

3. Определить структуру системы 8, отражающую ее внешние свойства. Структура системы представляет собой устойчивую информационную взаимосвязь функциональных элементов (подсистем) 5и / = 1, 2, ..., 5, входящих в состав комплекса БРЭО (электрический контакт, кинематическое соединение, оптическая передача данных и пр.), причем определенные в тактико-техническом задании (ТТЗ) свойства системы 8 формируются при установлении

соответствующего варианта связи (прямые, обратные, контрсвязи) в матрице У(8), которая образует модель структуры комплекса БРЭО для любой пары функциональных систем ¿7, такой что г ^у:

(

У(8) =

0 У12 (Бь ¿2) У2Х (¿2 , ¿1) 0

(¿1 , ) ^

V2s

У (¿^, ¿1 ) ^ (¿^, ¿2 ) - 0 у

где (, $7 ) — элементы матрицы соединений комплекса БРЭО для пар систем ¿¿, ¿7 е 8 определяемые булевым правилом

0, Jвх (Si Jвых ();

1, Jвх (¿г ) = Jвых (¿7 ) •

Элемент (, ¿7) =1 при наличии информационной связности систем е 8 на

уровне входных/выходных параметров-переменных моделей их функционирования Л^), Л"(5/) и, следовательно, существующем между ними канале обмена, 7 (, ¿7 ) =0 — в случае отсутствия канала обмена.

Модель Л^) функционирования системы е 8 представляет собой реализацию базовой математической модели оператора Л, наилучшим образом преобразующего полное множество Хвх^^г)={х 1, х2, ..., хх} входных параметров системы в заданное множество Увы>(Sг)={yl, У2, ..., Уу} выходных параметров, таких что Увых^^Л^вхО^)} или

X )Д У (¿г )•

Морфологический блок алгоритмов Л(8) составляет матрица (модель функционирования комплекса БРЭО), в которой столбец соответствует наборам математических моделей З1, З2, ..., З функционирования различных систем ¿1, ¿2, ..., е 8, входящих в комплекс БРЭО, а строка — различным возможным вариантам математических моделей З51, З52, ..., работы систем одного и того же класса:

Л(8) =

Г Зц

(¿1 Г

З2 З2

^ ) 2 ^ ) '" ^ )

Г з

= З2

ч Л (¿5),,

4. Определить параметры е 3 системы, отражающие ее внутренние свойства. Параметры системы образуют множества технических, эксплуатационных, экономических и прочих показателей 3(8) = {£1 (8),£,2 (8),...,^ (8)} комплекса БРЭО, выраженных (в частном

случае аддитивно) через параметры векторов ¥д е ¥, ¥с е ¥, ¥м е ¥, ¥и е ¥, входящих в

8 подсистем ¿1, ¿2, ..., ¿5. Векторы ¥, 3 определяют модель параметров комплекса БРЭО.

Параметры вектора ¥ подсистем БРЭО образуют [11] у -мерное действительное векторное пространство О у с базисом {5} = {81,62,..., 8^}, заданное множеством из у линейно

независимых векторов б,.

Любой вектор ¥ из этого пространства может быть представлен в виде разложения по заданному базису:

Т = Е V/,

«=1

где уь у 2 ,..., уу — координаты вектора Т в базисе (б).

Линейный оператор преобразования А векторного пространства О у считается заданным, если имеется некоторая функция векторного аргумента / (Т) , которая каждому вектору Т из пространства О у параметров подсистем комплекса БРЭО ставит в соответствие другой вектор 3 из пространства Он параметров комплекса в целом таким образом, что

Е=/

и при этом сохраняются следующие линейные операции:

А

где а — произвольная константа.

Таким образом, формализуется основная проблема исследования комплекса БРЭО как объекта проектирования — поиск решения по однозначному переводу множества предъявляемых к конкретной системе требований ТТЗ в базис ее проектных, исследуемых и реализуемых характеристик.

/

Линейное преобразование (15) определяет отображение О ^ ^ О а пространства О у в

пространство Он. Оператор А является несобственным оператором, так как в общем случае изменяет размерность исходного множества Т.

Базисные векторы 61,, как и всякие другие, также можно подвергнуть действию линейного оператора а. Полученные новые векторы А 61, А62,..., А6у можно снова разложить по тому же базису (б):

V

А6 ] =Е аи6«, ]=1 2 у. ¿=1

Коэффициенты а], /, ] = 1, 2, • .., у, определяют уху-матрицу А = [ а]}. ] как ядро оператора А в базисе (б). Столбцы этой матрицы представляют собой координаты векторов А6« в базисе (б). С учетом разложения (14) и линейных свойств (16) выражение (15) примет вид

V V V V V V

Г V Л

V

3=ат=аЕ V]6]=Е V]А6] = Е V] Е ау6«=1 Iа]V] 6«=Е 6«=3.

] =1 ] =1 ] =1 «=1 «=1 V ] =1 У «=1

Таким образом, координаты вектора Е параметров комплекса БРЭО в базисе (б) определяются как

V

£« = Е а«]V] , «=1, 2, У, ]=1

или в матричной форме (через вектор Т параметров подсистем) Е = АТ. Здесь координаты V] вектора Т и координаты вектора Е отнесены к одному и тому же базису

(5) = (61,62,...,6^) пространства Оу.

Поскольку векторы Т и Е относятся к разным пространствам, соответственно О у (для подсистем) и Он (для комплекса БРЭО в целом), то матрица преобразования А в общем

случае является не квадратной уху, а прямоугольной ^ х У -матрицей.

Область допустимых значений элементов вектора параметров 3 составляет система неравенств, заданных в ТТЗ на комплекс БРЭО в целом или поэлементно (в частных ТТЗ на входящую аппаратуру);

Ш1ИТТЗ {£ г (8)} < £ г (8) < шахТТз (8)}, =1, 2, ..., <;;

т1пТТз {у, (Б,)} < у7 (¿¡„ ) < шахттз {у,- )},

7=1, 2, ..., у, г=1, 2, ..., 5, и=1, 2, ..., т.

Таким образом, решением задачи структурного синтеза комплекса БРЭО фактически является нахождение матрицы У(8), а решением задачи параметрического синтеза — нахождение значений параметров вектора 3 (8) для проектируемой системы 8.

Заключение. Комплексу БРЭО как объекту проектирования присущи все характерные признаки сложной технической системы: многомерность, многообразие структуры, многообразие природы элементов, многосвязность элементов, многоканальность, многорежимность, многокритериальность. Процесс проектирования комплекса также является многофакторным.

При использовании традиционных методов и средств проектирования комплекса БРЭО отсутствует строгое обоснование вида его структуры и вектора структурных переменных, поэтому исследования методов и алгоритмов решения этой научной проблемы, основанные на последовательном применении методов системного анализа, являются сегодня востребованными и актуальными.

Совокупность математических моделей комплекса БРЭО составляют: модель состава, модель структуры, модель параметров и модель функционирования.

Методика многоцелевой оптимизации сложных технических систем, к которым относится БРЭО, базируется на методологии системного подхода, согласно которой осуществляется декомпозиция проектируемого объекта функционирования на частные объекты, представляемые в виде функциональных и параметрических требований, а также декомпозиция объекта на структуру, отражающую его внешние свойства, и параметры, характеризующие его внутренние свойства.

список литературы

1. Ефанов В. Н., Жданов О. Э. Процедуры экспертного оценивания эффективности интегрированных комплексов бортового оборудования // Аэрокосмическое приборостроение России в трудах специалистов корпорации „Аэрокосмическое оборудование" (1998—2003 гг.) / Под ред. С. Д. Бодрунова. СПб: Изд-во ОАО „Пирометр", 2003. Ч. 2. С. 76—89.

2. Джанджгава Г. И., Герасимов Г. И., Рогалев А. П. и др. Концепция создания интегрированных комплексов бортового оборудования летательных аппаратов нового поколения // Авиакосмическое приборостроение. 2002. № 6. С. 3—8.

3. Бражкин В. М., Герасимов Г. И. Развитие интегрированных комплексов бортового оборудования самолетов нового поколения // Мехатроника, автоматизация, управление. 2008. № 2. С. 24—29.

4. Ротина В. Ю., Стрижевский В. С., Видин Б. В. Автоматизация проектирования пилотажно-навигационных комплексов / Под ред. В. П. Говядина. М.: Машиностроение, 1976. 462 с.

5. Гранкин Б. К., Козлов В. В., Лысенко И. В. Принципы декомпозиции сложных объектов в проектных исследованиях // Мехатроника, автоматизация, управление. 2008. № 6. С. 2—6.

6. Парамонов П. П. Основы проектирования авионики. Тула: Гриф и К, 2003. 228 с.

7. Моисеев Н. Н. Математические задачи системного анализа. М.: Наука, 1981. 488 с.

8. Перегудов Ф. И., Тарасенко Ф. П. Введение в системный анализ: Учеб. для вузов. М.: Высш. школа, 1989. 367 с.

Использование информативных признаков для выявления нарушения стационарности СП 13

9. Чебраков Ю. В. Системный подход к прецизионным исследованиям. СПб: Изд-во Санкт-Петербург. ун-та, 1992. 167 с.

10. Шмелев В. Н. Системный подход при научном обосновании требований, включаемых в ТТЗ на разработку новых образцов бортовой радиоэлектронной аппаратуры летательных аппаратов // Мир авионики. 2000. № 3. С. 35—36.

11. Губанов В. С. Обобщенный метод наименьших квадратов. Теория и применение в астронометрии. СПб: Наука, 1997. 318 с.

Павел Павлович Парамонов Юрий Арменакович Гатчин

Борис Викторович Видин Игорь Олегович Жаринов Олег Олегович Жаринов

Сведения об авторах

д-р техн. наук, профессор; ОКБ „Электроавтоматика", Санкт-Петербург; директор; E-mail: postmaster@elavt.spb.ru

д-р техн. наук, профессор; Санкт-Петербургский государственный университет информационных технологий, механики и оптики, кафедра проектирования компьютерных систем; E-mail: gatchin@ifmo.ru канд. техн. наук, профессор; ОКБ „Электроавтоматика", Санкт-Петербург; зам. главного конструктора; E-mail: postmaster@elavt.spb.ru канд. техн. наук, доцент; ОКБ „Электроавтоматика", Санкт-Петербург; нач. отдела; E-mail: igor_rabota@pisem.net

канд. техн. наук, доцент; Санкт-Петербургский государственный университет аэрокосмического приборостроения, кафедра вычислительных и электронных систем; E-mail: zharinov@hotbox.ru

Рекомендована кафедрой проектирования компьютерных систем СПбГУ ИТМО

Поступила в редакцию 18.01.10 г.

УДК 519.216

А. В. Денисов, А. П. Филимонов

ИСПОЛЬЗОВАНИЕ ИНФОРМАТИВНЫХ ПРИЗНАКОВ ДЛЯ ВЫЯВЛЕНИЯ МОМЕНТА НАРУШЕНИЯ СТАЦИОНАРНОСТИ СЛУЧАЙНОГО ПРОЦЕССА

Доказывается высокая информативная значимость изменения числа инверсий случайного процесса для выявления момента нарушения стационарного режима работы сложной динамической системы. Рассматриваются два критерия: параметрический, связанный с представлением дисперсий элементарных гармонических составляющих канонического разложения случайного узкополосного процесса в виде координат вектора в гильбертовом пространстве, и непараметрический, позволяющий обнаружить тренд при условии широкой априорной неопределенности процесса.

Ключевые слова: выбросы случайных процессов, оценивание сигналов, фильтрация сигналов, каноническое представление случайного процесса.

Современные технические средства позволяют существенно повысить эффективность измерений и фильтрацию случайных сигналов. Задачи обнаружения трендов и выявления моментов нарушения стационарности случайного процесса на фоне существенных помех часто возникают при измерении характеристик геофизических сигналов для определения границ месторождений полезных ископаемых (особенно с подвижных оснований), при информационно-аналитическом сопровождении геофизических работ, при обнаружении аварийных ситуаций в работе сложной динамической системы (какой является, например, плавучая буровая станция). Для решения подобных задач используется функциональная обработка