Метод - верификация
Cтраница 2
Контроль записанной на ленте информации осуществляется методом верификации. Для зтого ЕС-9002 переводится в режим проверки, и после автоматического воспроизведения блока данных с ленты и ввода его в буферную память производится повторный набор данных с документа на клавиатуре. Возникающие при сравнении несоответствия кодов индицируются. Обнаруженная ошибка вначале корректируется в памяти, а затем на магнитной ленте. При этом ошибочная зона на магнитной ленте стирается и на ленту записывается откорректированная зона данных. Откорректированные данные вторично считываются, сравниваются с содержимым буферной памяти, и при отсутствии ошибок производится переход к контролю данных следующей зоны. [16]
Совершенствование конструкции контрольников способствует тому, что метод верификации получает все более широкое распространение и в условиях применяемых в настоящее время видов перфорационных вычислительных машин значительно снижает трудоемкость контроля перфорации и упрощает технологический процесс на МСС. Этим методом контроль выполняется при помощи табулятора и суммирующих машин. При этом на суммирующей машине по первичнымдокументам подсчитываются итоги проверяемых реквизитов, и эти же реквизиты по перфокартам суммируются на табуляторе и печатаются в специальной контрольной табуляграмме. Совпадение двух итогов свидетельствует о том, что реквизиты отпер-форированы правильно. [17]
В книгах [7.59, 7.138] изложены общие вопросы, касающиеся методов верификации, обзоры этих методов и руководство по их применению. [18]
Фкд - количество перфокарт, дополнительно контролируемых методом верификации после их перебивки на перфораторах. [19]
Многим пользователям совсем не нравится контроль ввода исходных данных методом верификации. [20]
Для контроля правильности перфокарт в ВЦ могут применяться счетный метод, метод верификации, балансовый и комбинированный методы. [21]
Контрольник типа К80 - 6 предназначен для проверки правильности пробивки перфокарт методом верификации, заключающемся в повторном наборе на клавиатуре машины данных исходного документа и автоматического их сравнения с имеющимися в перфокартах пробивками. [22]
Контроль переноса данных на перфокарты или перфоленту может осуществляться двумя способами: методом верификации и счетным методом. [23]
Вместе с тем, отмечая положительные стороны метода CBS, не следует противопоставлять один метод верификации другому. Использование каждого из методов оказывается целесообразным для определенных условий применения. На рис. 2.29 приведен график, показывающий области целесообразного использования в процессе проектирования БИС высокой плотности различных верификационных средств. [24]
Широкие функциональные возможности ЭВМ создают предпосылки для организации качественно более совершенной технологии подготовки данных с использованием методов верификации для контроля за правильностью набора исходных данных и исправления выявленных ошибок, а также позволяют производить глубокий арифметический и логический контроль информации на этапе подготовки данных. [25]
Устройство Консул-257 ( ЕС-9022) подготовки данных на перфоленте или перфоленточной карте ( ЧССР) позволяет контролировать отперфорирован-ные данные методом верификации, который заключается в вводе отпер-форированного машинного носителя в считывающее устройство и повторном наборе данных на клавиатуре. Устройство подготовки данных может также работать в режиме дублирования машинных носителей. [26]
 |
Устройство подготовки данных на перфокартах. [27] |
Контрольники цифровые К80 - 6 / 1М и алфавитно-цифровые КА80 - 2 / ЗМ, а также устройства подготовки данных на перфокартах предназначены для контроля правильности нанесенной на карты информации методом верификации. [28]
Имеется несколько причин, в силу которых синтетический подход оказывается особенно удобным для разработки логических программ. Во-первых, метод верификации, описанный в гл. V как вывод процедур, сразу же дает нам средство синтеза, способное гарантировать соответствие программ своим спецификациям: в процессе построения вывода эффективным образом получается текст программы. Во-вторых, отделение логики от управления означает, что программист может пользоваться этим средством, заранее не беспокоясь о всех деталях поведения: хотя синтез каждого сегмента программы может и предполагать некоторое определенное поведение, последнее самим сегментом окончательно не фиксируется, поскольку имеется возможность выбора того или иного управления независимо от логики сегмента. [29]
Рассмотрим некоторые методы контроля правильности набивки перфокарт. При использовании метода верификации контроль перфокарт проводится с помощью специального устройства - контрольника. Процесс контроля основан на повторном наборе ранее введенных данных. При совпадении пробивки в перфокарте со штифтом нажатой клавиши каретка контрольника автоматически продвигается на следующую колонку, а при несовпадении останавливается. В новых моделях контрольников проверяемые перфокарты предварительно считываются в память устройства, а при повторном наборе данных с документов происходит сравнение соответствующих позиций. [30]
Страницы: 1 2 3