Методы компактной диагностики - реферат

Обучающая система способам малогабаритной диагностики.
Введение.
Неуклонный рост трудности устройств обуславливает завышенный энтузиазм к вопросам
диагностирования их технического состояния. Одной из разновидностей способов
технического диагностирования аппаратуры является тестовая диагностика,
позволяющая на шаге проектирования и производства решать главные задачки:
определять корректность функционирования, производить поиск дефектов и
определять тип неисправности. Для реализации этих Методы компактной диагностики - реферат задач требуется интенсификация
подготовки профессионалов по вычислительной технике и технической диагностике,
обладающих методикой исследования и проектирования сложных цифровых систем с
внедрением современных способов технической диагностики.
Основной задачей дипломной работы является разработка автоматической системы
обучения диагностике сложных цифровых схем, позволяющей детально знакомить
студентов с практическими способностями использования современных способов
малогабаритного Методы компактной диагностики - реферат тестирования.
Она должна представлять собой программку, включающую в себя:
Модуль, реализующий графический интерфейс. Обмен графической информацией меж
юзером и ЭВМ должно осуществляться в форме диалога;
модуль, реализующий логическое моделирование цифровых схем;
модуль, моделирующий работу генераторов тестовых последовательностей;
блок, моделирующий процесс диагностики. В него заходит: блок моделирующий
работу многоканального сигнатурного анализатора Методы компактной диагностики - реферат, блок отображения и обработки
приобретенных данных, блок поиска дефектов;
блок, реализующий метод определения оценки эффективности
диагностики при использовании малогабаритных способов диагностики.
Глава1.
Обзор способов малогабаритного тестирования и типы дефектов цифровых схем.
1.1 Систематизация способов сжатия выходных реакций схем.
Традиционная стратегия тестирования цифровых схем базирована на формировании
тестовых последовательностей, позволяющих обнаруживать Методы компактной диагностики - реферат данные огромного количества их
дефектов. При всем этом для проведения процедуры тестирования, обычно,
хранятся как сами последовательности, так и эталонные выходные реакции схем на
их воздействие. В процессе самой процедуры тестирования на основании сопоставления
выходных реакций с эталонными принимается решение о состоянии проверяемой схемы.
Для ряда выпускаемых Методы компактной диагностики - реферат в текущее время схем традиционный подход просит
временных издержек как на формирование тестовых последовательностей, так и на
функцию тестирования. Не считая того на проведение тестового опыта
требуется наличие сложного оборудования. В связи с этим цена и время,
нужные для реализации традиционного подхода, вырастают резвее, чем сложность
цифровых схем, для которых Методы компактной диагностики - реферат он употребляется. Потому новые решения, дозволяющие
существенно упростить как функцию построения генераторов тестовых
последовательностей, так и проведение тестового опыта.
Для реализации генератора испытательной последовательности употребляются методы,
дозволяющие избежать трудности их синтеза:
Формирование различных тестовых наборов, т.е. полного перебора двоичных
композиций. В итоге генерируется так именуемая счётчиковая Методы компактной диагностики - реферат
последовательность.
Формирование случайных тестовых наборов с требуемыми вероятностями возникновения
единичного и нулевого знаков по каждому входу цифровой схемы.
Формирование псевдослучайной испытательной последовательности.
Главным свойством рассмотренных алгоритмов формирования тестовых
последовательностей будет то, что в итоге их внедрения воспроизводятся
последовательности очень большой длины. Потому на выходах проверяемой цифровой
схемы формируются её Методы компактной диагностики - реферат реакции, имеющие такую же длину. Естественно появляется
неувязка их запоминания, хранения и издержка на обработку этих
последовательностей. Простым решением, позволяющим существенно уменьшить
объём хранимой инфы об эталонных выходных реакциях является получение
интегральных оценок, имеющих наименьшую размерность. Для этого употребляются
методы сжатия инфы.
В итоге их внедрения формируются малогабаритные оценки Методы компактной диагностики - реферат сжимаемой инфы.
Разглядим методы сжатия данных для варианта бинарной последовательности
{y(k)}, состоящей из l поочередно создаваемых двоичных переменных.
Псевдослучайное тестирование.
Более нередко при формировании псевдослучайных последовательностей употребляются
два способа. 1-ый из их лежащий в базе большинства программных датчиков
псевдослучайных чисел, употребляет рекуррентные соотношения. Этот способ обладает
рядом недочетов Методы компактной диагностики - реферат, а именно, малой периодичностью. Применительно к дилемме
тестирования цифровых схем периодичность может приметно понизить полноту контроля.
Не считая того, он отличается сложностью практической реализации. Потому более
обширно применяется 2-ой способ, основанный на использовании соотношения
К – номер такта; - знаки последовательности;
- неизменные коэффициенты; - операция суммирования по модулю два m логических
переменных Методы компактной диагностики - реферат. При соответственном выборе коэффициентов на основании
характеристического полинома
,
который должен быть простым, последовательность имеет наивысшую длину,
равную 2м-1. Такая последовательность именуется М-последовательностью.
Внедрение таких последовательностей подразумевает применение сигнатурного
анализа как способа сжатия реакций цифровой схемы.
Типовая структурная схема сигнатурного анализатора состоитиз регистра сдвига и
сумматора по модулю два, на входы Методы компактной диагностики - реферат которого подключены выходы разрядов регистра в
согласовании с порождающим полиномом(рис.1.1).
Управляющими сигналами сигнатурного анализатора являются СТАРТ, СТОП и СДВИГ.
Сигналы СТАРТ и СТОП сформировывают временной интервал, в течение которого
осуществляется процедура сжатия инфы на анализаторе. Под действием сигнала
СТАРТ элементы памяти регистра сдвига инсталлируются в начальное состояние Методы компактной диагностики - реферат, как
правило нулевое, а сам регистр сдвига начинает делать функцию сдвига на один
разряд в право под действием синхронизирующих импульсов СДВИГ. По приходу
каждого синхронизирующего импульса в 1-ый разряд регистра сдвига записывается
информация, соответственная выражению:

