Устройство для контроля счетной программы

 

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

СОЮЗ СОВЕТСКИХ

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

РЕСПУБЛИК (g1)g С 06 F l i /28

ГОСУДАРСТВЕННЫЙ КОМИТЕТ

ПО ИЗОБРЕТЕНИЯМ И ОТКРЫТИЯМ

ПРИ ГКНТ СССР

ОПИСАНИЕ ИЗОБРЕТЕНИЯ вЂ”.:Н ABTOPCHOMY СВИДЕТЕЛЬСТВУ (21) 4622388/24 (22) 10.10.88 (46) 07.04.91. Бюп. У !3 (72) В.Л.Лясковский, Ю„В.11рокофьев и А.С.Скорытченко (53) 681.3(088.8) (56) Авторское свидетельство СССР

9 1418719, кл. G 06 F 11/28, 1987.

Авторское свидетельство СССР

Ф 1527637, кл. G 06 F 11/28, 1988. (54) УСТРОЙСТВО ДЛЯ КОНТРОЛЯ СЧЕТНОЙ

ПРОГРАММЫ (57) Изобретение относится к вычислительной технике и может быть исИзобретение относится к вычислительной технике и может быть использовано в устройствах отладки программ, устройствах контроля правильности выполнения программ ЦВМ.

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

На фиг.l представлена схема для контроля счетной программы; на фиг.2схема блока выделения интервала.

Устройство содержит адресный l первый 2 и второй 2 информационные входы, регистры 3, 4, первую 5 и вторую 6 схемы сравнения., первый

7 и второй 8 формирователь импульса, регистр 9, триггер 10, элемент И 11, третий элемент 12 задержки, элемент

ИЛИ 13, элемент И 14, блок 15 выдеÄÄSUÄÄ 1640698 А1 пользовано в устройствах отладки программ и устройствах контроля пра— вильности выполнения программ ЦВМ.

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

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

Блок 15 выделения интервала содержит регистр 18 аргумента, группу регистров 19 эталонных значений аргумента, первую и вторую группы блоков элементов И 20, 21, триггер 22, группу схем 23 сравнения, группу элементов И 24, элемент ИЛИ 25, группу регистров 26 значений функции, третью, четвертую и пятую группы блоков эле-. ментов И 27 — 29, первую и вторую группы элементов ИЛИ 30, 31, регистры верхней 32 и нижней 33 границы интервала, первую 34 и вторую 35 схемы сравнения.

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

640698 стремумов. Для того, чтобы данное устройство можно было использовать для контроля сложных опер аторов, вычисляющих полимодальные функции с монотонно убывающим начальным участком, достаточно в регистры эталонных значений функции записать инвертированные значения, а на вход регистра 9 подать инвертированное значение по- !0 лученной функции f(Х).Устройство работает следующим образом.

В исходном состоянии в регистр 3 записано значение кода счетчика команд ЦВМ, при котором производится . контролируемая операция, в регистр 4 записано значение кода счетчика команд ЦВМ,при котором производится вычисление аргумента для контролируемой функции, в регистрах .!! — 19!! эталонных значений аргументов записаны эталонные значения аргумента функции, в регистрах 26! †!! значений функций записаны соответствую- 25 щие расчетные значения функции, остальные регистры и трйггеры устройства обнулены.

Значение адреса счетчика команд

ЦВМ поступает по входу 1 на схемы

5 и 6 сравнения. При совпадении этого значения с кодом, записанным в регистре 4, на выходе схемы 6 сравнения появляется импульс, который поступает на вход элемента 8 задерж- 35 ки и на синхровход блока 15 выделения интервала. По информационному входу блока выделения интервала 15 значение аргумента функции f(Х), поступающее по входу 22 записывается 40 в регистр аргумента 18. Содержимое регистра аргумента 18 и регистров эталонных значений аргумента 19 — 19 через соответствующие

