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

Реферат

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

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

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

закрыть
Категория: Реферат
Язык реферата: Русский
Дата добавления:   
 
Скачать
Microsoft Word, 1453 kb, скачать бесплатно
Обойти Антиплагиат
Повысьте уникальность файла до 80-100% здесь.
Промокод referatbank - cкидка 20%!
Заказать
Узнать стоимость написания уникального реферата

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

Обучающая система методам компактной диагностики. Введение. Неуклонный рост сложности приборов обуславливает повышенный интерес к вопросам диагностирования их технического состояния . Одной из разновидностей методов технического диагностирования аппаратуры является тестовая диагностика , позволяющая на эта пе проектирования и изготовления решать основные задачи : определять правильность функционирования , осуществлять поиск неисправностей и определять тип неисправности . Для реализации этих задач требуется интенсификация подготовки специалистов по вычислитель н ой технике и технической диагностике , владеющих методикой исследования и проектирования сложных цифровых систем с использованием современных методов технической диагностики. Основной задачей дипломной работы является разработка автоматизированной системы обучения диагностике сложных цифровых схем , позволяющей детально знакомить студентов с практическими возможностями использования современных методов компактного тестирования . Она должна представлять собой программу , включающую в себя : · Модуль , реализ ующий графический интерфейс . Обмен графической информацией между пользователем и ЭВМ должно осуществляться в форме диалога ; · модуль , реализующий логическое моделирование цифровых схем ; · модуль , моделирующий работу генераторов тестовых последовательно стей ; · блок , моделирующий процесс диагностики . В него входит : блок моделирующий работу многоканального сигнатурного анализатора , блок отображения и обработки полученных данных , блок поиска неисправностей ; · блок , реализующий алгоритм определения оценки эффективности · диагностики при использовании компактных методов диагностики. Глава 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Экономическая теория

 Анекдоты - это почти как рефераты, только короткие и смешные Следующий
Опровержение в газете: В место слов "половина членов правительства - воруют" надо читать "половина членов правительства - не воруют".
Anekdot.ru

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

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

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


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