Исход - проверка
Cтраница 1
Исход проверки зависит от того, в каком состоянии находится система. [1]
Формально эта информация выражается в перераспределении вероятностей отказов непроверенных элементов в зависимости от исхода предыдущих проверок. Задача оптимизации поиска отказавших элементов с учетом такого рода связей в общем случае не решена. Практическая ее формулировка затрудняется во м ногих случаях недостаточностью информации об этих связях. Однако в отдельных случаях возможно разбить элементы на группы ( модули) таким образом, что обнаружение отказа некоторого элемента из рассматриваемой группы может - вообще исключить необходимость дальнейшей проверки непроверенных элементов этой группы. [2]
Так, например, если вершина 1 отказала, то, по предположению 3, исход проверки п является отрицательным и, по предположению 4, исходы проверок лг, Я5 также являются отрицательными. Поскольку от вершины 1 к вершинам 5 и 5 не существует путей, совпадающих с ориентацией дуг, то проверки яз, л в данном случае будут иметь положительный исход. [3]
 |
Схема лрограм - работе рассматриваются только мы восстайовления рабо - / - ограниченные программы, обра-тоспособноетл. зованные из правильных Г - до. [4] |
Паре ( г тс2) поставим в соответствие вершину, в которую заходит дуга а1, а каждому исходу ая проверки иа поставим в соответствие дугу, исходящую из этой вершины. [5]
Как видно, чтобы реализовать эту идею, надо уметь определять истинность условия ( R3) e и в зависимости от исхода проверки либо прекращать счет, либо продолжать его. На языке команд это означает, что нужно проверить заданное условие и в зависимости от результата перейти к указанному для каждого из этих двух случаев адресу очередной команды. Программируемые МК имеют соответствующие команды. [6]
Проверка устройства, программы, системы в различных вариантах и режимах, при которой те из них считаются правильными, допустимыми, где исход проверки оказался безошибочным. [7]
БОД для задания хар-к ожидаемого ( правильного) поведения ОК, на блок управления БУ для перестройки его работы в зависимости от характера и исхода проверки на том или ином шаге и, наконец, на блок оперативной памяти ОП для запоминания той информации, к-рая но каким-либо причинам не может быть получена и нужный момент времени непосредственно с программоносителя. [8]
БОД для задания хар-к ожидаемого ( правильного) поведения ОК, на блок управления БУ для перестройки его работы в зависимости от характера и исхода проверки на том или ином шаге и, наконец, на блок оперативной памяти ОП для запоминания той информации, к-рая по каким-либо причинам не может быть получена в нужный момент времени непосредственно с программоносителя. [9]
Так, например, если вершина 1 отказала, то, по предположению 3, исход проверки п является отрицательным и, по предположению 4, исходы проверок лг, Я5 также являются отрицательными. Поскольку от вершины 1 к вершинам 5 и 5 не существует путей, совпадающих с ориентацией дуг, то проверки яз, л в данном случае будут иметь положительный исход. [10]
Постановка задачи с выдвижением альтернативной гипотезы во многом устраняет эту неопределенность. Здесь положительный исход проверки достаточен для принятия исходной гипотезы, а не альтернативной к ней. Конечно, такой вывод закономерен, если конкурирующая гипотеза является достаточно обоснованной. [11]
Наличие в аппаратуре функциональных связей между элементами приводит к такому положению, при котором проверка одного из элементов несет в себе информацию о состоянии ряда других, которые в настоящий момент не контролируются. Эта информация выражается в перераспределении вероятностей отказов непрерывных элементов в зависимости от исхода предшествующей проверки. [12]
Особенность этой схемы алгоритма в том, что каждая ветвь разветвлений содержит не один, а два оператора. Это требует при записи оператора разветвления указания о том, что при каждом исходе проверки условия должна выполняться группа из нескольких ( в данном примере из двух) операторов. [13]
Так как яз разделяет S на 5 3 53 и 513 51, s2, 54, s5 ], то согласно 9 - й строке табл. 3 - 3 после получения положительного исхода этой проверки в оптимальной программе должна выполняться проверка Лз. Построенная оптимальная условная программа диагностики изображена на рис. 3 - 3, где 0 и 1 обозначают отрицательный и соответственно положительный исходы проверок. [14]
Перейдем теперь к рассмотрению общей структуры ПАРИС-транс-лятора, блок-схема которого приведена на рис. 5.3, сделав предварительно одно маленькое замечание относительно символики, использованной при составлении блок-схем. Блоки, изображенные в виде кружков с расположенной в них буквой, называются соединителями и используются для устранения пересекающихся линий или для указания, по какой линии нужно следовать, если эта линия должна продолжаться на следующей странице блок-схемы. Линии, выходящие из ромбов, представляют собой различные пути, которым должна следовать программа в зависимости от исхода проверок условий. [15]
Страницы: 1 2