Реферат в данной курсовой работе будет выполнено: построение проверяющих и диагностических тестов для непрерывной системы
жүктеу/скачать 12,61 Mb.
|
| 2.2 Метод цепей и сечений
Для хранения ТФН из-за ее большого размера требуется большой объем памяти, что снижает размерность решаемых задач. В связи с этим для различных объектов диагноза разработаны специальные модели и методы, которые не имеют универсального характера, но с учетом особенностей объекта позволяют более просто решать задачи построения тестов. Для релейно-контактных схем при построении проверяющих тестов применяется метод цепей и сечений. Под цепью понимает набор состояний контактов, которые обеспечивают наличие цепи проводимости между полюсами схемы. Под сечением понимает набор состояний контактов, которые обеспечивают разрыв всех цепей схемы. Перечисление всех цепей и сечений однозначно задает схему. Под цепью, урезанной на каком то контакте, понимают набор состояний контактов, соответствующей данной цепи, из которого исключен этот контакт. Аналогично определяется сечение, урезанное на каком-то определенном контакте. В алгоритм вычисления проверяющей функции какого-то контакта для неисправности типа «разрыв» выписываются все цепи, содержащие этот контакт, и все сечения, содержащие этот контакт, определяются все сечения, урезанные на этом контакте. Каждую выписанную цепь рассматривают в сочетании с каждым урезанным сечением. Для них определяют входные наборы, на которых они одновременно существуют. Проверяющую функцию находят как объединение всех полученных наборов. Алгоритм вычисления проверяющей функции для короткого замыкания аналогичен алгоритму вычисления проверяющей функции для неисправности типа «разрыв», только термин «цепь» необходимо заменить на термин «сечение». Рассматривая схему (в соответствии с рисунком 2.1.2) видим, что она имеет три цепи: , а также содержит три сечения, Все остальные сечения содержат противоречия, например, и поэтому их из рассмотрения исключаем. Определим проверяющую функцию для контакта : 1) Контакт входит в цепи и сечения . Сечения, урезанные на контакте , равны . 1.1) Цепь существует при подаче входных переменных a1=0, b1=1, а сечение - при b2=0, т.е. цепь и сечение одновременно существовать не могут. 1.2) Цепь существует при подаче входных переменных a1=0, b1=1, а сечение - при =1, т.е. цепь и сечение одновременно существуют на наборе . 1.3) Цепь существует при подаче входных переменных a1=0, =1, а сечение - при b2=0, т.е. цепь и сечение одновременно существуют на наборе . 1.4) Цепь существует при подаче входных переменных a1=0, c1=1, а сечение - при =1, т.е. цепь и сечение одновременно существуют на наборе . 2) Контакт входит в цепи и сечения . Цепь , урезанная на контакте, равна . Цепь , урезанная на контакте, равна . 2.1) Сечение существует при подаче входных переменных a1=1, b2=0, а цепь, урезанная на контакте , существует при b1=1, т.е. и одновременно существовать не могут. 2.2) Сечение существует при подаче входных переменных a1=1, b2=0, а цепь, урезанная на контакте , существует при c1=1, т.е. и одновременно существуют на наборе . 2.3) Сечение существует при подаче входных переменных a1=1, c2=1, а цепь, урезанная на контакте , существует при b1=1, т.е. и одновременно существуют на наборе . 2.4) Сечение существует при подаче входных переменных a1=1, c2=1, а цепь, урезанная на контакте , существует при c1=1, т.е. и одновременно существуют на наборе Таким образом, проверяющая функция имеет вид: 3) Определим проверяющую функцию для контакта . Контакт входит в цепь и сечения . Сечение, урезанное на контакте , равно . 3.1)Цепь существует при подаче входных переменных =1, =0, а сечение - при =0 и , т.е. цепь и сечение одновременно существовать не могут. Таким образом, проверяющая функция не существует 4) Определим проверяющую функцию для контакта . Контакт входит в цепь и сечения . Цепь, урезанная на контакте , равна . 4.1) Сечение существует при подаче входных переменных b1=0, b2=0, с1 =0, а цепь, урезанная на контакте , существует при b1=1, т.е. и одновременно существовать не могут. Следовательно, проверяющая функция не существует. 5) Определим проверяющую функцию для контакта : Контакт входит в цепь и сечения . Сечения, урезанные на контакте , равны . 5.1) Цепь существует при подаче входных переменных =1, =0, а сечение - при =1, т.е. цепь и сечение одновременно существуют на наборе . 5.2) Цепь существует при подаче входных переменных =1, =0, а сечение - при =0 и , т.е. цепь и сечение одновременно существовать не могут. 6) Определим проверяющую функцию для контакта : Контакт входит в цепь и сечения . цепь, урезанная на контакте , равны . 6.1) Сечение существует при подаче входных переменных a1=1, b2=0, а цепь, урезанная на контакте , существует при c2=0, т.е. и существуют на наборе . 6.2) Сечение существует при подаче входных переменных с1=0, b1=0, b2=0 а цепь, урезанная на контакте , существует при c2=0, т.е. и существуют на наборе . 7) Определим проверяющую функцию для контакта : Контакт с1 входит в цепь G2= и сечение H3= . Сечение, урезанное на контакте с1, Цепь G2 существует на наборе a1=0, c1=1, а сечение - на наборе b1=0, b2=0. 8) Определим проверяющую функцию для контакта : Контакт с1 входит в цепь G2= и сечение H3= . Цепь, урезанная на контакте с1, Сечение существует при подаче входных переменных с1=0, b1=0, b2=0 а цепь, урезанная на контакте , существует при a1=0, т.е. и существуют на наборе . 9) Определим проверяющую функцию для контакта : Контакт с2 входит в цепь G3= и сечения . Сечения, урезанные на контакте с2, 9.1) цепь G3= существует на наборе с2=0, b2=1, а сечение урезанное на контакте с2 - при подаче входных переменных a1=1, т.е G3и существуют на наборе 10) Определим проверяющую функцию для контакта : Контакт с2 входит в цепь G3= и сечения . Цепь, урезанная на контакте с2, 10.1) Сечение существует при подаче входных переменных a1=1,c2=1,а - при подаче входных переменных b2=1, т.е. и одновременно существуют на наборе abc После определения проверяющих функций для всех контактов схемы, определяем проверяющий тест , который находится как логическое произведение проверяющих функций. (2.2.1) Подставляем полученные значения проверяющих функций в выражение 2.2.1 и производим его минимизацию: Таким образом, проверяющий тест для представленной на рисунке 2.1.2 релейно-контактной схемы будет представлять множество входных наборов: жүктеу/скачать 12,61 Mb. Достарыңызбен бөлісу:
|