Устройство для коррекции ошибок вычислительного процесса

 

COIO3 СОВЕТСКИХ

СОЦИАЛИСТИЧЕСКИХ

РЕСПУБЛИК (sr1s G 06 F 11/16

ГОСУДАРСТВЕННОЕ Г}АТЕНТНОЕ

ВЕДОМСТВО СССР (ГОСПАТЕНТ СССР) ОПИСАНИЕ ИЗОБРЕТЕНИЯ

К АВТОРСКОМУ СВИДЕТЕЛЬСТВУ (21) 4949207/24 (22) 24.06.91 (46) 07.04.93. Бюл, И 13 (72) В.С.Харченко, А.П,Зенин, В.Г«Литвиненко, Г.Н,Тимонькин, С.В,Терещенков и

С.Н.Ткаче н ко (56) Авторское свидетельство СССР

М 1390612, кл, G 06 F 11/16, 1988.

Микропрограммные управляющие устройства и системы / Под ред, Г.Н.Тимонькина. Ч, 2. — Харьков, 1982. С. 154, (54) УСТРОЙСТВО ДЛЯ КОРРЕКЦИИ ОШИБОК ВЫЧИСЛИТЕЛЬНОГО ПРОЦЕССА (57) Изобретение относится к вычислительной технике и может быть использовано в высоконадежных вычислительных устройствах. Цель изобретения — повышение достоверности выходной информации вычислительного модуля. Она достигается введением регистра данных, регистра адреса, второго и тре гьего регистров результата, Предлагаемое устройство относится к области автоматики и вычислительной техники и может быть использовано в высоко- надежных вычислительных устройствах.

Цель изобретения — повышение достоверности выходной информации вычислительного модуля.

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

„„, Ж „„1807487 А1 выходного регистра, второй и третьей схем сравнения, триггера отказа, триггера управления, счетчика, одновибратора, с первого по четвертый элементов ИЛИ, с первого по пятый элементов И, магистральногоэлемента. Сущность изобретения состоит в увели.чении вероятности правильного функционирования устройства и в увеличении достоверности выдаваемой информации путем коррекции ошибок вычислительного процесса, вызываемых сбоями и ошибками, в том числе программного обеспечения методом двух- или трехкратного решения одной задачи по двум (трем) различным альтернативным программным версиям, разнесенным последовательно по времени, с последующим сравнением между собой полученных результатов. Достоверными. считается результат, сравниваемый в двух программных версиях. 3 ил. результата, выход которого соединен с нулевым информационным входом мультиплексора. а также с первым входом первой схемы сравнения, кроме того, нулевой выход дешифратора соединен с управляющим входом первого регистра результата, дополнительно введены регистр данных, регистр адреса, второй и третий регистры результатов, выходной регистр, вторая и третья схемы сравнения, триггер отказа. триггер управления, счетчик, одновибратор, с первого по четвертый элементы ИЛИ. с первого по пятый элементы И, блок магистральных элементов. причем вход данных устройства соединен с информационным входом реги1/07487 мы сравнения соединен с первым входом треъье о элемента ИЛИ. а также с нулевым управляющим входом мультиплексора, выход четвертого элемента И соединен со вторым и первым входами третьего и четвертого элементов ИЛИ соответственно, а выход пятого элемента И вЂ” с третьим и вторым входами третьего и четвертого элементов ИЛИ соответственно, выход четвертого элемента ИЛИ соединен с первым управляющим входом мультиплексора, выход которого соединен с информационным входом выходного регистра, выход третьего

50 стра данных, выход которого соединен с входом магистрального элемента, выход ко. торого соединен с входом — выходом вычислительного модуля, вход. адреса устройства соединен с информационным входом реги- 5 стра адреса, выход которого соединен с младшими разрядами адресного входа вычислительного модуля, выход "Чтение" которого соединен с управляющим входом магистрального элемента; вход пуска уст- 10 ройства соединен с первым входом nepaoro и второго элемента ИЛИ, выход первого элемента ИЛИ соединен с синхровходами регистров данных и адреса, а также с входом первого элемента И, выход второго элемента ИЛИ соединен с входом "Сброс" вычислительного модуля, синхровходом выходного регистра, а также с синхровходом триггера отказа, инверсный выход триггера отказа соединен с первым входом 20 второго элемента И, второй вход которого является входом синхронизации устройства, а выход соединен с входом синхронизации вычислительного модуля, выход

