Квантовый метод синтеза тестов на основе кубитных структур данных
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Квантовый метод синтеза тестов на основе кубитных структур данных
|
|
| Creator |
Хаханов, В.И.
Емельянов, И.В. Любарский, М.М. Чумаченко, С.В. Литвинова, Е.И. |
|
| Subject |
Вычислительные процессы и системы
|
|
| Description |
Предложено одно из возможных решений проблемы создания и апробирования на классических компьютерах теории и методов квантовых вычислений на памяти (без использования логики) для последующего применения во всех сферах человеческой деятельности. Сформулированы инженерно-ориентированные определения видов компьютинга, включая квантовый, использующий понятия суперпозиции и перепутывания, а также компьютинг на памяти без использования логики. Показана необходимость совместного и параллельного решения проблемы создания рыночно доступного квантового компьютера и разработки кванто-ориентированных приложений и облачных сервисов. Приведены примеры квантового проектирования и тестирования фрагментов цифровых схем. Предложен метод синтеза и минимизации тестов для функциональностей с использованием матрицы кубитных производных и секвенсор для определения квазиоптимального покрытия.
Запропоновано одне з можливих вирішень проблеми створення та апробування на класичних комп’ютерах теорії і методів квантових обчислень на пам’яті (без використання логіки) для подальшого застосування в усіх сферах людської діяльності. Сформульовано інженерноорієнтовані визначення видів комп’ютингу, у тому числі квантового, який використовує поняття суперпозиції і змішування, а також комп’ютингу в пам’яті. Обумовлено необхідність спільного і паралельного вирішення проблеми створення ринково доступного квантового комп’ютера і розробки кванто-орієнтованих додатків і хмарних сервісів. Наведено приклади квантового проектування і тестування фрагментів цифрових схем. Запропоновано метод синтезу і мінімізації тестів для функціональностей з використанням матриці кубітних похідних і секвенсор для віднаходження квазіоптимального покриття. One of the possible solutions to the problem of creating and testing the theory and methods of quantum memory-driven computing on the classical computers for their subsequent application in all fields of human activity is proposed. Engineering-focused definitions of computing types, including quantum ones, are used, including the notions of superposition and entanglement, and also memory-driven computing. The necessity of joint and parallel solution of the problem of creation of a market-accessible quantum computer and development of quantum-focused applications and cloud services is explained. Examples of quantum memory-driven design and test of digital circuit fragments are presented. A method for synthesizing and minimizing tests for black-box functionality is proposed, using a matrix of qubit derivatives and a sequencer for defining a quasi-optimum coverage. |
|
| Date |
2018-03-17T19:05:51Z
2018-03-17T19:05:51Z 2018 |
|
| Type |
Article
|
|
| Identifier |
Квантовый метод синтеза тестов на основе кубитных структур данных / В.И. Хаханов, И.В. Емельянов, М.М. Любарский, С.В. Чумаченко, Е.И. Литвинова // Электронное моделирование. — 2018. — Т. 40, № 1. — С. 63-80. — Бібліогр.: 11 назв. — рос.
0204-3572 http://dspace.nbuv.gov.ua/handle/123456789/131243 681.326:519.713 |
|
| Language |
ru
|
|
| Relation |
Электронное моделирование
|
|
| Publisher |
Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України
|
|