Дедуктивно-паралельне моделювання несправностей на моделях цифрових систем, що реконфігуруються
Створення дедуктивної моделі реконфігурування структур даних опису цифрових систем на тест-векторі з метою виконання швидкодіючої процедури паралельної обробки дефектів. Тестування пристроїв великої розмірності, реалізованих у програмованій логіці.
Подобные документы
Підвищення ефективності тестування цифрових систем. Попереднє складання словників несправностей. Процедури тестування цифрових систем за рахунок врахування ступеня підозрюваності її компонентів. Програмне забезпечення, що дозволяє здійснювати перевірку.
автореферат, добавлен 27.09.2014Моделі відмовостійких цифрових систем керування з програмованою логікою на основі частково працездатних автоматів. Процедури отримання версій за допомогою генетичних алгоритмів. Ранговий відбір індивідуумів. Створення відмовостійких цифрових систем.
автореферат, добавлен 26.07.2014Аналіз та діагностування тестопридатності цифрових систем на кристалах з регістром граничного сканування. Вибір критичних контрольних точок та мови опису апаратури. Синтез кубічних покрить цифрових проектів. Пошук дефектів на перевіряльному тесті.
автореферат, добавлен 24.07.2014Моделювання цифрової системи на кристалі вентильного та регістрового рівнів для аналізу перехідних процесів. Тестування і верифікація цифрових проектів. Трійковий метод аналізу справної поведінки. Використання багатозначних апаратних моделей компонентів.
автореферат, добавлен 25.02.2015Методи підвищення швидкодії функціональної верифікації цифрових систем на кристалах. Програмне забезпечення логічного моделювання, виконуване на послідовному комп'ютері. Удосконалення моделі сферичного мультипроцесора, розв’язання булевих рівнянь.
автореферат, добавлен 26.08.2015Технології збору, аналізу результатів розподіленого моделювання для оцінки протоколів синхронізації логічних процесів з метою їхньої оптимізації. Розробка алгоритму оптимального відображення цифрових систем на граф мережних моделюючих процесорів.
автореферат, добавлен 29.09.2014Процедури отримання структур цифрових фільтрів по повній матриці. Формулюванням умов розташування елементів затримки в матриці для отримання структур цифрових фільтрів, що реалізовуються. Створенням допоміжних програм для реалізації отриманих методик.
автореферат, добавлен 22.04.2014Розгляд методів, способів та пристроїв паралельної дії, побудованих на спеціалізованих процесорах для обробки інформації в реальному часі. Технічні характеристики розроблених пристроїв. Теоретичні основи опису та розпізнавання випуклих зображень.
статья, добавлен 27.07.2016Оцінка якості функціонування спеціалізованих цифрових пристроїв. Аналіз сучасного стану розвитку засобів обчислювальної техніки. Розробка алгоритмів і моделей пристроїв кодування, декодування і контролю інформації для синтезованих систем числення.
автореферат, добавлен 05.08.2014Апаратні засоби та програмне забезпечення систем. Методика діагностування компонентів цифрових пристроїв. Корекція програм тестового контролю компонентів. Блок контролю цифрових інтегральних схем. Локальні мережі гнучкого автоматизованого розпізнавання.
автореферат, добавлен 05.01.2014Структурно-функціональний метод аналізу тестопридатності цифрових систем на кристалах. Розробка неітеративної моделі діагностування цифрових систем на кристалах з регістром граничного сканування в якості мультизонду. Процес вибору контрольних точок.
автореферат, добавлен 29.08.2015Розробка структурно-логічної моделі процесів тестування несправностей технічних засобів паралельних програмно-технічних комплексів. Організація й проведення діагностичного обслуговування із застосуванням умовних й безумовних алгоритмів пошуку дефектів.
автореферат, добавлен 24.07.2014Методологія автоматизації проектування і моделювання цифрових систем, що базується на логічному програмуванні. Аналіз методів розпізнавання часових діаграм і автоматизації символічного синтезу систем, які описуються за допомогою логічних секвентів.
автореферат, добавлен 22.04.2014Аналіз методів забезпечення відмовостійкості цифрових систем керування з програмованою логікою. Удосконалення методу вибору відмовостійких систем керування з урахуванням вимог до надійності та обмежень на габаритно-масові й енергетичні характеристики.
автореферат, добавлен 11.08.2014Підвищення ефективності та достовірності процесу тестового комбінованого діагностування цифрових мікропроцесорних пристроїв шляхом побудови методик та алгоритмів оптимізації послідовностей тест-векторів, що реалізують умовні алгоритми діагностування.
автореферат, добавлен 21.11.2013Основні риси засобів активного тестування та моніторингу для систем реального часу. Значення існуючих засобів тестування в розробці програмного забезпечення при пошуку логічних помилок. Розгляд методів збору, обробки та подання тестувальних даних.
курсовая работа, добавлен 05.05.2020Аналіз застосування цифрових засобів генерування, фільтрації, виявлення тональних сигналів для підвищення достовірності ідентифікації об’єктів комп’ютеризованих систем контролю параметрів енергоспоживання. Апробація нових уніфікованих цифрових пристроїв.
автореферат, добавлен 28.08.2015Методи обробки цифрових зображень. Сутність процесу підсилення відеосигналу. Визначення інтенсивності пікселів у вікні. Вибір оптимальної розмірності маски за допомогою вагових коефіцієнтів. Головні стадії математичної моделі процесу підвищення різкості.
статья, добавлен 28.09.2016Представлення даних у цифрових обчислювальних пристроях на базі використання р-чисел Фібоначчі. Виконання арифметичних, алгебричних операцій на базі обчислення елементів узагальнених послідовностей. Принципи побудови "фібоначчієвих" операційних пристроїв.
автореферат, добавлен 13.07.2014Характеристика існуючих моделей надійності програмних систем. Розроблення алгоритмів та програм їх реалізації. Впровадження запропонованих підходів, моделей та методик інженерії тестування в проекти з розроблення програмних систем оброблення даних.
автореферат, добавлен 30.07.2014Обґрунтовано місце інформації про якість цифрових просторових даних в алгоритмі створення загальногеографічних карт. Виявлено сутність основних елементів інформації про якість цифрових просторових даних, визначено принципи забезпечення стосовно помилок.
статья, добавлен 20.09.2020Підходи до проектування інформаційного забезпечення ІСУ РІМ з метою створення єдиного інформаційного ресурсу для виконання раціональної обробки даних. Метод вирішення задачі ідентифікації стану потокорозподілу як засіб раціональної обробки даних.
автореферат, добавлен 13.07.2014Дослідження та аналіз моделей керування цифровими обчислювальними системами і системами автоматики. Визначення можливості мінімізації апаратної реалізації цифрових керуючих пристроїв за рахунок використання оптимального кодування внутрішніх станів.
автореферат, добавлен 28.09.2015Створення цифрових обчислювальних машин після другої світової війни по теперішній час. Реалізація мультипрограмування систем пакетної обробки. Склад ОС MS DOS та роль дискових файлів у Windows. Основні модулі найпростішого додатку операційної системи.
реферат, добавлен 30.05.2013Розробка інформаційних технологій перетворення і аналізу цифрових зображень, що базуються на теорії трикутних норм та нечіткій логіці. Вивчення основних методів підвищення контрасту цифрових зображень. Побудова нових методів фільтрації шуму на зображенні.
автореферат, добавлен 25.08.2015