Программа отыскания неисправностей в системе

Для реализации алгоритма, система делиться на блоки. Эти блоки нумеруются. Системе ставится в соответствие двоичный код, число разрядов которого равно числу блоков.

Алгоритм является полностью формализованным и поэтому легко реализуется на ЭВМ.

При составлении программы вводится понятие состояния S и проверки П системы. Для простоты введем ограничение, что неисправен только один блок.

Состояние S кодируется следующим образом:

0 ставится в тех разрядах, которые составляют проверенным и исправным блокам.

1 – на месте неисправных или непроверенных боков.

Чаще всего исходное состояние системы - все единицы (не проверен ни один блок).

Пример: в системе 3 блока, и 2 блок проверен и исправен.

Тогда исходное состояние S=101.

Проверки кодируются так:

0 – ставится в тех разрядах, соответствующие которым блоки проверяются;

1 – в остальных разрядах.

Пример: для структуры, изображенной ниже возможны три проверки.

П₂ Проверки П_1, П₂ и П₃.

Их коды:

П₁ = 011

П₃ П₂ = 001

П₃ = 010

П₁

В результате каждой очередной проверки система переходит из одного состояния в другое.

Код последующего состояния определяется по следующим правилам:

1. При положительной проверке (проверяемые блоки работают правильно) код последующего состояния получают из операции поразрядного & над кодом текущего состояния и кодом проверки.

Пример:

Исходное состояние системы: S_i = 1111; S_i 1111 &

Проверка: П_i = 0011 П_i 0011

Дата добавления: 2014-01-11