4. Для проектирования отказоустойчивых радиоэлектронных систем с комбинированным структурным резервированием и мажоритарной структурой с реконфигурацией, которые входят в состав прицельных радиоэлектронных комплексов, разработаны новые математические модели. Эти модели, в отличие от существующих, позволяют учесть различные комбинации структурного резервирования, поведение системы при появлении нарушений работоспособности, параметры средств контроля, диагностики и коммутации, вид технического обслуживания, наличие ЗИПа.
5. Предложен новый метод формализации процедуры перехода от надежностной модели немарковского типа к марковской модели с использованием метода эквивалентной интенсивности потока. Это позволило автоматизировать громоздкую процедуру перехода от немарковской модели к системе дифференционных уравнений Колмогорова-Чепмена.
Практическое значение работы.
1. Разработанная в работе математическая модель алгоритма поиска и обнаружения целей прицельного радиоэлектронного комплекса и методика ее построения дает возможность получить значение его показателей эффективности для заданных проектировщиком функциональных и надежностных параметров радиоэлектронных систем при неточностях получения целеуказания, разных уровнях квалификации оператора. Вместе с этим модель разрешает определить влияние на показатели эффективности радиоэлектронных комплексов последовательности использования радиоэлектронных систем при выполнении задачи.
2. Предложенные математические модели отказоустойчивых структур дают возможность проектировать радиоэлектронные системы, которые предназначены для работы в комплексе, с заданным уровнем надежности. Процесс создания математических моделей и их анализ автоматизирован, для чего разработан специализированный программный пакет.
3. Для оценки показателей эффективности с учетом процессов старения аппаратуры и произвольного характера процедур технического обслуживания используется разработанная методика построения моделей отказоустойчивых систем, в основу которой положен метод эквивалентной интенсивности потока.
4. Результаты внедрены во Львовском научно-исследовательском радиотехническом институте:
· Методика оценки эффективности алгоритмов поиска и обнаружения целей прицельных радиоэлектронных комплексов.
· Математические модели отказоустойчивых систем со сложным комбинированным резервированием и систем с мажоритарной структурой способных к реконфигурации.
· Методика построения математических моделей отказоустойчивых систем, надежностное поведение которых после появления отказов описывается немарковським дискретно-непрерывным случайным процессом.
Теоретические и практические результаты диссертации использованны:
· при выполнении госбюджетных научно-исследовательских работ в лаборатории НДЛ-51 Национального университета “Львовская политехника”;
· в учебном процессе у Национального университета “Львовская политехника” в лекционном курсе и практикуме дисциплины “Системотехническое проектирование радиоэлектронных комплексов” ; в дипломном проектировании студентами специальности “Радиоэлектронные устройства, системы и комплексы”.
· в учебном процессе колледжа “Западноукраинский коллегиум” в лекционном курсе и практикуме дисциплины “Надежность, контроль и эксплуатация ЭВМ”; в дипломном проектировании студентами специальности “Обслуживание компьютерных и интеллектуальных систем и сетей”.
Личный вклад соискателя. Личный вклад автора в полученных научных результатах состоит в том, что все положения, которые составляют суть диссертации, были сформулированны и решены самостоятельно. В роботах написанных в соавторстве автору диссертации принадлежат: [1] - разработка математической модели алгоритма поиска и обнаружения целей прицельного РЭК: марковской на основе расширенного описания состояния и логико-вероятностной на основе представления объекта структурно-автоматной моделью и определение показателей эффективности алгоритма поиска и обнаружения целей прицельного РЭК; [2] - формирование и исследование моделей вариантов построения радиоэлектронных комплексов с использованием метода логико-вероятностного траекторного моделирования; [4], [10] - сравнительное исследование эффективности и точности метода эквивалентной интенсивности потока, способ формализованного перехода от немарковской модели к системе уравнений Колмогорова-Чепмена; [5] - установлен перечень определяющих параметров радиоэлектронных систем и предложено расширенное описание состояния, [6]- методика оценки эффективности алгоритмов поиска и обнаружения целей прицельных радиоэлектронных комплексов; [7], [8] - структурно-автоматные модели двух отказоустойчивых структур; [9]- структурно-автоматная модель радиоэлектронной системы с комбинированным структурным резервирования. [11] - формализованное представление структуры и поведения системы немарковского типа.
Апробация работы. Основные положения и результаты работы докладывались и обсуждались на: международной научно-технической конференции “Современные проблемы автоматизированной разработки и производства радиоэлектронных средств и подготовка инженерных кадров”(г. Львов,1996 г.); 4-й международной научно-технической конференции “Опыт разработки и применение приборо-технологических САПР микроэлектроники”(г. Львов, 1997 г.); 4-й украинской научно-технической конференции “Автоматика-97”(г. Черкассы); международной научно-технической конференции TCSET98 “Современные проблемы средств телекоммуникации, компьютерной инженерии и подготовки специалистов”(г. Львов, 1998 г.); международном симпозиуме “Надежность и качество '99”(г. Пенза, 1999 г.); 3-й международной научно-технической конференции “Математическое моделирование в электротехнике, электронике и электроэнергетике”(Львов, 1999), 15-й открытой научно-технической конференции молодых ученых и специалистов Физико-механического института им. Г.В. Карпенко НАН Украины “КМН-2000” (г. Львов, 2000 г.). Результаты работы обсуждались на научных семинарах кафедры “Теоретическая радиотехника и радиоизмерения” Национального университета “Львовская политехника”, Украинского Львовского института бизнеса и информатики, ОАО “Концерн “Электрон” ОКБ “ТЕКОН”.
Публикации. По теме диссертационной работы опубликованы 11 научных работ, в том числе 4 статьи в профессиональных научных журналах, 7 публикаций в сборниках работ, тезисов и докладов научно-технических конференций.
Структура работы. Диссертация состоит из вступления, четырех разделов, выводов, списка использованных информационных источников и приложений. Диссертация изложена на 216 страницах и включает 125 страниц основного текста, 46 таблиц на 14 страницах, 33 рисунка на 15 страницах, список использованных информационных источников включает 173 наименования на 17 страницах и 4 приложения на 45 страницах.
ОСНОВНОЕ СОДЕРЖАНИЕ РАБОТЫ
Во вступлении раскрыта сущность научно-практической проблемы создания средств оценки эффективности алгоритмов поиска и обнаружения целей прицельных радиоэлектронных комплексов, обоснована актуальность работы, необходимость проведения исследований, сформулирована цель работы, показана научная новизна и практическая ценность полученных результатов, приведены сведения об апробации работы.
В первом разделе проанализирован состав и принципы построения типичных прицельных РЭК, выявлены их особенности. Сформулированы требования к прицельным РЭК и рассмотрены особенности их применения. В результате качественного анализа для проведения исследований сформирован полный набор средств поиска и обнаружения целей прицельных РЭК. Для формирования конкретных вариантов применен подход прототипного проектирования: разрабатываемый вариант может включать как полный так и неполный набор средств, полученный путем исключения из полного набора отдельных РЭС.
Рассмотрена задача выбора показателей эффективности прицельных РЭК. В качестве показателя для количественной оценки эффективности варианта АПОЦ выбрана вероятность выполнения задачи комплексом, а ограничивающим условием – допустимое значение среднего времени выполнения задачи. АПОЦ комплекса является входной информацией для проведения исследований в данной диссертационной работе.
Для решения задач системотехнического этапа проектирования прицельных РЭК необходимо проводить многочисленные исследования и расчеты для оценки показателей эффективности различных вариантов их построения для выбора структуры РЭК и определить необходимые значения параметров для РЭС и АПОЦ с учетом того, что комплексы используются в условиях конфликта.
При построении адекватной математической модели АПОЦ для учета наряду с функциональным аспектом и надежностного, в наборе параметров модели необходимо иметь показатели надежности РЭС. Современные РЭС прицельных РЭК проектируются со свойством отказоустойчивости, которое обеспечивается комбинированным структурным резервированием или использованием мажоритарных структур способных к реконфигурации. В государственных и отраслевых стандартах для таких структур отсутствуют соответствующие математические модели, а поэтому необходимо разработать средства их анализа. Разработанные средства должны учитывать все возможности обеспечения отказоустойчивости таких структур и адекватно отображать их поведение при появлении отказов. Вместе с этим необходимо иметь математические модели отказоустойчивых структур, в которых учитывается эффект старения аппаратных средств и произвольные вероятностные законы распределения для продолжительности процедур технического обслуживания.
При решении проектных задач на этапе системотехнического проектирования РЭК достоверность результатов обеспечивается использованием двух разных методов моделирования объекта проектирования. Указанным выше требованиям отвечают: метод пространства состояний и метод логико-вероятностного траекторного моделирования.
В разделе сформулирован перечень задач, которые решены в данной работе.
Во втором разделе разработаны две математические модели АПОЦ прицельных РЭК и методика для исследования эффективности вариантов этих алгоритмов. Проведена апробация методики на примере конкретного прицельного РЭК.
