Cтраница 4
Прежде чем говорить об эффективности контроля при двойном счете, рассмотрим сбои с точки зрения их длительности. [46]
Различают следующие разновидности этого метода: контроль методом двойного счета, метод контрольных соотношений и смысловых проверок, алгоритмический контроль. [47]
Определим математическое ожидание числа вычислений при различных вариантах двойного счета. Обозначим через р вероятность получения правильного результата при одном вычислении. Далее рассмотрим такую организацию вычислений, когда вычисления повторяются до тех пор, пока не совпадут два решения. Вероятность того, что при вычислениях будет w дополнительных решений, равна вероятности совпадения двух событий: появление хотя бы одного верного результата за w первых решений; появление верного результата в ( w - - 4 - 2) - м решении. [48]
Если время решения задачи велико, то контроль вычислений двойным счетом производят по отдельным этапам. При этом контролируется совпадение наиболее важных промежуточных результатов. [49]
Гц - время, необходимое для реализации одного какого-либо цикла двойного счета, то данный сбой будет являться случайным и может быть обнаружен при двойном счете. [50]