Квантовый метод синтеза тестов на основе кубитных структур данных
Предложено одно из возможных решений проблемы создания и апробирования на классических компьютерах теории и методов квантовых вычислений на памяти (без использования логики) для последующего применения во всех сферах человеческой деятельности. Сформулированы инженерно-ориентированные определения вид...
Saved in:
| Published in: | Электронное моделирование |
|---|---|
| Date: | 2018 |
| Main Authors: | , , , , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України
2018
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/131243 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Квантовый метод синтеза тестов на основе кубитных структур данных / В.И. Хаханов, И.В. Емельянов, М.М. Любарский, С.В. Чумаченко, Е.И. Литвинова // Электронное моделирование. — 2018. — Т. 40, № 1. — С. 63-80. — Бібліогр.: 11 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862707811232776192 |
|---|---|
| author | Хаханов, В.И. Емельянов, И.В. Любарский, М.М. Чумаченко, С.В. Литвинова, Е.И. |
| author_facet | Хаханов, В.И. Емельянов, И.В. Любарский, М.М. Чумаченко, С.В. Литвинова, Е.И. |
| citation_txt | Квантовый метод синтеза тестов на основе кубитных структур данных / В.И. Хаханов, И.В. Емельянов, М.М. Любарский, С.В. Чумаченко, Е.И. Литвинова // Электронное моделирование. — 2018. — Т. 40, № 1. — С. 63-80. — Бібліогр.: 11 назв. — рос. |
| collection | DSpace DC |
| container_title | Электронное моделирование |
| 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.
|
| first_indexed | 2025-12-07T17:07:31Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-131243 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0204-3572 |
| language | Russian |
| last_indexed | 2025-12-07T17:07:31Z |
| publishDate | 2018 |
| publisher | Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України |
| 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 |
| spellingShingle | Квантовый метод синтеза тестов на основе кубитных структур данных Хаханов, В.И. Емельянов, И.В. Любарский, М.М. Чумаченко, С.В. Литвинова, Е.И. Вычислительные процессы и системы |
| title | Квантовый метод синтеза тестов на основе кубитных структур данных |
| title_alt | Quantum memory-driven method for test synthesis based on qubit data structures |
| title_full | Квантовый метод синтеза тестов на основе кубитных структур данных |
| title_fullStr | Квантовый метод синтеза тестов на основе кубитных структур данных |
| title_full_unstemmed | Квантовый метод синтеза тестов на основе кубитных структур данных |
| title_short | Квантовый метод синтеза тестов на основе кубитных структур данных |
| title_sort | квантовый метод синтеза тестов на основе кубитных структур данных |
| topic | Вычислительные процессы и системы |
| topic_facet | Вычислительные процессы и системы |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/131243 |
| 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 |