О возможности уменьшения вероятности ложных отказов блоков типа LRU на основе алгоритмической избыточности
Исследована возможность уменьшения вероятности ложных отказов блоков типа LRU при эксплуатации бортового оборудования воздушных суден на основе временной избыточности алгоритма контроля тех определяющих параметров, по которым при однократном измерении было сформировано решение “не норма”. Инструмент...
Збережено в:
| Опубліковано в: : | Математичні машини і системи |
|---|---|
| Дата: | 2014 |
| Автори: | , |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут проблем математичних машин і систем НАН України
2014
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/84439 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | О возможности уменьшения вероятности ложных отказов блоков типа LRU на основе алгоритмической избыточности / В.М. Грибов, Д.В. Смолич // Математичні машини і системи. — 2014. — № 3. — 136-146. — Бібліогр.: 4 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1859865324052021248 |
|---|---|
| author | Грибов, В.М. Смолич, Д.В. |
| author_facet | Грибов, В.М. Смолич, Д.В. |
| citation_txt | О возможности уменьшения вероятности ложных отказов блоков типа LRU на основе алгоритмической избыточности / В.М. Грибов, Д.В. Смолич // Математичні машини і системи. — 2014. — № 3. — 136-146. — Бібліогр.: 4 назв. — рос. |
| collection | DSpace DC |
| container_title | Математичні машини і системи |
| description | Исследована возможность уменьшения вероятности ложных отказов блоков типа LRU при эксплуатации бортового оборудования воздушных суден на основе временной избыточности алгоритма контроля тех определяющих параметров, по которым при однократном измерении было сформировано решение “не норма”. Инструментом исследования являются статистические эксперименты на моделях-компьютерных программах, имитирующих процесс формирования ситуации “ложный отказ” при допусковом контроле.
Досліджено можливість зменшення ймовірності помилкових відмов блоків типу LRU при експлуатації бортового обладнання повітряних суден на основі тимчасової надмірності алгоритму контролю тих визначальних параметрів, по яких при однократному вимірі було сформоване рішення “не норма”. Інструментом дослідження є статистичні експерименти на моделях-комп'ютерних програмах, що імітують процес формування ситуації “помилкова відмова” при допусковому контролі.
There was investigated the possibility of reducing the probability of false rejection of LRU type blocks at operation of the onboard equipment of air courts based on time redundancy of the control algorithm of those defining parameters on which at unitary measurement the decision “not norm” has been generated. The research tool is statistical experiments on models – the computer programs simulating process of formation of a situation “false rejection” under admission control.
|
| first_indexed | 2025-12-07T15:47:47Z |
| format | Article |
| fulltext |
136 © Грибов В.М., Смолич Д.В., 2014
ISSN 1028-9763. Математичні машини і системи, 2014, № 3
УДК 629.735.05.017 (076.5)
В.М. ГРИБОВ*, Д.В. СМОЛИЧ*
О ВОЗМОЖНОСТИ УМЕНЬШЕНИЯ ВЕРОЯТНОСТИ ЛОЖНЫХ ОТКАЗОВ
БЛОКОВ ТИПА LRU НА ОСНОВЕ АЛГОРИТМИЧЕСКОЙ ИЗБЫТОЧНОСТИ
*
Национальный авиационный университет, Киев, Украина
Анотація. Досліджено можливість зменшення ймовірності помилкових відмов блоків типу LRU
при експлуатації бортового обладнання повітряних суден на основі тимчасової надмірності алго-
ритму контролю тих визначальних параметрів, по яких при однократному вимірі було сформоване
рішення “не норма”. Інструментом дослідження є статистичні експерименти на моделях – ком-
п'ютерних програмах, що імітують процес формування ситуації “помилкова відмова” при допуско-
вому контролі.
Ключові слова: алгоритм контролю працездатності, функції помилок контролю, імітаційні моде-
лі, альфа-фільтрація, кратність фільтрації.
Аннотация. Исследована возможность уменьшения вероятности ложных отказов блоков типа
LRU при эксплуатации бортового оборудования воздушных суден на основе временной избыточно-
сти алгоритма контроля тех определяющих параметров, по которым при однократном измере-
нии было сформировано решение “не норма”. Инструментом исследования являются статистиче-
ские эксперименты на моделях – компьютерных программах, имитирующих процесс формирования
ситуации “ложный отказ” при допусковом контроле.
Ключевые слова: алгоритм контроля работоспособности, функции ошибок контроля, имитаци-
онные модели, альфа-фильтрация, кратность фильтрации.
Abstract. There was investigated the possibility of reducing the probability of false rejection of LRU type
blocks at operation of the onboard equipment of air courts based on time redundancy of the control algo-
rithm of those defining parameters on which at unitary measurement the decision “not norm” has been
generated. The research tool is statistical experiments on models – the computer programs simulating
process of formation of a situation “false rejection” under admission control.
Keywords: working capacity control algorithm, errors control functions, imitating models, alpha filtra-
tion, filtration degree.
1. Введение
В составе комплексов современного пилотажно-навигационного оборудования воздушных
судов (ВС) гражданской авиации имеется значительное число электронных компонентов –
Line Replacement Units (LRU), а также электромеханических и гидравлических компонен-
тов систем общесамолётного оборудования. Компоненты являются конструктивно и функ-
ционально законченными сборками и выполняются в виде быстросъёмных блоков (БСБ)
радиоэлектронных, вычислительных и электрических систем, а также в виде легко демон-
тируемых агрегатов (ЛДА). БСБ и ЛДА содержат средства контроля работоспособности и
являются типовыми элементами замены (ТЭЗ) в системах бортового оборудования. При
идентификации средствами контроля отказного состояния системы её работоспособное
состояние восстанавливается после посадки воздушного судна при техническом обслужи-
вании на стояночной линейке путём замены БСБ или ЛДА на заведомо работоспособный
аналог из запасного комплекта.
Поскольку компоненты бортового оборудования и их средства контроля не являют-
ся абсолютно надёжными, то последние ”имеют право” как на пропуск отказного состоя-
ния, так и на формирование ложных сигналов ошибок. Для подтверждения отказа и при
необходимости восстановления работоспособности демонтированные БСБ или ЛДА по-
ступают в центр технического обслуживания авиакомпании или внешний сервисный
центр. Доля “ложных снятий” компонентов по данным источников [1, 2] составляет от
ISSN 1028-9763. Математичні машини і системи, 2014, № 3 137
10% до 30%, что существенно снижает эффективность функционирования авиакомпании.
Возможность реализации при измерении параметра ситуации “ложный отказ” всегда скрыта
в принятом решении “не норма”.
В статье рассматривается организация функционального контроля компонентов
бортового оборудования в полёте на основе избыточных алгоритмов, обеспечивающих
существенное снижение вероятности ложных отказов по сравнению с однократным изме-
рением параметра при сохранении заданной достоверности принятия решения о техниче-
ском состоянии.
2. Организация функционального контроля на основе алгоритма с n -кратным по-
вторным измерением параметров
Применение избыточных алгоритмов для контроля технического состояния компонентов
бортового оборудования предполагает n -кратное измерение и анализ каждого из парамет-
ров системы, по которым принято решение “не норма”, что приводит к увеличению про-
должительности контроля примерно в 0,5⋅ n раз, и это можно было бы отнести к недостат-
кам введения временной избыточности.
Однако появление в 90-х годах прошлого века и бурное внедрение микропроцессо-
ров в качестве встроенных средств контроля (ВСК) бортового оборудования и последую-
щее развитие программных средств, а также повышение быстродействия цифровых вы-
числителей обеспечивают, как правило, выполнение жестких временных ограничений при
функциональном контроле компонентов бортового оборудования в полёте.
Схема организации допускового контроля на основе избыточного алгоритма, обес-
печивающего существенное уменьшение вероятности ложного отказа, приведена на рис. 1
и заключается в следующем.
Рис. 1. Схема организации диагностирования на основе алгоритма с n -кратным
повторным контролем параметра, по которому сформировано решение “не норма”
Алгоритм контроля характеризуется заданным числом n повторных измерений ди-
агностического параметра (ДП), и пусть для определённости 2=n . Если при контроле ДП
принимается решение “норма”, то осуществляется контроль следующего параметра систе-
мы.
В случае принятия решения “не норма” в процессе контроля может реализоваться
одна из двух ситуаций [3]:
– ситуация ∆∈∆∉ 2&2 rx , при которой формируется верное решение “не норма”;
– ситуация “ложный отказ”, при которой принимается ошибочное решение “не
норма”.
В этом случае производится первое повторное измерение данного ДП. Результат
первого повторного измерения 1r анализируется схемой принятия решения. При ∆∈ 21r
принимается решение “норма” и осуществляется переход к контролю следующего пара-
метра системы. При ∆∉ 21r (решение “не норма”) счётчик числа повторных измерений
138 ISSN 1028-9763. Математичні машини і системи, 2014, № 3
формирует сигнал на второе повторное ( )2=i измерение. Поскольку 2=n , то по резуль-
тату второго повторного измерения 2r принимается окончательное решение (норма/не
норма) по контролируемому параметру.
Таким образом, организация контроля на основе алгоритма с n -кратным повтор-
ным контролем параметров обеспечивает перепроверку решений “не норма” с целью
уменьшения вероятности ложного отказа.
Можно утверждать, что такой алгоритм организации контроля работоспособности
обеспечивает своеобразную фильтрацию ситуации “ложный отказ” с несколькими уровня-
ми: однократная фильтрация )1( =n , двухкратная фильтрация )2( =n , трёхкратная фильт-
рация )3( =n и т. д. При анализе работоспособности бортового оборудования воздушного
судна максимальное число повторных измерений параметра в данных исследованиях не
превышает 3=n .
Идея повторных измерений (перепроверки) контролируемого параметра не является
новой и неоднократно обсуждалась в специальной литературе. Так, в работе [3] показано,
что достоверность контроля бортового радиоэлектронного оборудования можно повысить
многократной перепроверкой параметров, которые по результатам контроля признаются
находящимися вне поля допуска. При этом уменьшается ошибка 1-го рода, а принятие ре-
шения на основе сравнения полученного значения x с контрольным допуском δ δk < по-
зволяет уменьшить ошибку 2-го рода.
Исследуемый в статье алгоритм контроля работоспособности реализуется без пере-
хода к контрольному допуску и обеспечивает перераспределение вероятностей ошибочных
решений. Применение алгоритмов α -фильтрации не приводит к снижению достоверности
контроля и направлено на уменьшение вероятности ложных отказов в полёте.
Некоторое увеличение вероятности необнаруженного отказа составляет не более
( )min1 D− , то есть остаётся на уровне, соответствующем однократному контролю парамет-
ра, и не является критическим, поскольку все компоненты бортового оборудования имеют
резервирование (дублирование, троирование или тетрирование). Возможная ситуация
“пропуск отказа в полёте” идентифицируется после завершения полёта средствами встро-
енного бортового тестирования и/или наземными средствами в ходе планового техниче-
ского обслуживания.
В данной статье исследование предлагаемых алгоритмов с n -кратной фильтрацией
выполнено на имитационных моделях процесса контроля, обеспечивающих статистиче-
скую оценку ошибок контроля 1-го и 2-го рода.
3. Имитационная модель реализации алгоритма с n -кратным повторным контролем
параметра
Моделирующие программы отображают (имитируют) последовательность действий
средств допускового контроля в соответствии с рис. 1 и реализованы в программной среде
Mathcad. Для случая принятия ошибочного решения по результату однократного измере-
ния определяющего параметра статистические оценки вероятности ложного и необнару-
женного отказов можно получить на основе моделей, представленных на листинге 1.
Модели реализуют нормальное распределение значений определяющего параметра
и случайной составляющей погрешности в поле рассеяния. Источником (генератором)
нормально распределённых чисел в Mathcad является программа )σm,rnorm(M, , при об-
ращении к которой формируется последовательность (вектор) из М случайных нормально
распределенных чисел с математическим ожиданием m и средним квадратическим откло-
нением σ [4].
ISSN 1028-9763. Математичні машини і системи, 2014, № 3 139
Вектор нормированных нормально распределенных значений определяющих пара-
метров формируется оператором )1,0,rnorm(M:dp = , а вектор нормированных нормально
распределенных значений случайной составляющей помехи – оператором
),0,rnorm(M:pom z= .
Число статистических экспериментов определяется длиной вектора М и реализуется
в программе с помощью цикла Mjfor ..1∈ . Внешний цикл Kkfor ..1∈ дополнительно
при необходимости обеспечивает увеличение числа статистических экспериментов до
M⋅K.
В каждом j -том эксперименте имитируется результат измерения jj pomdpR +← в
соответствии с формулой r x= + ε (рис. 1).
Имитационные модели не ограничивают выбор распределения случайной состав-
ляющей помехи только нормальным законом. “Конструирование” помехи в измеритель-
ном канале системы контроля обеспечивается введением в программу функциональной
операции φ над ε в соответствии с априорными данными (или предпочтениями), при этом
функциональный оператор ( )ε ← φ ε предваряет цикл статистического эксперимента.
Листинг 1. Программы моделирования ситуаций принятия ошибочных решений
при допусковом контроле с однократным измерением параметра
Получаемое значение R и имитируемое значение диагностического параметра jdp
сравниваются с нормированным эксплуатационным допуском δ на контролируемый па-
раметр. Сравнение выполняется в схеме принятия решений, представленной логическими
операторами:
140 ISSN 1028-9763. Математичні машини і системи, 2014, № 3
– oператором δδ ≥∧<+← RdpifLOLO j1 , идентифицирующим ситуацию
“ложный отказ” в программе ( )0 , zα δ , и в случае выполнения логического условия содер-
жимое счётчика LO увеличивается на единицу ( )1+← LOLO ;
– оператором δδ ≥∧<+← RdpifNONO j1 , идентифицирующим ситуацию “не-
обнаруженный отказ” в программе ( )0 , zβ δ , и в случае выполнения логического условия
содержимое счётчика NO увеличивается на единицу ( )1+← NONO .
Результатом моделирования являются статистические вероятности ложного ( )0 , zα δ
и необнаруженного ( )0 , zβ δ отказов, а также вероятность принятия ошибочного решения
( ) ( )00
, ,z zδ =α δ +∑ ( )0 , zβ δ , представляемые в Mathcad графиками этих функций (рис. 2).
В силу симметрии гаусианы функции ошибок ( )0 ,zα δ и ( )0 , zβ δ совпадают во
всём диапазоне возможных значений эксплуатационных допусков.
Программы имитационного моделирования возможных ситуаций “ложный отказ”
(LO) и “необнаруженный отказ” (NO) с вероятностями ( )1 , zα δ и ( )1 , zβ δ при контроле
алгоритмом с однократной фильтрацией ситуации LO приведены на листинге 2. Суммар-
ная вероятность принятия ошибочного решения при допусковом контроле алгоритмом с
однократной альфа-фильтрацией определяется выражением ( ) ( ) ( )zzz δ,βδ,αδ, 111
+=∑ .
Рис. 2. Функции вероятностей ошибочных решений ( )0α δ , ( )0β δ , ( )0Σ δ при 0n =
ISSN 1028-9763. Математичні машини і системи, 2014, № 3 141
Листинг 2. Программы моделирования ситуаций LO и NO при 1=n
Результаты исследования поведения функций ошибок при контроле ДП алгоритмом
с однократной )1( =n альфа-фильтрацией приведены на рис. 3.
Рис. 3. Функции вероятностей ошибочных решений ( )1α δ , ( )1β δ и ( )1∑ δ при 1=n
142 ISSN 1028-9763. Математичні машини і системи, 2014, № 3
Из результатов моделирования процесса допускового контроля параметра с одно-
кратной проверкой решения “не норма” следует, что:
– вероятность суммарной ошибки контроля ( )δ1∑ , как правило, не превышает зна-
чений, полученных при однократных измерениях (кривая ( )δ0∑ на рис. 2 и 3);
– вероятность необнаруженного отказа ( )z,1 δβ приближается снизу к вероятности
принятия ошибочного решения ( )z,1 δ∑ ;
– вероятность ложного отказа ( )z,1 δα существенно уменьшается во всём диапазоне
значений эксплуатационного допуска.
Аналогичные результаты получены при анализе алгоритмов контроля с 2-х и 3-
кратной альфа-фильтрацией, модели которых представлены на листингах 3 и 4.
Листинг 3. Программа оценивания вероятностей ( )2 ,zα δ (двухкратная альфа-фильтрация)
ISSN 1028-9763. Математичні машини і системи, 2014, № 3 143
Листинг 4. Программа оценивания вероятностей ( )3 ,zα δ (трёхкратная альфа-фильтрация)
4. Основные результаты моделирования
Результаты исследования на имитационных моделях поведения функций ошибок
( )nzn ,,δα при контроле ДП алгоритмом с n -кратной альфа-фильтрацией приведены на
графиках (рис. 3 – 5), из которых следуют очевидные выводы о влиянии характеристик
процесса контроля – , ,z nδ – на вероятность ложного отказа.
Рис. 3. Влияние кратности альфа-фильтрации на вероятность возможной ситуации “LO”
144 ISSN 1028-9763. Математичні машини і системи, 2014, № 3
Отметим, что повышение кратности α -фильтрации n и увеличение допуска на па-
раметр δ приводит к значительному уменьшению вероятности ложного отказа α (рис. 3 и
табл. 1).
Таблица 1. Влияние кратности фильтрации на вероятность ложного отказа
Характеристика
aлгоритма
Эксплуатационный допуск ( )δ при 410−=z
0,5 1,0 1,5 2,0 2,5
n = 0 3⋅10–5 2⋅10–5 1⋅10–5 4⋅10–6 1,4⋅10–6
n = 1 2⋅10–5 6⋅10–6 3⋅10–6 2⋅10–7 5⋅10–8
n = 2 1⋅10–5 2⋅10–6 2⋅10–7 1⋅10–8 –
n = 3 7⋅10–6 6⋅10–7 1⋅10–8 – –
Рис. 4. Влияние погрешности измерения на вероятность ситуации “LO” ( )45 10...10 −−∈z
Рис. 5. Влияние погрешности измерения на вероятность ситуации “LO” ( )34 10...10 −−∈z
ISSN 1028-9763. Математичні машини і системи, 2014, № 3 145
Отметим также, что повышение точности z измерителей ДП на один порядок даёт
уменьшение вероятности ложного отказа также примерно на один порядок. Такое поведение
функции ошибки 1-го рода ( )nzn ,,δα сохраняется во всём диапазоне вариации характери-
стик z и n процесса контроля (рис. 4 и 5).
5. Оценки эффективности алгоритмов контроля с n-кратной альфа-фильтрацией
Поскольку кратность α -фильтрации определяет возможность снижения вероятности лож-
ных отказов при организации контроля работоспособности алгоритмом с конкретным зна-
чением n, то качество алгоритма с α -фильтрацией может оцениваться безразмерным пока-
зателем его эффективности по соотношению вида
( ) ( ) ( )0, , , , / , , , 1, 2, 3n nz n z n z n nα δ = α δ α δ ∈∑ , (1)
которое показывает, во сколько раз уменьшается ошибка первого рода при контроле парамет-
ра алгоритмом с повторными измерениями по сравнению с однократным измерением.
Влияние кратности повторных измерений n на эффективность (1) алгоритмов кон-
троля с α -фильтрацией иллюстрируется на рис. 6.
Рис. 6. Эффективность алгоритмов контроля с фильтрацией ситуации “LO” при 1, 2, 3n ∈
Эффективность алгоритмов контроля многократно возрастает при изменении числа
повторных измерений от одного до трех и при увеличении эксплуатационного допуска во
всём диапазоне возможных значений (рис. 6 и табл. 1), а также при увеличении точности
измерителей параметров, что наглядно следует из рис. 4 и 5.
Таблица 2. Статистические данные о качестве предлагаемых алгоритмов контроля
Характеристика
aлгоритма
Эксплуатационный допуск ( )δ
0,5 1,0 1,5 2,0 2,5
1n = 4 6 10 35 200
2n = 7 15 55 250 800
3n = 10 60 500 5000 40 000
146 ISSN 1028-9763. Математичні машини і системи, 2014, № 3
6. Заключение
1. Исследованы алгоритмы допускового контроля определяющих параметров компонентов
авионики с повторным контролем тех параметров, по которым принято решение “не нор-
ма”. Установлено, что повторный контроль таких параметров приводит к перераспределе-
нию ошибок первого и второго рода в пределах, не превышающих заданную достовер-
ность контроля работоспособности. Эффективность алгоритмов не обосновывалась теоре-
тически, но полностью подтверждена статистическим анализом на имитационных моде-
лях.
2. Исследование свойств указанного алгоритма выполнено на Mathcad-моделях, имити-
рующих простую процедуру допускового контроля (измерение → сравнение с допуском→
→принятие решения). Модели выполнены в виде отдельных модулей, структура которых
определена кратностью повторных измерений (0, 1, 2 или 3) и обеспечивает “фильтрацию”
ошибки 1-го рода (альфа-фильтрацию). Структура программных модулей, как и схема до-
пускового контроля, достаточно проста и прозрачна, что позволяет признать результаты
имитационного моделирования объективными.
3. При повторном контроле параметров увеличение кратности на единицу уменьшает ве-
роятность ложных отказов примерно на порядок, по которым принято решение “не норма”,
что существенно уменьшает вероятность ложных отказов (до значений, характеризующих
события, определяемые Авиационными правилами [1], как крайне маловероятные) при од-
новременном повышении вероятности необнаруженных отказов практически до значений
допустимой суммарной вероятности принятия ошибочного решения по результатам кон-
троля работоспособности.
4. Уменьшение вероятности ложного отказа наблюдается при различных сочетаниях и
увеличении значений характеристик процесса контроля – допуска на параметр, точности
измерителя и кратности повторного контроля, что обеспечивает снижение интенсивности
неоправданного демонтажа блоков и агрегатов бортового оборудования.
5. Глубина α -фильтрации алгоритма контроля однозначно задаёт требования к точности
измерителей ВСК на борту ВС при заданных эксплуатационных допусках на определяю-
щие параметры. Учитывая, что покупная стоимость ВСК экспоненциально увеличивается
в зависимости от класса точности диагностики, целесообразность использования рассмот-
ренных циклических алгоритмов контроля с альфа-фильтрацией в совокупности с аналого-
цифровыми измерителями невысокой точности для обеспечения заданной достоверности
контроля сомнений не вызывает.
СПИСОК ЛИТЕРАТУРЫ
1. Авиационные правила АП-25. Нормы лётной годности самолётов. – М.: МАК, 1994. – 344 с.
2. Грибов В.М. Статистический анализ функций ошибок принятия решения при допусковом кон-
троле работоспособности компонентов авионики / В.М. Грибов, Д.В. Смолич // Математичні ма-
шини і системи. – 2014. – № 2. – С. 128 – 136.
3. Новиков В.С. Эксплуатация радиоэлектронного авиационного оборудования: учебник / Новиков
В.С. – М.: Транспорт, 1989. – 288 с.
4. Кирьянов Д.В. Mathcad 14 / Кирьянов Д.В. – СПб.: БХВ-Петербург, 2007. – 704 с.
Стаття надійшла до редакції 15.04.2014
|
| id | nasplib_isofts_kiev_ua-123456789-84439 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1028-9763 |
| language | Russian |
| last_indexed | 2025-12-07T15:47:47Z |
| publishDate | 2014 |
| publisher | Інститут проблем математичних машин і систем НАН України |
| record_format | dspace |
| spelling | Грибов, В.М. Смолич, Д.В. 2015-07-07T17:21:13Z 2015-07-07T17:21:13Z 2014 О возможности уменьшения вероятности ложных отказов блоков типа LRU на основе алгоритмической избыточности / В.М. Грибов, Д.В. Смолич // Математичні машини і системи. — 2014. — № 3. — 136-146. — Бібліогр.: 4 назв. — рос. 1028-9763 https://nasplib.isofts.kiev.ua/handle/123456789/84439 629.735.05.017 (076.5) Исследована возможность уменьшения вероятности ложных отказов блоков типа LRU при эксплуатации бортового оборудования воздушных суден на основе временной избыточности алгоритма контроля тех определяющих параметров, по которым при однократном измерении было сформировано решение “не норма”. Инструментом исследования являются статистические эксперименты на моделях-компьютерных программах, имитирующих процесс формирования ситуации “ложный отказ” при допусковом контроле. Досліджено можливість зменшення ймовірності помилкових відмов блоків типу LRU при експлуатації бортового обладнання повітряних суден на основі тимчасової надмірності алгоритму контролю тих визначальних параметрів, по яких при однократному вимірі було сформоване рішення “не норма”. Інструментом дослідження є статистичні експерименти на моделях-комп'ютерних програмах, що імітують процес формування ситуації “помилкова відмова” при допусковому контролі. There was investigated the possibility of reducing the probability of false rejection of LRU type blocks at operation of the onboard equipment of air courts based on time redundancy of the control algorithm of those defining parameters on which at unitary measurement the decision “not norm” has been generated. The research tool is statistical experiments on models – the computer programs simulating process of formation of a situation “false rejection” under admission control. ru Інститут проблем математичних машин і систем НАН України Математичні машини і системи Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення О возможности уменьшения вероятности ложных отказов блоков типа LRU на основе алгоритмической избыточности Про можливість зменшення ймовірності помилкових відмов блоків типу LRU на основі алгоритмічної надмірності On the possibility of reducing the probability of false rejection of LRU type blocks based on algorithmic redundancy Article published earlier |
| spellingShingle | О возможности уменьшения вероятности ложных отказов блоков типа LRU на основе алгоритмической избыточности Грибов, В.М. Смолич, Д.В. Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення |
| title | О возможности уменьшения вероятности ложных отказов блоков типа LRU на основе алгоритмической избыточности |
| title_alt | Про можливість зменшення ймовірності помилкових відмов блоків типу LRU на основі алгоритмічної надмірності On the possibility of reducing the probability of false rejection of LRU type blocks based on algorithmic redundancy |
| title_full | О возможности уменьшения вероятности ложных отказов блоков типа LRU на основе алгоритмической избыточности |
| title_fullStr | О возможности уменьшения вероятности ложных отказов блоков типа LRU на основе алгоритмической избыточности |
| title_full_unstemmed | О возможности уменьшения вероятности ложных отказов блоков типа LRU на основе алгоритмической избыточности |
| title_short | О возможности уменьшения вероятности ложных отказов блоков типа LRU на основе алгоритмической избыточности |
| title_sort | о возможности уменьшения вероятности ложных отказов блоков типа lru на основе алгоритмической избыточности |
| topic | Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення |
| topic_facet | Якість, надійність і сертифікація обчислювальної техніки і програмного забезпечення |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/84439 |
| work_keys_str_mv | AT gribovvm ovozmožnostiumenʹšeniâveroâtnostiložnyhotkazovblokovtipalrunaosnovealgoritmičeskoiizbytočnosti AT smoličdv ovozmožnostiumenʹšeniâveroâtnostiložnyhotkazovblokovtipalrunaosnovealgoritmičeskoiizbytočnosti AT gribovvm promožlivístʹzmenšennâimovírnostípomilkovihvídmovblokívtipulrunaosnovíalgoritmíčnoínadmírností AT smoličdv promožlivístʹzmenšennâimovírnostípomilkovihvídmovblokívtipulrunaosnovíalgoritmíčnoínadmírností AT gribovvm onthepossibilityofreducingtheprobabilityoffalserejectionoflrutypeblocksbasedonalgorithmicredundancy AT smoličdv onthepossibilityofreducingtheprobabilityoffalserejectionoflrutypeblocksbasedonalgorithmicredundancy |