Cтраница 3
Полнота контроля функционирования АВМ существенно зависит от выбранных контрольных соотношений. Отметим, что возможны ситуации, при которых контрольное соотношение выполняется, а АВМ воспроизводит решение неправильно; возможны и обратные ситуации. [31]
Для проверки вычислений в процессе обработки данных приводятся контрольные соотношения в виде равенств. В случае, если по условиям решения задачи предусматриваются логические разветвления, то в алгоритме даются указания на выполнение его отдельных частей при соблюдении тех или иных условий. [32]
При воспроизведении решения дифференциального уравнения очень часта роль контрольного соотношения может играть само дифференциальное уравнение, в которое аппаратурно производится подстановка решения. [33]
При решении некоторых задач применяется для контроля метод контрольного соотношения. Существо этого метода сводится к следующему. Если искомые результаты должны удовлетворять некоторому соотношению, которое не используется для их получения, то в программе предусматривают проверку выполнения упомянутого соотношения. Если соотношение выполнено с достаточной степенью точности, то результаты считаются правильными. [34]
При решении некоторых задач применяется для контроля метод контрольного соотношения. Существо этого метода сводится к следующему. [35]
Способ контроля функционирования АВМ основан на автоматической проверке некоторых контрольных соотношений. Часто уже на стадии анализа исходной задачи удается отыскать математические выражения, котррым должны удовлетворять переменные решаемой задачи. [36]
Таблица операндов ( табл. 6) служит для описания операндов контрольных соотношений. [37]
Одним из элементов визуальной и счетной Проверки как раз и являются контрольные соотношения. [38]
По существу данный метод является одним из частных случаев метода проверки контрольных соотношений. [39]
Таблица формул ( табл. 7) предназначена для задания типов алгоритмов контрольных соотношений и знаков соотношений. [40]
В данных инструкциях указывается, какая графа ( строка) входит в контрольное соотношение и с каким знаком. Обработка документов на данной операции осуществляется согласно общесистемной инструкции. [41]
Составляя алгоритм решения задачи, программист известное внимание должен уделить поиску таких контрольных соотношений. Иногда такие соотношения возможно установить между промежуточными результатами вычислений, что в каждом случае рекомендуется использовать для проверки. [42]
Различают следующие разновидности этого метода: контроль методом двойного счета, метод контрольных соотношений и смысловых проверок, алгоритмический контроль. [43]
Контроль обрабатываемой информации в ЭВМ методом двойного счета может быть дополнен методом контрольных соотношений между вычислительными величинами. [44]
Алгоритмические методы контроля, так же как и логические, предусматривают проверку контрольных соотношений. Однако сами контрольные соотношения непосредственно вытекают из математических особенностей решаемых задач. [45]