45 группы блоков элементов И (первую и .вторую) 20 и 21, открывающиеся при поступлении синхроимпульса на вход триггера 22, переводящего его в единичное состоянйе, поступает на соответствующие схемы сравнения 231- 23!4.

В случае, если значение аргумента выходит за границы допустимого интервала изменения, на соответствующих выходах схем 23! — 23!!появится еди55 яичный сигнал, который, проходя че- рез элемент ИЛИ 25, поступает на выход 17 ошибки аргумента. В противном случае единичный сигнал появится на выходе "Равно" k-й схемы 23 сравнения (k = I,N), если содержимое регистра 18 аргумента совпадает с содержимым k-ro регистра эталонных значений аргумента !9 т.е.

Х зт или на выходах "Больше" тех схем 23 сравнения, содержимое соответствующих регистров 19 эталонных значений аргумента которых больше содержимого регистра 18 аргумента, т.е. (XýT зт1 и на выходах Меньше" остальных .схем

23 сравнения. Единичный сигнал появись ся на выходе того элемента И группы

24, (1 k N-i) входы которого подключены к схемам 23 и 23 к сравнения, соответствующим регистрам 19 и 19, содержимое которых соот-. ветственно меньше и больше содержимого регистра 18 аргумента, т.е.

X c X Х„„, . Хили Х аХ Х„

В первом случае единичный сигнал с выхода "Равно" k-й схемы 23 к сравнения открывает соответствующий блок элементов И пятой группы 291, и разрешает передачу содержимого регистра значений функции 2бк через первую и вторую группы элементов ИЛИ .30 и 31 в регистры 32 и 33 верхней и нижней границы интервала и далее на входы соответствующих .схем 34 и 35 сравнения.

Во втором случае единичный сигнал с выхода блока k-ro элемента И группы 24к открывает соответствующие блоки элементов И третьей и четвертой группы 27 и 28 и разрешает передачу содержимого регистров 26 к и 26 «, значения функции через соответ" ствующую группу элементов ИЛИ в регистр 32 нижней границы интервала и в регистр 33 верхней границы интервала, а далее на входы соответст)" вующих схем 34 и 35 сравнения.

Импульс, задержанный в элементе 8 задержки, поступает на единичный вход триггера 10 и устанавливает его в единичное состояние. С триггера 10 высокий потенциал поступает на первый вход элемента И 11.

При совпадении значения кода адреса счетчика команд со значением,за" писанным в регистре 3, что означает момент начала выполнения в программе контролируемой операции, импульс по1640Ь98 является на выходе схемы 5 сравнения.

Этот импульс, задерживаясь в элементе 7 задержки на время выполнений контролируемой операции, поступает на второй вход элемента И 11, а также на управляющий вход регистра 9, открывая его и разрешая запись значения полученной функции f (X) с первого информационного входа 2 уст- !0 ройства в регистр 9. Если на входах элемента И 11 единичные сигналы,что соответствует наличию в регистре 9 значения функции Х(Х) и наличию значений интервала в регистрах 32 и 33, то на выходе элемента И 11 появляется импульс, поступающий на вход элемента 18 задержки, на вход обнуления триггеров 10, 22, а также на управ ляющие входы схем 34 и 35 сравнения.

В схеме 34 сравнения производится операция сравнения полученного значения функции f(X) со значением нижней границы интервала. Если значение функции Е(Х) меньше значения нижней границы интервала, то на выходе схемы сравнения появляется сигнал, поступающий на вход элемента ИЛИ 13. В схеме

35 сравнения производится операция сравнения полученного значения функ- 30 ции f(X) со значением верхней границы интервала. Если f(Х) больше значения верхней границы интервала, то на выходе схемы 35 сравнения появляется сигнал, поступающий на вход элемента

ИЛИ 13. Импульс, задержанный в элементе !2 на время операции сравнения, поступает на вход элемента И 14. Если на выходе одной из схем 34, 35 сравнения присутствует сигнал, то он, про-4п ходя через элементы ИЛИ 13, И 14, поступает на выход 16 ошибки функции.

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

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

И, элемент задержки, элемент HJM,áëoê 5Q выделения интервала, причем адресный вход устройства подключен к первым входам первой и второй схем сравнения, вторые входы которых подключены к выходам соответственно первого и 55 второго регистров, выход первой схемы сравнения через первый формирователь импульсов подключен к первому входу первого элемента И и входу разрешения третьего регистра, информационный вход которого является входом задания значения функции устройства, а выход подключен к первому информационному входу блока выделения интервала, второй информационный вход которого является входом. задания значения аргумента устройства, выход второй схемы сравнения подключен к синхровходу блока выделения интервала и через второй формирователь импульса — к единичному входу триггера, нулевой вход которого подключен к выходу первого элемента И и стробирующему входу блока выделения интервала, а выход триггера подключен к второму входу первого элемента И, выход которого через элемент задержки подключен к первому входу второго элемента И, второй вход которого подключен к выходу элемента ИЛИ, а выход второго элемента И является первым контрольным выходом устройства, первый и второй выходы блока выделения интервала подключены к входам элемента ИЛИ, третий выход блока выделения интервала является вторым KQHTpoJIbHbIM выходом устройства, блок выделения интервала содержит регистр аргумента, гругн1у регистров эталонных значений аргумента, пять групп блоков элементов И, триггер, группу схем сравнения, группу элементов И, группу регистров значения функции, две группы элементов ИЗП1, регистр нижней границы интервала, регистр верхней границы интервала, элемент ИЛИ, две схемы сравнения, причем выходь1 регистра аргумента подключены к первым входам блоков элементов И первой группы, выходы которых подключены к первым входам схем сравнения группы, выходы регистров эталонных значений подключены к первым входам соответствующих блоков элементов И второй группы, выходы которых подключены к вторым входам схем сравнения группы, выход триггера блока выделения интервала подключен к вторым входам блоков элементов И первой и второй групп, выход "Меньше" первой схемы сравнения группы подключен к первому входу элемента ИЛИ, выход "Больше" N-й схемы сравнения группы подключен к второму входу элемента ИЛИ, блока выделения интервала,, выходы "Меньше" k-й схемы сравнения (k = 2,N) подключены к первым входам элементов И группы, вторые входы ко-

1640698 торых подключены к выходам "Больше" (1 -1)-й схемы сравнения, а выходы— к вторым входам третьего и четверто.го блоков элементов И группы, выходы

II tl

Равно схем сравнения группы подключены к первым входам блоков элементов И пятой группы, вторые входы которых подключены к выходам регистров значений функции, а выходы подключе- 1О ны к входам элементов ИЛИ первой и вторбй групп, выходы которых подключены к входам регистра нижней границы интервала и регистра верхней границы интервала соответственно, выходы которых подключены к первым входам первой и второй схем сравнения соответственно, выходы первого регистра значения функции подключены к второй группе входов первого блока элементов И третьей группы, выходы которого подключены к входам элементов

ИЛИ первой группы, выходы N-го регистра значения функции подключены к второй группе входов (N-1)-го блока эле- 25 .ментов И четвертой группы, выходы которого подключены к входам второй группы элементов ИЛИ, если N — - четное, выходы r-ro регистра значения функции (x = 2, N-1) подключены к вто-3р рым входам соответствующих блоков элементов И третьейи четвертой групп, выходы нечетных блоков элементов И третьей и четвертой групп подключены к входам элементов ИЛИ первой и второй групп соответственно, синхровход устройства подключен к единичному входу триггера, вход установки устройства подключен к нулевому входу триггера и к управляющим входам схем срав-. нения группы, вход регистра аргумента является первым информационным входом блока, второй информационный вход блока подключен к вторым входам первой и второй схем сравнения, выходы которых являются соответственно первым и вторым выходами ошибки блока выделения интервала, выход элемента

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

ИЛИ соответственно второй и первой групп.

1640698

Составитель И.Сафронова

Редактор А.Мотыль Техред С.Мигунова Корректор Т.Малец

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

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

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

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