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

UptoLike

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

Рубрика: 

Функционально-логическая модель (ФЛМ).
Графовый вид модели
.
При использовании данной модели предполагается, что тех-
ническое устройство может быть разделено на некоторое число
взаимосвязанных элементов. Под элементом, при этом, понимается
функционально законченная часть системы, которая может нахо-
диться в одном из двух взаимоисключающих состояний: работоспо-
собна, отказала. Графически элементы изображаются прямоуголь-
ником, внутри которого указан порядковый номер элемента.
Эле-
менты соединены ориентированными связями (стрелками). Вход-
ные (по отношению к элементу) связи называются воздействиями,
выходные - реакцией. Как воздействие, так и реакции могут быть
лишь двух типов: допустимые (единичные, обозначаются «I»), недо-
пустимые (нулевые, обозначаются «О»).
Допустимым считается воздействие (реакция), которое соот-
ветствует сигналу, имеющему значение, находящееся в пределах
нормы. Элементы модели
обладают следующем свойством. Если
элемент работоспособен, то при подаче на его входы допустимых
(единичных) воздействий он выдает допустимую (единичную) реак-
цию. Если хотя бы одно воздействие недопустимо (нулевое), то ре-
акция - нулевая. В том случае, когда элемент неработоспособен, не-
зависимо от типа подаваемых воздействий, реакция всегда будет
нулевой.
Модель имеет
следующие особенности. Каждый элемент имеет
обратную связь (со своего выхода на свой вход), но не существует
обратных связей, охватывающих несколько элементов. Обратная
связь у каждого элемента графически не показывается, чтобы не за-
громождать рисунок. В модели может быть только один отказавший
элемент или не быть таковых вообще. Графически изображение
функционально-
логической модели приведено на рис.1. Следует об-
ратить внимание на то, что выход любого элемента может быть со-
единен с любым числом входов, тогда как вход любого элемента
может быть соединен только с одним выходом. Входы, которые не
соединены ни с одним выходом, называются внешними (они всегда
единичны).
Для рассматриваемой модели
характерно то, что на выходе i-
го элемента модели возможно выполнение проверки
π
i
, с помощью
которой можно установить допустима или недопустима реакция. И
если реакция i-го элемента недопустима - исход проверки равен 0
(π
i
=0), в противном случае - 1 (π
i
=1). Функционально-логическая
     Функционально-логическая модель (ФЛМ).

      Графовый вид модели.
      При использовании данной модели предполагается, что тех-
ническое устройство может быть разделено на некоторое число
взаимосвязанных элементов. Под элементом, при этом, понимается
функционально законченная часть системы, которая может нахо-
диться в одном из двух взаимоисключающих состояний: работоспо-
собна, отказала. Графически элементы изображаются прямоуголь-
ником, внутри которого указан порядковый номер элемента. Эле-
менты соединены ориентированными связями (стрелками). Вход-
ные (по отношению к элементу) связи называются воздействиями,
выходные - реакцией. Как воздействие, так и реакции могут быть
лишь двух типов: допустимые (единичные, обозначаются «I»), недо-
пустимые (нулевые, обозначаются «О»).
      Допустимым считается воздействие (реакция), которое соот-
ветствует сигналу, имеющему значение, находящееся в пределах
нормы. Элементы модели обладают следующем свойством. Если
элемент работоспособен, то при подаче на его входы допустимых
(единичных) воздействий он выдает допустимую (единичную) реак-
цию. Если хотя бы одно воздействие недопустимо (нулевое), то ре-
акция - нулевая. В том случае, когда элемент неработоспособен, не-
зависимо от типа подаваемых воздействий, реакция всегда будет
нулевой.
      Модель имеет следующие особенности. Каждый элемент имеет
обратную связь (со своего выхода на свой вход), но не существует
обратных связей, охватывающих несколько элементов. Обратная
связь у каждого элемента графически не показывается, чтобы не за-
громождать рисунок. В модели может быть только один отказавший
элемент или не быть таковых вообще. Графически изображение
функционально-логической модели приведено на рис.1. Следует об-
ратить внимание на то, что выход любого элемента может быть со-
единен с любым числом входов, тогда как вход любого элемента
может быть соединен только с одним выходом. Входы, которые не
соединены ни с одним выходом, называются внешними (они всегда
единичны).
      Для рассматриваемой модели характерно то, что на выходе i-
го элемента модели возможно выполнение проверки πi, с помощью
которой можно установить допустима или недопустима реакция. И
если реакция i-го элемента недопустима - исход проверки равен 0
(πi=0), в противном случае - 1 (πi=1). Функционально-логическая