самоконтролируемый автомат

Формула изобретения

Самоконтролируемый автомат управления, содержащий операционное устройство, три запоминающих регистра, три комбинационных схемы, блок схем ИЛИ, блок принятия решений и блок синхронизации, отличающийся тем, что выходы операционного устройства через первый запоминающий регистр связаны с информационными входами мультиплексора, выход которого связан с единичным входом первого триггера; первая последовательная цепь блоков состоит из второго запоминающего регистра памяти, блока схем для параллельной парафазной передачи результата на первый счетчик, выходы которого связаны параллельно с входами первой комбинационной схемы, первого блока схем ИЛИ, третьего регистра памяти, второго блока схем ИЛИ, связанного через блок кодирования с адресными входами мультиплексора, выходы первого счетчика связаны со входами второй комбинационной схемы, имеющей управляющий вход от второго триггера, причем дополнительный вход первой комбинационной схемы связан с выходом первого триггера, а выходы первой комбинационной схемы связаны со вторыми входами первого блока схем ИЛИ, причем первая комбинационная схема имеет дополнительный парафазный выход, связанный со входами третьего триггера, единичный выход которого через элемент И связан со счетным входом первого счетчика, причем выходы третьего регистра памяти параллельно связаны со входами второго и третьего блоков схем И, выходы которых связаны соответственно с входами третьей комбинационной схемы и первыми входами третьего блока схем ИЛИ, имеющего связь с выходами третьей комбинационной схемы, выходы третьего блока схем ИЛИ через блок сравнения и блок принятия решений, имеющего внешнюю клемму, связаны с первым входом блока синхронизации, имеющего внешние клеммы «ПУСК» и «Останов», причем второй вход блока синхронизации соединен с единичным выходом третьего триггера, имеющего связь по единичному входу с выходом переполнения второго счетчика; выходы первого блока схем ИЛИ через четвертый запоминающий регистр связаны со входами четвертого блока схем И, входами второго регистра памяти и вторыми входами второго блока схем ИЛИ, при этом выходы четвертого блока схем ИЛИ связаны со вторыми входами блока сравнения, а управляющие входы блока принятия решений связаны с дополнительным парафазным выходом первой комбинационной схемы, единичный выход второго триггера связан с третьим входом блока синхронизации, причем блок синхронизации имеет выходы микрокоманд синхронизации B ₁B₂ B_p, связанные со всеми управляющими входами самоконтролируемого автомата, причем единичные выходы первого ( ) и второго ( ) триггеров связаны с управляющими входами третьей комбинационной схемы.

Описание изобретения к патенту

Настоящее изобретение относится к вычислительной технике и дискретной автоматике и может быть использовано при проектировании высоконадежных процессоров, систем управления мехатроникой, специализированных средств обработки информации в особо ответственных технических системах и в системах управления опасными технологическими процессами в экстремальных условиях.

Известны микропрограммные автоматы управления (МПА) с самоконтролем, описанные как в учебно-научной литературе [1-4, 6-7, 9], так и в изобретениях [11] СССР 1365986, 2042189, 2042190 и патентах РФ № 63588 БИ № 15, 2007 г. и USA № 3634665 System use of self-testing cheking circuits / Carter W.C.

В представленных аналогах производится проверка тем или иным способом правильности перехода автомата из предыдущего a(t) в последующее a(t+1) состояние, где t - настоящий, (t+1) - последующий моменты времени после импульса синхронизации.

Известен патент РФ № 63588 БИ № 15, 2007, обеспечивающий контроль МПА на входе и выходе основной комбинационной схемы (F1), преобразующей конкатенацию переменных _{1 2 q}x₁x₂ x_m при состоянии a(t) в код y₁y ₂ y_m при состоянии a(t+1), где _{1 2 q} множество { } входных логических сигналов автомата, получаемых от операционного устройства (ОУ), являющегося объектом управления; {х} - x ₁x₂ x_m - двоично-позиционный (ДИК) или любой другой код a(t); y₁y₂ y_m - код a(t+1).

По патенту РФ № 63588 -{y} - модифицированный геометрический код (МГК); {х} - двоичный непозиционный код (ДНК). Аналитическая запись работы имеет вид:

где A₁, A₂, , A_к - множество {A} - выходных команд МПА для ОУ.

F₂ - система булевых функций, которая определяет номера выходных команд только на основании кода x ₁x₂ x_m, тогда как код y₁y₂ y_m состояния a(t+1) определяется системой булевых функций F_1, зависящих как от x₁x₂ x_m, так и от _{1 2 q}. Главным объектом проверки правильности функционирования автомата является схема F₁ ввиду ее наибольшей сложности в структуре МПА.

