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

UptoLike

ВУЗ: 

СПб ГУАП | Санкт-Петербург

Составители: 

Рубрика: 

85
жны находиться некоторые искомые величины. Это можно сделать, на-
пример, на основе приближенного анализа процессов, описываемых дан-
ным алгоритмом. В программе предусматриваются определенные точки,
где реализуется проверка на нахождение переменных в заданных пре-
делах. Таким методом можно обнаруживать грубые ошибки, которые
делают бессмысленным продолжение работы.
Проверка с помощью дополнительных связей. В некоторых слу-
чаях удается использовать для контроля дополнительные связи между
искомыми величинами. Типичным примером таких связей являются из-
вестные тригонометрические соотношения. Возможно использование
корреляционных связей для задач обработки случайных процессов, ста-
тической обработки. Разновидностью этого подхода являются так на-
зываемые балансовые методы, суть которых в том, что отдельные груп-
пы данных удовлетворяют определенным соотношениям. Метод позво-
ляет обнаруживать ошибки, вызванные сбоями.
Метод избыточных переменных. В данном случае вводят допол-
нительные переменные, которые либо связаны известными соотноше-
ниями с основными переменными, либо значения этих переменных при
определенных условиях известны заранее.
Метод обратного счета. По полученному результату (значени-
ям функции) находят исходные данные (аргументы) и сравнивают их
с первоначально заданными. Если они совпадают (с заданной точно-
стью), то полученный результат считается верным. Для обратного
счета часто используют обратные функции. Применение этого ме-
тода целесообразно в тех случаях, когда реализация обратных функ-
ций требует незначительного числа команд, затрат машинного вре-
мени и памяти.
Метод контрольного суммирования. Отдельным массивам кодо-
вых слов (программам, исходным данным и т. д.) ставятся в соответ-
ствие избыточные контрольные слова, которые заблаговременно полу-
чают путем суммирования всех слов данного массива. Для осуществ-
ления контроля проводится суммирование всех слов массива и пораз-
рядное сравнение с эталонным словом. Например, при передаче дан-
ных по каналу связи все закодированные слова, числа и символы пере-
даваемой группы записей суммируются на входе для получения конт-
рольных сумм. Контрольная сумма записывается и передается вместе
с данными.

Страницы