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

(19) (1 40698 А 51) С 06 Р 11/28 ИЯ 1:. ОПИСАНИЕ ИЗОБРЕТЕК АВТОРСКОМУ СВИДЕТЕЛЬСТВУ о КОНТРОЛЯ СЧЕТНОИ(57) Изобретение олительной технике осится к вычисожет быть и к ГОСУДАРСТВЕННЫЙ КОМИТЕТПО ИЗОБРЕТЕНИЯМ И ОТКРЫТИЯМПРИ ГКНТ СССР(56) Авторское свидетельство СССРВ 1418719, кл, С 06 Р 11/28, 198Авторское свидетельство СССРФ 152637, кл. С 06 Р 11/28, 1988. Изобретение относится к вычислительной технике и может быть исполь зовано в устройствах отладки программ, устройствах контроля правильности выполнения программ ЦВМ.Цель изобретения - расширение фу циональных возможностей устройства за счет контроля сложных операторов вычисляющих полимодальные функции внутри интервала эталонных значений На фиг.1 представлена схема для контроля счетной программы; на фиг.2 схема блока выделения интервала.Устройство содержит адресный 1, первый 2 и второй 2 информационные входы, регистры 3, 4, первую 5 и вторую 6 схемы сравнения., первый 7 и второй 8 формирователь импульса, регистр 9, триггер 10, элемент И 11, третий элемент 12 задержки, элемент ИЛИ 13, элемент И 14, блок 15 выдепользовано в устроиствах отладкипрограмм и устройствах контроля пра -вильности выполнения программ ЦВМ.Целью изобретения является расширение функциональных возможностей устройства. Цель достигается за счеттого, что в блоке выделения интервала выходы четных блоков элементовИ третьей и четвертой групп соединены с входами элементов ИЛИ соответственно второй и первой групп. Устройство позволяет контролировать сложные операторы, вычисляющие полимодальные функции внутри интервала эталонных значений, 2 ил. ления интервала, выход 16 ошибки функции и выход 17 ошибки аргумента.Блок 15 выделения интервала содержит регистр 18 аргумента, группу регистров 19 эталонных значений аргумента, первую и вторую группы блоков элементов И 20, 21, триггер 22, группу схем 23 сравнения, группу элементов И 24, элемент ИЛИ 25, группу ре- ОЪ гистров 26 значений функции, третью, Ж четвертую и пятую группы блоков эле-. Об ментов И 27 - 29, первую и вторую группы элементов ИЛИ 30, 31, регистры верхней 32 и нижней 33 границы интервала, первую 34 и вторую 35 схемы сравнения.Устройство контролирует сложные 3. операторы, вычисляющие полимодальные функции, начальный участок которых (до первого экстремума) является монотонно возрастающим. Эталонные зна-, чения функции задаются в точках эк 1640698стремумов. Для того, чтобы данное устройство можно было использовать для контроля сложных операторов, вычисляющих полимодапьные Функции с монотонно убывающим начальным участком, достаточно в регистры эталонных значений функции записать инвертированные значения, а на вход регистра 9 подать инвертированное значение полученной функции Г(Х)Устройство работает следующим образом.В исходном состоянии в регистр 3 записано значение кода счетчика ко манд ЦВМ, при котором производится контролируемая операция, в регистр 4 записано значение кода счетчика команд ЦВМ,при котором производится вычисление аргумента для контроли руемой функции, в регистрах 9 - 194 эталонных значений аргументов записаны эталонные значения аргумента функции, в регистрах 26 в 2, значений функций записаны соответствую щие расчетные значения функции, остальные регистры и трйггеры устройства обнулены.Значение адреса счетчика команд ЦВМ поступает по входу 1 на схемы 5 и 6 сравнения. При совпадении этого значения с кодом, записанным в регистре 4, на выходе схемы 6 сравнения появляется импульс, который поступает на вход элемента 8 задерж ки и на синхровход блока 15 выделения интервала. 11 о информационному входу блока выделения интервала 15 значение аргумента Функции й(Х), поступающее по входу 2, записывается 40 в регистр аргумента 18. Содержимое регистра аргумента 18 и регистров эталонных значений аргумента 19 - 19 через соответствующие45 группы блоков элементов И (первую и .вторую) 20 и 21, открывающиеся при поступлении синхроимпульса на входтриггера 22, переводящего его в единичное состоянйе, поступает на соответствующие схемы сравнения 231- 234. В случае, если значение аргумента выходит за границы допустимого интервала изменения, на соответствующих выходах схем 23- 23 появится еди 55 яичный сигнал, который, проходя че- рез элемент ИЛИ 25, поступает на выход 17 ошибки аргумента. В противном случае единичный сигнал появится на выходе "Равно" 1 с-й схемы 23 сравнения (1 с = 1,Ю), если содержимое регистра 18 аргумента совпадает с содержимым Е-го регистра эталонных значений аргумента 9, т.е,Х зткили на выходах "Больше" тех схем 23сравнения, содержимое соответствующих регистров 19 эталонных значенийаргумента которых больше содержимогорегистра 18 аргумента, т.е,Х - Х з.,зт,и на выходах Меньше" остальных схем23 сравнения. Единичный сигнал появисься на выходе того элемента И группы24, (1 = с ( И), входы которогоподключены к схемам 23 к и 23 к сравнения, соответствующим регистрам 9 ки 19 к , содержимое которых соот-.ветственно меньше и больше содержимого регистра 18 аргумента, т.е.Х кс Хэ Хк ) Х.или ХКсХ с ХкФ,Б первом случае единичный сигнал с выхода "Равно" Е-й схемы 23 к сравнения открывает соответствующий блок элементов И пятой группы 29 к и разре" шает передачу содержимого регистра значений функции 2 бк через первую и вторую группы элементов ИЛИ 30 и 31 в регистры 32 и 33 верхней и нижней границы интервала и далее на входы соответствующих .схем 34 и 35 сравнения.Во втором случае единичный сигнал с выхода блока К-го элемента И группы 24 к открывает соответствующие блоки элементов И третьей и четвертой группы 27 к и 28и разрешает передачу содержимого регистров 26 к и 26 к, значения Функции через соответ" ствующую группу элементов ИЛИ в регистр 32 нижней границы интервала и в регистр 33 верхней границы интервала , а далее на входы соответст)"вующих схем 34 и 35 сравнения.Импульс, задержанный в элементе 8 задержки, поступает на единичный вход триггера 10 и устанавливает его в единичное состояние. С триггера 10 высокий потенциал поступает на первый вход элемента И 1.11 ри совпадении значения кода адреса счетчика команд со значением,за" писанным в регистре 3, что означает момент начала выполнения в программе контролируемой операции, импульс по 1640698является на выходе схемы 5 сравнения.Этот импульс, задерживаясь в элементезадержки на время выполнений контролируемой операции, поступает навторой вход элемента И 1, а такжена управляющий вход регистра 9, открывая его и разрешая запись значения полученной функции К(Х) с первого информационного входа 2 устройства в регистр 9. Если на входахэлемента И 1 единичные сигналы,чтосоответствует наличию в регистре 9значения функции Х(Х) и наличию значений интервала в регистрах 32 и 33,то на выходе элемента И 11 появляется импульс, поступающий на вход элемента 18 задержки, на вход обнулениятриггеров 10, 22, а также на управляющие входы схем 34 и 35 сравнения. 20В схеме 34 сравнения производится операция сравнения полученного значенияфункции Е(Х) со значением нижней границы интервала. Если значение функции Е(Х) меньше значения нижней границы интервала, то на выходе схемысравнения появляется сигнал, поступающий на вход элемента ИЛИ 3. В схеме35 сравнения производится операциясравнения полученного значения функции Е(Х) со значением верхней границы интервала. Если г.(Х) больше значения верхней границы интервала, то навыходе схемы 35 сравнения появляетсясигнал, поступающий на вход элементаИЛИ 13. Импульс, задержанный в элементе 2 на время операции сравнения,поступает на вход элемента И 14. Еслина выходе одной из схем 34, 35 сравнения.присутствует сигнал, то он, про ходя через элементы ИЛИ 13, И 4, поступает на выход 16 ошибки функции. формула изобретения45Устройство для контроля счетной программы, содержащее три регистра, две схемы сравнения, два формирователя импульса, триггер, два элемента И, элемент задержки, элемент ИЗБ,блок 50 выделения интервала, причем адресный вход устройства подключен к первым входам первой и второй схем сравнения, вторые входы которых подключены к выходам соответственно первого и 55 второго регистров, выход первой схемы сравнения через первый формирователь импульсов подключен к первому входу первого элемента И и входу разрешения третьего регистра, информационный вход которого является входом задания значения функции устройства, а выход подключен к первомуинформационному входу блока выделения интервала, второй информационныйвход которого является входом. задания значения аргумента устройства,выход второй схемы сравнения подключен к синхровходу блока выделения интервала и через второй формировательимпульса - к единичному входу триггера, нулевой вход которого подключенк выходу первого элемента И и стробирующему входу блока выделения интервала, а выход триггера подключен квторому входу первого элемента И, выход которого через элемент задержкиподключен к первому входу второго элемента И, второй вход которого подключен к выходу элемента ИЛИ, а выходвторого элемента И является первымконтрольным выходом устройства, первый и второй выходы блока выделенияинтервала подключены к входам элемента ИЛИ, третий выход блока выделенияинтервала является вторым контрольнымвыходом устройства, блок выделенияинтервяла содержит регистр аргумента,группу регистров эталонных значенийаргумента, пять групп блоков элементов И, триггер, группу схем сравнения,группу элементов И, группу регистровзначения функции, две группы элементов И 1 П 1, регистр нижней границы интервала, регистр верхней границы интервала, элемент ИЛИ, две схемы сравнения, причем выходь 1 регистра аргумента подключены к первым входам блоковэлементов И первой группы, выходыкоторых подключены к первым входамсхем сравнения группы, выходы регистров эталонных значений подключены кпервым входам соответствующих блоковэлементов И второй группы, выходы которых подключены к вторым входам схемсравнения группы, выход триггера блока выделения интервала подключен квторым входам блоков элементов И первой и второй групп, выход "Меньше"первой схемы сравнения группы подключен к первому входу элемента ИЛИ,вь 1 ход "Больше" Х-й схемы сравнениягруппы подключен к второму входу элемента ИЛИ, блока выделения интервалавыходы "Меньше" 1 с-й схемы сравнения(Е = 2,И) подключены к первым входамэлементов И группы, вторые входы ко 1640698торых подключены к выходам "Больше" (1-1)-й схемы сравнения, а выходы - к вторым входам третьего и четвертого блоков элементов И группы, выходы и и5Равно схем сравнения группы подключены к первым входам блоков элементов И пятой группы, вторые входы которых подключены к выходам регистров значений функции, а выходы подключены квходам элементов ИЛИ первой и второй групп, выходы которых подключены к входам регистра нижней границы интервала и регистра верхней границы интервала соответственно, выхо ды которых подключены к первым входам первой и второй схем сравнения соответственно, выходы первого регистра значения функции подключены к второй группе входов первого блока д элементов И третьей группы, выходы которого подключены к входам элементов ИЛИ первой группы, выходы М-го регистра значения функции подключены к второй группе входов (М)-го блока эле .ментов И четвертой группы, выходы которого подключены к входам второй группы элементов ИЛИ, если М - четное, выходы г-го регистра значения функции (Г = 2, М) подключены к вто 30 рым входам соответствующих блоков элементов И третьейи четвертой групп, выходы нечетных блоков элементов И третьей и четвертой групп подключены к входам элементов ИЛИ первой и второй групп соответственно, синхровход устройства подключен к единичномувходу триггера, вход установки устройства подключен к нулевому входу триггера и к управляющим входам схем срав-. нения группы, вход регистра аргумента является первым информационным входом блока, второй информационный вход блока подключен к вторым входам первой и второй схем сравнения, выходы которых являются соответственно первым и вторым выходами ошибки блока выделения интервала, выход элемента ИЛИ является третьим выходом ошибки блока выделения интервала, о т л и - ч а ю щ е.е с я тем, что, с целью расширения функциональных возможностей устройства за счет контроля сложных операторов, вычисляющих значения полимодальных функций внутри интервала эталонных значений, в блоке выделения интервала выходы четных бло- ков элементов И третьей и четвертой групп подключены к входам элементов ИЛИ соответственно второй и первойгрупп.1 б 40698 юг Составитель И. Сафроноваедактор А,Мотыль Техред С.Мигунова Корректор алец Подп 41 оизводственно-издательский комбинат "Патент", г. Узтород, ул. Гагарина, 101 Заказ 1017 Тир ВНИИПИ Государственного 113035, митета по изобретениясква, И, Раушска ем и открьггиям при ГКНТ СССРнаб., д. 4/5