СПОСОБ КОНТРОЛЯ и КОРРЕКЦИИ ВЫЧИСЛИТЕЛЬНОГО УСТРОЙСТВА, ВОСПРОИЗВОДЯЩЕГО ЗАДАННУЮ ФУНКЦИЮ Советский патент 1965 года по МПК G06G7/34 

Известны способы контроля и коррекции различных вычислительных устройств.

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

Суш;но:сть предлагаемого способа заключается в тоЦ, что заданная функция рассматривается как пересечение многомерной поверхности другими многомерными поверхностями. У равнение лервой из этих поверхностей может быть получено, например, из уравнения заданной фун-кции введением дополнительных (избыточных) переменных. Уравнения остальных поверхностей овязывают избыточные переменные с переменными Сходного уравнения. Далее эти уравнения используют как контрольные.

Заданную функцию вычисляют, воспроизводя на вычислительном устройстве уравнения всех MHoroMiepHbix ооверхностей. При этом получаемые значения переменных должны удовлетворять каждому из уравнений, в том числе и контрольным, так как воспроизводимая кривая принадлежит одновременно всем поверхностям. Контрольные уравнения всегда могут быть выбраны более простыми, чем

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

Если ошибка вычислительного устройства, т. е. отклонение воспроизводимой функции от

заданной, приведет к уходу изображающей точки с контрольной поверхности, то в контрольном уравнении появляется неувязка, которая свидетельствует об ошибке и может исиользоваться для ее коррекции. Если, например, воспроизводимой функцией является окружность, то на вычислительном устройстве воспроизводится (путем решения, например, дифференциальных уравнений) четырехмерная сфера и две ортогональные гиперплоскости, пересекающиеся между собой ino заданной окружности. Проверка правильности решения осуществляется подстановкой полученных переменных в линейные уравнения гиперплоскостей.

25

Предмет изобретения

Способ контроля и коррекции вычислительного устройства, воспроизводящего заданную 30 функцию, отличающийся тем, что заданную 3 функцию представляют как пересечение многомерной поверхности другими многомерными поверхностями (например, ортогональными плоскостями), уравнения которых используют в качестве контрольных, решают на вычисли-5 тельном устройстве совместно уравнения, производящие все указанные поверхности, и определяют правильность решения по выполнению .контрольных уравнений, а по невязке в них -корректируют вычислительное устройство.