Cтраница 2
ЭВМ состоит из программно-логического контроля и ( или) тестового контроля выполнения предусмотренных зависимостей или состояний. [16]
Алгоритмический контроль является разновидностью программно-логического контроля. При алгоритмическом контроле на основе анализа алгоритмов задач, реализуемых данной системой, строится так называемый усеченный алгоритм, который используется для целей контроля. Усеченный алгоритм должен быть по своей дпине и времени выполнения примерно на порядок меньше основного алгоритма. В этом случае производительность системы понижается примерно на 10 % при незначительном ( около 1 %) увеличении емкости памяти программ. В остальном алгоритмический контроль по своим свойствам аналогичен программно-логическому контролю. [17]
Вычислительные функции, к которым относится программно-логический контроль входной информации и машинная обработка данных, будут выполняться в основном на вычислительном комплексе КИВЦ объединения. [18]
С помощью преобразователя Я4 выбираются методы программно-логического контроля вводимой информации, пишутся программы компоновки массивов, формируется соответствующая им документация. [19]
Весьма условным является также включение в состав СФК средств программно-логического контроля входной и выходной информации, которые можно рассматривать как один из элементов операционной системы. Однако принятая выше классификация средств МО представляется полезной, так как позволяет сделать последующее изложение материала более систематизированным. [20]
Программный контроль ЭВМ - контроль ЭВМ, осуществляемый автоматически и состоящий из программно-логического контроля и ( или) тестового контроля выполнения предусмотренных зависимостей или состояний. [21]
Двойной счет со сравнением полученных результатов наиболее прост, и часто используется форма программно-логического контроля. При несовпадении результатов решение программы повторяется до получения двух одинаковых результатов. Метод прост, однако обладает следующими недостатками: удваивается фактическое время решения задачи, обнаруживаются и исправляются ошибки из-за случайных сбоев, а систематические ошибки не всегда удается обнаружить. [22]
Двойной просчет со сравнением полученных результатов - наиболее простая и часто используемая форма программно-логического контроля. При несовпадении результатов решение повторяется до получения двух одинаковых результатов. Метод очень прост, но наряду с этим он обладает существенными недостатками: фактическое время решения задачи удваивается; обнаруживаются и исправляются в основном только ошибки из-за случайных сбоев, а систематические ошибки не улавливаются. [23]
Если тестовый контроль осуществляется только периодически и требует прекращения выполнения рабочей программы, то методы программно-логического контроля позволяют следить за работоспособностью машины непосредственно в процессе выполнения основной программы. В этом заключается преимущество программно-логического контроля. Выделяют следующие разновидности этого метода: контроль методом двойного счета; метод контрольных соотношений и смысловых проверок и алгоритмический контроль. [24]
Трактуется как обеспечение высокого показателя наработки на отказ за счет оперативных сообщений об аварийном режиме, тестирования, программно-логического контроля и дублирования техники. [25]
Для обнаружения ошибок, которые недостаточно эффективно выявляются средствами аппаратного контроля, при нормальном ходе программы ЭВМ целесообразно использовать программно-логический контроль. При таком контроле ЭВМ основной вид функции работоспособности определяется соотношениями, позволяющими оценить точность переработки исходной информации. Наиболее легко реализовать двойной ( тройной) счет со сравнением результатов. При этом каждый из сравниваемых результатов получают по аналогичным программам. [26]
При оценке эффективности того или иного вида контроля требуется определенный подход. Когда применяется программно-логический контроль, заключающийся в двойном счете, необходимо учитывать длительность сбоя тсб. Для аппаратного контроля длительность сбоя существенного значения не имеет. Поэтому трудно сравнивать количественно эффективность контроля при двойном счете с эффективностью аппаратных методов контроля. [27]
Программно-логический контроль организуется на основе использования избыточной исходной и промежуточной информации. Наиболее просто реализовать программно-логический контроль посредством неоднократной переработки информации с последующим сравнением полученных результатов. Для обнаружения искажения информации достаточно обеспечить двукратную ее переработку. Обычно при реализации этого метода система контроля автоматически обеспечивает третий цикл ( и больше) переработки информации, если результаты первых двух не совпали. [28]
Если тестовый контроль осуществляется только периодически и требует прекращения выполнения рабочей программы, то методы программно-логического контроля позволяют следить за работоспособностью машины непосредственно в процессе выполнения основной программы. В этом заключается преимущество программно-логического контроля. Выделяют следующие разновидности этого метода: контроль методом двойного счета; метод контрольных соотношений и смысловых проверок и алгоритмический контроль. [29]
Перспективным методом подготовки данных на магнитных носителях является использование терминальных средств ( монитор с клавиатурой) для ввода информации в ЭВМ по каналам связи. В этом случае применяется контроль методом верификации и методы программно-логического контроля. [30]