Метод динамического контроля автоматов и устройство, его реализующее

1. Метод динамического контроля автоматов, использующий модификацию операторной схемы алгоритма путем введения пустых операторов перед логическим условием, если к нему осуществляется переход от двух и более операторов, а также путем введения пустого оператора между двумя логическими условиями, не разделенными оператором действия, отличающийся тем, что в операторной схеме алгоритма вводятся пустые операторы таким образом, чтобы к любому оператору передавалось управление не более чем от двух операторов, а в графе переходов автомата ликвидируются петли за счет введения пустой вершины перед состоянием с петлей; для самого длинного пути вершины кодируются кодом Грея, а для соседних с вершинами длинного пути, но не относящихся к вершинам длинного пути, выбирается код для Р младших разрядов, обеспечивающий одну «1» в сумме по mod2 для кодов Грея предыдущей и последующей вершины; если условие не выполнимо, то между этими вершинами вводится промежуточная пустая вершина, код Грея которой обеспечивает выполнение условий как с предыдущей, так и с последующей вершиной для Р младших разрядов, причем для старших S разрядов вершин, не относящихся к самому длинному пути, до младшего разряда приписывается дополнительный разряд к коду предыдущего состояния и дополнительный разряд после старшего разряда кода последующего состояния, значение которых доопределяется соответственно равным «0» или «1» так, чтобы сумма по mod2 кодов старших разрядов предыдущей и последующей вершины была равна «1»; при этом динамический контроль правильности функционирования осуществляется по результатам сравнения суммы по модулю кодов половинной разрядности разным частям младших и старших разрядов предыдущих и последующих состояний автомата управления, причем принятие решений об исправности осуществляется по правилам:
- если предыдущее и последующее состояния относятся к непрерывному пути, то сумма по mod2 равна «1», либо для младшей, либо для старшей группы разрядов;
- иначе в обеих группах (младших и старших разрядов сумма по mod2 равна «1».
1
2
m
1
2
m
1
2
n
2. Устройство, реализующее предложенный метод динамического контроля автоматов управления, представляет собой автомат, содержащий три регистра памяти, счетчик, три комбинационные схемы, контрольную схему, блок принятия решений, дешифратор и блок синхронизации, отличающееся тем, что для реализации метода динамического контроля вводятся два блока распределения информации с дополнительными регистрами памяти, при этом самоконтролируемый управляющий автомат (СУА) содержит последовательную цепь блоков в виде регистра памяти логических условий, связанного с первыми информационными входами мультиплексора, выход которого через первый триггер связан с нулевым входом первой комбинационной схемы переходов, первые (m+1) выходы которой через второй регистр памяти и первую группу входов первого блока распределения информации связаны со входами третьего регистра памяти, который через схему сравнения и блок принятия решений, выход которого связан с внешней клеммой фиксации ошибки, причем первые m выходов второго регистра памяти связаны со входами четвертого регистра памяти, который через блок схем парафазно связан с параллельными входами суммирующего счетчика, выходы которого поданы на входы первой комбинационной схемы переходов; входы второго блока распределения информации связаны со второй группой входов блока сравнения, причем нулевой вход которого соединен с нулевым выходом второго регистра памяти; при этом первые выходы yy…y второго регистра памяти соединены со входами второй комбинационной схемы, выходы которой соединены со входами шестого регистра памяти, выходы которого соединены с адресными входами мультиплексора, причем вторая комбинационная схема имеет два дополнительных выхода, один из которых соединен с управляющим входом установки нулевого состояния шестого регистра памяти, а второй дополнительный выход соединен с единичным входом второго триггера, единичный выход которого через схему связан со счетным входом счетчика; одновременно первые выходы yy…y второго регистра памяти соединены со входами дешифратора, выходы которого через третью комбинационную схему связаны со входами операционного устройства, выходы которого связаны со входами первого регистра памяти; самоконтролируемый автомат управления содержит блок синхронизации, имеющий внешнюю клемму ПУСК и внешнюю клемму ОСТАНОВ, выходы которого ВВ…B соединены с управляющими входами всех блоков СУА, причем имеется вторая независимая внешняя клемма, соединенная с нулевым информационным входом мультиплексора.