«Синтез проверяющих и диагностических тестов для устройств железнодорожной автоматики, телемеханики и связи»
ПОСТРОЕНИЕ ТЕСТОВ ДЛЯ ОБЪЕКТА ДИАГНОЗА, РЕАЛИЗОВАННОГО НА РЕЛЕ
жүктеу/скачать 413,08 Kb.
|
Kursovaya OTD Sizov M V
3 ПОСТРОЕНИЕ ТЕСТОВ ДЛЯ ОБЪЕКТА ДИАГНОЗА, РЕАЛИЗОВАННОГО НА РЕЛЕ3.1 Построение тестов для комбинационной релейно-контактной схемыРассмотрим построение проверяющего и диагностических тестов для релейно-контактной схемы, заданной в виде ФАЛ F = {0, 3, 4, 5} a,b,c. Минимизируем заданную ФАЛ с помощью карты Карно (рис. 3) и построим релейно-контактную схему для функции F = {000, 011, 100, 110}. Рисунок 3 – Карта Карно В результате этой операции получаем минимизированную функцию Комбинационная релейно-контактная схема, соответствующая полученной ФАЛ, представлена на рис. 4. Она содержит три входных реле – А, В, С – и шесть контактов . Общее число проверок для схемы с m входами равно 2m. Рассмотрим только одиночные неисправности контактов. Для построения тестов релейно-контактной схемы будем использовать ТФН.
Рисунок 4 – Комбинационная релейно-контактная схема Элементарная проверка для схемы заключается в подаче на ее входы определенного набора значений входных переменных (состояний кнопок SВА, SВВ, SВС) и определении факта наличия проводимости схемы по состоянию реле F. Общее число проверок для схемы с m входами равно 2m. Следует, 23 = 8 – общее число проверок. На основании построенной ТФН и в соответствии с выражением: где F – функция исправного объекта;
Таблица 4 – Таблица функций неисправности
Проверяющий тест в соответствии с выражением равен: Tп = φ1* φ 2* … * φ n; Tп = φ1 ∙ φ2 ∙ φ3 ∙ φ4 ∙ φ5 ∙ φ6 ∙ φ7 ∙ φ8 ∙ φ9 ∙ φ10 ∙ φ11 ∙ φ12 Тп = (5v6v7)∙(3v5v6)∙(1v5v6) ∙(3v5v6) ∙(2v7)∙(3v5v6) ∙(2v5v7)∙ (0v4v6) ∙(1v5v6) ∙ ∙ (0v5v6) ∙ (1v5v6) ∙ 6 = (5v6v7) ∙ (3v5v6) ∙ (1v5v6) ∙ (2v5v7) ∙ (0v4v6) ∙ (0v5v6) ∙ ∙ (2v7) ∙ 6 Тп = 0 ∙ 1 ∙ 2 ∙ 3 ∙ 5 ∙ 7 v 0 ∙ 1 ∙ 2 ∙ 3 ∙ 6 ∙ 7 Проверяющий тест, содержащий 3 минимальных теста: Tп1 = 0 ∙ 1 ∙ 2 ∙ 3 ∙ 5 ∙ 7; Tп2 = 0 ∙ 1 ∙ 2 ∙ 3 ∙ 6 ∙ 7. Построение диагностических тестов для комбинационной релейно-контактной схемы. Согласно выражению Для каждой пары неисправностей ТФН находим различающую функцию
Построение диагностических тестов для комбинационной релейно-контактной схемы Диагностический тест для рассматриваемого примера имеет вид Тд=φ12 φ13 ,…, φ34 Тд = (3v7) ∙ (1v7) ∙ (2v7) ∙ (2v6) ∙ (0v4v5v7) ∙ (0v7) ∙ (5v7) ∙ (1v3) ∙ (2v3v6v7)∙ ∙ (0v3v4v5) ∙ (0v3) ∙ (3v5) ∙ (1v2) ∙ (1v2v6v7) ∙ (0v1v4v5) ∙ (0v1) ∙ (1v5) ∙ ∙ (6v7) ∙(0v2v4v5) ∙ (0v2) ∙ (2v5) ∙ (0v2v4v5v6v7) ∙ (0v2v6v7) ∙ (2v5v6v7) ∙ ∙ (4v5) ∙ (0v4) ∙ (0v5) Тд = 0 ∙ 2 ∙ 3 ∙ 5 ∙ 7 v 0 ∙ 1 ∙ 2 ∙ 5 ∙ 7 v 0 ∙ 1 ∙ 5 ∙ 6 ∙ 7 v v 0 ∙ 1 ∙ 2 ∙ 3 ∙ 4 ∙ 7 v 1∙ 2 ∙ 3 ∙ 4 ∙ 5 ∙ 7 v 0 ∙ 1 ∙ 2 ∙ 3 ∙ 5 ∙ 6. Из результатов анализа полученного множества, диагностический тест содержит 10 минимальных тестов: Тд1 = 0 ∙ 2 ∙ 3 ∙ 5 ∙ 7; Тд3 = 0 ∙ 1 ∙ 5 ∙ 6 ∙ 7; Тд5 = 1∙ 2 ∙ 3 ∙ 4 ∙ 5 ∙ 7; Тд2 = 0 ∙ 1 ∙ 2 ∙ 5 ∙ 7; Тд4 = 0 ∙ 1 ∙ 2 ∙ 3 ∙ 4 ∙ 7; Тд6 = 0 ∙ 1 ∙ 2 ∙ 3 ∙ 5 ∙ 6. Словарь неисправностей, построенный для Тд1, представлен в таблице 2 Таблица 5 - Словарь неисправностей для Тд1
Диагностический 2-го вида определяется в том случае, если заранее не известно, что тестируемая схема неисправна. В этом случае диагностический тест Тд' определяется по выражению Тд' = Тп · φ1,2 · φ1,3·…· φn. Тд' = 0·1·2·3·5∙7 Словарь неисправности представлен для минимального диагностического теста Тд' приведен в таблица 2. Таблица 6 - Словарь неисправностей для Тд'
Поиск неисправностей осуществляется следующим образом. На входы схемы последовательно подаются входные наборы, входящие в диагностический тест. Для каждого случая фиксируется значения выхода схемы по состоянию реле F. Полученные результаты сравниваются с данными, приведенными в слове неисправностей (табл. 5 / 6). Совпадение состояний выхода реле и состояний, приведенных в столбце словаря неисправностей, указывает на неисправность или на класс эквивалентных неисправностей, которые соответствуют данному столбцу. жүктеу/скачать 413,08 Kb. Достарыңызбен бөлісу:
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||