Cтраница 1
Классификация видов контроля. [1] |
Программно-логический контроль использует избыточность обрабатываемой информации. [2]
Программно-логический контроль предполагает использование избыточности исходной и промежуточной информации. Наличие избыточности в информации позволяет находить различного вида контрольные соотношения, которые связывают вырабатываемые величины и которые можно проверить по программе в конце каждого этапа вычислений. [3]
Программно-логический контроль основан на том, что в основную рабочую программу вводятся дополнительные операции, при выполнении которых получается избыточная информация, необходимая для обнаружения и исправления ошибок. Наличие избыточности в информации позволяет, например, находить те или иные контрольные соотношения, которые связывают получаемые в процессе расчета значения и которые можно проверять по программе в конце каждого этапа вычислений. Часто прибегают к двойному просчету, при котором избыточность информации создается путем повторения вычислений, а контрольные соотношения - это совпадение результатов первого и второго просчетов. [4]
Программно-логический контроль не требует применения специальной аппаратуры и позволяет обнаруживать ошибки, обусловленные случайными сбоями, в процессе проведения вычислений. Однако этот вид контроля приводит к значительному увеличению времени решения задачи. [5]
Программно-логический контроль основан на использовании избыточного кода исходных и промежуточных данных ЭВМ ( дополнительный разряд при контроле на четность и нечетность, код Хэмминга), что позволяет находить ошибки при изменении значения отдельных битов данных. [6]
Программно-логический контроль ( двойной счет) позволяет надежно обнаруживать сбои, и для его осуществления не требуется дополнительного оборудования. Однако при этом методе контроля более чем вдвое снижается производительность ЦВМ, е обнаруживаются систематические сбои, нельзя указать место отказа и тем более сбоя, требуется дополнительная емкость памяти для программы вычислений. [7]
Программно-логический контроль организуется на основе использования избыточной исходной и промежуточной информации. Наиболее просто реализовать программно-логический контроль посредством неоднократной переработки информации с последующим сравнением полученных результатов. Для обнаружения искажения информации достаточно обеспечить двукратную ее переработку. Обычно при реализации этого метода система контроля автоматически обеспечивает третий цикл ( и больше) переработки информации, если результаты первых двух не совпали. [8]
Программно-логический контроль состоит в проверке входной информации методами, основанными на использовании избыточности входной информации. [9]
Программно-логический контроль заключается в следующем. При вводе или обработке информации, как только машина начинает оперировать с данным номером, проверяется, находится ли этот номер в пределах действующих номеров. Если число обслуживаемых системой учреждений 60, а в документе изображено большее число, то такой документ машиной бракуется. [10]
Программно-логический контроль позволяет надежно обнаруживать сбои, и для его осуществления не требуется дополнительного оборудования. Однако при нем более чем вдвое снижается производительность ЭВМ, не обнаруживаются систематические сбои, нельзя указать место отказа и тем более сбоя, требуется дополнительная емкость памяти для программы вычислений. При алгоритмическом контроле производительность ЭВМ выше, в остальном он обладает теми же недостатками и, кроме того, имеет ограниченное применение, так как не всегда удается найти для основного алгоритма сокращенный, который был бы значительно короче основного. [11]
Методы программно-логического контроля позволяют контролировать не только вычислительный процесс, но и сохранность информации в запоминающих устройствах, а также групповую передачу информации. [12]
При программно-логическом контроле используется избыточность исходных и промежуточных данных с целью выполнения различных проверочных соотношений. [13]
Оценка качества программно-логического контроля, состоящего в сравнении результатов работы устройства по двум различным программам, осуществляется по значениям вероятностей обнаружения сбоев при реализации каждой из программ. [14]
Таким образом, программно-логический контроль позволяет без применения какой-либо специальной аппаратуры с вероятностью, близкой к единице, выявлять случайные сбои. Однако этот вид контроля обладает рядом существенных недостатков ( значительное снижение производительности ЭЦВМ, малая вероятность обнаружения отказов оборудования, большая задержка обнаружения случайных сбоев относительно момента их возникновения, трудность определения характера и места возникновения ошибки, дополнительные емкости ЗУ для хранения контрольных программ), ограничивающих его практическое использование. [15]