40. Динамические экспертные системы

Вид материала

Документы

Содержание Достоверность работы цифровых устройств

Подобный материал:

• Курс лекций "Экспертные системы" (Для студентов заочного обучения юридического факультета, 84.44kb.
• 4 Экспертные системы, 51.16kb.
• 14. Лекция: Позиционно-силовое управление в системе робота-станка, 113.23kb.
• Алгоритмы обучения и архитектура нейронных сетей. Нейросетевые системы обработки информации, 21.42kb.
• Программа дисциплины «Динамические системы» Направление, 73.11kb.
• Рабочая программа дисциплины «Дискретные динамические системы», 110.59kb.
• Говоря простым языком, системы баз знаний это искусство, которое использует достижения, 267.75kb.
• Лекция №15. Экспертные системы Экспертные системы зародились в ходе развития методов, 188.15kb.
• Динамика системы управления гидротурбиной с пидрегулятором, 80.14kb.
• О некоторых особенностях интегрирования обыкновенных дифференциальных уравнений, описывающих, 18.79kb.

56. Методы точной оценки надежности цифровых устройств


^ Достоверность работы цифровых устройств

с функциональным диагностированием встроенными

средствами контроля

Оценим достоверность работы цифрового устройства с ап­паратным контролем в соответствии с общей структурной схе­мой аппаратного контроля (см. рис. 2 а).

Обозначим через k_n коэффициент избыточного обору­дования



где Lo, L_H — объем оборудования исходной контролируемой схемы соответственно охваченной и неохваченной аппаратным контролем (неконтролируемая часть схемы); (L₀+L_H), , — объем оборудования соответственно схем исходной, контроля, решающего органа.

Принимая во внимание, что обычно фор­мулу (12) перепишем в виде



Будем также предполагать, что исходная схема и схема контроля выполнены на однотипных логических элементах, тогда (13) можно записать как



где — интенсивности отказов части исходной контроли­руемой схемы соответственно охваченной и неохваченной ап­паратным контролем; к_к — интенсивность отказов схемы контроля.

Полноту контроля определим через коэффициент полноты контроля



где — вероятность обнаружения ошибок выбранным ме­тодом контроля. Величина в общем случае зависит от числа контролируемых разрядов, вероятности появления оши­бок кратности if и т. п.

Для инженерных расчетов можно пользоваться значения­ми величины , полученными по следующим формулам:

контроль на четность



контроль по модулю вида



при условии, что надежность схемы контроля намного пре­вышает надежность исходной схемы и n>d, где п — число разрядов исходной схемы или число разрядов в векторе вы­хода.

Числовые значения вероятности обнаружения ошибок для различных значений т и d приведены в табл. 4.

Таблица 4

d			Робн
	т = 3	m = 5			т = 7	т = 11
1 2 3	1 0,5 0,75	1 0,75 0,812			1 0,833 0,861	1 0,9 091

Контроль с использованием корректирующих кодов



где N=2^h — мощность множества разрешенных кодовых слов; (2ⁿ—1) —общее число возможных ошибок; к — число информационных символов (п, k) кода.

Рассмотрим два случая:

схема контроля контролируется полностью;

схема контроля не контролируется.

Для первого случая составим таблицу истинности буле­вых функций (табл. 5), соответствующих событиям ,Булевы функции определим следую­щим образом.

Если схема работает правильно, припишем этому событию значение булевой единицы, в противном случае — значение булевого нуля. Событию, когда выбранный метод контроля позволяет обнаруживать ошибки, припишем значение булевой единицы, событию, когда выбранным методом контроля ошиб­ки не обнаруживаются, припишем значение булевого нуля. Обозначим безотказность оборудования в исходной схеме охваченной аппаратным контролем р„, безотказность обору­дования неохваченного аппаратным контролем р_1и безотказ­ность схемы контроля р_к.

Po	Рн	Рк	Робн	Рир	Роо	Рно	Ро	Рн	Рк	Робн	Рир	Роо	Рно	Рон
0	0	0	0			1	0	0	0	0			1
0	0	0	1		1		0	0	0	1			1
0	0	1	0			1	0	0	1	0			1
0	0	1	1		1		0	0	1	1		1
0	1	0	0			1	0	1	0	0			1
0	1	0	1		1		0	1	0	1			1
0	1	1	0			1	0	1	1	0			1
0	1	1	1		1		0	1	1	1		1
1	0	0	0			1	1	0	0	0			1
1	0	0	1		1		1	0	0	1			1
1	0	1	0			1	1	0	1	0			1
1	0	1	1			1	1	0	1	1			1
1	1	0	0			1	1	1	0	0				1
1	1	0	1				1	1	0	1				1
1	1	1	0	1			1	1	1	0	1
1	1	1	1	1			1	1	1	1	1