Устройство по патенту РФ № 63588 может эффективно обнаруживать одиночные ошибки в каждой из трехразрядных групп выходного кода {y}, но не обнаруживает ошибки двух и большей кратности в одной группе. Другим недостатком самоконтролируемого автомата является высокая сложность схемы F₁, так как используются коды с фиксированным числом единиц (МГК) и в качестве адреса схемы F₁ используется полная конкатенация _{1 2 q} совместно с x₁x₂ x_m, при этом величина m для МГК в 1.5÷2 раза больше величины m, для ДНК в неконтролируемом автомате.

В учебной и научной литературе известен способ обеспечения самоконтролируемости автомата фактически за счет дублирования основной комбинационной схемы, преобразующей код a(t) в код a(t+1) при условиях _{1 2 q} (см. работу [3] стр.242). В этом случае одна схема работает в прямом коде, а вторая в обратном. Сложность обеих схем одинакова и в оценках объема ПЗУ или ПЛМ в битах V=m2 ^m+q. Например, при m=5 и q=12 (не очень сложный автомат) величина V=5·2¹⁷=5·2⁷·2 ¹⁰ 650 кб=0,65 Мбит. При m=6, q=16 объем только одного ПЗУ составит V=6·2²²=6·2²·2 ¹⁰·2¹⁰=24 Мбит. Именно это устройство [3] и является наиболее близким к предлагаемому изобретению, т.к. наличие двух схем позволяет фиксировать неисправность как тактовую, не классифицируя факта одиночной или многократной ошибки.

Целью настоящего изобретения является упрощение конструкции за счет снижения сложности комбинационных схем автомата при сохранении свойства самоконтролируемости. Далее для краткости самоконтролируемый автомат управления будет именоваться просто автоматом.

В структурной схеме прототипа используется операционное устройство ОУ(1), которое является объектом управления, регистр для запоминания логических условий, два регистра памяти для хранения кодов состояний a(t) и a(t+1) с парафазной связью между ними, комбинационные схемы (первая и вторая) принятия решений и блок синхронизации.

Предлагаемый самоконтролируемый автомат управления на фиг.1 состоит из операционного устройства ОУ (1), выходы которого через первый запоминающий регистр R_q1 (2) связаны с информационными входами мультиплексора М (3), выход которого связан с единичным входом первого триггера Tp1 (4); первая последовательная цепь блоков состоит из второго запоминающего регистра памяти R_q2 (5), блока схем И (6) для параллельной парафазной передачи результата на первый счетчик Сч1 (7), выходы которого связаны параллельно со входами первой комбинационной схемы F1 (8), первого блока схем ИЛИ1 (9), третьего регистра памяти R _q3 (10), второго блока схем ИЛИ2 (11), связанного через блок кодирования CD (12) с адресными входами мультиплексора М (3), выходы первого счетчика связаны со входами второй комбинационной схемы F2 (13), имеющей управляющий вход от второго триггера ТР2 (14), причем дополнительный вход первой комбинационной схемы F1 (8) связан с выходом первого триггера Tp1 (4), а выходы первой комбинационной схемы связаны со вторыми входами первого блока схем ИЛИ1 (9), причем первая комбинационная схема F1 (8) имеет дополнительный парафазный выход, связанный со входами третьего триггера Тр3 (15), единичный выход которого через элемент И (16) связан со счетным входом первого счетчика Сч1 (7); выходы третьего регистра памяти R_q3 (10) параллельно связаны со входами второго и третьего блоков схем И2 (17), И3 (18), выходы которых связаны соответственно со входами третьей комбинационной схемы F3 (19) и первыми входами третьего блока схем ИЛИ3 (20), имеющего связь с выходами третьей комбинационной схемы F3 (19), выходы третьего блока схем ИЛИ3 (20) через блок сравнения БН (21) и блок принятия решений ПР (22), имеющий внешнюю клемму (23), связаны с первым входом блока синхронизации БС (24), имеющего внешние клеммы ПУСК (25) и Останов (26), причем второй вход блока синхронизации БС (24) соединен с единичным выходом третьего триггера Тр3 (27), имеющего связь по единичному входу с выходом переполнения второго счетчика Сч2 (28); выходы первого блока схем ИЛИ1 (9) через четвертый запоминающий регистр R_q4 (29) связаны со входами четвертого блока схем И4 (30), входами второго регистра памяти R_q 2 (5) и вторыми входами второго блока схем ИЛИ2 (11), при этом выходы четвертого блока схем ИЛИ4 (30) связаны со вторыми входами блока сравнения БН (21), а управляющие входы блока принятия решений ПР (22) связаны с дополнительным парафазным выходом первой комбинационной схемы F1 (8), единичный выход второго триггера Тр2 (15) связан с третьим входом блока синхронизации БС (24), причем блок синхронизации БС (24) имеет выходы микрокоманд синхронизации В₁В ₂ B_p, связанные со всеми управляющими входами самоконтролируемого автомата, причем единичные выходы первого ( ) и второго ( ) триггеров Tp1 (4) и Тр2 (15) связаны с управляющими входами третьей комбинационной схемы F3 (19).

