Алгебраический синтез контрольных наборов. Корнилов А.Г. - 5 стр.

UptoLike

ВУЗ: 

КНИТУ-КАИ им. Туполева | Казань

Составители: 

Рубрика: 

и т.д. столбцы, (N+1)-й (иногда его называют, нулевым) столбец
матрицы ⏐А
нспр ⏐ состоит только лишь из единиц. Столбцы матри-
цы ⏐А
нспр ⏐имеют размерность состояний модели (S
1
, S
2
, S
3
, …, S
0
),
строки – проверки
(π
1
,π
2
…π
N
).На рис.4 показана матрица неис-
правностей для рассматриваемой ФЛМ.
Контрольные наборы.
Контрольным набором
называют множество проверок, кото-
рые используются в контрольных процедурах. Различают три вида
контрольных наборов.
Н
ор
- набор определения работоспособности.
Выполнение проверок данного набора позволяет установить
работоспособна модель или отказала (какой элемент отказал, оста-
ется неизвестным.).
Н
D
- набор диагностический
Выполнение проверок данного набора позволяет установить,
какой элемент отказал (до выполнения набора известно, что модель
неработоспособна).
Н
n
– полный набор.
Выполнение проверок да
Нного набора позволяет установить
работоспособна модель или нет, и если неработоспособна, то устано-
вить какой элемент отказал.
При построении контрольных наборов используется матрица
различимости пар состояний ⏐А
рnс
⏐. Эта матрица прямоугольная,
бинарная. Число столбцов равно N, число строк – C
N
2
. В качестве
столбцов берутся все возможные проверки, в качестве строк - все
возможные (без повторения) пары состояний модели. Заполнение
матрицы различимости пар состояний осуществляется с помощью
матрицы неисправностей по следующему правилу, где а(π
к
, S
k
, S
j
) -
элемент матрицы, находящийся на пересечении столбца - π
к
и стро-
ки S
k
, S
j
матрицы ⏐А
рnс
⏐. Он равен 0, если в матрице неисправности
в столбцах S
k
и S
j
, в строке π
i
стоят одинаковые числа, и 1 - в про-
тивном случае. Если элемент матрицы а(π
к
, S
k
,S
j
) равен 1, то это
значит, что состояние S
k
можно отличить от состояния S
j
по исходу
(результату) проверки π
i
, если этот символ равен 0, то отличить со-
стояние S
k
от состояния S
j
по исходу проверки π
i
нельзя. Далее, в
каждой строке матрицы различимости пар состояний проводится
логический анализ, который состоит в том, что выявляются те про-
верки, которые могут отличить друг от друга состояния, образую-
щее пару данной строки матрицы. Выявленное множество проверок
записывается в виде логической суммы вида π
i
v π
k
… v π
t
(Σπ
j
). На 
и т.д. столбцы, (N+1)-й (иногда его называют, нулевым) столбец
матрицы ⏐А нспр ⏐ состоит только лишь из единиц. Столбцы матри-
цы ⏐А нспр ⏐имеют размерность состояний модели (S1, S2, S3, …, S0),
строки – проверки (π 1 ,π 2 …π N ).На рис.4 показана матрица неис-
правностей для рассматриваемой ФЛМ.

      Контрольные наборы.
      Контрольным набором называют множество проверок, кото-
рые используются в контрольных процедурах. Различают три вида
контрольных наборов.
      Нор - набор определения работоспособности.
      Выполнение проверок данного набора позволяет установить
работоспособна модель или отказала (какой элемент отказал, оста-
ется неизвестным.).
      НD - набор диагностический
      Выполнение проверок данного набора позволяет установить,
какой элемент отказал (до выполнения набора известно, что модель
неработоспособна).
      Нn – полный набор.
      Выполнение проверок даНного набора позволяет установить
работоспособна модель или нет, и если неработоспособна, то устано-
вить какой элемент отказал.
      При построении контрольных наборов используется матрица
различимости пар состояний ⏐Арnс⏐. Эта матрица прямоугольная,
бинарная. Число столбцов равно N, число строк – CN2. В качестве
столбцов берутся все возможные проверки, в качестве строк - все
возможные (без повторения) пары состояний модели. Заполнение
матрицы различимости пар состояний осуществляется с помощью
матрицы неисправностей по следующему правилу, где а(πк, Sk, Sj) -
элемент матрицы, находящийся на пересечении столбца - πк и стро-
ки Sk, Sj матрицы ⏐Арnс⏐. Он равен 0, если в матрице неисправности
в столбцах Sk и Sj, в строке πi стоят одинаковые числа, и 1 - в про-
тивном случае. Если элемент матрицы а(πк, Sk,Sj) равен 1, то это
значит, что состояние Sk можно отличить от состояния Sj по исходу
(результату) проверки πi, если этот символ равен 0, то отличить со-
стояние Sk от состояния Sj по исходу проверки πi нельзя. Далее, в
каждой строке матрицы различимости пар состояний проводится
логический анализ, который состоит в том, что выявляются те про-
верки, которые могут отличить друг от друга состояния, образую-
щее пару данной строки матрицы. Выявленное множество проверок
записывается в виде логической суммы вида πi v πk … v πt (Σπj). На

Страницы