Контроль и диагностика измерительно-вычислительных комплексов. Иванов Ю.П - 84 стр.

UptoLike

84
оперативного обнаружения ошибок. Они играют важную роль в обес-
печении необходимого уровня достоверности обработки информации.
Для своей реализации они требуют дополнительных затрат машинного
времени и памяти, дополнительных операций по программированию и
подготовке контрольных данных.
Контроль методом двойного или многократного счета состоит
в том, что решение всей задачи в целом или отдельных ее частей вы-
полняется два или более раз. Результаты сравниваются, и их совпаде-
ние считается признаком верности. Используются и более сложные
правила сравнения, например, мажорированные, когда за правильный
принимаем результат, который соответствует большему числу правиль-
ных результатов.
Реализация двойного или многократного счета состоит в том, что
определяются контрольные точки, в которых будет проходить cpавнение,
и выделяются специальные объемы памяти для хранения результатов
промежуточных и окончательных вычислений, применяются команды
сравнения и условного перехода на продолжение вычисления (при со-
впадении результатов) либо на очередное повторение (при несовпаде-
нии результатов).
Контроль по методу усеченного алгоритма, когда на основе ана-
лиза алгоритмов, выполняемых процессором, строится так называемый
усеченный алгоритм. Задача решается как по полному алгоритму, обес-
печивающему необходимую точность, так и по усеченному алгоритму,
который позволяет быстро получить решение, хотя и с меньшей точно-
стью. Затем проводится сравнение точного и приближенного результа-
тов. Примером усеченного алгоритма является изменение шага реше-
ния (увеличение) при решении дифференциальных уравнений.
Способ подстановки. При решении систем уравнений, в том числе
нелинейных и трансцендентных, предусматривается подстановка в ис-
ходные уравнения найденных значений. После этого производится срав-
нение правых и левых частей уравнения с целью определения невязок.
Если невязки не выходят из заданных пределов, решение считается пра-
вильным. Время, затраченное на такой контроль, всегда меньше, чем
на повторное решение. Кроме того, таким способом обнаруживаются
не только случайные, но и систематические ошибки, которые двойным
счетом часто пропускаются.
Метод проверки предельных значений, или метод «вилок». В боль-
шинстве задач можно заранее найти пределы («вилку»), в которых дол-