Функционирование самоконтролируемого автомата основано на последовательном переходе из состояния a(t) в состояние a(t+1), код которого y₁ y₂ y_m находится через первую комбинационную схему F1 (8) по адресу кода a(t) - x₁x₂ x_m и значению _j(t), выбранному мультиплексором по коду a(t). Параллельно на основе конкатенации, т.е. «сводного» кода _ja(t), находится код a(t+1) и _j(t+1) в третьей комбинационной схеме F3 (19) и эти два кода y₁y₂ y_m (F1) и y₁y₂ y_m (F3 (19)) сравниваются между собой в блоке БН (21). Для уменьшения объема схемы F1 (8) в графе алгоритма управления операционным устройством выделен самый длинный непрерывный путь от начальной до конечной вершины, которому сопоставлен счетчик с кодом Грея (Сч1 (7)). В коде Грея , где - значение логического нуля «0» или единицы «1»; коды a(t+1) и a(t) отличаются друг от друга только в одном разряде; - обозначение произвольного значения логического условия. Поскольку основное значение a(t+1) вычисляется двумя способами: через F1 (8) и счетчик Сч1 (7) с кодом Грея, это дает возможность упростить комбинационную схему F1. Но самое значительное снижение объема памяти комбинационной схемы F1 (8) в предлагаемой конструкции самоконтролируемого автомата обеспечивается за счет того, что вместо адреса _{1 2 q}x₁x₂ x_m для F1 (8), как в классических автоматах и в прототипе для нахождения кода a(t+1) - y₁y ₂ y_m, здесь используется единственное значение _j(t), соответствующее текущему значению a(t). Тогда объем памяти ПЗУ для F1 (8) снижается в 2^q-1 раз. Далее в тексте определяются необходимые преобразования на граф-схеме алгоритма, которые требуется выполнить, чтобы такой режим мог быть использован. Снижение объема ПЗУ в 2^q-1 раз после этой процедуры оправдывает введение дополнительных блоков, которые необходимы для достижения поставленной цели изобретения.

Поскольку в предлагаемом изобретении имеются три варианта вычисления кода y₁y₂ y_m, а перед этим идет выбор _j { }, то синхронизация работы самоконтролируемого автомата невозможна только на основе двух тактов времени , как в классических автоматах. Число импульсов и последовательность импульсов синхронизации должны зависеть от того способа, которым осуществляется вычисление a(t+1), и от того, выполняется режим основного вычисления или режим контроля, который также не может быть выполнен за один такт. В этом случае работа блока синхронизации также определяется «внутренней» граф-схемой алгоритма выдачи команд синхронизации B_j, а сам блок синхронизации реализуется как автомат, хотя и более простой, чем основной самоконтролируемый автомат управления, в который и вносятся средства самоконтроля. Для обеспечения полной самоконтролируемости в автомат блока синхронизации также вносятся средства самоконтроля на основе применения модифицированного геометрического кода (МГК) по патенту РФ № 63588 БИ № 15, 2007 г. Кроме того, поскольку в третьей комбинационной схеме F3 (19) вычисляется не только y₁y₂ y_m, но и _j(t+1), то производится сравнение вычисляемого и поступившего через мультиплексор М (3) значения _j(t+1).

Прежде чем детально описывать функционирование предлагаемого патентуемого автомата, следует рассмотреть структурную организацию нетиповых и некоторых типовых составляющих его схем.

Операционное устройство ОУ (1) не является неотъемлемой частью автомата, т.к. это объект управления, но оно включено в состав блоков с целью показа прямого и обратного взаимодействия самоконтролируемого автомата в системе управления.

На фиг.1 все типовые блоки (регистры памяти, блоки схем «И», «ИЛИ», мультиплексор) обозначены в виде прямоугольников с двойной линией по левой грани, а нетиповые блоки (F1 (8), F2 (13), F3 (19), CD (12), ПР (22), БН (21), БС (24)) обозначены в виде простых прямоугольников.

Для описания структурных схем нетиповых блоков (F1 (8), F3 (19), ПР (22), БС (24), БН (21)) потребуется детальное описание предлагаемого метода самоконтроля, основанного на способе уменьшения затрат оборудования, требуемого для реализации F1 (8) за счет введения мультиплексора М (3) после специального преобразования заданной граф-схемы алгоритма(ГСА), являющейся исходной для проектирования автомата. Пример заданного для реализации через МПА алгоритма (ГСА) приведен на фиг.2. В типовых структурах МПА система булевых функций для схемы F₁ (8) определяется [1-4] на основе перехода от ГСА фиг.2 к графу переходов фиг.3.

