Публікація:
Моделі та методи кубітного тестування цифрових пристроїв на основі memory-driven структур даних

dc.contributor.authorЄмельянов, І. В.
dc.date.accessioned2018-06-21T11:48:26Z
dc.date.available2018-06-21T11:48:26Z
dc.date.issued2018
dc.description.abstractМета дослідження – розробка квантових методів паралельного синтезу та аналізу цифрових пристроїв і компонентів для істотного підвищення швидкодії програмних хмарних сервісів і зменшення часу проектування програмно-апаратних комп’ютингових систем за рахунок збільшення пам'яті для зберігання кубітних структур даних. Основні результати: модель метричної взаємодії класичного та квантового комп'ютингу, яка характеризується взаємно- днозначною відповідністю за параметрами паралелізму, суперпозиційності та переплутування в обох видах обчислень, що дає можливість реалізувати квантовий комп'ютинг в класичному виконанні за рахунок збільшення пам'яті; метод невизначених коефіцієнтів для мінімізації булевих функцій, який відрізняється від класичного унітарним кодуванням даних для паралельного виконання логічних операцій в цілях отримання двох векторів, відповідних мінімальній диз'юнктивній і кон'юнктивній нормальним формам; кубітний метод пошуку дефектів, який відрізняється від існуючого унітарним кодуванням таблиці дефектів, що перевіряються, для паралельного виконання операцій; квантовий метод синтезу тестів для логічних функціональностей за рахунок використання булевих похідних за змінними на кубітних структурах даних; квантовий метод моделювання справної поведінки за рахунок memory-driven реалізації кубітних структур даних, що дає можливість використовувати транзакційні адресно-орієнтовані процедури аналізу цифрових пристроїв, які виключають логічні операції. The goal of the investigation is to develop quantum methods for parallel synthesis and analysis of digital devices and components to significantly improve the performance of cloud software services and reduce the design time of software and hardware computing systems through increasing memory for storing qubit data structures. The main results are the following: 1) a new model of the metric interaction of classical and quantum computing, which is characterized by a one-to-one correspondence of the parameters of parallelism, superposition and entanglement in both types of computing; this makes it possible to realize quantum computing in the classical execution through increasing the memory; 2) an improved method of undetermined coefficients for minimizing Boolean functions, which differs from the classical one by unitary coding of data for parallel execution of logical operations in order to obtain two vectors corresponding to the minimal disjunctive and conjunctive normal forms; 3) an improved qubit method of fault detection, which differs from the existing one by unitary encoding of the fault detection table for parallel execution of operations, which makes it possible to reduce the calculations to the logical difference of two vectors corresponding to the unit and zero values of states-responses of the digital device outputs during the test experiment; 4) a quantum method for test synthesis of logical functionalities has been further developed through the use of Boolean derivatives with respect to variables on qubit data structures, which makes it possible to increase the performance of the method through the parallel execution of logical operations; 5) a quantum method for fault-free simulation is further developed through the memory-driven implementation of qubit data structures, which makes it possible to use transactional address-focused procedures for analyzing digital devices free of logical operations. uk_UA
dc.identifier.citationЄмельянов І. В. Моделі та методи кубітного тестування цифрових пристроїв на основі memory-driven структур даних : автореф. дис. ... канд. техн. наук : 05.13.05 "Комп'ютерні системи та компоненти" / І. В. Ємельянов ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків, 2018. – 23 с.uk_UA
dc.identifier.urihttp://openarchive.nure.ua/handle/document/6286
dc.language.isoukuk_UA
dc.subjectкубітuk_UA
dc.subjectкубітне покриттяuk_UA
dc.subjectквантове проектуванняuk_UA
dc.subjectмоделювання і тестуванняuk_UA
dc.subjectверифікаціяuk_UA
dc.subjectдіагностуванняuk_UA
dc.subjectmemory-driven кубітні структури данихuk_UA
dc.subjectцифрові системи на кристалахuk_UA
dc.subjectквантові обчисленняuk_UA
dc.subjectqubituk_UA
dc.subjectqubit coverageuk_UA
dc.subjectquantum designuk_UA
dc.subjectsimulation and testuk_UA
dc.subjectverificationuk_UA
dc.subjectdiagnosisuk_UA
dc.subjectmemory-driven qubit data structuresuk_UA
dc.subjectdigital system-onchipuk_UA
dc.subjectquantum computinguk_UA
dc.titleМоделі та методи кубітного тестування цифрових пристроїв на основі memory-driven структур данихuk_UA
dc.typeOtheruk_UA
dspace.entity.typePublication

Файли

Оригінальний пакет
Зараз показано 1 - 1 з 1
Завантаження...
Зображення мініатюри
Назва:
Iemelianov_avtoref.pdf
Розмір:
1.77 MB
Формат:
Adobe Portable Document Format
Ліцензійний пакет
Зараз показано 1 - 1 з 1
Немає доступних мініатюр
Назва:
license.txt
Розмір:
9.42 KB
Формат:
Item-specific license agreed upon to submission
Опис:

Колекції