Необходимо зарегистрироваться, чтобы получить доступ к полным текстам статей и выпусков журналов!
- Название статьи
- МЕТОД ЭФФЕКТИВНЫХ ВЕКТОРОВ ДЛЯ КВАНТОВОГО РЕШЕНИЯ БУЛЕВЫХ УРАВНЕНИЙ ВИДА КНФ В ЦЕЛЯХ ПРОЕКТИРОВАНИЯ И ВЕРИФИКАЦИИ ЦИФРОВЫХ СХЕМ
- Авторы
- Правильщиков Павел Алексеевич pravilshchikov@mail.ru, канд. техн. наук, ведущий научный сотрудник, ФГБУН "Институт проблем управления им. В. А. Трапезникова РАН", Москва, Россия
- В разделе
- МЕТОДЫ И СРЕДСТВА РЕШЕНИЯ ЗАДАЧ ПРОЕКТИРОВАНИЯ
- Ключевые слова
- гибридные квантово-ориентированные суперкомпьютеры / квантовые компьютеры / квантовые информационные технологии / квантовые алгоритмы / метод эффективных векторов / алгоритм сокращённого перебора
- Год
- 2025 номер журнала 3 Страницы 16 - 24
- Индекс УДК
- 681.518.2
- Код EDN
- SLNSCK
- Код DOI
- 10.52190/2073-2597_2025_3_16
- Финансирование
- Тип статьи
- Научная статья
- Аннотация
- Представлено описание одной из модификаций метода эффективных векторов в виде алгоритма сокращенного перебора для решения булевых уравнений вида конъюнктивной нормальной формы, функционирующего на классическом суперкомпьютере. Приведено описание квантового алгоритма, дополняющего алгоритм сокращенного перебора, который функционирует на квантовом компьютере, связанном с классическим суперкомпьютером.
- Полный текст статьи
- Для прочтения полного текста необходимо купить статью
- Список цитируемой литературы
-
Правильщиков П. А. Методы эффективных векторов в информатике и квантовые D-алгоритмы // Информационные технологии в проектировании и производстве. 2024. № 4. С. 31-37.
Закревский А. Д. Логические уравнения. - М.: Едиториал УРСС, 2021.
Правильщиков П. А. Квантовый подход к решению задач формальной верификации цифровых схем // Информационные технологии в проектировании и производстве. 2023. № 1. С. 10-20.
Кобин С. Как делают чипы и где их предел в нанометрах [Электронный ресурс]. URL: https://dzen.ru/a/Z9ug9AnNvBh3nDST (дата обращения: 01.04.2025).
Armstrong D. B. On finding a Nearly Minimal Set of Fault Detection Test for Combinational Logic Nets // Electronics Computers. 1966. V. 15. P. 66-73.
Roth J. P. Diagnosis of automata failures: a calculus and method // IBM Journal of Research and Development. 1966. № 7 (July). P. 18-32.
Roth J. P. et al. Programmed algorithm to compute and distinguish between failures in logic circuits // IEEE Trans. Computers. 1967. V. EC-16. № 5. P. 567-580.
Putzolu G. R., Roth J. P. A heuristic algorithm for the testing of asynchronous circuit // IEEE Trans. Computers. 1971. V. C-20. № 6. P. 639-647.
Карибский В. В., Пархоменко П. П., Согомонян Е. С., Халчев В. Ф. Основы технической диагностики. Кн. 1. - М.: Энергия, 1976.
Пархоменко П. П., Правильщиков П. А. Диагностирование программного обеспечения. Обзор // Автоматика и телемеханика. 1980. № 1. С. 103-121.
Правильщиков П. А. Доказательство теорем с помощью квантового генератора тестов // Информационные технологии в проектировании и производстве. 2015. № 3. С. 77-87.
Дан старт международному году квантовой науки и технологии [Электронный ресурс]. URL: https://www.ras.ru/news/shownews.aspx?id=69335643-7f36-489f-a5db-7b3997c593bf#content (дата обращения: 11.02.2025).
Darth S. Суперкомпьютер Fugaku объединяется с квантовой системой IBM для будущих вычислений [Электронный ресурс]. URL: https://www.ixbt.com/news/2024/05/01/superkompjuter-fugaku-obedinjaetsja-s-kvantovoj-sistemoj-ibm-dlja-budushih-vychislenij.html (дата обращения: 04.02.2025).
IBM выпускает первый в мире квантовый компьютер с более чем 1 тыс. кубитов [Электронный ресурс]. URL: https://dzen.ru/a/ZW9OY2I3SHyBPcJe?ysclid=mdec6qb4q2735940913 (дата обращения: 22.07.2025).
Сурабекянц С. IBM представила свой мощнейший квантовый процессор Heron и первый модульный квантовый компьютер [Электронный ресурс]. URL: https://3dnews.ru/1096936/ibm-predstavila-133kubitniy-kvantoviy-protsessor-heron-i-perviy-modulniy-kvantoviy-kompyuter (дата обращения: 05.02.2025).
Правильщиков П. А. Международная квантово-компьютерная гонка и квантовые информационные технологии. Часть I. (Обзор) // Информационные технологии в проектировании и производстве. 2023. № 3. С. 3-18.
Правильщиков П. А. Международная квантово-компьютерная гонка и квантовые информационные технологии Часть II (Обзор) // Информационные технологии в проектировании и производстве. 2023. № 4. С. 20-30.
Правильщиков П. А. Международная квантово-компьютерная гонка и квантовые информационные технологии. Часть III (Обзор) // Информационные технологии в проектировании и производстве. 2024. № 1. С. 3-23.
Петренко А. С., Петренко С. А. Метод оценивания квантовой устойчивости блокчейн-платформ // Вопросы кибербезопасности. 2022. № 3. С. 2-22.
Правильщиков П. А. Закон сохранения перебора и естественный параллелизм D-алгоритмов для построения тестов и моделирования в технической диагностике // Автоматика и телемеханика. 2004. № 7. С. 114-156.
Правильщиков П. А. Методы эффективных входных наборов для диагностирования дискретных устройств // Автоматика и телемеханика. 1975. № 12. С. 158-169.
Правильщиков П. А. Информационные технологии и законы параллельных вычислений // Информационные технологии в проектировании и производстве. 2024. № 3. С. 42-52.
Нильсен М., Чанг И. Квантовые вычисления и квантовая информация / Пер. с англ. - М.: Мир, 2006.
Кнут Д. Э. Искусство программирования. Т. 1. Основные алгоритмы. Изд. 3. - М.: Издательский дом "Вильямс", 2002.
Левитин А. Алгоритмы: введение в разработку и анализ / Пер. с англ. - М.: Издательский дом "Вильямс", 2006.
Бибило П. Н. Основы языка VHDL: учеб. посо-бие. Изд. 5. - М.: Книжный дом "ЛИБРОКОМ", 2012.
Соловьев В. В. Основы языка проектирования цифровой аппаратуры Verilog. - М.: Горячая линия - Телеком, 2014.
Правильщиков П. А. Новая квантовая математика: матричное исчисление кубических комплексов и квантовые D-алгоритмы // Информационные технологии в проектировании и производстве. 2017. № 2. С. 21-32.
Коэн. Google заплатит 5 миллионов долларов тем, кто придумает, для чего использовать квантовые компьютеры [Электронный ресурс]. URL: https://shazoo.ru/2024/03/08/154411/google-zaplatit-5-millionov-dollarov-tem-kto-pridumaet-dlia-cego-ispolzovat-kvantovye-kompiutery (дата обращения: 8.03.2024).
- Купить
- 500.00 руб