В предлагаемом изобретении первая комбинационная схема F1 (8) реализуется как постоянное запоминающее устройство (ПЗУ) или программируемая логическая матрица (ПЛМ) с числом входов (m+1) и выходов (m+2). Причем m входов представлены кодом состояния автомата x₁x₂ x_m, а (m+1)-й вход - это одно из _j ( _{1 2 q}), соответствующее состоянию a(t).

Некоторые _j будут соответствовать безусловному переходу, т.е. ₀=0. Выходному коду y₁y₂ y_m приписано также значение y_m+1, соответствующее указанию необходимости выдачи сигнала для увеличения содержимого кода счетчика на «1», и y_m+2, соответствующего признаку (r) наличия противоречия в определении кодов y₁y₂ y_m третьей комбинационной схемой F3 (19). Правило определения значения признака (r) определяется далее. Для того чтобы был возможен такой режим работы автомата и такая конструкция F1 (8), заданную граф-схему алгоритма (ГСА) для реализации автомата необходимо преобразовывать по следующим правилам.

1) Если в граф-схеме алгоритма управления операционным устройством ОУ (1) имеются прямые переходы от _i к _j без промежуточных операторов действия A _j {А₁А₂ A_k}, то между ними ставится пустой оператор А_0, т.е. такой, которому не соответствует выдача команды управления A_j из множества {А}.

2) Пустой оператор ставится также перед любым _j { }, если к нему идет передача управления от нескольких других операторов.

По граф-схеме фиг.4 получим граф переходов фиг 5, по которому и будет проектироваться автомат управления. Как видно из графа фиг.4, каждым номером a(t) может быть сопоставлен свой номер логического условия:

а(2) - ₁

а(3) - ₂

а(4) - ₃

а(5) - ₄

а(9) - ₅

а(10) - ₆

Тогда для определения номера j каждого _j потребуется преобразовать код a(t) в соответствующий j код.

Может быть использован вариант без использования специального преобразователя кодов (обозначен на фиг.1 как блок кодирования CD (12)), но тогда логические сигналы ОУ (1), соответствующие логическим условиям _j, соединяются со входами мультиплексора М (3) специальным образом т.е. для примера:

₀=0 ко входу 0,

₁ ко входу 2, ₂ 3, ₃ 4, ₄ 5, ₅ 9 и ₆ 10.

Но для этого требуется выполнить преобразования граф-схемы алгоритма по пункту 3.

Пункт 3) выполняется лишь при малом числе состояний в автомате (m<5). При m 5 используется вариант с блоком кодирования.

3) В граф-схеме алгоритма после преобразования 1) и 2) для каждого _j { } заменяется номер на тот, который соответствует номеру a(t), т.е номеру a(t), стоящему перед проверкой значения _j. На фиг.2 представлен пример заданной не сложной граф-схемы алгоритма управления. На фиг.3 представлен соответствующий граф-схеме алгоритма граф переходов автомата, полученный известным способом [1,3]. На фиг.4 представлена модифицированная по правилам 1), 2), 3) граф-схема алгоритма управления и соответствующий ей граф переходов (фиг.5). На графе фиг.5 отмечены двойными стрелками переходы, не относящиеся к самому длинному пути, которые и необходимо реализовать через схему F₁ (8), а остальные через счетчик с кодом Грея.

Производится перенумерация логических условий так, чтобы номер совпадал с номером предыдущего оператора действия. На фиг.5 новые номера около _j не указаны, т.к. они совпадают с номерами предыдущего состояния.

Сравнение фиг.2 и 4 позволяет убедиться в том, что в прототипе и предлагаемом автомате причинно-следственная последовательность выдачи операторов A_j {А} будет той же. Действительно, несмотря на некоторое изменение номеров состояний (число состояний в новом автомате увеличивается за счет введения пустых операторов) системы булевых функций для сигналов A(t) будут теми же, только A_j соответствуют состояниям с другими номерами (табл.1).

Следовательно, комбинационная схема F₂ как в прототипе, так и в предлагаемом автомате будет состоять из дешифратора кода x₁x₂ x_m и схем «ИЛИ» для « сборки» выходов дешифратора, соответствующих одной и той же команде. В примере необходим четырехвходовый дешифратор и нет необходимости в схемах «ИЛИ», т.к. в граф-схеме алгоритма нет повторяющихся команд.

Графы автоматов прототипа и предлагаемого изобретения отличаются двумя аспектами:

- логические переходы осуществляются по тем же логическим условиям, но с другими номерами,