"Запись" которого соединен с синхровхода- 25 ми первого — третьего регистров результатов, триггера управления, счетным входом счетчика и входом одновибратора, выход которого соединен со вторыми входами первого и второго элементов ИЛИ, первый и З0 второй выходы счетчика соединены со стар шими разрядами адресного входа вычислительного модуля, первым и вторым входами дешифратора, нулевой выход которого также соединен с нулевым входом триггера уп- З5 равления и со вторыми управляющими входами регистров данных и адреса., первый выход дешифратора соединен с управляющим входом второго регистра результата. второй выход дешифратора соединен с уп- 40 равляющими входом третьего регистра результата и единичным входом триггера управления, выход которого соединен с первыми входами третьего — пятого элементов

И, вторые входы четвертого и пятого эле- 45 ментов И соединены с выходами второй и третьей схем сравнения, выход первой схеГ элемента ИЛИ соединен с выходом "Норма" устройства, а также с управляющими входами данных регистра адреса, выходного регистра и вторыми входами первого и третьего элементов И, выход третьего элемента И соединен с единичным входомтриггера отказа, выход которого является выходом сигнала "Не норма" устройства. выход первого элемента И соединен с нулеВым Входом счетчика, выход данных Вычислительного модуля соединен . с информационными входами второго и третьего регистров результатов, выход второго регистра результатов соединен с первым информационным входом мультиплексора и вторым входом первой схемы сравнения, выход третьего регистра результата соединен с первым входом второй схемы сравнения, второй вход которой соединен с выходом первого регистра результата. а первый и второй входы третьей схемы сравнения соединены с выходами второго и третьего регистров результатов соответственно, выход третьего регистра результатов соединен с вторым информационным входом мультиплексора.

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

Изобретение реализуется путем введения следующих новых элементов и связей.

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

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

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

1807487

20

30

50

Введение выходного регистра и обусловленных им связей позволяет записывать

- и хранить достоверный результа — вычислений для его последующего использования в других устройствах.

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

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

"норма" при сравнении нулевой информации (старой) в регистрах результатов.

Введение первого, второго элементов

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

Введение третьего, четвертого элементов ИЛИ и обусловленных ими связей позволяют осуществлять управление выдачей сигналов сравнения со схем сравнения для формирования сигнала "норма" и управления мультиплексора соответственно.

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

Введение третьего элемента И и обусловленных им связей позволяет управлять триггером отказа.

Введение четвертого. пятого элементов

И и обусловленных и ли связей позволяет осуществлять управление выдачей сигналов сравнения.

На фиг. 1 представлена функциональная схема устройства; на фиг. 2 — алгоритм работы устройства; на фиг. 3 — временная диаграмма его работы, Функциональная схема устройства (фиг. 1) содержит блок 1 вычислений, мул:. типлексор 2. схемы сравнения " .7-3.3 регистр 4 данных, регистр 5 адреса, регистры результатов 6 — 8, выходной регистр 9, счетчик 10, дешифратор 11, одновибратор 12, триггер 13 отказа, триггер 14 управления, элементы ИЛИ 75-18, элементы И 19 — 23, магистральный элемент 24, вход 25 данных, вход 26 начального адреса, вход 27 пуска, вход 28 синхронизации, информационный выход 29, выход "Норма" 30. выход "He норма" 31 устройства.

Выход данных блока вычислений 1 соединен с информационн или входами первого 6, второго 7, т етьего 8 регистров результатов, нулевой выход дешифратора

11 соединен с управляющим входом первого регистра результата 6, вход данных устройства 25 соединен с информационным входом регистра данных 4, выход которого соединен с входам магистрального элемента 24, выход которого соединен с вход — выходом данньил вычислительного блока вход адреса 26 устройства соединен с информационными входами регистра адреса

5, выход которого соединен с младшими разрядами адресного входа блока 1, выход

"Чтение" которого соединен с управляющим входом магистрального элемента 24, вход пуска 27 устройства соединен с первым входом первого 15 и второго 16 элемента ИЛИ, выход первого элемента ИЛИ 15 соединен с синхровходами регистров данных 4 и адреса 5, а также с входом первого элемента И 19, выход второго элемента

