Пошук академічних текстів

Інформація × Реєстраційний номер 0418U002899, Кандидатська дисертація На здобуття Кандидат технічних наук Дата захисту 27-06-2018 Статус Запланована Назва роботи Моделі та методи кубітного тестування цифрових пристроїв на основі memory-driven структур даних Здобувач Ємельянов Ігор Валерійович, Керівник Хаханов Володимир Іванович Опонент Мірошник Марина Анатоліївна Опонент Дрозд Олександр Валентинович Опис Мета дослідження – розробка квантових методів паралельного синтезу та аналізу цифрових пристроїв і компонентів для істотного підвищення швидкодії програмних хмарних сервісів і зменшення часу проектування програмно-апаратних комп’ютингових систем за рахунок збільшення пам'яті для зберігання кубітних структур даних. Основні результати: модель метричної взаємодії класичного та квантового комп'ютингу, яка характеризується взаємно-однозначною відповідністю за параметрами паралелізму, суперпозиційності та переплутування в обох видах обчислень, що дає можливість реалізувати квантовий комп'ютинг в класичному виконанні за рахунок збільшення пам'яті; метод невизначених коефіцієнтів для мінімізації булевих функцій, який відрізняється від класичного унітарним кодуванням даних для паралельного виконання логічних операцій в цілях отримання двох векторів, відповідних мінімальній диз'юнктивній і кон'юнктивній нормальним формам; кубітний метод пошуку дефектів, який відрізняється від існуючого унітарним кодуванням таблиці дефектів, що перевіряються, для паралельного виконання операцій; квантовий метод синтезу тестів для логічних функціональностей за рахунок використання булевих похідних за змінними на кубітних структурах даних; квантовий метод моделювання справної поведінки за рахунок memory-driven реалізації кубітних структур даних, що дає можливість використовувати транзакційні адресно-орієнтовані процедури аналізу цифрових пристроїв, які виключають логічні операції. Дата реєстрації 2018-06-27 Додано в НРАТ 2020-04-03 Закрити