- в новом графе переходов предлагаемого МПА переход из одной вершины, соответствующей состоянию автомата a(t), в другую, соответствующей состоянию a(t+1), возможен как безусловный, так и условный, но только по одному (единственному) логическому условию, номер которого совпадает с номером предыдущего состояния a(t). Тогда как в графе прототипа из одной вершины возможны переходы к одной вершине (безусловный переход); к двум или нескольким вершинам графа, соответствующим разным a(t+1). Такие переходы в графе помечены несколькими логическими условиями. В примере (фиг.3) из шести ( _{1 2 3 4 5 6}) логических условий некоторые переходы из a(t) помечены тремя символами. А это значит, что в прототипе в качестве адреса для комбинационной схемы F₁ (ПЗУ или ПЛМ) необходимо использовать всю комбинацию _{1 2 q}x₁x₂ x_m, где x₁x₂ x_m двоичный код a(t).

В предлагаемом самоконтролируемом автомате адрес комбинационной схемы определяется значением единственного _j, номер (j) которого соответствует коду y ₁y₂ y_m.

Правила переходов a(t) a(t+1) для вершин, не расположенных на замкнутом цикле (кроме 1, 2, , 11), представлены в виде табл.2, по которой могут быть выписаны булевы функции y₁y₂y₃ y₄ на основании N(t+1) по значению (t) и коду N(t). Эта таблица 2 является основной для записи содержимого реализации F₁ (8) на ПЗУ, если будет использован метод прямого считывания {y} по конкатенации (t){x}.

Представленные преобразования по правилам 1), 2), 3) позволяют получить новую граф-схему алгоритма, эквивалентную исходной по функциональным результатам, но быстродействие реализации алгоритма снизится в Q раз, где

N₁ - число операторов действия (A_j, ) на самом длинном пути граф-схемы,

N ₂ - число пустых операторов на этом же пути.

Для рассматриваемого примера N₁=7, N₂=4, для наибольшего пути .

Последняя запись участка граф-схемы алгоритма от А₁ до А₁₁ представлена в виде ЛСА - логической схемы алгоритма. Правила перехода от граф-схемы (ГСА) к ЛСА даны в [4]. Однако снижение общего быстродействия выполнения всей программы автомата по заданной граф-схеме фиг.2 не является существенным для поставленной цели уменьшения общих затрат оборудования при обеспечении более полного самоконтроля автоматов. В принципе и быстродействие автомата может быть тем же, если ввести режим прерывания выдержки времени на реализацию A_j, если A_j - пустой оператор. Для рассматриваемого упрощенного примера граф-схемы алгоритма фиг.4 величины m=4, q=6. Тогда для прототипа V=m2^m+q=4·2¹⁰ =2¹²=4096 б. Для предлагаемого автомата V_m =(m+2)·2^m+1=6·2⁵=192 б. Выигрыш в объеме оборудования Q составит . Т.е. для комбинационной схемы F₁ (8) потребуется в 31 раз меньше затрат на реализацию в виде ПЗУ (ГОГМ) для примера. Для реальных более сложных автоматов выигрыш (Q) будет еще более значительным.

Например, при числе состояний N 64 для m=6 и q=14 получим

V=6*2²⁰ =6 Мб

W=8*2⁷=2¹⁰=1 кб

Для такого варианта потребуется комбинационная схема F1 (8) в виде ПЗУ (ПЛМ) с объемом в шесть тысяч раз меньше, чем для прототипа.

Для m=6, q=16 величина Q=24576. Такое преимущество структурной организации предложенного автомата позволяет использовать новый способ самоконтроля, действующий только для предлагаемой структуры автомата, т.е. при организации автомата с выделенным мультиплексором и преобразованной граф-схемой алгоритма управления. Для классических структур МПА предлагаемый способ контроля в принципе нереализуем.

Третья комбинационная схема F₃ (19) строится по следующему принципу:

- рассматриваются совместно коды a(t) и a(t+1), т.е. x₁x₂ x_m и y₁y₂ y_m и значения _j для a(t) и для a(t+1), которые естественно могут быть разными (табл.2). Коды x₁x₂ x_m и y₁y₂ y_m делятся на две группы по три разряда в каждой и к каждой группе приписывается значение _j. Для группы {х} - _j, соответствующее a(t), а для {y} - значение _j(t+1).

К коду x₁x ₂ x_m до младшего и после старшего разряда дописывается (t), соответственно для y₁y₂ y_m дописывается (t+1) (фиг.6).

Получившаяся конкатенация разрядов делится на группы СХ, DX и CY, DY. Для m=6 в каждой группе по 3 разряда, для m=4 по 2 разряда. Для нечетного значения m группы формируются с «перекрытием» одного разряда, т.е. разряд х₃(у₃) входит как в одну, так и в другую группу (фиг.7). Случай m=3 не представляет интереса, т.к. в связи с простотой схемы F₁ можно использовать другие известные решения для контроля, хотя в принципе предлагаемый метод и схемная реализация контроля применимы и для этого случая, т.к. при новой структуре МПА получаются две трехразрядные группы по два разряда с {х} и разряд (t) с перекрытием разряда х₂(у₂).