ИЛИ 16 соединен с входом "Сброс" блока 1 с синхровходом выходного регистра 9, а также с синхровходом триггера 13 отказа, инверсный выход триггера отказа 13 соединен с первым входом второго элемента И 20, второй вход которого является входом сННхронизации устройства 28, а выход соединен с входом синхронизации вычислительного модуля 1, вход — выход данных которого соединен также с информационными входами второго 7, третьего 8 регистров результата, выход "Запись" (ЗП) которого соединен с синхровходами первого-третьего регистров резул ьтато в (триггера управления 14, 6, 7, 8) со счетным входом счетчика 10 и входом одновибратора 12, выход которого соединен со вторыми входами первого и второго элементов ИЛИ (15, 16); первый, второй выходы счетчика соединены со старшими разрядами адресного входа блока 1. с первым и вторым входами дешифратора 11. нулевой выход которого соединен

1807487 со вторыми управляющими входами регистров данных 4 и адреса 5 и нулевым входом триггера управления 14, первый выход дешифратора соединен с управляющим входом второго регистра результата 7, второй выход дешифратора 11 соединен с управляющим входом третьего регистра 8 результата и единичным входом триггера управления, выход которого соединен с первыми входами элементов И 22, 23, 21; вторые входы элементов И 22, 23 соединены с выходами второй 3.2, третьей 3.3 схем срав.нения, выход первой схемы сравнения 3.1 соединен с первым входом третьего элемента ИЛИ 17, а также с нулевым управляющим входом мультиплексора 2. выход четвертого элемента И 22 соединен со вторым и первым входами элементов ИЛИ 17; 18 соответственно, а выход пятого элемента И 23 соединен с третьим и вторым входами элементов ИЛИ 17 и 18 соответственно; выход четвертого элемента ИЛИ 18 соединен с первым управляющим входом мультиплексора 2, выход которого соединен с информационным входом выходного регистра 9, выход третьего элемен га ИЛИ 17 соединен с выходом "Норма." устройства 30, а также с управляющими входами регистра данных 4 регистра 5 адреса, выходного. регистра 9 и вторыми входами первого 19, третьего (инверсным) 21 элементов И, выход третьего элемента И 21 соединен с единичным входом триггера, отказа 13, выход которого является выходом "Не норма" устройства 31, выход первого элемента И 19 соединен с нулевым входом счетчика 10; выход первого регистра 6 результата соединен с нулевым информационным входом мультиплексора

2, выход второго регистра 7 соединен с nepBblNl информационным входом мультиплексора 2 и со вторым входом первой 3.1 схемы сравнения, Выход третьего регистра 8 соединен с первым входом второй 3.2 схемы сравнения, второй вход которой соединен с выходом первого регистра 6, а первый и второй входы третьей 3.3 схемы сравнения соединены с выходами второго 7 и третьего

8 регистров результатов соответственно; выход третьего регистра результатов 8 соединен с третьим информационным входом мультиплексора 2.

В представленном на фиг, 2 алгоритме работы показаны следующие блоки:

Блок 1 отражает запись (обновление) новой информации о новой задаче: новых данных, нового начального адреса в RG4.

RG5 соответственно. Блоки 2. 5, 11 отражают выполнение вычисления одной задачи (по Одним данным) по первой второй и третьей альтернативным программным версиям соответственно.

Блоки 3, 6, 12 отражают проверку условия формирования сигнала ЗП (" Запись" ) на

5 выходе вычислительного модуля. характеризующего окончание выполнения соответствующей программной версии и готовности записи результатов вычислений во внешние регистры (RG6 — RG8).

10 Блоки 4, 7, 13 — запись результатов выполнения первой, второй и третьей программных версий соответственно в первый, второй и третий регистры результатов.

Блоки 8, 14, 17 — проверку условия срав15 нения между собой результатов первой и второй, первой и третьей. второй и третьей программных версий соответственно по признаку совпадения.

Блоки 9, 15 — формирование сигнала

20 "Норма" как сигнала сравнения результатов каких-либо версий между собой в схемах сравнения.

Блоки 10, 16 — перепись через мультиплексор 2 достоверного результата из вто25 рого RG7 или третьего RG8 регистров результатов в выходной регистр RG9 по сигналу "Норма".

Блок 18 — формирование сигнала "Отказ" как признака несравнения между со30 бой результатов выполнения версий, Блок 19 — блокировка прохождения тактовых импульсов синхронизации от внешнего генератора через схему И 20 и, следовательно, остановку вычислительного

35 процесса.

В представленной на фиг. 3 временной диаграмме работы устройства представлено решение двух различных задач (со сменой данных в регистрах данных и адреса), 40 при этом в ходе решений первой задачи сравнились результаты вычислений второй и третьей программных версий, а при решении второй задачи сравнились результаты вычислений первой и второй программных

