Квантовый метод синтеза тестов на основе кубитных структур данных

В.И. Хаханов, д-р техн. наук,
И.В. Емельянов, аспирант, М.М. Любарский, аспирант,
С.В. Чумаченко, д-р техн. наук, Е.И. Литвинова, д-р техн. наук
Харьковский национальный университет радиоэлектроники
(Украина, 61166, Харьков, пр-т Ленина, 14,
тел. (057) 7021326, Адрес электронной почты защищен от спам-ботов. Для просмотра адреса в вашем браузере должен быть включен Javascript.)

Èlektron. model. 2018, 40(1):63-80
https://doi.org/10.15407/emodel.40.01.063

АННОТАЦИЯ

Предложено одно из возможных решений проблемы создания и апробирования на классических компьютерах теории и методов квантовых вычислений на памяти (без использования логики) для последующего применения во всех сферах человеческой деятельности. Сформулированы инженерно-ориентированные определения видов компьютинга, включая квантовый, использующий понятия суперпозиции и перепутывания, а также компьютинг на памяти без использования логики. Показана необходимость совместного и параллельного решения проблемы создания рыночно доступного квантового компьютера и разработки кванто-ориентированных приложений и облачных сервисов. Приведены примеры квантового проектирования и тестирования фрагментов цифровых схем. Предложен метод синтеза и минимизации тестов для функциональностей с использованием матрицы кубитных производных и секвенсор для определения квазиоптимального покрытия.

КЛЮЧЕВЫЕ СЛОВА:

синтез тестов, кубитное покрытие, компьютинг на памяти, цифровая схема, булева кубитная производная, моделирование неисправностей.

СПИСОК ЛИТЕРАТУРЫ

1. Almudever C.G. et al. The engineering challenges in quantum computing. Design, Automation. Test in Europe Conference & Exhibition (DATE), 2017. Lausanne, 2017, p. 836—845.
2. Nielsen M.A., Chuang I.L. Quantum Computation and Quantum Information. Cambridge University Press, 2010.
3. Williams R.S. What’s Next? [The end of Moore’s law] // Computing in Science & Engineering, 2017, Vol. 19, No. 2, p. 7—13.
4.[Электронный ресурс]. — Ðåæèì äîñòóïà: https://www.labs.hpe.com/next-next/mdc.
5. Singh J., Singh M. Evolution in Quantum Computing. Int. Conf. System Modeling and Advancement in Research Trends (SMART). Moradabad, 2016, p. 267—270.
6. Shaikh T.A., Ali R. Quantum Computing in Big Data Analytics: A Survey. IEEE Int. Conf. on Computer and Information Technology (CIT). Nadi, 2016, p. 112—115.
7. Vandersypen L., Van Leeuwenhoek A. 1.4 Quantum computing—the next challenge in circuit and system design. IEEE International Solid-State Circuits Conference (ISSCC). San Francisco, CA, 2017, p. 24—29.
8. Hahanov V. et al. Qubit test synthesis of the functionality, 14th International Conf. The Experience of Designing and Application of CAD Systems in Microelectronics (CADSM). Lviv, 2017, p. 251—255.
9. Hahanov I., Chumachenko S., Iemelianov I. et al. Deductive qubit fault simulation, 14th Int. Conf. The Experience of Designing and Application of CAD Systems in Microelectronics (CADSM). Lviv, 2017, p. 256—259.
10. Хаханов В.И., Тамер Бани Амер, Чумаченко С.В., Литвинова Е.И. Кубитные технологии для анализа и диагностирования цифровых устройств, Электрон. моделирование, 2015, 37, № 3, с. 17—40.
11. Хаханов В.И., Емельянов И.В., Любарский М.М. и др. Кубитный метод дедуктивного анализа неисправностей для логических схем // Электрон. моделирование, 2017, 39, № 6, c. 59—91.

ХАХАНОВ Владимир Иванович, д-р техн. наук, профессор, гл. науч. сотр., профессор кафедры автоматизации проектирования вычислительной техники Харьковского национального университета радиоэлектроники. Область научных исследований — компьютерная инженерия, киберфизические системы и облачный компьютинг.

ЕМЕЛЬЯНОВ Игорь Валерьевич, аспирант кафедры автоматизации проектирования вычислительной техники Харьковского национального университета радиоэлектроники. Область научных исследований — компьютерные системы и сервис-компьютинг.
Квантовый метод синтеза тестов на основе кубитных структур данных ISSN 0204–3572. Електрон. моделювання. 2018. Т. 40.№1 79

ЛЮБАРСКИЙ Михаил Михайлович, аспирант кафедры автоматизации проектирования вычислительной техники Харьковского национального университета радиоэлектроники. Область научных исследований — компьютерные системы и сервис-компьютинг.

ЧУМАЧЕНКО Светлана Викторовна, д-р техн. наук, профессор, зав. кафедрой автоматизации проектирования вычислительной техники Харьковского национального университета радиоэлектроники. Область научных исследований—математическое моделирование вычислительных процессов.

ЛИТВИНОВА Евгения Ивановна, д-р техн. наук, профессор, профессор кафедры автоматизации проектирования вычислительной техники Харьковского национального университета радиоэлектроники. Область научных исследований — проектирование и тестирование цифровых систем и сетей на кристаллах.

Полный текст: PDF (русский)