Для данного примера граф-схемы алгоритма фиг.4 необходимо образовать две группы зависимостей (фиг.8).

Функции F₅, F₄ блока F₃ (19) выписываются по табл.3, полученной на основании табл.2. для переходов, соответствующих признаку =0. Значение признака r определяется по таблице 3 и устанавливается таким (r=1 или r=0), чтобы различались те коды переходов a(t) a(t+1) в соответствующей группе F₅, F₄ (F₃ (19)), которым сопоставлены разные ответы для одних и тех же адресных групп (t) x_ix_i-1x_i-2. Как видно из табл.3, в примере для переходов (3) и (5) функции F₄ ответы по кодам 0001 и по кодам 0100 противоречивы, а для функции F₃ такая ситуация имеет место для кода 0010.

Противоречие заключается в том, что одним и тем же значениям переменных (t) x_ix_i-1x₁ соответствуют разные значения функций. Такая ситуация возникает вследствие использования для контроля только части, а не полного кода a(t). Противоречивые ответы помечены символами * и + в столбцах (2) и (10) таблицы 3, а значения r для разрешения противоречий определены в столбце (1). Знаком прочерк (-) отмечено неопределенное значение (t+1). В соответствии с табл.3 в таблицах 4-9 представлены значения y₁, у₂, (t+1), у₃, у₄, (t+1) в булевом пространстве [3, 4] переменных r, , х₃, х₂, x₁ и r, , x₄, х₃, х₂ с явно выраженными булевыми функциями F₅(y₁y₂ (t+1)) и F₄(у₃у₄ (t+1)) в виде подписей под таблицами.

Этот способ нахождения y₁y₂ y_m через схему F₃ (19) реализуется только для =О. При =1 работает счетчик Cr1 (7) с прибавлением (+1) в коде Грея, для которого коды a(t) и a(t+1) должны отличаться только на одну «1». В связи с тем, что третья комбинационная схема F₃ (19) представляет из себя простую комбинационную схему, состоящую из двух схем F₄ и F_5, реализация которых по таблицам 4-9 не представляет каких-либо трудностей по методикам [1-4], ее детальная структура на элементах типового логического базиса не приводится.

По предложенному способу проверка правильности вычисления y ₁y₂ y_m осуществляется сравнением кодов y₁ y₂ y_m, вычисленных схемой F₁ (8) и схемами контроля как конкатенации выходов F₅ и F₄ (F₃ (9)). Одновременно этот метод через вычисление (t+1) дает возможность проверки верности выбранного значения (t) для следующего такта. Несовпадение вычисленного (t+1) и (t) от мультиплексора будет свидетельствовать об ошибке либо схем контроля F₅ и F_4, либо мультиплексора. В третьей комбинационной схеме F₃ (19) вычисляется (t+1) независимо в схемах F₅ (обозначается ₂) и в схеме F₄ (обозначается ₁). А кроме того, определяется также тот факт, что значение для (t+1) не может быть определенно, т.к. подается с Rg1 (2) на информационный вход мультиплексора М (3) и может быть равным как «0», так и «1».

Эти неопределенные значения _{1 2} обозначим . Тогда ошибка (ERR) определится в виде , где - символ операции неравнозначности. Если же ошибки нет (т.е. ) и триггер неопределенности (t+1) в состоянии «0» (т.е. ), то ошибка будет зафиксирована, если (t+1) ₁=1, тогда , где (t+1) - значение на выходе мультиплексора М (3).

Ошибка также будет зафиксирована и в том случае, если не совпадут коды y₁y₂ y_m (F3 (19)) и Rg3 (29), которые обозначим z ₁z₂ z_m, т.е. . Здесь символ означает логическую операцию «ИЛИ» для разных пар . Наконец при =1(т.е. в режиме работы со счетчиком Грея) ошибка будет в том случае, если при сложении кодов a(t) и a(t+1) по модулю 2 в итоговой логической сумме не окажется единственная «1». Тогда ERR₄ определяется в виде:

Общая ошибка определяется в виде ERR=ERR ₁+ERR₂+ERR₃+ERR₄, где символом (+) по-прежнему обозначена логическая операция «ИЛИ».

