В.И. Хаханов, д-р техн. наук,
И.В. Емельянов, аспирант, М.М. Любарский, аспирант,
С.В. Чумаченко, д-р техн. наук, Е.И. Литвинова, д-р техн. наук
Харьковский национальный университет радиоэлектроники
(Украина, 61166, Харьков, пр-т Ленина, 14,
тел. (057) 7021326,
È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
ЛЮБАРСКИЙ Михаил Михайлович, аспирант кафедры автоматизации проектирования вычислительной техники Харьковского национального университета радиоэлектроники. Область научных исследований — компьютерные системы и сервис-компьютинг.
ЧУМАЧЕНКО Светлана Викторовна, д-р техн. наук, профессор, зав. кафедрой автоматизации проектирования вычислительной техники Харьковского национального университета радиоэлектроники. Область научных исследований—математическое моделирование вычислительных процессов.
ЛИТВИНОВА Евгения Ивановна, д-р техн. наук, профессор, профессор кафедры автоматизации проектирования вычислительной техники Харьковского национального университета радиоэлектроники. Область научных исследований — проектирование и тестирование цифровых систем и сетей на кристаллах.