Cтраница 4
Воспользуемся теперь тем, что в унимодулярной эвклидовой решетке дискриминанты примитивной подрешетки и ее ортогонального дополнения совпадают. Элементарную проверку этого утверждения мы оставляем читателю. [46]
Формальное описание алгоритма диагностирования технического состояния объекта выражается в виде безусловной или условной последовательности элементарных проверок и правил анализа результатов этих проверок. Число элементарных проверок, которое достаточно для конкретного диагноза, практически всегда меньше числа всех допустимых ( физически возможных и реализуемых) элементарных проверок конкретного ПР, поэтому задача диагностирования не решается однозначно. Для решения одной и той же задачи можно построить несколько алгоритмов, которые различаются или составом элементарных проверок, или последовательностью их реализаций, или их комбинацией. [47]
Система диагностирования в процессе определения технического состояния машины реализует некоторый алгоритм тестового или функционального диагностирования, который состоит из определенной совокупности элементарных проверок объекта, а также правил, устанавливающих последовательность реализации элементарных проверок, и правил анализа результатов последних. Результатом элементарной проверки являются конкретные значения ответных сигналов машины в контрольных точках. Диагноз ( окончательное заключение о техническом состоянии) ставится по совокупности полученных результатов элементарных проверок. [48]
Метод эталонных состояний характеризуется тем, что объектом элементарных проверок является аппаратура, участвующая в одном или нескольких тактах выполнения рабочего алгоритма функционирования, реализуемого в режиме диагностирования. В качестве результата элементарной проверки используется состояние аппаратурных средств диагностируемого устройства. [49]
Поэтому тест представляет собой множество элементарных проверок. Число элементарных проверок в тесте называют его длиной. Тест, предназначенный только для установления факта неисправности блока, называют контролирующим ( проверяющим), а тест, с помощью которого дополнительно устанавливается место неисправности в блоке, - диагностическим. Тест, который выявляет все неисправности заданного класса, называют полным, а тест, из которого нельзя исключить ни одну элементарную проверку без изменения его полноты, - неизбыточным. [50]
В задачах тестового диагностирования составы контрольных точек часто определены предварительно и они одинаковы для всех элементарных проверок. В таких случаях выбирают только входные воздействия элементарных проверок - это задачи построения тестов. В задачах функционального диагностирования, наоборот, входные воздействия элементарных проверок определены заранее рабочим алгоритмом функционирования машины и выбору подлежат только составы контрольных точек. [51]
Этот вид контроля обеспечивает циклическую поочередную реализацию элементарных проверок, входящих в алгоритм контроля. Информация о состоянии объекта поступает от первичных преобразователей, преобразующих различные неэлектрические величины в электрические. Дальнейшие операции осуществляются с электрическими сигналами, приведенными к унифицированной норме по току 0 - 5 мА или по напряжению 0 - 10 В. [53]
Пример программы контроля измерительных каналов. [54] |
Диагностический тест представляет собой группы наборов входных слоев Хг и соответствующих им слов у, при исправном проверяемом блоке ИК, интерфейса или ЭВМ или безошибочном формируемом документе. Пара одного набора ( Х, уг) составляет элементарную проверку. [55]