Устройство для контроля счетной программы Советский патент 1991 года по МПК G06F11/28 

Изобретение относится к вычислительной технике и может быть исполь- зовано в устройствах отладки программ, устройствах контроля правильности выполнения программ ЦВМ0

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

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

Устройство содержит адресный ), первый 2| и второй 22 информационные входы, регистры 3, 4, первую 5 и вторую 6 схемы сравнения, первый 7 и второй 8 формирователь импульса, регистр 9, триггер 10, элемент ИИ, третий элемент 12 задержки, элемент ИЛИ 13, элемент И 14, блок 15 выделения интервала, выход 16 ошибки функции и выход 17 ошибки аргумента

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

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

с

сь 4

о

ОЭ

со оо

стремумово Для того, чтобы данное усройство можно было использовать для контроля сложных операторов, вычис- ЛЯЮ1ЦИХ полимодальные функции с моно- тонно убывающим начальным-участком, достаточно в регистры эталонных значений функции записать ичпертирован- ные значения, а на вход регистра 9 подать инвертированное значение полученной функции f(X)о

Устройство работает следующим об- разомо

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

Значение адреса счетчика команд ЦВМ поступает по входу 1 на схемы 5 и 6 сравненияо При совпадении этого значения с кодом, записанным в регистре 4, на выходе схемы 6 сравнения появляется импульс, который поступает на вход элемента 8 задержки и на синхровход блока 15 выделения интервалао По информационному входу блока выделения интервала 15 значение аргумента функции f(X), поступающее по входу 2 2, записывается в регистр аргумента 18„ Содержимое регистра аргумента 18 и регистров эталонных значений аргумента 9f - 19 через соответствующие группы блоков элементов И (первую и вторую) 20 и 21, открывающиеся при поступлении синхроимпульса на вход триггера 22, переводящего его в единичное состояние, поступает на соответствующие схемы сравнения 23 - 23ц В случае, если значение аргумента выходит за границы допустимого интервала изменения, на соответствующи выходах схем 23 ц появится единичный сигнал, который, проходя че рез элемент ИЛИ 25, поступает на выход 17 ошибки аргумента,, В противном случае единичный сигнал появится на

i.

выходе Равно k-й схемы 23 сравнения (k 1,N), если содержимое регистра 18 аргумента совпадает с со. держимым k-ro регистра эталонных знч чений аргумента 1 ,

X X эт к.

или на выходах Больше тех схем 23 сравнения, содержимое соответствующих регистров 19 эталонных значений аргумента которых больше содержимого регистра 18 аргумента, ТОР.„

X X 9Т , и на выходах Меньше остальных схем

23 сравнения Единичный сигнал пояш-п ся на выходе того элемента И группы 24к (1 k N-1), входы которого подключены к схемам 23 к и 23 «-и сравнения, соответствующим регистрам 19 к

0 и 19Ки , содержимое которых соответственно меньше и больше содержимого регистра 18 аргумента, т„е.

Х X; Хк., X или ХК41.

В первом случае единичный сигнал с выхода Равно k-й схемы 23 к сравнения открывает соответствующий блок элементов И пятой группы 29ц и разре шает передачу содержимого регистра

значений функции 26 через первую и вторую группы элементов ИЛИ -30 и 31 в регистры 32 и 33 верхней и нижней границы интервала и далее на входы соответствующих схем 34 и 35 сравнения о

0

5

0

5

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

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

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

поступа В схеме

ции f(X) меньше

ницы интервала,

сравнения появляется сигнал,

щий на вход элемента ИЛИ 130

35 сравнения производится операция сравнения полученного значения функ- ции f(X) со значением верхней границы интервала Если f(X) больше значения верхней границы интервала, то на выходе схемы 35 сравнения появляется сигнал, поступающий на вход элемента ИЛИ 13о Импульс, задержанный в элементе 12 на время операции сравнения, поступает на вход элемента И 14, Если на выходе одной из схем 34, ЗЬ сравнения присутствует сигнал, то он,, про ходя через элементы ИЛИ 13, И 14, поступает на выход 1Ь ошибки функции,,

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

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

5

0

5

0 5 о

5

0

5

решения третьего регистра, информационный вход которого является входом задания значения функции устройства, а выход подключен к первому информационному входу блока выделения интервала, второй информационный вход которого является входом задания значения аргумента устройства, выход второй схемы сравнения подключен к синхровходу блока выделения интервала и через второй формирователь импульса - к единичному входу триггера, нулевой вход которого подключен к выходу первого элемента И и строби- рующему вхрду блока выделения интерзала, а выход триггера подключен к второму входу первого элемента И, выход которого через элемент задержки подключен к первому входу второго элемента И, второй вход которого подключен к выходу элемента ИЛИ, а выход второго элемента И является первым контрольным выходом устройства, первый и второй выходы блока выделения интервала подключены к входам элемента ИЛИ, третий выход блока выделения интервала является вторым контрольным выходом устройства, блок выделения интервала содержит регистр аргумента, группу регистров эталонных значений аргумента, пять групп блоков элементов И, триггер, группу схем сравнения, группу элементов И, группу регистров значения функции, две группы элементов ИЛИ, регистр нижней границы интервала, регистр верхней границы интервала, элемент ИЛИ, две схемы сравнения, причем выходы регистра аргумента подключены к первым входам блоков элементов И первой группы, выходы которых подключены к первым входам схем сравнения группы, выходы регистров эталонах значений подключены к первым входам соответствующих блоков элементов И второй группы, выходы которых подключены к вторым входам схем сравнения группы, выход триггера блока выделения интервала подключен к вторым входам блоков элементов И первой и второй групп, выход Меньше первой схемы сравнения группы подключен к первому входу элемента ИЛИ, выход Больше N-й схемы сравнения группы подключен к второму входу элемента ИЛИ, блока выделения интервала,, выходы Меньше k-й схемы сравнения (k 2,N) подключены к первым входам элементов И группы, вторые входы ко-1

торых подключены к выходам Больше (k-l)-ft схемы сравнения, а выходы - к вторым входам третьего и четвертого блоков элементов И группы, выходы Равно схем сравнения группы подключены к первым входам блоков элементов И пятой группы, вторые входы которых подключены к выходам регистров значений функции, а выходы подключены к входам элементов ИЛИ первой и второй групп, выходы которых подключены к входам регистра нижней границы интервала и регистра верхней границы интервала соответственно, выходы которых подключены к первым входам первой и второй схем сравнения соответственно, выходы первого регистра значения функции подключены к второй группе входов первого блока элементов И третьей группы, выходы которого подключены к входам элементов ИЛИ первой группы, выходы N-ro регистра значения функции подключены к второй группе входов (N-1)-го блока эле- .ментов И четвертой группы, выходы которого подключены к входам второй группы элементов ИЛИ, если N - четное, выходы г-го регистра значения функции (г 2, N-1) подключены к вто рым входам соответствующих блоков

5

5 0

0

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

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

16

Фиг.1

am 6, .от 11