Логическая проверка

Cтраница 2

В процессе ввода декадной информации в ЭВМ производится ее логическая проверка, выявляющая ошибки исходной информации, возникшие в ходе заполнения формы носителя, а также в каналах связи при передаче информации в ВЦ из депо. Выявленные ошибки формируются в ленту ошибок по каждому линейному предприятию и передаются по каналам связи в депо для их устранения. [16]

Заметим, что правило может быть эффективно использовано для логической проверки полученных математическими методами оптимальных алгоритмов. Надо проверить, используются ли в полученном алгоритме все отличия в свойствах сигнала и помехи. [17]

Средства проверки принято рассматривать в двух категориях: средства логической проверки, то есть проверки целостности файловой структуры, и средства физической диагностики поверхности. Логические ошибки, как правило, устраняются средствами самой операционной системы, а физические дефекты поверхности только локализуются - операционная система принимает во внимание факт повреждения магнитного слоя в определенных секторах и исключает их из активной работы. [18]

Отсюда видно, что, программируя алгоритм, необходимо предусмотреть дополнительные логические проверки во избежание остановки решения в некоторых частных случаях. Указанные проверки не нужны, если тривиальные случаи расположения плоскостей определить при кодировании и отбросить их, так как решение в этих случаях находится графически весьма просто. [19]

Следует отметить, что метод последовательных приближений в сочетании с логическими проверками разрядов кодов клеток предполагает, во-первых, целые крродинаты и, во-вторых, кадрирование относительно экранной области. [20]

Следует отметить, что метод последовательных приближений в сочетании с логическими проверками разрядов кодов клеток предполагает, во-первых, целые кородинаты и, во-вторых, кадрирование относительно экранной области. [21]

Ввиду шумов и других возможных помех для суждения о превышении определенных пороговых параметров при расчете производных проводят различные статистические и логические проверки. Пороговые значения для производных в существенной мере определяются уровнем шумов, содержащихся в сигнале. Пороговые параметры относятся к минимальным значениям высоты, ширины или площади пиков. Путем логических проверок подтверждают последовательность и единство нескольких единичных результатов для одного пика или же группы пиков. [22]

После переноса данных с перфоленты в ЭВМ, производится 100 % - ная формальная проверка и примерно 90 % - ная логическая проверка введенной информации. [23]

Основу документальной ревизии составляют методы проверки документального оформления финансово-кредитных операций: встречная проверка, взаимный контроль документов, арифметическая проверка, нормативная проверка, логическая проверка и формальная проверка. Основу экономического анализа составляют: метод специальных расчетных показателей, метод стереотипов и метод корректирующих показателей, применяющийся в сочетании с традиционными ( для общего экономического анализа) текущим и последующим методами. [24]

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

Эта проверка нужна как в случае, когда информация вводится в машину без групповых позиций ( см. § 2.4), так и в случае, когда групповые позиции вводятся как избыточная информация с целью дополнительных логических проверок. [26]

На стадии разработки исходного плана выполнения установленного задания осуществляется следующее: изучение технической документации на производство работ и выдача заданий ответственным исполнителям; получение от ответственных исполнителей исходных данных для составления сетевого графика; разработка сетевого графика; логическая проверка сетевого графика для устранения различного рода неувязок; определение на основе сетевого графика критического пути, сравнение его с директивной продолжительностью выполнения установленного задания, приведение параметров графика в соответствие с заданными ограничениями; расчет показателей исходного плана; утверждение и доведение до руководителей подразделений и исполнителей работ показателей исходного плана. [27]

Интуитивное решение нуждается в правильно организованной формально-логической проверке ее истинности. Именно логическая проверка подсказывает направление дальнейшего поиска истины, если решение оказалось ошибочным. [28]

Блок-схема алгоритма решения подзадачи Анализ оптимального варианта транспортно-экономических связей. [29]

Блок 3 - получение окончательного варианта перевозок нефтепродуктов. Для этого проводится логическая проверка и районирование полученного решения с использованием схем фактического и оптимального вариантов перевозок нефтепродуктов ( Г), устраняются транспортно-экономические связи, которые были ошибками в исходной информации и были вызваны техническими причинами, имеющими место при проведении расчетов на ЭВМ. [30]

Страницы: 1 2 3 4