где y(K){0,1} –к-й знак сжимаемой последовательности {y(K)}, К=; -
коэффициенты порождающего полинома; - содержимое i Методы компактной диагностики - реферат-того элемента памяти регистра
сдвига 1 в (к-1) такт. Процедура сдвига инфы в регистре описывается
соотношением

Таким макаром, полное математическое описание функционирования сигнатурного
анализатора имеет последующий вид:
аi(0)=0, i=, a1(k)=y(k) (1.3)
k=,
причём l, обычно, принимается равным либо меньше величины (2м-1), и
соответственно является длиной сжимаемой последовательности Методы компактной диагностики - реферат.
По истечении l тактов функционирования сигнатурного анализатора на его элементах
памяти фиксируется двоичный код, который представляет собой сигнатуру,
отображенную в виде 16-ричного кода.
Синдромное тестирование.
Синдромом (контрольной суммой) некой булевой функции n переменных является
соотношение
S=R5/2n,
Где R5 равно числу единичных значений функции согласно таблице истинности для
l Методы компактной диагностики - реферат=2n. Определение понятия синдрома совершенно точно подразумевает внедрение
генератора счетчиковых последовательностей для формирования различных
двоичных композиций из n входных переменных при тестировании схемы, реализующей
заданную функцию. Предстоящим развитием синдромного тестирования является
спектральный способ оценки выходных реакций цифровых схем и корреляционный способ.
Типы дефектов цифровых схем.
Неувязка тестового диагностирования цифровых схем Методы компактной диагностики - реферат появляется на разных шагах
их производства и эксплуатации и включает взаимосвязанные задачки. 1-ая из их
заключается в определении, в каком состоянии находится исследуемая схема.
Главным состоянием цифровой схемы является исправное – такое состояние схемы,
при котором она удовлетворяет всем требованиям технической документации. В
неприятном случае схема находится в одном Методы компактной диагностики - реферат их неисправных состояний.
Если установлено, что схема неисправна, то решается 2-ая задачка:
осуществляется поиск неисправной схемы, цель которого- определение места и вида
неисправности.
Неисправности ЦС возникают в итоге внедрения неисправных компонент,
таких, как логические элементы, реализующие простые логические функции,
элементы памяти и др. не считая того, предпосылкой дефектов Методы компактной диагностики - реферат могут быть
появления разрывов либо маленьких замыканий в межкомпонентных соединениях,
нарушение критерий эксплуатации схемы, наличие ошибок при проектировании и
производстве и ряд других причин.
Из огромного количества разных видов дефектов выделяется класс логических
дефектов, которые изменяют функции частей ЦС обозначенный тип
дефектов занимает доминирующее место посреди дефектов ЦС. Для Методы компактной диагностики - реферат их
описания почти всегда употребляют последующие математические модели:
Постоянные неисправности;
Неисправности типа “Куцее замыкание”;
Инверсные неисправности;
Более общей и нередко используемой моделью логических дефектов являются
постоянные неисправности: постоянный нуль и постоянная единица, что значит
наличие неизменного уровня логического нуля либо логической единицы на одном из
полюсов логического элемента. Такая модель дефектов нередко Методы компактной диагностики - реферат именуется
традиционной и обширно употребляется для описания других типов дефектов.
Неисправности типа “Куцее замыкание” возникают при маленьком замыкании входов
и выходов логических частей.
Инверсные неисправности обрисовывают физические недостатки ЦС, приводящие к возникновению
фиктивного инвертора по входу либо по выходу логического элемента. Инверсные
неисправности в совокупы с постоянными, в Методы компактной диагностики - реферат ряде всевозможных случаев употребляются для
построения полной модели неисправной цифровой схемы.
1.3 Генераторы тестовых последовательностей.
Традиционная стратегия тестирования цифровых схем базирована на
формировании тестовых последовательностей, позволяющих обнаруживать данные
огромного количества их дефектов. Для реализации генератора испытательной
последовательности лучше использовать простые способы, дозволяющие
избежать сложной процедуры их синтеза. К ним относятся последующие Методы компактной диагностики - реферат методы:
формирование различных тестовых наборов, другими словами полного перебора двоичных
композиций. В итоге внедрения подобного метода генерируются
счётчиковые последовательности;
формирование псевдослучайных тестовых последовательностей;
формирование случайных тестовых наборов, с требуемыми вероятностями единичного
и нулевого знаков по каждому входу цифровой схемы.
Главным свойством перечисленных выше алгоритмов будет то, что Методы компактной диагностики - реферат в итоге их
внедрения воспроизводятся последовательности очень большой длины.
Для процесса обучения были выбраны два первых метода построения генераторов
тестовых последовательностей. И разработаны два модуля для эмуляции работы
генераторов:
модуль эмуляция генератора счетчиковой последовательности;
модуль эмуляции работы многоканального генератора М-последовательности,
позволяющий генерировать псевдослучайную последовательность и сравнимо
просто регулировать ее Методы компактной диагностики - реферат наивысшую длину и число каналов зависимо от
числа входов цифровой схемы.
Генератор М-последовательности.
В аппаратурных псевдослучайных датчиках и узлах ЭВМ при генерировании ПСЧП с
равномерным рассредотачиванием более нередко употребляется способ, который
заключается в получении линейной двоичной последовательности по рекуррентному
выражению:

