Cтраница 2
Состояние технической системы представляется обычно - мерным вектором, i-я компонента которого раВ На 1, если i - й элемент работоспособен, или равна 0, если он отказал. Состояние системы определяется путем проведения проверок по определенным программам, называемым программами диагностики. Совокупность проверок, достаточная для различения состояний системы, носит название диагностического теста. [16]
Построение оптимального алгоритма поиска обычно предусматривает наличие определенной совокупности априорных данных о РЭО и аппаратуре поиска неисправности ( АПН) и включает два этапа. К первому относится получение необходимой и достаточной совокупности проверок на основании структурной модели РЭО. Необходимой и достаточной совокупностью проверок называется такая совокупность, которая для принятого типа поиска обеспечивает на его уровне отыскание любого неисправного элемента. Если не учитывать априорные данные о проверках и ограничиться лишь минимизацией их количества, то минимальная совокупность проверок для поиска может быть получена уже на этом этапе методами математической логики. Однако при учете вероятностных и стоимостных характеристик на первом этапе следует ограничиться получением достаточной совокупности проверок. В дальнейшем мы предполагаем, что такая совокупность проверок имеется. [17]
Если совокупность проверок достаточна, то можно отыскать определенный отказавший элемент при помощи любой последовательности проверок. Для оценки достаточности совокупности проверок в отношении определенного элемента нужно переписать каждое основное или дополнительное обозначение проверки так, чтобы в разряде, соответствующем рассматриваемому элементу, всегда были нули. Затем эти обозначения пишутся одно под другим и складываются единицы в соответствующих разрядах. [18]
Если совокупность проверок достаточна, то можно отыскать определенный отказавший элемент с помощью любой последовательности проверок. Для оценки достаточности совокупности проверок в отношении определенного элемента нужно переписать каждое основное или дополнительное обозначение проверки так, чтобы в разряде, соответствующем рассматриваемому элементу, всегда были нули. Затем эти обозначения пишутся одно под другим и складываются единицы в соответствующих разрядах. Если в сумме во всех разрядах, кроме разряда рассматриваемого элемента, отсутствуют нули, то совокупность проверок достаточна для отыскания отказа данного элемента. [19]
В достаточную совокупность проверок входят проверки, охватывающие группы элементов. Исправность элемента оценивается на основании частной совокупности проверок. Применение изложенных выше методов оптимизации в данном случае не приводит к оптимальному поиску, поскольку не учитываются структурные связи элементов РЭО. Некоторые авторы рассматривают этот метод как формализацию приемов, применяемых опытными мастерами. [20]
Язык Паскаль почти является языком программирования с сильной типизацией. Грубо говоря, это означает, что в программе, написанной на языке Паскаль, каждый объект имеет тип, определяющий допустимые значения этого объекта и набор операций, применимых к этому объекту. При этом транслятор с языка Паскаль гарантирует невозможность присваивания объектам недопустимых значений и применения к объектам недопустимых операций за счет некоторой совокупности проверок, осуществляемых как на этапе трансляции, так и на этапе выполнения. Однако, конечно же, реальные трансляторы с языка Паскаль могут не обеспечивать проведения всех без исключения проверок, являющихся обязательными с точки зрения языка Паскаль. Более того, не следует путать сильную типизацию с анализом размерности. [21]
Построение оптимального алгоритма поиска обычно предусматривает наличие определенной совокупности априорных данных о РЭО и аппаратуре поиска неисправности ( АПН) и включает два этапа. К первому относится получение необходимой и достаточной совокупности проверок на основании структурной модели РЭО. Необходимой и достаточной совокупностью проверок называется такая совокупность, которая для принятого типа поиска обеспечивает на его уровне отыскание любого неисправного элемента. Если не учитывать априорные данные о проверках и ограничиться лишь минимизацией их количества, то минимальная совокупность проверок для поиска может быть получена уже на этом этапе методами математической логики. Однако при учете вероятностных и стоимостных характеристик на первом этапе следует ограничиться получением достаточной совокупности проверок. В дальнейшем мы предполагаем, что такая совокупность проверок имеется. [22]
Построение оптимального алгоритма поиска обычно предусматривает наличие определенной совокупности априорных данных о РЭО и аппаратуре поиска неисправности ( АПН) и включает два этапа. К первому относится получение необходимой и достаточной совокупности проверок на основании структурной модели РЭО. Необходимой и достаточной совокупностью проверок называется такая совокупность, которая для принятого типа поиска обеспечивает на его уровне отыскание любого неисправного элемента. Если не учитывать априорные данные о проверках и ограничиться лишь минимизацией их количества, то минимальная совокупность проверок для поиска может быть получена уже на этом этапе методами математической логики. Однако при учете вероятностных и стоимостных характеристик на первом этапе следует ограничиться получением достаточной совокупности проверок. В дальнейшем мы предполагаем, что такая совокупность проверок имеется. [23]
Если совокупность проверок достаточна, то можно отыскать определенный отказавший элемент с помощью любой последовательности проверок. Для оценки достаточности совокупности проверок в отношении определенного элемента нужно переписать каждое основное или дополнительное обозначение проверки так, чтобы в разряде, соответствующем рассматриваемому элементу, всегда были нули. Затем эти обозначения пишутся одно под другим и складываются единицы в соответствующих разрядах. Если в сумме во всех разрядах, кроме разряда рассматриваемого элемента, отсутствуют нули, то совокупность проверок достаточна для отыскания отказа данного элемента. [24]
Построение оптимального алгоритма поиска обычно предусматривает наличие определенной совокупности априорных данных о РЭО и аппаратуре поиска неисправности ( АПН) и включает два этапа. К первому относится получение необходимой и достаточной совокупности проверок на основании структурной модели РЭО. Необходимой и достаточной совокупностью проверок называется такая совокупность, которая для принятого типа поиска обеспечивает на его уровне отыскание любого неисправного элемента. Если не учитывать априорные данные о проверках и ограничиться лишь минимизацией их количества, то минимальная совокупность проверок для поиска может быть получена уже на этом этапе методами математической логики. Однако при учете вероятностных и стоимостных характеристик на первом этапе следует ограничиться получением достаточной совокупности проверок. В дальнейшем мы предполагаем, что такая совокупность проверок имеется. [25]