45 версий (т.е, без просчета третьей программной версии).

Блок 1 предназначен для выполнения вычислительного процесса решаемой какой-либо задачи по трем альтернативным

50 версиям, Блок 1 имеет следующие выводы: вход— выход данных шины данных, вход адреса шины адреса; вход сигнала "Сброс", вход синхронизации от внешнего источника син55 хронизации С, выход сигнала "Чтение" из внешних устройств, выход сигнала "Запись" во внешние устройства. В качестве примера блока вычислений можно рассмотреть микропроцессор К580. который обладает сходными функциональными возможностями и

1807487

10 имеет соответствие следующих входов — выходов; входу-выходу данных блока 1 соответствуют выводы восьмиразрядной двунаправленной шины данных К580, адресному входу — выводы адресной шины, входу "Сброс" блока 1 — вход сигнала системной установки в исходное. состояния

"Сброс", генерируемого внешней схемой управления, по которому происходит обращение к начальному адресу программы и инициирование ее вычисления.

Синхровходу блока 1 соответствует синхровход МПК580, на который поступаюттактированные сигналы от внешнего генератора, выходу ".Чтение" соответствует выход "Чтение" из внешних устройств

МПК580, выходу "Запись" — одноименный инвертируемый: выход МПК580 сигнала записи во внешние устройства.

Мультиплексор 2 предназначен для коммутации выходов второго или третьего регистров (в зависимости от вариантов сравнения) на выходной регистр 9 для выдачи из устройства достоверной информации

-вычислений.

Схемы сравнения 3.1-3.3 предназначены для попарного сравнения между собой информации, записываемой в первый-третйй регистры результатов и выдачи сигнала сравнения(сравнение — 1,несравнение -О).

Регистр 4 данных предназначен для записи и хранения данных, используемых во время решения двух или трех программных версий задачи.

Регистр 5 адреса — для записи и хранения младших разрядов начального адреса программной версии, Регистры 6 — 8 результатов — для хранения результатов вычислений первой, второй и третьей программнйх версий соответственно, Выходной регистр 9 — для записи и хранения достоверного результата вычисления решаемой задачи, Счетчик 10 — для подсчета номеров вы- 4 числяемой (текущей) программной версии, используемых длл модификации старших разрядов начального адреса очередной версии, а также для управления дешифратором, Дешифратор 11 — для формирования 5 сигналов управления записью результатов первой — третьей программных версий в первый-третий регистры результатов соответственно и управления триггером 14.

Одновибратор 12 — для формирования 5 импульса "Сброс" в необходимый момент времени после окончания формирования начального адреса, Триггер отказа 13 — для формирования сигнала отказа устройства и сигнала запрещения синхронизации вычислительного модуля в случае отказа (начальное условие— триггер в нулевом состоянии).

Триггер управления t4 — для управле5 ния выдачей сигналов сравнения с выходов схем сравнения с целью предотвращения формирования сигнала сравнения при нулевой или "старой" информации во втором и третьем регистрах результатов.

10 Элементы ИЛИ 15, 16 — для синхронизации совместной работы регистров данных и адреса с вычислительным модулем.

Элемент ИЛ И t 7 — для формирования сигнала "Норма" в случаях сравнения ре15 зультатов версий ме>кду собой.

Элемент ИЛИ 18 — для формирования сигнала управления мультиплексором в зависимости от варианта сравнения версий.

Элемент И 19 — для формирования сиг20 нала "Сброс" счетчика .в случае получения сигнала "Норма" и приведения счетчика в исходное состояние для решения новой задачи.

Элемент И 20 — для разрешения работы

25 вычислительного устройства в случае отсутствия признака сигнала."Отказ" устройства.

Элемент 21 — для формирования сигнала управления триггера отказа при несравнении HN одного из результатов

30 программных версий после трех просчетов, Элементы И 22, 23 — для воспрещения формирования сигналов сравнения второй и третьей схемами сравнения при просчете первой версии, когда во втором и третьем

35 регистрах результатов может находиться сравнимая нулевая и;1и "старая" информация.

Магистральный элемент 24 — длл разделения магистрали данных на входную и вы40 ходную шины данных. .Устройство работает следующим образом. В исходном состоянии все элементы памяти устройства обнулены, на вход данных 25 устройства поданы исходные дан5 ные, необходимые в процессе решения. На вход адреса 26 устройства подан начальный адрес первой программной веры и вычислений решаемой задачи. На вход синхронизации устройства 28 подана генерация