Блок принятия решений ПР (22) состоит (фиг.9) из последовательной цепи элементов первого элемента И (30), первый вход которого связан с выходом мультиплексора элемента НЕ (31), связанного с нулевым входом первого триггера Тр (32), единичный вход которого связан с выходом элемента И (30), оба выхода триггера поданы на первый элемент неравнозначности М2 (33), выход которого через второй элемент И (34) и первый элемент ИЛИ (35) связан с единичным входом второго триггера Тр2 (36), выход которого соединен с внешней клеммой ERR (23), входы третьего триггера Тр3 (37) связаны с входами первого М2 (33) и второго М2 (38) элемента неравнозначности, выходы которого через второй элемент ИЛИ (39), третий элемент И3 (40) связаны с единичным входом четвертого триггера Тр4 (41), единичный выход которого связан со вторым входом второй схемы И (34), а нулевой выход четвертого триггера Тр4 (41) связан со вторым входом первого элемента ИЛИ (35); пятый триггер Тр5 (42) связан своими выходами с третьим элементом неравнозначности М2 (43), а единичный выход пятого триггера Тр5 (42) связан с третьим входом второго элемента И2 (34). Выход третьего элемента неравнозначности М2 (43) связан со вторым входом второго элемента ИЛИ (39); шестой и седьмой триггеры Трб (44), Тр7 (45), входами связаны с выходами комбинационной схемы F3 (19), причем выходы шестого триггера Трб (44) связаны с третьим и четвертым входами второго элемента неравнозначности М2 (38), а выходы седьмого триггера Тр7 (45) связаны с третьим и четвертым входам третьего элемента неравнозначности М2 (43). При этом в блоке принятия решений ПР (22) имеется шестой регистр памяти R_q6 (46), связанный своими входами с блоком неравнозначности при этом выходы которого через БН (14), блок элементов ИЛИ3 (47), четвертый элемент И (48) связаны с третьим входом первого элемента ИЛИ 1 (35), а нулевые выходы шестого регистра памяти R_q6 (46) через элемент И-НЕ (49) связаны с четвертым входом первого элемента ИЛИ1 (35). Элементы (30), (40), (41), (34), (49), (48) и (36) имеют соответствующие синхровходы С₂₅-С ₃₁ от блока синхронизации БС (24). Функционирование блока принятия решения описано ранее.

Блок кодирования CD (12) преобразует номера (коды) состояний a(t), при которых осуществляется проверка логических условий в номера (коды) адреса мультиплексора для выбора соответствующего _j { }, по графу фиг.5 и табл.11 получим табл.12 N(t) в коде Грея, a R(t) в двоичном позиционном коде, т.к. это адрес мультиплексора.

Из табл.12 для приведенного примера получим:

Реализация булевых функций для вычисления Z₁, Z₂, Z₃ тривиальна.

Формализованное описание последовательности функционирования самоконтролируемого автомата представлено в виде граф-схемы алгоритма работы блока синхронизации БС (24) на фиг.10. Расшифровка команд синхронизации приведена в табл.10. Структурная схема приведена на фиг.11 с тактирующим блоком (фиг.12). Блок синхронизации БС (24) может быть реализован по классической схеме [1, 4] с той лишь разницей, что в него введена схема контроля К (59) с триггером фиксации ошибки ( ) Тр (60). Тактирование осуществляется сигналами ₁, _{2 ,} причем ₁(t)& ₂= . На схеме фиг.11 цифрой (51) обозначен комплекс блоков самого самоконтролируемого автомата фиг.1.

Согласно таблице переходов (табл.11) для блока синхронизации потребуется автомат Мура с числом разрядов m=4 и числом логических условий q=4. Такие автоматы относятся к классу простейших, поэтому комбинационная схема F1 (53) реализуется непосредственно по конкатенации от восьми переменных, включая ( , Т, е, ERR). В соответствии с патентом на полезную модель № 63588 код a(t) представлен в виде двоичного непозиционного кода ДНК, а код y₁y₂y₃ y₈ в виде модифицированного геометрического кода (МГК). Соответствия двоичного позиционного кода (ДНК) кодам МГК и ДНК представлены в табл.13. Схема контроля К (59) тривиальна, т.к. ошибка ERR фиксируется в случае:

Выражение для ERR получено из условия отсутствия ошибки т.е.

Структурная схема блока синхронизации БС (24) и ее функционирование как автомата Мура подробно описаны в работах [1, 4], поэтому схема фиг.11 не описывается, т.к. организация и взаимодействие элементов и блоков не имеют особенностей. Схема F₂ для блока БС (24) представлена в виде дешифратора DC (58), т.к. все операторы действия (команды синхронизации B _j, ) различны.

Структурная схема автомата фиг.11 не отличается от схемы по патенту № 82888 (кроме схемы контроля) и описана в БИ № 13, 2009, а также [2, 4]. Однако более целесообразно построить его также по схеме патента на полезную модель № 82888 РФ БИ № 13, 2009 с мультиплексором и прямым определением адреса мультиплексора М (51) по коду x₁x₂ x_m. Граф переходов для такой схемы БС (24) приведен на фиг.14. В этом случае объем схемы F₁ (53) на фиг.13 по сравнению со схемой F₁ (53) на фиг.11 снизится в 2^q-1=8 раз.

