Розробка математичної моделі та формального апарату побудови компонентних структур об’єкту діагностування, алгоритму оцінки складності та корекції тестових програм для утвореної компонентної структури й методу адаптивного тестування цифрових об’єктів.
Аннотация к работе
АВТОРЕФЕРАТ дисертації на здобуття наукового ступеня кандидата технічних наукРобота виконана в Вінницькому державному технічному університеті Міністерства освіти України на кафедрі автоматики та інформаційно-вимірювальної техніки Вінницький державний технічний університет, завідувач кафедри автоматики та інформаційно-вимірювальної техніки кандидат технічних наук, доцент Кухарчук Василь Васильович, Вінницький державний технічний університет, доцент кафедри метрології та промислової автоматики. З дисертацією можна ознайомитись у бібліотеці Вінницького державного технічного університету.Обмеженість загального методу діагностування, де здійснюється тестування обєкту в цілому за принципом “придатний - непридатний”, привело до появи нових підходів і створення методу покомпонентного діагностування. Розвиток алгоритмічних засобів для систем даного класу дозволив спростити складну і трудомістку задачу пошуку місця дефекту в обєкті діагностування до ряду менш складних шляхом декомпозиції обєкту на багатоелементні фрагменти (компоненти). Для того, щоб правильно оцінити хід процесу діагностування та стан обєкту, що перевіряється система повинна забезпечити виявлення несправності з заданою точністю і за заданий інтервал часу. Наукова новизна одержаних результатів полягає в тому, що вперше розроблено математичні моделі і алгоритми змінної компонентної структури обєкту діагностування за принципом структурної адаптації, які дозволяють здійснювати вибір раціональної стратегії діагностування щодо забезпечення необхідних показників реалізаційно - часових витрат та якості діагностування. Практичне значення одержаних результатів полягає в тому, що розроблено інженерну методику адаптивного діагностування (новизна апаратної реалізації підтверджується патентами України: №14810А “Спосіб контролю і діагностування цифрових схем” від 18.02.97 та №21399А “Спосіб контролю і діагностування цифрових схем” від 02.12.97) та інструментальний засіб формування компонентної структури цифрових обєктів, які на етапі підготовки обєкту до діагностування дозволяють здійснювати вибір раціональної стратегії тестування за критеріями реалізаційно - часових витрат та якості діагностування, що розширює можливості систем покомпонентного діагностування.Такий підхід визначив напрямок досліджень, який передбачає розробку ефективних компютерних процедур декомпозиційного пошуку дефектів, моделюючих алгоритмів функціонування ЦП на основі зміної структури, а також стратегій, які спрощують підготовку програм діагностування за рахунок деструктуризації самого обєкту з врахуванням можливостей апаратних засобів систем покомпонентного діагностування. Тому, для спрощення алгоритмічного аналізу діагностичних властивостей визначені базові типи компонентів, які утворюють структуру декомпозованого обєкту: G=Gi EGП EGH , де Gi , Gп , Gн - відповідно ізольовані, повні і неповні компоненти. При характеристиках декомпозиції для заданої підмножини коефіцієнтів {аі|II3,r} ?l-розбиття : параметр (?D) максимальний і рівний ?D=?l, якщо виконується умова p=?l-?eai(1/2i-1); якщо виконується умова ?D=?l, а також ?еаі=0, то параметр (p) приймає найбільше значення при р=?l; якщо виконується умова р=1/2?D"" 2, де ?D""= ?D-?Dmod2 і ?D=?l, значення (р) мінімальне; якщо виконується рівність р=?л1/2?l ?ы 1 і умова ?D<?l , то значення (р) мінімальне; показник (?D) мінімальний та рівний ?D=p-1 при виконанні умов p= ?л1/2?l ?ы 1 і D<l;. якщо при ?l-розбитті вершин графа G виконується умова р = ?D 1, то параметр ?d визначається на множині значень {0,1}. Дослідження на мережі Петрі довели, що ії модифікація (введення додаткових атрибутів компонентів) дозволяє розширити можливості класу мереж Петрі та їх виразну потужність (а саме, внаслідок залучення даних про глобальну ситуацію в системі і зростає виразна потужність мереж). Показник складності (і-го компоненту) : Di =Dіеп Dів Dінд Dil , де Dеп - число елементів памяті; Dв - число виводів, що звязують і-ий компонент з іншими; Dнд - забезпечення вектора неушкоджуючого режиму діагностування при тестуванні; Dl - допустимий час подання тестових векторів на обєкт (критерій обмеження тривалості реалізації векторів установки непошкоджуючого режиму діагностування).На основі виконаних досліджень розроблено комплекс алгоритмічних засобів для покомпонентних систем, який дозволяє розвязувати задачі автоматизованого діагностування цифрових пристроїв за критеріями мінімізації реалізаційно - часових витрат та якості діагностування. Математична модель цифрового обєкту діагностування, яку розроблено на основі модифікованої мережі Петрі, є подальшим удосконаленням застосування апарату мереж Петрі та дозволяє збільшити адекватність відображення складних процесів діагностування і формування компонентних структур цифрових обєктів за рахунок розширення можливостей мереж.