Реферат: Методы компактной диагностики - текст реферата. Скачать бесплатно.
Банк рефератов, курсовых и дипломных работ. Много и бесплатно. # | Правила оформления работ | Добавить в избранное
 
 
   
Меню Меню Меню Меню Меню
   
Napishem.com Napishem.com Napishem.com

Реферат

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

Банк рефератов / Радиоэлектроника

Рубрики  Рубрики реферат банка

закрыть
Категория: Реферат
Язык реферата: Русский
Дата добавления:   
 
Скачать
Microsoft Word, 1453 kb, скачать бесплатно
Заказать
Узнать стоимость написания уникального реферата

Узнайте стоимость написания уникальной работы

Обучающая система методам компактной диагностики. Введение. Неуклонный рост сложности приборов обуславливает повышенный интерес к вопросам диагностирования их технического состояния . Одной из разновидностей методов технического диагностирования аппаратуры является тестовая диагностика , позволяющая на эта пе проектирования и изготовления решать основные задачи : определять правильность функционирования , осуществлять поиск неисправностей и определять тип неисправности . Для реализации этих задач требуется интенсификация подготовки специалистов по вычислитель н ой технике и технической диагностике , владеющих методикой исследования и проектирования сложных цифровых систем с использованием современных методов технической диагностики. Основной задачей дипломной работы является разработка автоматизированной системы обучения диагностике сложных цифровых схем , позволяющей детально знакомить студентов с практическими возможностями использования современных методов компактного тестирования . Она должна представлять собой программу , включающую в себя : · Модуль , реализ ующий графический интерфейс . Обмен графической информацией между пользователем и ЭВМ должно осуществляться в форме диалога ; · модуль , реализующий логическое моделирование цифровых схем ; · модуль , моделирующий работу генераторов тестовых последовательно стей ; · блок , моделирующий процесс диагностики . В него входит : блок моделирующий работу многоканального сигнатурного анализатора , блок отображения и обработки полученных данных , блок поиска неисправностей ; · блок , реализующий алгоритм определения оценки эффективности · диагностики при использовании компактных методов диагностики. Глава 1. Обзор методов компактного тестирования и типы неисправностей цифровых схем. 1.1 Классификация методов сжатия выходных реакций схем. Классическая стра тегия тестирования цифровых схем основана на формировании тестовых последовательностей , позволяющих обнаруживать заданные множества их неисправностей . При этом для проведения процедуры тестирования , как правило , хранятся как сами последовательности , так и эталонные выходные реакции схем на их воздействие . В процессе самой процедуры тестирования на основании сравнения выходных реакций с эталонными принимается решение о состоянии проверяемой схемы. Для ряда выпускаемых в настоящее время схем классический по дход требует временных затрат как на формирование тестовых последовательностей , так и на процедуру тестирования . Кроме того на проведение тестового эксперимента требуется наличие сложного оборудования . В связи с этим стоимость и время , необходимые для реа л изации классического подхода , растут быстрее , чем сложность цифровых схем , для которых он используется . Поэтому новые решения , позволяющие значительно упростить как процедуру построения генераторов тестовых последовательностей , так и проведение тестового э ксперимента. Для реализации генератора тестовой последовательности используются алгоритмы , позволяющие избежать сложности их синтеза : Формирование всевозможных тестовых наборов , т.е . полного перебора двоичных комбинаций . В результате генерируется так назыв аемая счётчиковая последовательность. Формирование случайных тестовых наборов с требуемыми вероятностями появления единичного и нулевого символов по каждому входу цифровой схемы. Формирование псевдослучайной тестовой последовательности. Основным свойством рассмотренных алгоритмов формирования тестовых последовательностей является то , что в результате их применения воспроизводятся последовательности очень большой длины . Поэтому на выходах проверяемой цифровой схемы формируются её реакции , имеющие такую же д лину . Естественно возникает проблема их запоминания , хранения и затрата на обработку этих последовательностей . Простейшим решением , позволяющим значительно сократить объём хранимой информации об эталонных выходных реакциях является получение интегральных о ценок , имеющих меньшую размерность . Для этого используются алгоритмы сжатия информации. В результате их применения формируются компактные оценки сжимаемой информации . Рассмотрим алгоритмы сжатия данных для случая бинарной последовательности y ( k ) , состоящ ей из l последовательно формируемых двоичных переменных. Псевдослучайное тестирование. Наиболее часто при формировании псевдослучайных последовательностей используются два метода . Первый из них лежащий в основе большинства программных датчиков псевдослуча йных чисел , использует рекуррентные соотношения . Этот метод обладает рядом недостатков , в частности , малой периодичностью . Применительно к проблеме тестирования цифровых схем периодичность может заметно снизить полноту контроля . Кроме того , он отличается сложностью практической реализации . Поэтому наиболее широко применяется второй метод , основанный на использовании соотношения К – номер такта ; - символы последовательности ; - постоянные коэффициенты ; - операция суммирования по модулю два m логических переменных . При соответствующем выбор е коэффициентов на основании характеристического полинома , который должен быть примитивным , последовательность имеет максимальную длину , равную 2 м -1. Такая последовательность называется М-последовательностью. Использование таких последовательностей предполагает применение сигнатурного анализа как метода сжатия реакций цифровой схемы. Типовая структурная схема сигнатурного анализатора состоит из регистра сдвига и сумматора по модулю два , на входы которого подключены выходы разрядов регистра в соответствии с порождающим полиномом (рис .1.1). Управляющими сигналами сигнатурного анализатора являются СТАРТ , СТОП и СДВИГ . Сигналы СТАРТ и СТОП формируют временной интервал , в течение которого осуществляется процедура сжатия информации на анализаторе . Под дей ствием сигнала СТАРТ элементы памяти регистра сдвига устанавливаются в исходное состояние , как правило нулевое , а сам регистр сдвига начинает выполнять функцию сдвига на один разряд в право под действием синхронизирующих импульсов СДВИГ . По приходу каждог о синхронизирующего импульса в первый разряд регистра сдвига записывается информация , соответствующая выражению : где y ( K ) 0,1 – к-й символ сжимаемой последовательности y ( K ) , К = ; - коэффициенты порождающего полинома ; - содержим ое i - того элемента памяти регистра сдвига 1 в (к -1) такт . Процедура сдвига информации в регистре описывается соотношением Таким образом , полное математическое описание функционирования сигнатурного анализатора имеет следующий вид : а i (0)=0, i = , a 1 ( k )= y ( k ) (1.3) k = , причём l , как правило , принимается равным или меньше величины (2 м -1), и соответственно является длиной сжимаемой последовательности. По истечении l тактов функционирования сигнатурного анализатора на его элементах памяти фиксируется двоичный код , который представляет собой сигнатуру , отображенную в виде 16-ричного кода. Синдромное тестирование. Синдромом (контрольной суммой ) некоторой булевой функции n переменных является соотношение S = R 5 /2 n , Где R 5 равно числу единичных значений функции согласно таблице истинности для l =2 n . Определение понятия синдрома однозначно предполагает использование генератора счетчиковых последовательностей для формирования всевозможных двоичных комбинаций из n входных переме нных при тестировании схемы , реализующей заданную функцию . Дальнейшим развитием синдромного тестирования является спектральный метод оценки выходных реакций цифровых схем и корреляционный метод. Типы неисправностей цифровых схем. Проблема тестового диагностирования цифровых схем возникает на различных этапах их производства и эксплуатации и включает взаимосвязанные задачи . Первая из них заключается в определении , в каком состоянии находится исследуемая схема. Основным состоянием цифровой с хемы является исправное – такое состояние схемы , при котором она удовлетворяет всем требованиям технической документации . В противном случае схема находится в одном их неисправных состояний. Если установлено , что схема неисправна , то решается вторая задача : осуществляется поиск неисправной схемы , цель которого - определение места и вида неисправности. Неисправности ЦС появляются в результате применения неисправных компонентов , таких , как логические элементы , реализующие простейшие логические функции , элемент ы памяти и др . кроме того , причиной неисправностей могут быть возникновения разрывов или коротких замыканий в межкомпонентных соединениях , нарушение условий эксплуатации схемы , наличие ошибок при проектировании и производстве и ряд других факторов. Из множ ества различных видов неисправностей выделяется класс логических неисправностей , которые изменяют функции элементов ЦС указанный тип неисправностей занимает доминирующее место среди неисправностей ЦС . Для их описания в большинстве случаев используют следу ю щие математические модели : Константные неисправности ; Неисправности типа “Короткое замыкание” ; Инверсные неисправности ; Наиболее общей и часто применяемой моделью логических неисправностей являются константные неисправности : константный нуль и константная единица , что означает наличие постоянного уровня логического нуля или логической единицы на одном из полюсов логического элемента . Такая модель неисправностей часто называется классической и широко используется для описания других типов неисправностей . Н е исправности типа “Короткое замыкание” появляются при коротком замыкании входов и выходов логических элементов. Инверсные неисправности описывают физические дефекты ЦС , приводящие к появлению фиктивного инвертора по входу или по выходу логического элемента. Инверсные неисправности в совокупности с константными , в ряде случаев используются для построения полной модели неисправной цифровой схемы. 1.3 Генераторы тестовых последовательностей. Классическая стратегия тестирования цифровых схем ос нована на формировании тестовых последовательностей , позволяющих обнаруживать заданные множества их неисправностей . Для реализации генератора тестовой последовательности желательно использовать простейшие методы , позволяющие избежать сложной процедуры их синтеза . К ним относятся следующие алгоритмы : · формирование всевозможных тестовых наборов , то есть полного перебора двоичных комбинаций . В результате применения подобного алгоритма генерируются счётчиковые последовательности ; · формирование псевдослуча йных тестовых последовательностей ; · формирование случайных тестовых наборов , с требуемыми вероятностями единичного и нулевого символов по каждому входу цифровой схемы. Основным свойством вышеперечисленных алгоритмов является то , что в результате их приме нения воспроизводятся последовательности очень большой длины . Для процесса обучения были выбраны два первых алгоритма построения генераторов тестовых последовательностей . И разработаны два модуля для эмуляции работы генераторов : · модуль эмуляция генер атора счетчиковой последовательности ; · модуль эмуляции работы многоканального генератора М-последовательности , позволяющий генерировать псевдослучайную последовательность и сравнительно просто регулировать ее максимальную длину и число каналов в зависи мости от числа входов цифровой схемы. Генератор М-последовательности. В аппаратурных псевдослучайных датчиках и узлах ЭВМ при генерировании ПСЧП с равномерным распределением наиболее часто используется метод , который заключается в получении линейной двоич ной последовательности по рекуррентному выражению : где i - номер такта ; символы выходной последовательности ; постоянные коэффициенты . При соответствующем выборе коэффициентов к генерируемая числовая последовательность имеет максимальную (для данного m ) величину периода и называется М-последовательностью . Одним из главных преимуществ метода генерирования ПС – последовательностей максимальной длины является простота его реализации. Генератор М-последовательности может бы ть построен двумя методами , отличающимися способом включения сумматоров по модулю два : они могут включаться как в цепь обратной связи генератора , так и в меж разрядные связи элементов памяти регистров сдвига. Структурная схема генератора М – последовательн ости , построенного по способу включения сумматоров в цепь обратной связи представлена на рис .1.1 Генератор М-последовательности с сумматорами по модулю два , стоящими в цепи обратной связи : а i , a i -1, a i -2,… a i - m – символы последовательности ; i – коэффициенты , определяющие вид обратной связи. Алгоритм размножения М-последовательности. Для того , чтобы обеспечить различные режимы испытаний , генераторы испытуемых сигналов должны удовлетворять ряду требований (многоканальность , быстродействие , достаточная длина периода и т.д .). В основе наиболее перспективного метода построения быстродействующего параллельного генератора псевдослучайных последовательностей испытательных сигналов лежит идея использования ( в качестве независимых п оследовательностей для формирования разрядов очередного кода ) участков одной и той же последовательности . В данном случае генерирование различных участков осуществляется с помощью -входовых сумматоров по модулю два , т.е . 2 , m , где m - разрядность регистра сдвига . Соединения сумматоров по модулю два с разрядами регистра сдвига определяются набором коэффициентов i (1) 0,1 ( i =1,2,3,.. m ), значения которых зависят от величины сдвига l ( l =1,2,3,… ) и вида порождающего полинома. Методика выбора коэффициентов i (1), однозначно определяющих связи многовходового сумматора по модулю два , оп исывается на итерационном подходе , когда на основании i ( h ), по расчётным соединениям находятся i (1)( h =1,2,…. h < l ). Предположим , что коэффициенты i (1) и i ( S ), позволяющие получить сдвинутые копии М-последовательности на 1 и S тактов , известны ; тогда содержимое a 1 ( k +1) первого разряда регистра сдвига в (к +1)-м такте работы определяется следующим образом : (1.3.1) где а i (к ) содержимое i -того разряда регистра сдвига в к-м такте его работы , а символ означает операцию сумм ирования по модулю два . Содержимое первого разряда регистра сдвига в ( k + s )-м такте работы имеет вид (1.3.2) для определения содержимого первого разряда регистра сдвига в ( k +1+ s )-м такте , аналогично как и для (1.3.1) и (1.3.2), необходимо предварительно выбрать численное значение коэффициентов . С другой стороны , a 1 ( k +1+ s ) можно найти на основании (1.3.1) следующим образом : где с учётом (1.3.1) принимает вид значения вычисляются по формуле , где -постоянные коэффициенты , определяем ые как : Окончательно для получаем : Глава 2. Практическая реализация системы обучения методам компактного тестирования. 2.1 Реализация графического интерфейса. Программа написана под опера ционную систему Windows 95. Так как сама операционная система Windows 95 является графической , то интерфейсы программ написанных под эту систему похожи друг на друга . Вследствие этого обучение работе с данной программой облегчается. Графический интерфейс п остроен таким образом , чтобы пользователю было , как можно удобнее и понятней работать с программой . Все необходимые команды доступны через главное меню . Главное меню — это специальная панель инструментов , расположенная в верхней части экрана , которая соде р жит такие меню , как : Файл , Редактировать , Полином , Состояние , Диагностика , Анализ , Стоп . Через эти меню становятся доступны основные функции программы . На главной форме расположены кнопки логических элементов , генераторов , индикаторов. Интерфейс программы состоит из трёх форм : Главной формы , на которой расположены меню и все элементы необходимые для работы цифровых схем. Форма свойств элементов . Отображает свойства элемента при его выделении. Форма “Конструктор” - на ней строятся цифровые схемы. 2. 2 Разработка и реализация алгоритма моделиров ания цифровых схем. Разработанная система обучения может быть представлена в виде системы , основными функциональными узлами которой являются генераторы тестовых последовательностей , блок моделирования и сследуемых схем , блок отображения и обработки выходных реакций и сжатия информации , блок ошибок , блок определения вероятностей не обнаружения ошибок : Для моделирования цифровых схем , прежде всего , необходимо описать схему , для этого была смоделирована мат ематическая модель описывающая цифровые схемы под данную систему. Каждый элемент схемы это объект , который имеет порядковый номер на схеме , тип , списки входов и выходов . Каждый вход элемента хранит информацию о предыдущем элементе . Вследствие этого каждый элемент может определить логическое состояние предыдущего , его тип , порядковый номер на схеме , выход с которым он соединён. Линии , соединяющие входы и выходы элементов являются такими же объектами , как и элементы цифровой схемы , за исключением того , что ли ния имеет только один вход и один выход , и не выполняет логических функций. В программе реализованы все типы логических элементов , вследствие этого можно построить большое количество разнообразных цифровых схем . Программа была написана при помощи объектно -ориентированного языка Паскаль в среде Delphi 3. Объектно-ориентированный язык программирования характеризуется тремя основными свойствами : Инкапсуляция - это объединение записей с процедурами и функциями , работающими с полями этих записей , которое форми рует новый тип данных - объект. Наследование - определение объекта и дальнейшее использование всех его свойств для построения иерархии порождённых объектов с возможностью для каждого порождённого объекта , относящегося к иерархии , доступа к коду и данным вс ех порождающих объектов. Полиморфизм - присваивание определённому действию одного имени , которое затем совместно используется по всей иерархии объектов сверху донизу , причём каждый объект иерархии выполняет это действие характерным именно для него способом. Каждый элемент на схеме , будь это линия , логический элемент , генератор или индикатор - это есть отдельный объект . Иерархия объектов представляется в виде : · 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/2 n , Где R вычисляется по выражению R= Для l =2 n и равно числу единичных значений функции согласн о таблице истинности . Определение понятия синдрома однозначно предполагает использование генератора счётчиковых последовательностей двоичных комбинаций из n входных переменных при тестировании схемы , реализующей заданную функцию. 2.5 Блок поиска н еисправностей. С помощью многоканальных сигнатурных анализаторов можно существенно ускорить процедуру контроля цифровых схем , которая увеличивается в n раз , где n -количество входов применяемого анализатора . В случае совпадения реально полученной с игнатуры с её эталонным значением считается , что с достаточно высокой вероятностью проверяемая схема находится в исправном состоянии . На этом процедура её исследования оканчивается . В противном случае , когда схема содержит неисправности , реальная сигнатур а , как правило , отличается от эталонной , что служит основным аргументом для принятия гипотезы о неисправном состоянии схемы . В то же время вид полученной сигнатуры не несёт никакой дополнительной информации о характере возникшей неисправности . Более того о с таётся открытым вопрос о том , какие из n анализируемых последовательностей , инициирующих реальную сигнатуру , содержат ошибки , т.е . возникает задача локализации неисправности с точностью до последовательности , несущей информацию о её присутствии. Суммарная сигнатура S(x), полученная для последовательности y v (k) ,v=1,n,k=1, l , на n-канальном сигнатурном анализаторе , равна поразрядной сумме по модулю два сигнатур S v (x), v=1,n. Причём каждая сигнатура S j (x), j 1,2,3,… n , формируе тся для последовательности y j (k) при условии , что y q (k) =0000… 00, q j 1,2,… ,n . Алгоритм контроля цифровой схемы с локализацией неисправности до первой последовательности , содержащей вызванные ею ошибки. В результате анализа n=2 d реальных последовательностей y * (k) ,v=1,nб на n-канальном анализаторе определяется значение сигнатуры S * (x), которое соответствует соотношению : . По выражению вычисляется эталонное значение сигнатуры S(x). Реальное значение сигнатуры S * (x) сравнивается с эталонной сигнатурой S(x). В случае выпол нения равенства S * (x)=S(x) переходят к выполнению п .11 и процедура контроля считается оконченной . В противном случае , когда S * (x) S(x), выполняется следующий этап алгоритма. Все множество входных последовательностей разбиваетс я на две группы , причём номера последовательностей y 1 (k) , y 2 (k) , y 3 (k) ,… ., y n/2 (k) составляют множество А 2 = 1,2,3,… ,n/2 , а последовательностей y n/2+1 (k) , y n/2+2 (k) ,… y n (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 будет первая половина его текущих элементов , вторая половина присваивается множеству А 2 . После определения множеств А 1 и А 2 переходят к выполнению п . 5. Единственный элемент множес тва А 1 представляет собой номер ошибочной последовательности , формируемой на одном из полюсов исследуемой схемы. Процедура контроля цифровой схемы считается оконченной. 2.6 Определение оценки эффективности методов сигна турного анализатора и счёта единиц. Достоверность сигнатурного анализа. Полнота не обнаружения неисправностей цифровой схемы в первую очередь зависит от качества тестовых воздействий . Если определённая неисправность не проявляется в виде искажения их символов , то она не может быть обнаружена в результате применения сигнатурного анализа , который является не более чем эффективным методом сжатия потока данных . Поэтому если этот поток не несёт информации о неисправности , то она и не появится после его сжатия. Таким образом , под д остоверностью сигнатурного анализа будем понимать его эффективность обнаружения ошибки в потоке сжимаемых данных . Для оценки этой характеристики сигнатурного анализа могут использоваться разные подходы и методы . Наиболее широко применяемым является вероят н остный подход , сущность которого заключается в определении вероятности Р n не обнаружения ошибок в анализируемой последовательности данных . Причём в рассматриваемом случае оценивается вероятность , зависящая только от метода сжатия , и не учитываются другие факторы. Величина Р n рассчитывается для достаточно общего случая , приближённо соответствующего реальным примерам . Предполагается , что эталонная последовательность данных может равновероятно принимать разное значение , а любая конфигурация ошибочных бит може т быть равновероятным событием . Далее , использую алгоритм деления полиномов как математический аппарат формирования сигнатуры , показываем , что для l - разрядного делимого вычисляются l-m -разрядное частное и m- разрядный остаток (сигнатура ). При этом соответст вие реальной последовательности , состоящей из l бит , эталонной оценивается только по равенству их m - разрядных сигнатур . Для 2 l-m различных частных будет формироваться одинаковая сигнатура . Это свидетельствует о том , что 2 l-m -1 ошибочных l - разрядных пос ледовательностей будут считаться соответствующими одной - эталонной . Учитывая равно вероятность ошибочных последовательностей данных , можно заключить , что 2 l-m -1 ошибочных последовательностей , инициирующих эталонную сигнатуру , не обнаруживаемы . Таким образ ом , вероятность Р n необнаружения ошибок в анализируемой последовательности данных будет вычисляться как отношение : (2.6.1) где 2 l -1 равняется общему числу ошибочных посл едовательностей. Выражение (2.6.1) для условия l >>m преобразуется к более простому виду : которое может служить основным аргументом для обоснования высокой эффективности сигнатурного анализа. В качестве более точной меры оценки достоинств сигнатурного анализатора рассмотрим распределение вероятности необнаружения ошибки в зависимости от её кратности , т.е . определим значение где =1,2,3,...2 m -1. Можно показать , что не обнаруживаемых ошибок определяется следующим образом : а количество возможных ошибок из бит определяется как И тогда выражение для вероятности не обнаружения ошибки принимает вид : , Анализ показывает , что для достаточно больших m , т.е . при m>7 вероятность обнаружения ошибки практически равняется единице. Достоверность метода счёта единиц. В качестве характеристики , позволяющей оценить метод компактного тестирования целесообразно использовать распределение вероятностей не обнаружения ошибки в зависимости от её кратности : где -кратность ошибки , - вероятность возникновения ошибки кратности ; - вероятность не обнаружения воз никшей ошибки кратности , которая определяется как отношение количества не обнаруживаемых ошибок кратности к общему количеству возможных ошибок из неверных симво лов в последовательности длиной l . Значение определяется видом проверяемой цифровой схемы , множеством возможных её неисправностей , а также типом тестовых последователь ностей , причём распределение вероятностей может иметь совершенно произвольный вид и значительно изменяться в зависимости от возникшей неисправности , вида схемы и тестовой последовательности. Значение характеризуется только методом компактного тестирования и позволяет провести его сопоставительную оценку в сравнении с другими методами . Поэтому для различных методов в зависимости от их распределения вероятностей могут быть получены оценки эффективности контроля ЦС в виде распределения . Анализ этого вида распределения позволяет принять решение о целесообразности применения того или иного метода компактного тестирования . Причём для упрощения алгоритма принятия решения следует использовать более компактную характеристику , например суммарную вероятность не обнаружения ошибки , вычисляемую как В данном случае в еличина будет характеризовать тот или иной метод компактного тестирования для вполне конкретного распределения вероятностей возникновения неисправностей в зависимости от её кратности . Глава 3. Описание программы. Интерфейс программы состоит из трёх окон : Главного - на котором находятся все основные функции программы , эл ементы цифровой схемы. Окна свойств , в котором отображается информация об элементе Окно "Конструктор " - в нём строится сама цифровая схема. Для построения цифровой схемы , необходимо поочерёдно нажимая в панели инструментов , на главной форме , на нужный эле мент и нажимая на форму конструктора создавать элементы , из которых будет состоять цифровая схема . Элементы можно создавать и размещать в любом порядке , а также добавлять и удалять в уже созданной ЦС. Чтобы соединить входы и выходы элементов линией , необхо димо : При наведении курсора мыши на входную ножку элемента , ножка выделяется и нажимая левую кнопку тянем до выходной ножки другого элемента . Как только выходная ножка которую мы хотим соединить также выделится отпускаем кнопку мыши . В результате будет соз дана линии , соединяющая входную и выходную ножки. Также соединяется линией точка с входными и выходными ножками элементов. Для просмотра свойств элементов , достаточно выделить элемент и свойства элемента отобразятся в окне свойств. В этом окне можно изменя ть число входов или число выходов , вводить ошибки . В нём также отображается тип элемента и порядковый номер на схеме. Если в схеме используется генератор М-последовательности , то для него необходимо ввести примитивный неприводимый полином . Для этого в мен ю выбираем раздел Полином -- > М-генератор и в появившемся окне составляем полином. Для сигнатурного анализатора , также необходимо составить полином . Из того же пункта меню Полином выбираем Сигнатурный анализатор. Когда схема будет создана , нажимаем на Анали з . В появившемся окне отображается сигнатура , число единиц , вероятности появления единиц и нулей.
1Архитектура и строительство
2Астрономия, авиация, космонавтика
 
3Безопасность жизнедеятельности
4Биология
 
5Военная кафедра, гражданская оборона
 
6География, экономическая география
7Геология и геодезия
8Государственное регулирование и налоги
 
9Естествознание
 
10Журналистика
 
11Законодательство и право
12Адвокатура
13Административное право
14Арбитражное процессуальное право
15Банковское право
16Государство и право
17Гражданское право и процесс
18Жилищное право
19Законодательство зарубежных стран
20Земельное право
21Конституционное право
22Конституционное право зарубежных стран
23Международное право
24Муниципальное право
25Налоговое право
26Римское право
27Семейное право
28Таможенное право
29Трудовое право
30Уголовное право и процесс
31Финансовое право
32Хозяйственное право
33Экологическое право
34Юриспруденция
 
35Иностранные языки
36Информатика, информационные технологии
37Базы данных
38Компьютерные сети
39Программирование
40Искусство и культура
41Краеведение
42Культурология
43Музыка
44История
45Биографии
46Историческая личность
47Литература
 
48Маркетинг и реклама
49Математика
50Медицина и здоровье
51Менеджмент
52Антикризисное управление
53Делопроизводство и документооборот
54Логистика
 
55Педагогика
56Политология
57Правоохранительные органы
58Криминалистика и криминология
59Прочее
60Психология
61Юридическая психология
 
62Радиоэлектроника
63Религия
 
64Сельское хозяйство и землепользование
65Социология
66Страхование
 
67Технологии
68Материаловедение
69Машиностроение
70Металлургия
71Транспорт
72Туризм
 
73Физика
74Физкультура и спорт
75Философия
 
76Химия
 
77Экология, охрана природы
78Экономика и финансы
79Анализ хозяйственной деятельности
80Банковское дело и кредитование
81Биржевое дело
82Бухгалтерский учет и аудит
83История экономических учений
84Международные отношения
85Предпринимательство, бизнес, микроэкономика
86Финансы
87Ценные бумаги и фондовый рынок
88Экономика предприятия
89Экономико-математическое моделирование
90Экономическая теория

 Анекдоты - это почти как рефераты, только короткие и смешные Следующий
Директор школы, коллектив которой состоял из 50 человек, увеличил себе зарплату на 150 тысяч в месяц и благополучно отчитался, что средняя зарплата учителей в его школе выросла на 3 тысячи!
Anekdot.ru

Узнайте стоимость курсовой, диплома, реферата на заказ.

Обратите внимание, реферат по радиоэлектронике "Методы компактной диагностики", также как и все другие рефераты, курсовые, дипломные и другие работы вы можете скачать бесплатно.

Смотрите также:


Банк рефератов - РефератБанк.ру
© РефератБанк, 2002 - 2016
Рейтинг@Mail.ru