Методи синтезу структурних тестів для цифрових синхронних схем на основі апаратних засобів, що реконфігуруються
Методи побудови тестових послідовностей для схем з пам'яттю. Алгоритм оцінки довжини тестових послідовностей автомата. Апаратні засоби прискорення обчислень при синтезі тестів еволюційними методами, їх апробація на міжнародній бібліотеці послідовних схем.
Подобные документы
Інформаційна технологія й методи побудови функціональних тестів. Відновлення працездатності апаратно-програмних засобів у складі автоматизованих систем управління. Скорочення обчислювальної складності й довжини тестів шляхом розробки методів синтезу.
автореферат, добавлен 29.01.2016Розробка методів прискореного шифрування інформації на основі рекурентних послідовностей та програмно-апаратних засобів їх реалізації. Огляд принципів побудови процесорів для шифрування. Криптографічний захист інформації від несанкціонованого користувача.
автореферат, добавлен 12.02.2014- 3. Проектування тестів для послiдовносних функціональних схем, що реалізованi у програмованiй логіці
Розробка та загальний опис структурно-функціональних моделей послiдовних схем і удосконалення методів генерації тестів для зменшення часу верифікації цифрових систем на стадіях їхнього автоматизованого проектування й імплементації в кристалах ПЛIС.
автореферат, добавлен 25.06.2014 Методи векторного представлення символьних послідовностей, що зберігають схожість за відстанню редагування. Дослідження методів пошуку схожих символьних послідовностей за допомогою розподілених представлень. Програмні засоби, що реалізують ці методи.
автореферат, добавлен 14.09.2015Характеристика порівняння різних підходів до побудови схем розпізнавання. Особливість побудови апаратних схем множинного розпізнавання патернів. Дослідження асоціативної пам'яті на базі цифрових компараторів та фільтра Блума на базі геш-функцій.
статья, добавлен 11.07.2022Використання псевдовипадкових двійкових послідовностей для захисту інформації в комп’ютерних системах, критерії ефективності програмно-апаратних засобів їх формування. Властивості булевих функцій зворотного зв’язку та максимальні періоди повторення коду.
автореферат, добавлен 26.02.2015Розробка нових та удосконалення існуючих методів генерування псевдовипадкових послідовностей на основі застосування криптоперетворень в групах точок еліптичних кривих. Аналіз переліку можливих криптоаналітичних атак на розроблені методи генерування.
автореферат, добавлен 30.07.2015Інтегрована інформаційно-телекомунікаційна система спеціального призначення, що розробляється, ще на етапі проектування. Побудова моделей послідовностей повідомлень програмних об’єктів, синтезу логічних і тестових моделей станів та діяльностей класів.
статья, добавлен 26.07.2016Апаратні засоби та програмне забезпечення систем. Методика діагностування компонентів цифрових пристроїв. Корекція програм тестового контролю компонентів. Блок контролю цифрових інтегральних схем. Локальні мережі гнучкого автоматизованого розпізнавання.
автореферат, добавлен 05.01.2014Сутність псевдовипадкових двійкових послідовностей для захисту інформації в комп’ютерних системах. Опис властивостей нелінійних булевих функцій зворотного зв’язку зсувного регістру, захист інформації з використанням псевдовипадкових послідовностей.
автореферат, добавлен 28.09.2015Метод побудови завадостійкого псевдовипадкового коду із застосуванням лінійного генератору М-послідовностей. Задача виправлення помилок при передачі даних в високошвидкісних системах зв’язку. Залежність декодування з помилкою від довжини кодового слова.
статья, добавлен 29.06.2016Спеціалізована мережна й ієрархічна моделі апаратно-програмних засобів, які засновані на визначенні й спадкуванні автоматної поведінки у заданих вузлах мережі й переходах ієрархії. Технологія побудови функціональних тестів для композицій експериментів.
автореферат, добавлен 28.09.2014Результати тестування методів розподілу ключів згідно методики для різних довжин ключів. Стійкість методу Діффі-Хеллмана. Підвищення криптографічної стійкості розподілу ключів. Частка проходження тестів для послідовностей з розміром ключів 1024 біта.
статья, добавлен 28.08.2016Визначення проблеми створення електронних тестів для фізико-математичних та технічних спеціальностей. Алгоритм формування тестових завдань у середовищі Google Forms for Education з використанням надбудов. Основні компоненти і структурні зв’язки між ними.
статья, добавлен 29.12.2020Розробка методів та апаратних засобів нанесення текстур з усуненням ефекту аліасинга для синтезу зображень методом зворотного трасування в системах візуалізації реального часу. Огляд методу анізотропної фільтрації в площині текстури для синтезу зображень.
автореферат, добавлен 30.07.2015Розроблення концепції візуального підходу до проектування об'єктно-орієнтованих розподілених програмних систем. Представлення декларативної семантики контурних Р-схем на основі графової алгебри процесів. Визначення протоколів синхронізації класів.
автореферат, добавлен 15.11.2013Огляд розробки теорій послідовних схем. Абстрактні автомати як математичні моделі цифрового пристрою та їх поширені типи - Мілі, Мура, комбінаційні схеми. Методи синтезу абстрактних автоматів і процесів побудови їх графів у стані переходів і виходів.
реферат, добавлен 25.10.2012Поняття комутаційного елемента, його функціональні властивості. Переваги використання комутаційного елемента замість логічних елементів при розробці цифрових схем. Алгоритм побудови обчислювальної схеми. Довільна арифметична чи логічна функція.
автореферат, добавлен 23.11.2013Розробка моделі просторового графа синхронних потоків даних. Алгоритмізація їх обробки у паралельних обчислювальних системах. Застосування програмованих логічних інтегральних схем. Вирішення задач лінійної алгебри з мінімізацією простоїв процесорів.
автореферат, добавлен 11.08.2015Методи ущільнення даних без втрат, що базуються на використанні методів відкидання послідовностей однакових символів у старших, молодших, внутрішніх та старших і молодших розрядах. Програмний засіб для проведення дослідження запропонованих методів.
статья, добавлен 19.02.2016Аналіз засобів управління, навчання й консультування користувачів. Засоби придбання знань для автоматизованої інформаційної системи та апарат формальних перетворень структурних схем алгоритмічних алгебр. Стратегії для експертної системи у вигляді графа.
автореферат, добавлен 14.10.2015Сучасний стан напівпровідникових запам’ятовуючих пристроїв. Розробка математичної моделі запам’ятовуючого пристрою та засобу діагностування. Методи вибору тестів при наявності апріорних даних про властивості тестів. Особливості програми Optimal Test.
автореферат, добавлен 24.08.2015Розробка математичної моделі одновимірного промислового розкрою матеріалу різної довжини на основі лінійного програмування і методу січних площин. Дослідження ефективності алгоритму на основі тестових прикладів, характерних для машинобудівних підприємств.
автореферат, добавлен 26.07.2014Аналіз процесу розробки рішення автоматизованого тестування. Використання орієнтованого програмування для покращення читабельності звітів. Оцінка часу на аналіз звітів запуску тестових сценаріїв. Тренд витрат часу при пошуку помилок в звітах тестів.
статья, добавлен 29.01.2016Огляд питань розробки методів рандомізації інформаційних послідовностей та дослідження властивостей рандомізованих послідовностей та створенню спецпроцесорів, які реалізують ці процедури. Перетворення форми сигналів, шифрування даних від групових завад.
автореферат, добавлен 28.07.2014