Для автомата по фиг.1 в блоке синхронизации БС (24) потребуется формировать четыре не пересекающихся во времени импульса ₁(t)& ₂(t)& ₃(t)& ₄(t)= , что реализуется с помощью обычного генератора с одним выходом ГИ (63), двухразрядным счетчиком Cr (64) и дешифратором DC (65) на два адресных входа и четыре выхода (фиг.13).

=1 - ошибка в блоке синхронизации;

T=1 - окончание действия A_j(t);

=1 - работа со счетчиком Грея;

е=1 - программа управления автоматом выполнена (end);

ERR - ошибка в самоконтролируемом автомате.

Таким образом, предложенное изобретение - самоконтролируемый автомат управления полностью реализуемо на современной интегральной базе, сохраняет свойства самоконтролируемости, присущие прототипу, но требует для своей реализации значительно меньших затрат оборудования. Кроме того, в предлагаемом решении кроме контроля правильности переходов a(t) a(t+1) осуществляется также контроль по логическим условиям _{j ,} чего нет ни в прототипе, ни в одном из изобретений известных авторам.

Наиболее сложной граф-схемой алгоритма в известной технической и научной литературе является алгоритм контроля ПЗУ с ультрафиолетовым стиранием информации [5], который представлен на фиг.15. В алгоритме фиг.15 из 45 операторов выделяется три последовательных действия 0-21; 27-31 и 35-44, составляющие в сумме 34 оператора. Следовательно, по новой методике синтеза самоконтролируемого автомата таблица переходов будет соответствовать оставшимся 45-34=11 операторам. При реализации самоконтролируемого автомата по схеме прототипа V=m2^(m+q) =6·2⁽⁶⁺¹²⁾=1.5 Мб, где m=6 - разрядность a(t) в двоичном позиционном коде, q=12.

По предлагаемому решению W=m2^m+1=6·2⁷. Однако в предлагаемом изобретении m на выходе ПЗУ необходимо взять равным (m+2), т.к. добавляются признаки и r.

Тогда W=(m+2)*2^m+1=8*2 ⁷=1024 б, т.е. для реализации F₁ (8) потребуется 8-разрядное ПЗУ на 128 чисел вместо ПЗУ на 1,5 Мб. Затраты на все дополнительные блоки и элементы для обеспечения самоконтролируемости могут быть оценены как не более 7 F1 (8). Но в прототипе две комбинационные схемы с объемом V, тогда выигрыш в затратах оборудования (Q) составит

Оценка является верхней, т.е. выигрыш будет не менее Q раз, однако для точной оценки потребуется полная конструктивная реализация обоих вариантов (прототипа и предлагаемого решения) на конкретной элементной базе с использованием реальных БИС.

Поставленная цель изобретения достигнута, т.к. на уровне функционального проектирования показана возможность создания самоконтролируемого автомата, способного прекращать работу с фиксацией наличия ошибки независимо от того, является ли она одиночной или более высокой кратности, причем реализация предлагаемого решения осуществляется при существенно меньших затратах элементов по сравнению с прототипом.

Литература

1. Угрюмов Е.П. Цифровая схемотехника. - СПб., 2010. - 797 с.

2. Мухопад Ю.Ф. Микроэлектронные системы управления. - Братск, БрГУ. 2009. - 285 с.

3. Сапожников В.В. Кравцов Ю.А. Сапожников Вл.В. Теория дискретных устройств ж.д. автоматики, телемеханики и связи. - М.: Транспорт, 1995. - 320 с.

4. Мухопад Ю.Ф. Теория дискретных устройств. - Иркутск: ИрГУПС, 2010, - 172 с.

5. Мухопад Ю.Ф., Скосырский Г.С. Устройство контроля перепрограммируемых ПЗУ. - Авт. свид. СССР № 1547034, БИ № 8, 1990.

6. Щербаков Н.С.Структурная теория контроля автоматов. - М.: Машиностроение, 1982. - 191 с.

7. Сагунов В.Г. Алгоритм технического диагностирования дискретных устройств. - М.: Радио и связь, - 1990. - 111 с.

8. Патент РФ № 63588, БИ № 15, 2007

9. Тоценко В.Г. Алгоритмы технического диагностирования дискретных устройств. - М.: Радио и связь, 1985. - 238 с.

10. Патент РФ № 82888, БИ № 13, 2009.

11. Патенты РФ № 2058041, № 20449347, № 2071112, № 20446396, № 2046395, № 2042190, № 2042189, № 2042188, № 2018967.