ОПРЕДЕЛЕНИЕ ДОПУСКОВ ДЛЯ СЕЛЕКЦИИ ЭЛЕКТРОННЫХ КОМПОНЕНТОВ ПРИ ИМПОРТОЗАМЕЩЕНИИ
Б. Ф. Безродный, С. А. Майоров
В настоящее время с целью обеспечения в соответствии с приказом № 31 ФСТЭК об информационной безопасности автоматизированных систем управления технологическими процессами критически важных объектов встает задача импортозамещения электронных компонентов, включая различные микроэлектронные изделия, применяемых в ответственной электронной аппаратуре, используемой на этих критически важных объектах. При этом особую актуальность приобретает задача обеспечения при проведении мероприятий по импортозамещению требуемой высокой надежности указанной электронной аппаратуры. В силу меньшей стабильности технологического процесса изготовления качество, надежность и, соответственно, значения параметров импортозамещающих электронных изделий имеют больший, по сравнению с импортными аналогами, разброс. Поэтому на практике оказывается необходимым проведение предварительной селекции образцов этих изделий с целью выбора наиболее приемлемых для изготовления конкретного типа электронной аппаратуры образцов, т.е. для проведения ее «селективной сборки». Такую процедуру, как правило, проводят на основе статистического распознавания, считая из-за большого числа влияющих факторов распределения нормальными [1].
При этом для проведения контроля состояния образцов электронного изделия используют вектор из р параметров, принимаемых для простоты некоррелированными, а вследствие допущения нормального распределения и независимыми. При этом решающее правило будет иметь вид [1]
I и-1 К - а у )2 --¿г I К - а- )2 + п 1п |4 > 0. (1)
}=1 Ус0- 1=1 С1} 1=1 С1- \
При выполнении неравенства контрольная выборка из п замеров вектора контролируемых параметров признается соответствующей классу З!, т.е. удовлетворяющих требованиям конкретного типа электронной аппаратуры, а при выполнении обратного неравенства - классу З0 (неудовлетворяющих). В (1) а = (аг1,..., арр) и М^ = diag |а21,..., а2)- оценки векторов средних и ковариационных матриц распределений значений контролируемых параметров в различаемых классах образцов исследуемого электронного компонента, а х{ = (хг1,..., хрр) - элементы контрольной выборки замеров вектора контролируемых параметров. При п = 1 контролю подвергается каждый отдельный образец, в противном случае - однородная партия образцов, имеющих практически идентичные качество и надежность.
Вероятности ошибок такого решающего правила, обеспечивающего селекцию отечественных электронных изделий при организации импортозамещения, подробно исследованы в [2]. Подобные методики селекции микроэлектронных изделий и иных электронных компонентов, комплектующих ответственную аппаратуру различного назначения, хорошо зарекомендовали себя уже давно. Они автоматизированы и используются при комплектации производства высоконадежных устройств и систем. Однако эти методики не позволяют напрямую задать допуск на значения контролируемых параметров, т.е. непосредственно определить границы изменения каждого из них, позволяющие гарантировать заданные вероятности ошибок селекции. В данной статье на основе анализа области заданной надежности, выделяемой в пространстве значений контролируемых параметров, решающим правилом (1) предлагается процедура определения таких границ изменения значений контролируемых параметров, позволяющая гарантировать исходные значения вероятностей ошибок селекции первого а и второго в рода.
С этой целью рассмотрим детально, такая область в пространстве значений контролируемых параметров определяет решающее правило (1). Учитывая известное неравенство для дисперсий [1] а12 < -02, получаем, что область G1 представляет собой эллипсоид в декартовом произведении п пространств Яр. Отметим, что случай п > 1 соответствует групповому входному контролю надежности однородной партии образцов импортозамещающего электронного компонента. В этом случае, если обеспечена однородность партии, потребность в образцах исследуемого компонента велика, а время селекции существенно ограничено, с помощью разработанной в [3] методики определяется минимальный достаточный для осуществления селекции с заданными ограничениями на вероятности ошибок объем обучающей выборки, после чего из однородной партии выбираются равномерно п образцов, у них замеряются значения контролируемых параметров, после чего в случае их одновременного попадания в пр-мерный эллипсоид вся однородная партия признается обладающей требуемым ресурсом надежности. В случае индивидуальной селекции образцов п = 1 правило селекции высекает в пространстве значений контролируемых параметров эллипсоид. При определении допусков на контролируемые параметры, гарантирующие заданные вероятности ошибок селекции, воспользуемся случаем п = 1. С этой целью преобразуем правило селекции (1) к виду
X14-X(хи -а01 )2-4-¿(
I =1 | -0} } =1 -1 1=1
х1 - а1 1
'111=1
)2 + п 1п 1> 0,
]
(2)
из анализа которого можно сделать вывод, что из неотрицательности выражения в фигурных скобках в (2) следует выполнение всего неравенства (1). Поэтому попадание значений контролируемых параметров в эллипсоид в пространстве Яр, определяемый приравниванием к нулю выражения в фигурных скобках из (2) (при п = 1) для всех элементов контрольной выборки оказывается достаточным условием для признания факта удовлетворения заданным требованиям по надежности для всей партии образцов импортозамещающего электронного компонента. Такая трактовка правила селекции (2) приводит к незначительному (5-7 %) увеличению вероятности ошибки второго рода, но позволяет значительно упростить процедуру его проверки и явно оценить допуски на контролируемые параметры.
Преобразуем правило (2) при п = 1
^0] } =1
к виду уравнения эллипсоида:
1-X(х1 - а0} )2 --ГX(х1 -а11 )2 + 1п
'11 1=1
1 я
> 0
(3)
X
1=1
(х] -Ь1))
< 1,
(4)
где
Ь1 =
(а0]-2] - а1 ]-02] А-2 А-2
-и --2]
С1 =
-21 -2..
- г 2
X
1=1
К- а1])2
А-2 А-2
-01--Ц
+ 1п ^
-21
Неравенство (4) определяет в пространстве значений контролируемых параметров искомую область заданной надежности, а в случае селекции по значению одного интегрального или основного параметра (р = 1) - собственно допуск на этот параметр.
К примеру, если в качестве области заданной надежности принять описанный вокруг эллипсоида прямоугольный параллелепипед, т.е. задать простые ограничения на каждый 1-й контролируемый параметр Ь1 - с < х1 < Ь1 + с, то вероятность ошибки первого рода увеличится на 15-20 %, а вероятность ошибки второго рода снизится на 5-10 %. В ряде случаев такое расши-
с
рение области заданной надежности на практике оказывается оправданным, поскольку в этом случае можно напрямую идентифицировать, по каким параметрам не удовлетворяет тот или иной образец импортозамещающего электронного компонента.
Можно поступить наоборот, и в качестве области заданной надежности принять прямоугольный параллелепипед, вписанный в эллипсоид (3). При этом среди всех параллелепипедов следует взять параллелепипед, имеющий максимальный объем с учетом весовой функции, представляющей плотность распределения для класса З!, что позволит минимизировать уменьшение области заданной надежности 0\ и сопутствующее этому увеличение вероятности ошибки селекции второго рода. Справедливости ради отметим, что в этом случае несколько снизиться вероятность ошибки первого рода. Оба рассмотренных выше крайних случая на практике мало пригодны, так как в первом случае недопустимо увеличивается вероятность ошибки селекции первого рода а, а во втором случае, кроме вычислительной сложности решения экстремальной задачи, увеличивается вероятность ошибки селекции второго рода в, что в современных условиях экономически не оправдано. Поэтому предлагается решить задачу следующим образом, воспользовавшись подходом Неймана - Пирсона, задав в правой части неравенства (2) не ноль, а некоторую малую положительную величину 5, являющуюся параметром. В этом случае неравенство (2) примет вид
1 -А/ „ \2 1 Л/ . ч2 ТО
тг 1 (х1 " ао1) -ТГ1К - _
°01 1=1 Т11 1=1
а определяемый им эллипсоид будет определяться следующим образом:
)2 + 1п
т11
(5)
I
1=1
(Х1 - Ь1 )2
< 1,
(6)
где
Ь1 =
(ао 1 ^ - а11т21
2
А-2 "2
Т11 -То 1
с? =
2 т01 Т1
2
«V
г
I
1=1
((- а11 )2 А-2 А.2
т01-Т11
+ 1п-
:1 %■
-5
Эти соотношения отличаются от соотношений (4) только наличием 5 в выражении для с2.
Другими словами, выражения (6) задают целое семейство подобных эллипсоидов в пространстве Яр. Причем при 5 = 0 мы имеем эллипсоид (4), а при увеличении 5 эллипсоид (6) пропорционально уменьшается, сохраняя все соотношения и пропорции, задаваемые конкретными значениями оценок средних и дисперсий контролируемых параметров в различаемых классах образцов исследуемого импортозамещающего электронного компонента. При этом при достижении равенства
р
5 = 1 1=1
( - аи)2 +1п 21
Л 2 ~ 2 ~ 2 Т01-Т11 Т11
(7)
с
эллипсоид (6) вырождается в точку, которая чисто теоретически могла бы соответствовать случаю, когда значения контролируемых параметров определяются точно, и малейшие отклонения от их расчетных значений не допускаются. Однако это - предельный идеализированный случай, и мы его рассматривать не будем.
Теперь остается в качестве допусковой области принять описанный вокруг уменьшенного эллипсоида (6) прямоугольный параллелепипед, задаваемый неравенствами Ъ - с < х^ < Ъ^ + с, 11 = 1 Р.
При этом границы допуска для каждого из р контролируемых параметров являются функциями параметра 5, так как с = с;-(5).
Вероятности ошибок решающего правила, задаваемого таким параллелепипедом, являются в итоге функциями параметра 5 и могут быть рассчитаны следующим образом:
Р(8) = 1 "П
3=1
Ъ, +с, ((8)
Ъ, "С, (8)
л/2гот
-ехр
1
[ 1 \Л
К"а,)
2(, йг]
(8)
а
(8) = П
=1
Ъ,+с, (8)
ъ. "с, (8)^%-
ехр
Г 1 \2]
(г, "а,)
\ 3 3 !
2(0,
При этом область изменения параметра 5 ограничена снизу нулем, а сверху - значением из соотношения (7). Вероятности ошибок селекции первого и второго рода, задаваемые соотношениями (8), как функции переменной 5 являются монотонными. При этом функция а(5) монотонно убывает с ростом 5 от 0 до значения, определяемого соотношением (8), а функция в(5) при таком изменении 5, наоборот, монотонно возрастает, так как область интегрирования в формулах (8) при этом сокращается, а все остальные величины остаются неизменными.
Будем считать, что на этапе формирования решающего правила (1) с помощью разработанной в [3] методики определен объем обучающей выборки, минимальный достаточный для осуществления селекции с заданными ограничениями а < а0 и в < р0 на вероятности ошибок первого и второго рода. Другими словами, при преобразовании области заданной надежности образцов импортозамещающего электронного компонента в пространстве значений контролируемых параметров Яр в прямоугольный параллелепипед необходимо сохранить указанные ограничения а < а0 ив < р0. Сделаем это следующим образом [4, 5].
Обозначим значение 5 из (7) через 5тах. Тогда областью изменения аргумента функций а(5) и в(5) является отрезок [0, 5тах]. Как уже было упомянуто ранее, функция а(5) на этом отрезке монотонно убывает от а(0) до а(5тах) = 0, а функция в(5), наоборот, монотонно возрастает от в(0) до в(5тах) = 1. Две эти тенденции оказываются противоречивыми.
При этом а(0) превышает достигнутое на этапе обучения ограничение а0, так как с учетом (4) интегрирование в (8) ведется в пределах прямоугольного параллелепипеда, описанного вокруг эллипсоида, определяющего область заданной надежности образцов импортозамещающего электронного компонента в пространстве значений контролируемых параметров Яр, в то время как в(0) оказывается по той же причине меньше достигнутого на этапе обучения ограничения в0.
Рассмотрим наиболее простой вариант, когда ограничения на вероятности ошибок селекции а0 и в0 равны, т.е. а0 = в0. В этом случае из вышеизложенного следует, что в(0) < а0 = в0 < а(0), а с учетом установленного выше монотонного характера непрерывного изменения функций а(5) и в(5) на отрезке [0,5тах] уравнение
а(5) = в(5)
обязательно имеет и притом единственный корень 5*. Если в результате оказывается, что
(9)
а(5*) = в(5*) < ао = во, (10)
то допусковый параллелепипед, соответствующий значению параметра 5 = 5*, оказывается оптимальным, и его границы надо принять в качестве искомых допусков на контролируемые параметры исследуемого импортозамещающего электронного компонента, которые надлежит использовать при задании требований по надежности в договорах или иных документах на поставку образцов этого импортозамещающего электронного компонента.
Если же неравенство в (10) не выполняется, то в качестве оптимального значения параметра 5 следует принять обязательно существующий корень 5а уравнения [6, 7]
а(5) = ао.
(11)
При этом вероятность ошибки селекции второго рода в окажется несколько выше своего ограничения в0, но этого, к сожалению, избежать уже не удается [8].
Данная процедура формирования допусков на контролируемые параметры образцов импортозамещающих электронных компонентов, позволяющая гарантировать, что их надежность не уступает импортному замещаемому аналогу, допускает применение и в случае различных ограничений на вероятности ошибок селекции первого и второго рода а0 и в0.
Список литературы
1. Безродный, Б. Ф. Оценка допусков на критичные параметры импортозамещающих электронных компонентов / Б.Ф. Безродный, С. А. Майоров // Труды международного симпозиума Надежность и качество. -2015. - Т. 1. - С. 174-176.
2. Безродный, Б. Ф. Вероятности ошибок селекции импортозамещающих электронных компонентов / Б. Ф. Безродный, С. А. Майоров // Труды международного симпозиума Надежность и качество. - 2015. -Т. 1. - С. 170-174.
3. Безродный, Б. Ф. Обеспечение заданной достоверности селекции импортозамещающих электронных компонентов / Б. Ф. Безродный, С. А. Майоров // Труды международного симпозиума Надежность и качество. - 2015. - Т. 1. - С. 176-179.
4. Гришко, А. К. Математическое моделирование системы обеспечения тепловых режимов конструктивно-функциональных модулей радиоэлектронных компонентов / А. К. Гришко, Н. В. Горячев, Н. К. Юрков // Проектирование и технология электронных средств. - 2015. - № 3. - С. 27-31.
5. Boolean matrices in problems on determining the state of discrete components in computerized measurement systems / N. K. Yurkov, A. V. Gorish, N. N. Novikov, L. A. Kladenok, A. V. Blinov // Measurement Techniques. - 2000. - Vol. 43, № 6. - P. 481-485.
6. Yurkov, N. K. Diagnosis of restorable components of special-purpose on-board data-acquisition systems / N. K. Yurkov, A. V. Blinov, D. S. Maksud // Measurement Techniques. - 2000. - Vol. 43, № 7. - P. 578-580.
7. Acceptance Checking Methods for UHF Electronic Components / N. K. Yurkov, A. V. Blinov, A. G. Kanakov, V. A. Trusov // Measurement Techniques. - 2000. - Vol. 43, № 10. - P. 895-901.
8. Yurkov, N. K. Information features of multi-extremal functions for describing the functioning indicators of the components of information measurement systems / N. K. Yurkov, A. V. Blinov, A. T. Erokhin // Measurement Techniques. - 2000. - Vol. 43, № 8. - P. 660-664.
Безродный Борис Федорович
доктор технических наук, профессор, заместитель руководителя центра кибербезопасности, Научно-исследовательский и проектно-конструкторский институт информатизации, автоматизации и связи на железнодорожном транспорте (105082, Россия, г. Москва, Нижегородская ул, 27/1) Е-таП: [email protected]
Майоров Сергей Алексеевич научный сотрудник,
Межрегиональное общественное учреждение «Институт инженерной физики» (142210, Россия, Московская обл., г. Серпухов, Б. Ударный пер., 1 «А») Е-таП: [email protected]
Аннотация. Во исполнение приказа № 31 ФСТЭК об информационной безопасности автоматизированных систем управления технологическими процессами критически важных объектов, предусматривающего максимальное импортозамещение электронных компонентов, используемых в аппаратуре, которой оснащены эти объекты, предложен подход к обеспечению высокой надежности импортозамещающих электронных компонентов на основе проведения предварительной селекции их образцов. Поскольку известные методики не позволяют напрямую определить границы изменения каждого из контролируемых параметров электронного компонента, позволяющие гарантировать заданные вероятности ошибок селекции, в данной статье на основе анализа области заданной надежности,
Bezrodnyy Boris Fedorovich
doctor of technical sciences, professor,
deputy head of the center for cybersecurity,
Research and Design Institute
for Information Technology, Automation
and Communication on Railway Transport
(105082, 27/1 Nijegorodskaja street, Moscow, Russia)
Mayorov Sergey Alekseevich stuff scientist,
Inter-regional public institution "Institute of Engineering Physics" (142210, 1 «A» B. Udarniy lane, Serpukhov, Moscow region, Russia)
Abstract. In execution of the Order of FSTEK No. 31 on the information security of automated process control systems of critical facilities prescribing highest possible substitution of imported electronic components used in the equipment of such facilities, an approach is suggested to ensuring high dependability of import-substituting electronic components based on preliminary selection of samples. As the existing methods do not allow directly identifying the limits of variation of each controlled parameter of an electronic component ensuring the specified selection error probabilities, this article, based on an analysis of the target dependability space defined within the controlled parameter values space by means of the decision rule of selection, suggests a procedure for identification of such limits of controlled parameter values variations providing for guaranteed initial values
выделяемой в пространстве значений контролируемых параметров решающим правилом селекции, предлагается процедура определения таких границ изменения значений контролируемых параметров, позволяющая гарантировать исходные значения вероятностей ошибок селекции первого а и второго в рода.
Ключевые слова: импортозамещение, электронные компоненты, селекция, решающее правило, вероятности ошибок, границы допустимого изменения параметров.
of selection error probability of the first a and second p types.
Key words: import substitution, electronic components, selection, decision rule, error probabilities, limits of allowable parameters variation.
УДК 621.396.69.01
Безродный, Б. Ф.
Определение допусков для селекции электронных компонентов при импортозамещении /
Б. Ф. Безродный, С. А. Майоров // Надежность и качество сложных систем. - 2016. - № 3 (15). - С. 35-40. БО! 10.21685/2307-4205-2016-3-6.