загрузка...

трусы женские
загрузка...
Реферати » Реферати з інформатики » Методи компактної діагностики

Методи компактної діагностики

Навчальна система методам компактної діагностики.
Введення.
Неухильне зростання складності приладів обумовлює підвищений інтерес до питань
діагностування їх технічного стану. Одним з різновидів методів
технічного діагностування апаратури є тестова діагностика,
дозволяє на етапі проектування та виготовлення вирішувати основні завдання:
визначати правильність функціонування, здійснювати пошук несправностей і
визначати тип несправності. Для реалізації цих завдань потрібно інтенсифікація
підготовки фахівців з обчислювальної техніки та технічній діагностиці,
володіють методикою дослідження та проектування складних цифрових систем з
використанням сучасних методів технічної діагностики.
Основним завданням дипломної роботи є розробка автоматизованої системи
навчання діагностиці складних цифрових схем, що дозволяє детально знайомити
студентів з практичними можливостями використання сучасних методів
компактного тестування.
Вона повинна являти собою програму, що включає в себе:
Модуль, який реалізує графічний інтерфейс. Обмін графічною інформацією між
користувачем і ЕОМ повинно здійснюватися у формі діалогу;
Модуль, який реалізує логічне моделювання цифрових схем;
Модуль, що моделює роботу генераторів тестових послідовностей;
Блок, що моделює процес діагностики. У нього входить: блок моделює
роботу багатоканального сигнатурного аналізатора, блок відображення та обробки
отриманих даних, блок пошуку несправностей;
Блок, який реалізує алгоритм визначення оцінки ефективності
діагностики при використанні компактних методів діагностики.
Глава1.
Огляд методів компактного тестування і типи несправностей цифрових схем.
1.1 Класифікація методів стиснення вихідних реакцій схем.
Класична стратегія тестування цифрових схем заснована на формуванні
тестових послідовностей, що дозволяють виявляти задані безлічі їх
несправностей. При цьому для проведення процедури тестування, як правило,
зберігаються як самі послідовності, так і еталонні вихідні реакції схем на
їх вплив. В процесі самої процедури тестування на підставі порівняння
вихідних реакцій з еталонними приймається рішення про стан перевіряється схеми.
Для ряду випускаються в даний час схем класичний підхід вимагає
часових витрат як на формування тестових послідовностей, так і на
процедуру тестування . Крім того на проведення тестового експерименту
потрібна наявність складного обладнання. У зв'язку з цим вартість і час,
необхідні для реалізації класичного підходу, ростуть швидше, ніж складність
цифрових схем, для яких він використовується. Тому нові рішення, що дозволяють
значно спростити як процедуру побудови генераторів тестових
послідовностей, так і проведення тестового експерименту.
Для реалізації генератора тестової послідовності використовуються алгоритми,
дозволяють уникнути складності їх синтезу:
Формування різноманітних тестових наборів, тобто повного перебору двійкових
комбінацій. В результаті генерується так звана счетчіковие
послідовність.
Формування випадкових тестових наборів з необхідними ймовірності появи
одиничного і нульового символів по кожному входу цифрової схеми.
Формування псевдослучайной тестової послідовності.
Основною властивістю розглянутих алгоритмів формування тестових
послідовностей є те, що в результаті їх застосування відтворюються
послідовності дуже великої довжини. Тому на виходах перевіряється цифрової
схеми формуються її реакції, що мають таку ж довжину. Природно виникає
проблема їх запам'ятовування, зберігання і витрата на обробку цих
послідовностей. Найпростішим рішенням, що дозволяє значно скоротити
об'єм інформації про еталонних вихідних реакціях є отримання
інтегральних оцінок, що мають меншу розмірність. Для цього використовуються
алгоритми стиснення інформації.
В результаті їх застосування формуються компактні оцінки сжимаемой інформації.
Розглянемо алгоритми стиснення даних для випадку бінарної послідовності
{y (k)}, що складається з l послідовно формованих довічних змінних.
Псевдовипадкове тестування.
Найбільш часто при формуванні псевдовипадкових послідовностей використовуються
два методи. Перший з них лежить в основі більшості програмних датчиків
псевдовипадкових чисел, використовує рекурентні співвідношення. Цей метод має
рядом недоліків, зокрема, малої періодичністю. Стосовно до проблеми
тестування цифрових схем періодичність може помітно знизити повноту контролю.
Крім того, він відрізняється складністю практичної реалізації. Тому найбільш
широко застосовується другий метод, заснований на використанні співвідношення
К - номер такту; - Символи послідовності;
- Постійні коефіцієнти; - Операція підсумовування по модулю два m логічних
змінних. При відповідному виборі коефіцієнтів на підставі
характеристичного полінома
,
який повинен бути примітивним, послідовність має максимальну довжину,
рівну 2м-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.3 Генератори тестових послідовностей.
Класична стратегія тестування цифрових схем заснована на
формуванні

Сторінки: 1 2 3 4
загрузка...
ur.co.ua

енциклопедія  з сиру  аджапсандалі  ананаси  узвар