Cтраница 2
Способы логического контроля основаны на избыточности кодированной информации, записываемой на перфоленте. Методы двоично-десятичного кодирования чисел позволяют автоматически выявлять допущенные ошибки при построчном считывании кодированной информации. Кроме построчного контроля в системах цифрового управления применяются различные методы покадрового контроля координированной информации, записываемой на перфоленте. Наиболее распространенный из них - способ контроля по модулю. [16]
Проверка зрительным и логическим контролем правильности заполнения реквизитов и выявление некачественных документов производятся также на всех последующих операциях технологического процесса. Иногда проверка значности кодов выполняется не предварительным просмотром документов, а в процессе их перфорации. [17]
Кроме проведения логического контроля СпПО решает еще две задачи: накопление вводимой в систему первичной информации и формирование из определенной ее совокупности файлов. [18]
Рассмотрим разновидности логического контроля, нашедшие применение в практике. [19]
Кроме проведения логического контроля СпПО решает еще две задачи: накопление вводимой в систему первичной информации и формирование из определенной ее совокупности файлов. [20]
Кроме того, проводится логический контроль и результаты - отчет об обнаруженных ошибках - передается службам учета. [21]
Как самостоятельный вид контроля логический контроль не применяется, так как он не обеспечивает получения необходимой точности перфорации и позволяет обнаружить только существенные ошибки. Однако в качестве вспомогательного способа логический контроль осуществляется на всех операциях технологического процесса - от приемки первичных документов у заказчиков до выпуска готовых отчетных регистров. [22]
В процессе ввода осуществляется логический контроль. Информация, прошедшая логический контроль, записывается на пакет МД в главный информационный набор данных системы. Одновременно осуществляется распечатка введенной информации с сообщениями об обнаруженных системой ошибках. Грубые ошибки в информации исправляются повторной перфорацией ошибочной информации и новым вводом. Незначительные - программой учета и корректировки. [23]
На этом этапе осуществляется логический контроль адресов и других реквизитов формы № 3 с использованием нормативно-справочной информации. [24]
Программа Конвертирование тазуруса производит формальный и логический контроль вводимой информации. [25]
ЭВМ можно было дополнительно провести логический контроль достоверности заполнения самого документа. [26]
Программа Контроль предназначена для проведения логического контроля данных. Логические соотношения задаются в виде формул. Различаются формулы условия и формулы контроля. [27]
В отличие от формальных методов контроля логический контроль позволяет проверять правильность заполнения первичного документа. Но если исправление ошибок, допущенных при наборе, для оператора не представляет сложности, то ошибку заполнения документа оператор обычно исправить не может, а иногда и не имеет права этого делать. Для использования логического контроля непосредственно при переносе первичной информации на машинный носитель нужно прежде всего определить реакцию оператора, которому система сообщила об обнаруженной в документе ошибке, а также дальнейшие действия по ее устранению. Наилучшим образом это реализуется в условиях децентрализованного расположения терминалов в местах возникновения первичной информации. В этом случае при обнаружении ошибки оператор может обратиться непосредственно к специалисту, способному разобраться в причине возникновения ошибки, и исправить ее в первичном документе. Если выявление и исправление ошибки требует больших затрат времени или способ ее исправления неочевиден, оператор на время исправления ошибки может приостановить ввод пакета, в котором она обнаружена, и переключиться на ввод ( верификацию) информации другого пакета. [28]
Основным методом контроля правильности работы является логический контроль или макроконтроль. При макроконтроле проверяется правильность выполнения не отдельных операций, а правильность работы машины в целом, на основе проверки результатов решения по отдельным достаточно крупным участкам вычислительного процесса. Зачастую такая проверка осуществляется путем повторного решения и сравнения результатов решения целых задач. В некоторых машинах частично применяются и методы схемного контроля правильности операций и даже отдельные схемы для автоматического исправления ошибок. [29]
В отличие от формальных методов контроля логический контроль позволяет проверять правильность заполнения первичного документа. Но если исправление ошибок, допущенных при наборе, для оператора не представляет сложности, то ошибку заполнения документа оператор обычно исправить не может, а иногда и не имеет права этого делать. Для использования логического контроля непосредственно при переносе первичной информации на машинный носитель нужно прежде всего определить реакцию оператора, которому система сообщила об обнаруженной в документе ошибке, а также дальнейшие действия по ее устранению. Наилучшим образом это реализуется в условиях децентрализованного расположения терминалов в местах возникновения первичной информации. В этом случае при обнаружении ошибки оператор может обратиться непосредственно к специалисту, способному разобраться в причине возникновения ошибки, и исправить ее в первичном документе. Если выявление и исправление ошибки требует больших затрат времени или способ ее исправления неочевиден, оператор на время исправления ошибки может приостановить ввод пакета, в котором она обнаружена, и переключиться на ввод ( верификацию) информации другого пакета. [30]