0 син хронизации.

При подаче на вход устройства 27 единичного импульса ПУСК он через элемент

ИЛИ 15 поступает на.синхровходы регистров данных и адреса и проводит запись в

5 регистры информации с входов 25, 26, так как на управляющем входе регистров 4, 5 находится "единица" сигнала сравнения нулевой информации регистров результатов 6, 7. Также пусковой импульс через элемент

ИЛИ 16 поступает на вход "Сброс" вычисли-

1807487

12 тельного модуля, по которому иницируется вычислительный процесс и происходит считывание информации из внешних регистров-регистра 4 и регистра 5 по сигналу

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

При формирования на выходе шины данных блока 1 "информации о результатах вычислений" на выходе ЗП формируется сигнал записи во Dнешние устройства, Стсутствующий при этом сигнал ЧТ обусловливает высокоимпедансное состояние магистрального элемента и коммутирует выход шины данных нэ информационные входы первого-третьего регистра результатов.

По сигналу "ЗП", поступающего на синхровхода первого — третьего регистров результатов, происходит запись рвзультатов вычислений первой версии в первый регистр 6, так как исходное состояние дешифратора 11 формирует нэ. нулевом выходе дешифратора сигнал, поступающий на управляющий вход только первого регистра

: результата RGG.

Одновременно сигнал "ЗП" с выхода блока 1 поступает на счетный вход счетчика

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

Кроме того, сигнал "ЗП" поступает на вход одновибратора 12, формируя на его выходе импульс с параметрами, необходимыми для окончания переходных процессов по формированию нового начального адрсса блока

1, окончания записи информации из МП в выходные регистры и формирования сигнала системного сброса блока 1. инициирующего начала вычисления по второй программной версии,. Так кэк нэ выходах регистров б, 7 различная информация, то на выходе регистра 17 формируется нулевой потенциал, который запрещает перезапись информации в регистры 4, 5, Данные результатов вычисления второй версии по сигналу "ЗП" запишутся по второй регистр результатов {RG7), так кэк только на управляющем входе второго регистра результата будет присутствовать единица с первого выхода дешифратора. Аналогично вышерассмотренному алгоритму взаимодействия элементов сигнал "ЗП" с выхода блока 1 переведет счетчик 10 в новое состояние (0.1), что произведет модификацию старших разрядов начального адреса для формирования начального адреса третьей версии, переведет выходы дешифратора в состояние (00.1), сформирует через одноверсии, При сравнении информации в первой

Фсхеме сравнения иэ первого и второго регистров результатов первой и второй версии на первом выходе схем сравнения сформируется единичный сигнал, который; — переведет управляющий код мультиплексора в состояние (1,0), что подключит

20 выход второго регистра результата к входу выходного регистра; — через элемент ИЛИ 17 сформирует сигнал "Норма" сравнения, который разрешит запись сравнимой, а значит, достоверной, информации в выходной регистр; разрешит перезапись информации в регистрах данных и адреса разрешит через элемент И 19 сброс счетчика в исходное состояние 9; — сформирует на выходе устройства 30 сигнал "Норма" решения задачи. При этом сформированный сигналом "ЗП" с выхода

30 блока 1 выходной импульс одновибратора

12 приведет счетчик со старшими разрядами начального адреса и дешифратор в исходное состояние для новой задачи и запишет новые данные, адрес новой задачи в регистры RG4, RG5, а в выходной регистр

9 —. достоверный результат уже решенной

40 задачи, а так>ке инициирует вычислительный процесс новой задачи по новым данн ьил, Для предотвращения преждевременной смены входных данных и адреса в реги45 страх 4, 5 в течение одной задачи в случае получения (запись в регисгр 6) правильного результата вычисления первой программной версии, но в виде нулевой информации. и, следовательно, формирования единичноro сигнала сравнения правильного нулевого результата и исходного нулевого состояния второго регистра 7 нулевой выходдешифратора 11 также соединен со вторыми управляющими входами регистров 4, 5, В случае несравнения результатов первой и второй версий происходит вычисление и запись результатов третьей программной версии в третий регистр результатов аналогично описанному выше алгоритму, При наличии результатов 1рех версий в трех регистрах В6

10 вибратор импульс системного сброса блока

1 и инициирование вычисления по третьей

1807487

5

25 яние, чем сформирует на выходе 31 сигнал .