где i - номер такта; знаки выходной Методы компактной диагностики - реферат последовательности; неизменные
коэффициенты. При соответственном выборе коэффициентов {aк} генерируемая
числовая последовательность имеет наивысшую (для данного m) величину периода
и именуется М-последовательностью. Одним из основных преимуществ способа
генерирования ПС – последовательностей наибольшей длины является простота его
реализации.
Генератор М-последовательности может быть построен 2-мя способами, отличающимися
методом включения сумматоров по модулю два Методы компактной диагностики - реферат:они могут врубаться как в цепь
оборотной связи генератора, так и в меж разрядные связи частей памяти
регистров сдвига.
Структурная схема генератора М – последовательности, построенного по методу
включения сумматоров в цепь оборотной связи представлена на рис.1.1
Генератор М-последовательности с сумматорами по модулю два, стоящими в цепи
оборотной Методы компактной диагностики - реферат связи: аi,ai-1,ai-2,…ai-m – знаки последовательности; ai –
коэффициенты, определяющие вид оборотной связи.
Метод размножения М-последовательности.
Для того, чтоб обеспечить разные режимы испытаний, генераторы испытуемых
сигналов должны удовлетворять ряду требований (многоканальность, быстродействие,
достаточная длина периода и т.д.). В базе более многообещающего способа
построения быстродействующего параллельного генератора псевдослучайных Методы компактной диагностики - реферат
последовательностей испытательных сигналов лежит мысль использования ( в качестве
независящих последовательностей для формирования разрядов еще одного кода)
участков одной и той же последовательности. В этом случае генерирование
разных участков осуществляется при помощи h-входовых сумматоров по модулю два,
т.е. hÎ{2,m}, где m- разрядность регистра сдвига. Соединения сумматоров по
модулю Методы компактной диагностики - реферат два с разрядами регистра сдвига определяются набором коэффициентов
di(1)Î{0,1}(i=1,2,3,..m), значения которых зависят от величины сдвига
l(l=1,2,3,…) и вида порождающего полинома.
Методика выбора коэффициентов di(1), совершенно точно определяющих связи
многовходового сумматора по модулю два, описывается на итерационном подходе,
когда на основании di(h), по расчётным Методы компактной диагностики - реферат соединениям находятся di(1)(h=1,2,….h
Представим, что коэффициенты di(1) и di(S), дозволяющие получить сдвинутые
копии М-последовательности на 1 и S тактов, известны; тогда содержимое a1(k+1)
первого разряда регистра сдвига в (к+1)-м такте работы определяется последующим
образом:
(1.3.1)
где аi(к) содержимое i-того разряда регистра сдвига в к-м такте Методы компактной диагностики - реферат его работы, а
знак значит операцию суммирования по модулю два. Содержимое первого разряда
регистра сдвига в (k+s)-м такте работы имеет вид
(1.3.2)
для определения содержимого первого разряда регистра сдвига в (k+1+s)-м такте,
аналогично как и для (1.3.1) и (1.3.2), нужно за ранее избрать
численное значение коэффициентов . С Методы компактной диагностики - реферат другой стороны, a1(k+1+s) можно отыскать на
основании (1.3.1) последующим образом:

гдес учётом (1.3.1) воспринимает вид


значения рассчитываются по формуле
,
где -постоянные коэффициенты, определяемые как:







Совсем для получаем:

Глава2.
Практическая реализация системы обучения способам малогабаритного тестирования.
2.1 Реализация графического интерфейса.
Программка написана под операционную систему Windows 95. Потому что сама
операционная система Windows 95 является Методы компактной диагностики - реферат графической, то интерфейсы программ
написанных под эту систему похожи друг на друга. Вследствие этого обучение
работе с данной программкой облегчается. Графический интерфейс построен таким
образом, чтоб юзеру было, как можно удобнее и понятней работать с
программкой. Все нужные команды доступны через главное меню. Главное меню —
это особая панель инструментов, расположенная в Методы компактной диагностики - реферат высшей части экрана,
которая содержит такие меню, как: Файл, Редактировать, Полином, Состояние,
Диагностика, Анализ, Стоп. Через эти меню становятся доступны главные функции
программки. На главной форме размещены кнопки логических частей,
генераторов, индикаторов.
Интерфейс программки состоит из трёх форм:
Главной формы, на которой размещены меню и все элементы нужные для Методы компактной диагностики - реферат работы
цифровых схем.
Форма параметров частей. Показывает характеристики элемента при его выделении.
Форма “Конструктор” - на ней строятся цифровые схемы.
2.2 Разработка и реализация метода моделирования цифровых схем.
Разработанная система обучения может быть представлена в виде системы, основными
многофункциональными узлами которой являются генераторы тестовых последовательностей,
блок моделирования исследуемых схем Методы компактной диагностики - реферат, блок отображения и обработки выходных
реакций и сжатия инфы, блок ошибок, блок определения вероятностей не
обнаружения ошибок:
Для моделирования цифровых схем, сначала, нужно обрисовать схему, для
этого была смоделирована математическая модель описывающая цифровые схемы под
данную систему.
Каждый элемент схемы это объект, который имеет порядковый номер на схеме, тип Методы компактной диагностики - реферат,
списки входов и выходов. Каждый вход элемента хранит информацию о прошлом
элементе. Вследствие этого каждый элемент может найти логическое состояние
предшествующего, его тип, порядковый номер на схеме, выход с которым он соединён.
Полосы, соединяющие входы и выходы частей являются такими же объектами, как и
элементы цифровой схемы, кроме Методы компактной диагностики - реферат того, что линия имеет только один вход и
один выход, и не делает логических функций.
В программке реализованы все типы логических частей, вследствие этого можно
выстроить огромное количество различных цифровых схем.
Программка была написана с помощью объектно-ориентированного языка Паскаль в
среде Delphi 3.
Объектно-ориентированный язык программирования характеризуется 3-мя Методы компактной диагностики - реферат основными
качествами:
Инкапсуляция - это объединение записей с процедурами и функциями, работающими с
полями этих записей, которое сформировывает новый тип данных - объект.
Наследование - определение объекта и предстоящее внедрение всех его параметров
для построения иерархии порождённых объектов с возможностью для каждого
порождённого объекта, относящегося к иерархии, доступа к коду и данным всех Методы компактной диагностики - реферат
порождающих объектов.
Полиморфизм - присваивание определённому действию 1-го имени, которое потом
вместе употребляется по всей иерархии объектов сверху донизу, причём каждый
объект иерархии делает это действие соответствующим конкретно для него методом.
Каждый элемент на схеме, будь это линия, логический элемент, генератор либо
индикатор - это есть отдельный объект. Иерархия объектов Методы компактной диагностики - реферат представляется в виде:
BassClass - базисный класс для всех частей электронной схемы. В нем
задаются главные логические свойства частей схемы. такие как, выходы
элемента - ListOutLine, входы элемента - ListInLines, и способы обработки
перечня линий. Также абстрактный способ Execute, в каком и описываются все
деяния для моделирования работы логического элемента.
TPaintLogicElem - этот класс является родительским Методы компактной диагностики - реферат для всех логических
частей схем. Этот класс занимается прорисовкой, перемещением, установкой
характеристик частей.
TAnd - логический элемент "И". В процедуре Execute делает логическую
функцию типа "И".
TAndNot - логический элемент "И-НЕ". В процедуре Execute делает логическую
функцию типа "И-НЕ".
TOr - логический элемент "Либо". В процедуре Execute делает логическую Методы компактной диагностики - реферат
функцию типа "Либо".
TOrNot - логический элемент "ИЛИ-НЕ". В процедуре Execute делает логическую
функцию типа "ИЛИ-НЕ".
TNOT - логический элемент "НЕ". В процедуре Execute делает логическую
функцию типа "НЕ".
TGenerator - генератор счетчиковой последовательности;
TMGenerator - генератор М-последовательности.
TIndicator - объект производит вычисление и отображение приобретенной инфы.
В нём так же Методы компактной диагностики - реферат находится модуль вычисления сигнатуры, подсчет количества единиц.
TLine - объект "Линия" соединяет входные и выходные полосы частей.
TPoint - объект "точка".
2.3 Реализация метода, моделирующая работу генераторов тестовых
последовательностей.
Генератор счётчиковой последовательности.
На схеме генератор счётчиковой последовательности отображается как:
Генератор М-последовательности
Методы работы генераторов счётчиковой последовательностиописан и
М-последовательности описан в [1.3]
2.4 Разработка и Методы компактной диагностики - реферат реализация модуля моделирующего метод диагностики с
внедрением малогабаритных способов тестирования.
Для диагностики цифровых схем особенный энтузиазм представляют сигнатурный анализ, в
частности, многоканальный, в базе построения которого лежит метод сжатия
инфы, и способ малогабаритного тестирования, использующий метод счета
единиц, который находит обширное применение при реализации встроенного
тестирования. Потому для Методы компактной диагностики - реферат обучающей системы при моделировании процесса
диагностики цифровых схем были выбраны два вышеуказанных способа малогабаритного
тестирования.
Сигнатурный анализатор.
Для диагностики цифровых схем особенный энтузиазм представляют сигнатурный анализ, в
частности, многоканальный, в базе построения которого лежит метод сжатия
инфы, и способ малогабаритного тестирования, использующий метод счета
единиц, который находит обширное Методы компактной диагностики - реферат применение при реализации встроенного
тестирования. Потому для обучающей системы при моделировании процесса
диагностики цифровых схем были выбраны два вышеуказанных способа малогабаритного
тестирования.
Для описания процедуры сжатия инфы, основанной на применении сигнатурного
анализа, употребляются разные математические модели и методы. Более
обширно употребляются два метода:
Способ свёртки, при котором значение эталонной сигнатуры Методы компактной диагностики - реферат последовательности,
создаваемой на хоть какой из полюсов ЦС, а именно и на выходном, выходит при
обработке её знаков по отношению 1.1.
Метод деления полинома на полином. При всем этом в качестве делимого употребляется
поток сжимаемой последовательности данных, описываемых полиномом к(х) степени
(l,1), где l-количество бит в последовательности. Делителем Методы компактной диагностики - реферат служит простой
полином , в итоге деления на который выходит личное q(x) и остаток
S(x), связанные традиционным соотношением вида

где остаток S(x) именуется сигнатурой.
Более желаемым способом синтеза многоканальных сигнатурных
анализаторов является способ, позволяющий синтезировать МСА с произвольным
количеством входов и не зависящим от него обилием Методы компактной диагностики - реферат частей памяти,
определяемым только старшей степенью порождающего полинома . Данный способ
основывается на применении простого полинома , где m=deg определяет
достоверность анализа, также разрядность создаваемых сигнатур.
Для произвольногофункционирование одноканального сигнатурного описывается
системой уравнений

(2.1)

гдесодержимое j-го элемента памяти анализатора в к-й такт его работы; значение
двоичного знака, поступающего на вход анализатора в к Методы компактной диагностики - реферат-й такт; коэффициенты,
зависящие от вида порождающего полинома .
Из выражения (2.1) следует, что содержимое первого элемента памяти анализатора в
(к+1)-й такт его работы определяется как

а в (к+2) –й такт


В общем случае для некого k+n-1-го такта можно записать
(2.2)
где - коэффициенты, дозволяющие сформировывать сдвинутую на n тактов копию Методы компактной диагностики - реферат
М-последовательности, описываемую полиномом . Значениеопределяются как:



Не считая того, численные значения могут быть получены в итоге выполнения
стремительных формальных процедур.
Коэффициенты определяются последующим образом:

.
Из выражения (2.2) дляможно получить его значение на основании n знаков
y(k),y(k+1),…y(k+n-1) последовательности {y(k)} и m начальных значенийВ тоже
время Методы компактной диагностики - реферат обозначенное выражение употребляется для построения многофункциональной схемы
сигнатурного анализатора, который в каждый такт обрабатывает n знаков
последовательности {y(k)}. При всем этом схожий анализатор будет иметь n входов,
что позволяет использовать его для контроля цифровых схем, имеющих n выходов,
причём n выходных последовательностей в данном случае преобразуются в одну вида Методы компактной диагностики - реферат:
(2.3)
где значение двоичного знака на v-ом выходе исследуемой цифровой схемы в к-й
такт её работы.
Функционирование анализатора, обрабатывающего последовательность (2.3) в
согласовании с (2.1) и (2.2),будет описываться последующей системой уравнений:


(2.4)


Использую систему уравнений (2.4), оказывается вероятным построение
многоканального анализатора, выполняющего за один такт те же преобразования с
последовательностью Методы компактной диагностики - реферат, что и одноканальный за n тактов.
Синдромное тестирование либо способ счёта единиц.
Синдромом (контрольной суммой) некой булевой функции n переменных является
соотношение
S=R/2n,
Где R рассчитывается по выражению
R=
Для l=2n и равно числу единичных значений функции согласно таблице истинности.
Определение понятия синдрома совершенно точно подразумевает внедрение Методы компактной диагностики - реферат генератора
счётчиковых последовательностей двоичных композиций из n входных переменных при
тестировании схемы, реализующей заданную функцию.
2.5 Блок поиска дефектов.
При помощи многоканальных сигнатурных анализаторов можно значительно ускорить
функцию контроля цифровых схем, которая возрастает в n раз, где
n-количество входов используемого анализатора. В случае совпадения реально
приобретенной сигнатуры с её Методы компактной диагностики - реферат эталонным значением считается, что с довольно
высочайшей вероятностью проверяемая схема находится в исправном состоянии. На этом
процедура её исследования оканчивается. В неприятном случае, когда схема содержит
неисправности, настоящая сигнатура, обычно, отличается от эталонной, что
служит главным аргументом для принятия догадки о неисправном состоянии схемы.
В то же время вид приобретенной сигнатуры Методы компактной диагностики - реферат не несёт никакой дополнительной
инфы о нраве появившейся неисправности. Более того остаётся открытым
вопрос о том, какие из n анализируемых последовательностей, инициирующих
реальную сигнатуру, содержат ошибки, т.е. появляется задачка локализации
неисправности с точностью до последовательности, несущей информацию о её
присутствии.
Суммарная сигнатура S(x), приобретенная для последовательности Методы компактной диагностики - реферат {yv(k)},v=1,n,k=1,l,
на n-канальном сигнатурном анализаторе, равна поразрядной сумме по модулю два
сигнатур Sv(x), v=1,n. Причём любая сигнатура Sj(x), jÎ{1,2,3,…n}, формируется
для последовательности {yj(k)} при условии, что {yq(k)}=0000…00, q¹jÎ{1,2,…,n}.
Метод контроля цифровой схемы с локализацией неисправности Методы компактной диагностики - реферат до первой
последовательности, содержащей вызванные ею ошибки.
В итоге анализа n=2d реальных последовательностей {y*(k)},v=1,nб на
n-канальном анализаторе определяется значение сигнатуры S*(x), которое
соответствует соотношению:
.
По выражениювычисляется эталонное значение сигнатуры S(x).
Реальное значение сигнатуры S*(x) сравнивается с эталонной сигнатурой Методы компактной диагностики - реферат S(x). В
случае выполнения равенства S*(x)=S(x) перебегают к выполнению п.11 и процедура
контроля считается оконченной. В неприятном случае, когда S*(x)¹S(x), производится
последующий шаг метода.
Все огромное количество входных последовательностей разбивается на две группы, причём
номера последовательностей {y1(k)}, {y2(k)}, {y Методы компактной диагностики - реферат3(k)},…., {yn/2(k)} составляют
огромное количество А2={1,2,3,…,n/2}, а последовательностей {yn/2+1(k)}, {yn/2+2(k)},…
{yn(k)} – огромное количество А2={n/2+1,n/2+2,…,n}; величине i присваивается значение 1.
В итоге анализа реальных последовательностей, номера которых задаются
обилием А1, на n-канальном анализаторе при условии, что последовательности,
номера которых не определены обилием А1, являются Методы компактной диагностики - реферат нулевыми, определяется
значение реальной сигнатуры S*(x).
На основании выраженияполучаем S(x).
Проверяется справедливость равенства S(x)=S*(x). В случае его выполнения
элементы огромного количества А1 заменяются элементами огромного количества А2.
Значение переменной i возрастает на единицу. Потом его величина сравнивается
с величиной d. При i£d перебегают к Методы компактной диагностики - реферат последующему пт метода, в неприятном
случае производится пункт 10.
По текущим значениям огромного количества А1 формируются новые огромного количества А1 и А2. Новыми
элементами огромного количества А1 будет 1-ая половина его текущих частей, 2-ая
половина присваивается огромному количеству А2. После определения множеств А1 и А2
перебегают к выполнению п Методы компактной диагностики - реферат. 5.
Единственный элемент огромного количества А1представляет собой номер неверной
последовательности, создаваемой на одном из полюсов исследуемой схемы.
Процедура контроля цифровой схемы считается оконченной.
2.6 Определение оценки эффективности способов сигнатурного анализатора и счёта
единиц.
Достоверность сигнатурного анализа.
Полнота не обнаружения дефектов цифровой схемы сначала находится в зависимости от
свойства тестовых Методы компактной диагностики - реферат воздействий. Если определённая неисправность не проявляется в
виде преломления их знаков, то она не может быть найдена в итоге
внедрения сигнатурного анализа, который является менее чем действенным
способом сжатия потока данных. Потому если этот поток не несёт инфы о
неисправности, то она и не появится после его сжатия Методы компактной диагностики - реферат.
Таким макаром, под достоверностью сигнатурного анализа будем осознавать его
эффективность обнаружения ошибки в потоке сжимаемых данных. Для оценки этой
свойства сигнатурного анализа могут употребляться различные подходы и
способы. Более обширно используемым является вероятностный подход, суть
которого заключается в определении вероятности Рn не обнаружения ошибок в
анализируемой последовательности данных. Причём в рассматриваемом случае Методы компактной диагностики - реферат
оценивается возможность, зависящая только от способа сжатия, и не учитываются
другие причины.
Величина Рn рассчитывается для довольно общего варианта, приближённо
соответственного реальным примерам. Подразумевается, что эталонная
последовательность данных может равновероятно принимать различное значение, а неважно какая
конфигурация неверных бит может быть равновероятным событием. Дальше, использую
метод Методы компактной диагностики - реферат деления полиномов как математический аппарат формирования сигнатуры,
показываем, что для l-разрядного делимого рассчитываются l-m-разрядное личное и
m-разрядный остаток (сигнатура). При всем этом соответствие реальной
последовательности, состоящей из l бит, эталонной оценивается только по
равенству их m - разрядных сигнатур. Для 2l-m разных личных будет
формироваться Методы компактной диагностики - реферат однообразная сигнатура. Это свидетельствует о том, что 2l-m-1
неверных l-разрядных последовательностей будут считаться надлежащими одной
- эталонной. Беря во внимание равно возможность неверных последовательностей данных,
можно заключить, что 2l-m-1 неверных последовательностей, инициирующих
эталонную сигнатуру, не обнаруживаемы. Таким макаром, возможность Рn
необнаружения ошибок в анализируемой последовательности данных будет рассчитываться
как отношение Методы компактной диагностики - реферат:
(2.6.1)
где 2l-1 приравнивается общему числу неверных последовательностей.
Выражение (2.6.1) для условия l>>m преобразуется к более обычному виду:

которое может служить главным аргументом для обоснования высочайшей эффективности
сигнатурного анализа.
В качестве более четкой меры оценки плюсов сигнатурного анализатора
разглядим рассредотачивание вероятности необнаружения ошибки зависимо от её
кратности Методы компактной диагностики - реферат m, т.е. определим значениегде m=1,2,3,...2m-1.
Можно показать, что не обнаруживаемых ошибок определяется последующим образом:

а количество вероятных ошибок из m бит определяется как
Тогда и выражение для вероятности не обнаружения ошибки воспринимает вид:
,

Анализ указывает, что для довольно огромных m , т.е. при m>7 возможность
обнаружения ошибки фактически Методы компактной диагностики - реферат приравнивается единице.
Достоверность способа счёта единиц.
В качестве свойства, позволяющей оценить способ малогабаритного тестирования
целенаправлено использовать рассредотачивание вероятностей не обнаружения ошибки в
зависимости от её кратности m:

где m -кратность ошибки, - возможность появления ошибки кратности m; -
возможность не обнаружения появившейся ошибки кратности m, которая определяется
как отношение количества Методы компактной диагностики - реферат не обнаруживаемых ошибок кратности m к общему
количеству вероятных ошибок из m неправильных знаков в последовательности длиной
l.
Значениеопределяется видом проверяемой цифровой схемы, обилием вероятных её
дефектов, также типом тестовых последовательностей, причём рассредотачивание
вероятностейможет иметь совсем случайный вид и существенно изменяться в
зависимости от появившейся неисправности, вида схемы и Методы компактной диагностики - реферат испытательной
последовательности.
Значениехарактеризуется только способом малогабаритного тестирования и позволяет
провести его сопоставительную оценку в сопоставлении с другими способами. Потому для
разных способов зависимо от их рассредотачивания вероятностеймогут быть
получены оценки эффективности контроля ЦС в виде рассредотачивания . Анализ этого
вида рассредотачивания позволяет принять решение о необходимости внедрения того
либо другого способа малогабаритного Методы компактной диагностики - реферат тестирования. Причём для упрощения метода
принятия решения следует использовать более малогабаритную характеристику, к примеру
суммарную возможность не обнаружения ошибки , вычисляемую как

В этом случае величинабудет охарактеризовывать тот либо другой способ малогабаритного
тестирования для полностью определенного рассредотачивания вероятностейвозникновения
дефектов зависимо от её кратности.
Глава 3.
Описание программки.
Интерфейс программки состоит Методы компактной диагностики - реферат из трёх окон:
Головного - на котором находятся все главные функции программки, элементы
цифровой схемы.
Окна параметров, в каком отображается информация об элементе
Окно "Конструктор" - в нём строится сама цифровая схема.
Для построения цифровой схемы, нужно поочерёдно нажимая в панели
инструментов, на главной форме, на подходящий элемент и нажимая на форму
конструктора создавать Методы компактной диагностики - реферат элементы, из которых будет состоять цифровая схема.
Элементы можно создавать и располагать в любом порядке, также добавлять и
удалять в уже сделанной ЦС.
Чтоб соединить входы и выходы частей линией, нужно:
При наведении курсора мыши на входную ножку элемента, ножка выделяется и нажимая
левую кнопку тянем Методы компактной диагностики - реферат до выходной ножки другого элемента. Как выходная ножка
которую мы желаем соединить также выделится отпускаем кнопку мыши. В итоге
будет сотворена полосы, соединяющая входную и выходную ножки.
Также соединяется линией точка с входными и выходными ножками частей.
Для просмотра параметров частей, довольно выделить элемент и характеристики элемента
отобразятся в окне параметров.
В Методы компактной диагностики - реферат этом окне можно изменять число входов либо число выходов, вводить ошибки. В нём
также отображается тип элемента и порядковый номер на схеме.
Если в схеме употребляется генератор М-последовательности, то для него нужно
ввести простой неприводимый полином. Для этого в меню избираем раздел
Полином -->М-генератор и в Методы компактной диагностики - реферат показавшемся окне составляем полином.
Для сигнатурного анализатора, также нужно составить полином. Из такого же
пт меню Полином избираем Сигнатурный анализатор.
Когда схема будет сотворена, жмем на Анализ. В показавшемся окне отображается
сигнатура, число единиц, вероятности возникновения единиц и нулей.




metodi-issledovaniya-i-logika-provedeniya-marketingovogo-issledovaniya.html
metodi-issledovaniya-integrativnogo-kursa-okruzhayushij-mir-ih-harakteristika-i-klassifikaciya.html
metodi-issledovaniya-kletok.html