Совокупность - проверка
Cтраница 1
Совокупность проверок, достаточная для выявления всех заранее заданных различимых состояний системы, именуется диагностическим тестом. [1]
Совокупность проверок, последовательность их реализации и правила обработки результатов для определения технического состояния объекта задаются алгоритмом диагностирования. Если этот алгоритм задает только одну фиксированную последовательность проверок, то его называют безусловным. Если в зависимости от предыдущего результата проверки может выполняться одна из нескольких возможных последовательностей дальнейших проверок, то соответствующий алгоритм диагностирования называют условным. Алгоритм, обеспечивающий определение экстремальных значений заданной целевой функции диагностирования, называют оптимальным. [2]
Поверкой называют совокупность проверок, выявляющих соответствие прибора всем техническим требованиям в целом, предъявляемым к данному прибору. [3]
Система обеспечивает пользователю дружественный интерфейс ( совокупность проверок, подсказок и пр. [4]
Принята следующая модель: все элементы РЭО независимы; совокупность проверок содержит только единичные проверки и одну общую; общая проверка РЭО осуществляется периодически; после ее отрицательного результата начинается поиск неисправности; после нахождения и восстановления некоторого А-го неисправного элемента проводится общая проверка; отрицательный результат общей проверки обусловливает продолжение поэлементной проверки, начиная с ( k 1) - го элемента, по ( N - 1) - й включительно; о неисправности JV - ro элемента судят методом исключения. [5]
Этот результат указывает на избыточность совокупности из / 6 проверок, так как совокупность проверок для отыскания i-го отказавшего элемента будет достаточной уже в том случае, когда во всех разрядах полученной суммы, кроме второго, будут отсутствовать нули. В рассматриваемом примере для отыскания отказавшего элемента b достаточно трех первых проверок. [6]
С целью поиска неисправностей решают задачу диагностики схемы, разрабатывая методы построения совокупности входных воздействий ( проверок), достаточной для выявления в схеме ошибок. Эту совокупность проверок называют тестом, для обнаружения ( или локализации) неисправностей. Контролирующий тест позволяет установить факт неисправности схемы, а диагностический тест локализует место неисправности. Полным проверяющим тестом называют множество наборов значений входных сигналов, достаточное для проверки правильности работы схемы. Тест называют тупиковым, если удаление из него хотя бы одного набора приводит к нарушению его полноты. Тупиковый тест наименьшей мощности по сравнению с другими тестами для данной схемы называют минимальные. [7]
Если совокупность проверок достаточна, то можно отыскать определенный отказавший элемент при помощи любой последовательности проверок. Для оценки достаточности совокупности проверок в отношении определенного элемента нужно переписать каждое основное или дополнительное обозначение проверки так, чтобы в разряде, соответствующем рассматриваемому элементу, всегда были нули. Затем эти обозначения пишутся одно под другим и складываются единицы в соответствующих разрядах. [8]
Если совокупность проверок достаточна, то можно отыскать определенный отказавший элемент с помощью любой последовательности проверок. Для оценки достаточности совокупности проверок в отношении определенного элемента нужно переписать каждое основное или дополнительное обозначение проверки так, чтобы в разряде, соответствующем рассматриваемому элементу, всегда были нули. Затем эти обозначения пишутся одно под другим и складываются единицы в соответствующих разрядах. Если в сумме во всех разрядах, кроме разряда рассматриваемого элемента, отсутствуют нули, то совокупность проверок достаточна для отыскания отказа данного элемента. [9]
Имеется достаточная совокупность проверок, которые характеризуются определенными априорными данными. Требуется построить алгоритм оптимального поиска, который удовлетворяет определенному критерию оптимальности. [10]
В достаточную совокупность проверок входят проверки, охватывающие группы элементов. Исправность элемента оценивается на основании частной совокупности проверок. Применение изложенных выше методов оптимизации в данном случае не приводит к оптимальному поиску, поскольку не учитываются структурные связи элементов РЭО. Некоторые авторы рассматривают этот метод как формализацию приемов, применяемых опытными мастерами. [11]
Построение оптимального алгоритма поиска обычно предусматривает наличие определенной совокупности априорных данных о РЭО и аппаратуре поиска неисправности ( АПН) и включает два этапа. К первому относится получение необходимой и достаточной совокупности проверок на основании структурной модели РЭО. Необходимой и достаточной совокупностью проверок называется такая совокупность, которая для принятого типа поиска обеспечивает на его уровне отыскание любого неисправного элемента. Если не учитывать априорные данные о проверках и ограничиться лишь минимизацией их количества, то минимальная совокупность проверок для поиска может быть получена уже на этом этапе методами математической логики. Однако при учете вероятностных и стоимостных характеристик на первом этапе следует ограничиться получением достаточной совокупности проверок. В дальнейшем мы предполагаем, что такая совокупность проверок имеется. [12]
Одними из первых математически обоснованных и практически использованных корректирующих кодов были коды Хемминга. Коды Хемминга, представляющие собой просто совокупность перекрестных проверок на четность / нечетность, являются одной из разновидностей более широкого семейства корректирующих кодов - циклических кодов. [13]
 |
Наследование свойств программ. [14] |
ОПЕРАЦИЯ сылки, действия и состояния завершения. В разделе предпосылки определяется критерий правильности вызова программы; этот критерий задается как совокупность проверок выполнения определенных условий. Раздел действия специфицирует последовательность операций, выполняемых программой. И наконец, функцией раздела состояния завершения является проверка успешности завершения программы. Для каждого возможного варианта успешного или неуспешного завершения могут быть специфицированы специальные действия. [15]
Страницы: 1 2