Построение проверяющего теста
Рассмотрим построение тестов для комбинационной релейно-контактной схемы, заданной в виде ФАЛ. Вар – 15 F = {3,4,5,6,7} a,b,c. F = {011,100,101,110,111} Минимизируем данную ФАЛ с помощью карты Карно:
Рисунок 2 – Карта Карно функции F
В результате получаем минимизированную функцию:
Комбинационная релейно-контактная схема, соответствующая полученной ФАЛ приведена на рис. 3:
Рисунок 3 – Комбинационная релейно-контактная схема
Элементарная проверка для схемы заключается в подаче на ее входы определенного набора значений входных переменных и определении факта наличия проводимости схемы по состоянию реле F. Определим функции неисправностей:
Составим ТФН (таблица 10): Таблица 10 - Таблица функций неисправностей
Определим проверяющие функции: Φ1= 0 v 1 v 2 φ2= 4 v 5 v 6 φ3= 1 φ4= 3 φ5= 2 Проверяющий тест, в соответствии с выражением (1.2) равен: Тп = φ1φ2φ3φ4φ5 Тп = (0 v 1 v 2)(4 v 5 v 6)123, раскрыв скобки, получим: Тп = 1234 v 1235 v 1236.
Данный проверяющий тест содержит 3 минимальных теста: Тп1 = 1234; Тп2 = 1235; Тп3 = 1236.
2.2. Построение диагностического теста. Для построения диагностического теста определим различающие функции, согласно выражению (1.3): φ1,2 = 0 v 1 v 2 v 4 v 5 v 6 φ1,3 = 0 v 2 φ1,4 = 0 v 1 v 2 v 3 φ1,5 = 0 v 1 φ2,3 = 1 v 4 v 5 v 6 φ2,4 = 3 v 4 v 5 v 6 φ2,5 = 2 v 4 v 5 v 6 φ3,4 = 1 v 3 φ3,5 = 1 v 2 φ4,5 = 2 v 3 Диагностический тест строится согласно выражению (1.4). Для данного случая имеет вид: Тд = (0 v 1 v 2 v 4 v 5 v 6)( 0 v 2)( 0 v 1 v 2 v 3)( 0 v 1)( 1 v 4 v 5 v 6)( 3 v 4 v 5 v 6)( 2 v 4 v 5 v 6)( 1 v 3)( 1 v 2)( 2 v 3) = 124 v 0134 v 0234 v 125 v 0135 v 0235 v 126 v 0136 v 0236 v 123 v 0123 Выражение содержит 4 минимальных теста: Тд1 = 123 Тд2 = 124 Тд3 = 125 Тд4 = 126
Воспользовавшись выражением (1.5), определим Тд’ :
Тд’ = (1234 v 1235 v 1236)(123v124v125v126) Упростив выражение, получим: Тд’= 1234v12345v12346v1235v12356v1236 Это выражение содержит 3 минимальных теста: Тд1’= 1234 Тд2’= 1235 Тд3’= 1236
Из Тд и Тд’ выбираем Тд и составляем словари неисправностей для тестов Тд1 - Тд4.
Таблица 11 - Словарь неисправностей для Тд1
Таблица 12 - Словарь неисправностей для Тд2
Таблица 13 - Словарь неисправностей для Тд3
Таблица 14 - Словарь неисправностей для Тд4
В таблице мы выделили классы эквивалентных неисправностей. Поиск неисправности осуществляют таким образом. На входы схемы последовательно подаются входные наборы, входящие в диагностический тест. Для каждого случая фиксируются значения выхода схемы (например, по состоянию реле F). Полученные результаты сравнивают с данными, приведенными в табл.. Если значения совпадают, то схема исправна. В противном случае полученные значения состояния реле F указывают на класс эквивалентных неисправностей, внутри которого находится неисправность, имеющаяся в схеме. Точное указание неисправности внутри класса эквивалентных неисправностей возможно только при измерениях во внутренних точках схемы.
Метод цепей и сечений Недостатком ТФН являются ее большие размеры. При расчете тестов на ЭВМ для хранения ТФН требуется большой объем памяти, что снижает размерность решаемых задач. В связи с этим для различных объектов диагноза разработаны специальные модели и методы, которые не имеют универсального характера, но с учетом особенностей объекта позволяют более просто решать задачи построения тестов.
Рисунок 4 – Комбинационная релейно-контактная схема
Для релейно-контактных схем при построении проверяющих тестов используют метод цепей и сечений. Под цепью понимается набор состояний контактов, которые обеспечивают наличие цепей проводимости между полюсами схемы. Под сечением понимается набор состояний контактов, которые обеспечивают разрыв всех цепей схемы. Перечисление всех цепей и сечений однозначно задает схему. Под цепью, урезанной на каком-то определенном контакте, понимают набор состояний контактов, соответствующий данной цепи, из которого исключен этот контакт. Аналогично определяют сечение, урезанное на каком-то определенном контакте. В алгоритм вычисления проверяющей функции какого-то определенного контакта для неисправности типа «разрыв» (φº) выписывают все цепи, содержащие этот контакт и все сечения, содержащие этот контакт, определяют все сечения, урезанные на этом контакте. Каждую выписанную цепь рассматривают в сочетании с каждым урезанным сечением. Для них определяют входные наборы, на которых они одновременно существуют. Поверяющую функцию находят как объединение всех полученных наборов. Алгоритм вычисления проверяющей функции для КЗ (φ¹) аналогичен алгоритму вычисления проверяющей функции для неисправности типа «разрыв», только термин цепь необходимо заменить на термин сечение.
Схема, представленная на рисунке 4, содержит 2 цепи: и , а также 2 сечения: и · Для контакта «a» определим проверочную функцию φºа. Контакт входит в цепь , а так же в сечение и Сечение урезанное на контакте а, равно и Цепь G1 существует при подаче входных переменных а1 = 1, а сечения H1/a – при b = 0 и H2/a – при с = 0, т.е. цепь G1, сечение H1/a и H2/a одновременно существуют на наборе . Таким образом
· Теперь для контакта «a» определим проверочную функцию φ¹a. Контакт входит в сечения и , а так же в цепь .
Сечение H1 существует при значениях переменных а = 1, b = 1, H2 – при а=1, c=1, т.е. сечения Н1, H2 и цепь G1/a одновременно существуют на наборе . Таким образом
· Для контакта «b» определим проверочную функцию φºb. Контакт входит в цепь , а так же в сечение . Сечение урезанное на контакте b, равно Цепь G2 существует при подаче входных переменных c = 1, b = 1, а сечение H1/b – при a = 0, т.е. цепь G2 и сечение H1/b одновременно существуют на наборе . Таким образом
· Теперь для контакта «b» определим проверочную функцию φ¹b. Контакт входит в сечение , а так же в цепь . Цепь урезанная на контакте b, равна . Сечение H1 существует при значениях переменных а = 0, b = 0, а цепь G2/b – при c = 1, т.е. сечение Н1 и цепь G2/b одновременно существуют на наборе . Таким образом
· Для контакта “c” определим проверочную функцию φºс Контакт “с” входит в цепь , а так же в сечение .
Сечение урезанное на контакте с, равно Цепь G2 существует при подаче входных переменных b=1, c=1, а сечения H2/c – при a = 0, т.е. цепь G2 и сечения H2/c одновременно существуют на наборе . Таким образом
· Теперь для контакта «с» определим проверочную функцию φ¹с. Контакт “с” входит в цепь , а так же в сечение . Цепь урезанная на контакте с, равна . Сечение H2 существует при значениях переменных a = 0, с = 0, а цепь G2/с – при b = 1, т.е. сечение H2 и цепь G2/c одновременно существуют на наборе . Таким образом
Теперь определим проверяющий тест Тп:
Тп= φºa φ¹a φºb φ¹b φºс φ¹c (2.1)
Подставим в выражение (2.1) полученные значения, проверяющих функций: Тп= • • • Таким образом, проверочный тест будет представлять множество входных наборов. Тп={ , , , }
3 Диагностирование комбинационной логической схемы
Популярное: Почему человек чувствует себя несчастным?: Для начала определим, что такое несчастье. Несчастьем мы будем считать психологическое состояние... Почему стероиды повышают давление?: Основных причин три... Почему люди поддаются рекламе?: Только не надо искать ответы в качестве или количестве рекламы... ©2015-2024 megaobuchalka.ru Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. (562)
|
Почему 1285321 студент выбрали МегаОбучалку... Система поиска информации Мобильная версия сайта Удобная навигация Нет шокирующей рекламы |