Квантовый метод синтеза тестов на основе кубитных структур данных
Предложено одно из возможных решений проблемы создания и апробирования на классических компьютерах теории и методов квантовых вычислений на памяти (без использования логики) для последующего применения во всех сферах человеческой деятельности. Сформулированы инженерно-ориентированные определения вид...
Gespeichert in:
| Veröffentlicht in: | Электронное моделирование |
|---|---|
| Datum: | 2018 |
| Hauptverfasser: | , , , , |
| Format: | Artikel |
| Sprache: | Russian |
| Veröffentlicht: |
Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України
2018
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/131243 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Квантовый метод синтеза тестов на основе кубитных структур данных / В.И. Хаханов, И.В. Емельянов, М.М. Любарский, С.В. Чумаченко, Е.И. Литвинова // Электронное моделирование. — 2018. — Т. 40, № 1. — С. 63-80. — Бібліогр.: 11 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-131243 |
|---|---|
| record_format |
dspace |
| spelling |
Хаханов, В.И. Емельянов, И.В. Любарский, М.М. Чумаченко, С.В. Литвинова, Е.И. 2018-03-17T19:05:51Z 2018-03-17T19:05:51Z 2018 Квантовый метод синтеза тестов на основе кубитных структур данных / В.И. Хаханов, И.В. Емельянов, М.М. Любарский, С.В. Чумаченко, Е.И. Литвинова // Электронное моделирование. — 2018. — Т. 40, № 1. — С. 63-80. — Бібліогр.: 11 назв. — рос. 0204-3572 https://nasplib.isofts.kiev.ua/handle/123456789/131243 681.326:519.713 Предложено одно из возможных решений проблемы создания и апробирования на классических компьютерах теории и методов квантовых вычислений на памяти (без использования логики) для последующего применения во всех сферах человеческой деятельности. Сформулированы инженерно-ориентированные определения видов компьютинга, включая квантовый, использующий понятия суперпозиции и перепутывания, а также компьютинг на памяти без использования логики. Показана необходимость совместного и параллельного решения проблемы создания рыночно доступного квантового компьютера и разработки кванто-ориентированных приложений и облачных сервисов. Приведены примеры квантового проектирования и тестирования фрагментов цифровых схем. Предложен метод синтеза и минимизации тестов для функциональностей с использованием матрицы кубитных производных и секвенсор для определения квазиоптимального покрытия. Запропоновано одне з можливих вирішень проблеми створення та апробування на класичних комп’ютерах теорії і методів квантових обчислень на пам’яті (без використання логіки) для подальшого застосування в усіх сферах людської діяльності. Сформульовано інженерноорієнтовані визначення видів комп’ютингу, у тому числі квантового, який використовує поняття суперпозиції і змішування, а також комп’ютингу в пам’яті. Обумовлено необхідність спільного і паралельного вирішення проблеми створення ринково доступного квантового комп’ютера і розробки кванто-орієнтованих додатків і хмарних сервісів. Наведено приклади квантового проектування і тестування фрагментів цифрових схем. Запропоновано метод синтезу і мінімізації тестів для функціональностей з використанням матриці кубітних похідних і секвенсор для віднаходження квазіоптимального покриття. 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. ru Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України Электронное моделирование Вычислительные процессы и системы Квантовый метод синтеза тестов на основе кубитных структур данных Quantum memory-driven method for test synthesis based on qubit data structures Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Квантовый метод синтеза тестов на основе кубитных структур данных |
| spellingShingle |
Квантовый метод синтеза тестов на основе кубитных структур данных Хаханов, В.И. Емельянов, И.В. Любарский, М.М. Чумаченко, С.В. Литвинова, Е.И. Вычислительные процессы и системы |
| title_short |
Квантовый метод синтеза тестов на основе кубитных структур данных |
| title_full |
Квантовый метод синтеза тестов на основе кубитных структур данных |
| title_fullStr |
Квантовый метод синтеза тестов на основе кубитных структур данных |
| title_full_unstemmed |
Квантовый метод синтеза тестов на основе кубитных структур данных |
| title_sort |
квантовый метод синтеза тестов на основе кубитных структур данных |
| author |
Хаханов, В.И. Емельянов, И.В. Любарский, М.М. Чумаченко, С.В. Литвинова, Е.И. |
| author_facet |
Хаханов, В.И. Емельянов, И.В. Любарский, М.М. Чумаченко, С.В. Литвинова, Е.И. |
| topic |
Вычислительные процессы и системы |
| topic_facet |
Вычислительные процессы и системы |
| publishDate |
2018 |
| language |
Russian |
| container_title |
Электронное моделирование |
| publisher |
Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України |
| format |
Article |
| title_alt |
Quantum memory-driven method for test synthesis based on qubit data structures |
| 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.
|
| issn |
0204-3572 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/131243 |
| citation_txt |
Квантовый метод синтеза тестов на основе кубитных структур данных / В.И. Хаханов, И.В. Емельянов, М.М. Любарский, С.В. Чумаченко, Е.И. Литвинова // Электронное моделирование. — 2018. — Т. 40, № 1. — С. 63-80. — Бібліогр.: 11 назв. — рос. |
| work_keys_str_mv |
AT hahanovvi kvantovyimetodsintezatestovnaosnovekubitnyhstrukturdannyh AT emelʹânoviv kvantovyimetodsintezatestovnaosnovekubitnyhstrukturdannyh AT lûbarskiimm kvantovyimetodsintezatestovnaosnovekubitnyhstrukturdannyh AT čumačenkosv kvantovyimetodsintezatestovnaosnovekubitnyhstrukturdannyh AT litvinovaei kvantovyimetodsintezatestovnaosnovekubitnyhstrukturdannyh AT hahanovvi quantummemorydrivenmethodfortestsynthesisbasedonqubitdatastructures AT emelʹânoviv quantummemorydrivenmethodfortestsynthesisbasedonqubitdatastructures AT lûbarskiimm quantummemorydrivenmethodfortestsynthesisbasedonqubitdatastructures AT čumačenkosv quantummemorydrivenmethodfortestsynthesisbasedonqubitdatastructures AT litvinovaei quantummemorydrivenmethodfortestsynthesisbasedonqubitdatastructures |
| first_indexed |
2025-12-07T17:07:31Z |
| last_indexed |
2025-12-07T17:07:31Z |
| _version_ |
1850870072912904192 |