"Отказ" и через элемент И 20 запретит про- 30 хождение импульсов синхронизации из

6, 7, 8 происходит сравнение результатов первой и третьей версий во второй схеме сравнения и результатов второй и третьей версий в третьей схеме сравнения.

При сравнении любых двух значений с выходов регистра 6 — 8 на выходе элемента

ИЛИ 18 — 15 формируется код управления мультиплексора 2 для подключения выхода третьего регистра результатов к входу выходного регистра, а на выходе элемента

ИЛИ 17 сформируется сигнал "Норма", так как триггер 14 управления, переведенный в единичное состояние, единичным сигналом с второго выхода дешифратора разрешит прохождение сигналов сравнения через элементы И 22, 23, Сигнал "Норма", поступив на выход 30 устройства, аналогично вышеописанному алгоритму переведет схему устройства в исходное состояние для решения новой задачи с новыми данными. Результат решенной задачи при этом будет храниться в выходном регистре.

В случае несравнения между собой всех трех результатов через схему И 21 с инверсным входом по выходам схем сравнения триггер отказа перейдет в единичное состовнешнего генератора. Вычислительный процесс блока 1 остановится для дальнейшего выяснения, является ли признак отказа следствием некорректно поставленной задачи; отказа элементов схемы устройства или других причин, но в данном устройстве процесс диагностирования не рассматривается.

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

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

55 элементы ИЛИ. с первого по пятый элементы И, магистральный элемент, причем информационный вход устройства соединен с информационным входом регистра данных, выход которого соединен с входом магистрального элемента. выход которого соединен с входом данных блока вычислений, вход начального адреса устройства соединен с информационным входом регистра адреса, выход которого соединен с младшими разрядами адресного входа блока вычислений, выход "Чтение" которого соединен с управляющим входом магистрального элемента, вход пуска устройства соединен с первыми входами первого и второго элементов ИЛИ, выход первого элемента ИЛИ соединен с синхровходами регистров данных и адреса и с первым входом первого элемента И, выход второго элемента ИЛИ соединен с входом "Сброс" блока вычислений, с синхровходом выходного регистра и с синхровходом триггера отказа, инверсный выход триггера отказа соединен с первым входом второго элемента Vl, второй вход которого является входом синхронизации устройства, а выход второго элемента И соединен с входом синхронизации блока вычислений, выход "Запись" которого соединен с синхровходами первого, второго, третьего регистров результатов и триггера управления и со счетным входом счетчика и входом одновибратора, выход которого соединен с вторыми входами первого и второго элементов ИЛИ, первый и второй выходы разрядов счетчика соединены со старшими разрядами адресного входа блока вычислений и с первым и вторым входами дешифратора, первый выход которого соединен с нулевым входом триггера управления, с первыми входами разрешения регистров данных и адреса. второй выход дешифратора соединен с входом разрешения второго регистра результатов, третий выход дешифратора соединен с входом разрешения третьего регистра результатов и единичным входом триггера управления. выход которого соединен с первыми входами третьего, четвертого, пятого элементов

И, вторые входы четвертого, пятого элементов И соединены с выходами второй и третьей схем сравнения соответственно, выход первой схемы сравнения соединен с первым входом третьего элемента ИЛИ и с первым адресным входом мультиплексора, выход четвертого элемента И соединен с вторым входом третьего и первым входом четвертого элементов ИЛИ соответственно, выход пятого элемента И соединен с третьим входом третьего и вторым входом четвертого элементов ИЛИ соответственно, выход

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

5 вторым входом первой схемы сравнения. выход третьего регистра результатов соединен с первым входом второй схемы сравнения, второй вход которой соединен с выходом первого регистра результатов, а

10 первый и второй входы третьей схемы сравнения соединены с выходами второго и третьего регистров результатов соответственно, выход третьего регистра результатов соединен с вторым информационным вхо15 дом мультиплексора.

i807487

1807487 ю

У

Ъ сццюи дм с ичм юрса 9Фаавк 3, ам 49 рЬ Снаф посв%;

ОЬ

4I,O

° Щам. Ъ

Составитель В,Харченко

Техред М.Моргентал Корректор А.Козориз

Редактор

Производственно издательский комбинат "Патент", г. ужгород, ул,Гагарина. 101

Заказ 1381 Тираж Подписное

ВНИИПИ Государственного комитета по изобретениям и открытиям при ГКНТ СССР

113035, Москва, Ж-35, Раушская наб., 4/5