Петров Б.М., Уткина О.Н., Мороз Д.Ю. S= T, X, Y, Z, , Ф Ψ :T X Z Z
advertisement
Петров Б.М., Уткина О.Н., Мороз Д.Ю. СТАТИСТИЧЕСКИЕ МЕТОДЫ И МАТЕМАТИЧЕСКАЯ МОДЕЛЬ ЭКСПЕРТНОЙ СИСТЕМЫ АНАЛИЗА РЕЗУЛЬТАТОВ ИСПЫТАНИЙ ПРИ ОБЕСПЕЧЕНИИ НАДЕЖНОСТИ БРЭС Применение экспертной системы анализа надежности (ЭСАН) бортовых радиоэлектронных систем (БРЭС) позволяет наиболее эффективно обеспечивать надежность БРЭС на этапах разработки и производства. На рис.2 приведены статистические методы, которые должны использоваться в ЭСАН. Используя методы общей теории систем, представим математическую модель ЭСАН в виде следующего набора параметров, который описывает взаимосвязи процессов хранения, извлечения, передачи, обработки и отображения информации при решении задач предметной области. Вычислительный процесс, происходящий в ЭСАН S= T, X, Y, Z, , Ф , характеризуется алгоритмом решения задачи фильтрации и функциями перехода : T X Z Z выход Ф : T X Z У . Вычисление последовательности значений t T yi Y , где i=1,m системы zi Z , где i=1,r , и множества входных последовательностей сигналов xi X,i=1,n . описывается и функцией выходных в моменты времени Рис. 1 Композиционная схема экспертной системы анализа надѐжности. зависит от фазового множества состояний Рис. 2 Статистические методы, используемые в экспертной системе анализа надѐжности На рис. 1 приведена композиционная модель рассматриваемой системы, где - предметная область (ПО) – набор статических и динамических данных о входных сигналах, внешних и внутренних помех, состояниях изделий; база знаний (БЗ): предназначена для хранения долгосрочных данных временных и пространственных, описывающих предметную область, представленных в согласованной форме, в виде фреймов, фрактальных процессов, семантических сетей, статистические данные о предметной области; - база данных (БД) предназначена для хранения исходных и промежуточных данных решаемой в текущий момент задачи; - система контроля (СК) позволяет: автоматически обнаруживать различные виды ошибок в БД, ошибки в программных средствах и отказы в технических средствах, обнаруживать значимые изменения информации об окружающей среде. - система принятия решения (СПР), используя исходные данные из БД и знания из БЗ, формирует последовательность правил, модели, применяет системный анализ, вейвлет анализ, анализ фрактальных процессов, которые, при применении к исходным данным, приводят к решению задачи; определяя правило выбора решения (структуры), система принимающий решение о режиме работы изделия в зависимости от решаемой задачи и помеховой обстановки; - система корректирующих и предупреждающих действий (СКПД), которая нейтрализует различные виды сбоев, ошибок и отказов; - система обработки (фильтрации) информации (СОИ), линейный преобразователь; - система моделирования различных видов отказов (СМРВО), реализует функции Φ - оператора перехода изделия в различные состояния; - система анализа отказов (САО) реализует функции Ψ - оператора выхода изделия в предельные состояния; - система оценки надежности (СОН). В системе оценки надежности для проведения расчета надежности необходимо провести декомпозицию, т.е. представить сложную модель надежности в виде более простой, укрупненной модели, учитывающей характер вычислительного процесса исходной системы (в виде основных элементов и связей между ними), то есть построить укрупненную систему н , описывающую исходную систему Н. Эта задача решается методом факторизации, который позволяет представить исходную систему Н в виде группы (набора) аддитивно-мультипликативных каналов с передаточными функциями НИ , описывающих структуру и взаимосвязи образующих каналов н= нС , Џ v , где v - некоторое параметрическое множество, элементам которого соответствуют подсистемы НИ. Факторизация выполняется с учетом необходимых и достаточных условии на неразложимые минимальные каналы НИ. Выбирается минимальный (или условно минимальный) делитель Д группы (набора) Н, соответствующий каналам первого или второго порядка. При этом модель считается неразложимой, т.е. минимального порядка, если ее нельзя представить в виде суммы или произведения каналов, соответствующих НИ каналам первого и второго порядка (т.е. выбранный физический показатель системы - передаточную функцию, нельзя разложить в виде суммы и произведения передаточных функций каналов). Факторизация позволяет вместо рассмотрения сложной структуры проводить исследование простейших неразложимых каналов и связей между ними. Факторизация показывает в виде какого набора неразложимых далее каналов НИ можно представить анализируемую модель. Набор Н считается вполне факторизуемый на каналы НИ, так как Н разлагается на произведение н=н,С , н,,С ,, , или на сумму н=нС нС , где каждый из каналов н,С инвариантных каналов низкого порядка НИ. Укрупнение системы совокупностью н * н*С , Џ v укрупненных элементов (каналов) н*С , Џv и ,, и н С является укрупнением Н полностью определяется укрупнением связей между ними . Применение метода факторизации для построения структурной схемы надежности основывается на взаимно-однозначным соответствии между разложением векторно-матричного пространства передаточной функции системы на набор передаточных функций каналов и разложением аппаратурной реализации исходной системы на набор аппаратурных реализаций неразложимых каналов. При разложении векторно-матричного пространства, вводится нормативный делитель Д, соответствующий вектору в прямых дискретных ортогональных преобразованиях (ПДОП) или блочной матрице в быстрых дискретных ортогональных преобразованиях (БДОП). При построении структурной схемы надежности поставим в соответствие каждому выделенному каналу НИ элемент полного произведения группы Н / Дi, где Дi - указанный выше нормативный делитель группы Н , не содержащий элемент i , Подобное соответствие интерпретирует гомоморфное отображение группы в полное произведение H/Ђi , групп Н / Дi . Так как векторно-матричное пространство разложения этого iH гомоморфизма совпадает с пересечением группы Нi , то группа будет изоморфно отражать указанное выше произведение. Физическая интерпретация этого соотношения состоит в том, что реальная система имеет малозначимые связи, исключение которых соответствует исключению из рассмотрения маловероятных состояний, которые определяют погрешность факторизации. Важной особенностью метода факторизации является применение его на различных уровнях иерархии модели системы, так как к укрупненной системе можно снова применить всю процедуру факторизации, изменив нормативный делитель, что позволяет строить различные схемы надежности. Данное свойство является очень удобным при построении структурных схем надежности и при конечности группы и небольшом порядке модели метод факторизации может служить в качестве канонического представления искомого пространства множителей в пространстве разложений. При рассмотрении достаточно сложной системы (в зависимости от выбранного аддитивного представления алгоритмического модуля, канала) после факторизации получаем различные структуры, соответствующие математическим моделям функционирования системы. Другая важная особенность метода факторизации при использовании его для построения структурных схем надежности, заключается в том, что при анализе передаточных функций и проведении разложения на элементарные векторно-матричные составляющие ограничиваемся сравнительно небольшим набором каналов НИ и оставшуюся часть в разложении не считаем равной нулю, а относим к дополнительно неполным каналам (неразложимой части), которые принимаем за полный канал (с учетом добавлений необходимых коэффициентов или замены одних коэффициентов другими). Более глубокий смысл разложения проявляется при выборе и использовании методов обеспечения надежности, т.е. использовании корректирующих и предупреждающих действий, рассмотренных ниже. Здесь же только отметим, что изменением коэффициентов мы снижаем погрешность разбиения системы на каналы. Существует предельное значение минимального количества изменений (дополнений) соответствующих максимальному использованию возможностей изделия по выполнению своих функций за счет имеющейся в системе избыточности. Как будет показано ниже применение метода максимальной апостериорной вероятности позволяет принять решение об изменении связей и коэффициентов, чтобы сохранить на максимальном уровне интересующие нас отдельные параметры системы, зависящие от отказавших элементов (каналов).
