Необходимо зарегистрироваться, чтобы получить доступ к полным текстам статей и выпусков журналов!
- Название статьи
- О РЕШЕНИИ ПРОБЛЕМЫ ПОДГОТОВКИ К ИЗМЕРЕНИЮ КУНИТОВ В РЕГИСТРЕ КВАНТОВОГО КОМПЬЮТЕРА
- Авторы
- Правильщиков Павел Алексеевич pavelp@ipu.ru, канд. техн. наук; ведущий научный сотрудник, Федеральное государственное бюджетное учреждение науки "Институт проблем управления им. В. А. Трапезникова РАН", Москва, Россия
- В разделе
- ИННОВАЦИОННЫЕ ТЕХНОЛОГИИ РЕШЕНИЯ ЗАДАЧ ПРОЕКТИРОВАНИЯ И ПРОИЗВОДСТВА
- Ключевые слова
- квантовые компьютеры / квантовые ускорители / квантовый регистр / кубиты / кутриты / куниты / измерение квантового регистра / логические уравнения / SAT-проблема
- Год
- 2016 номер журнала 3 Страницы 34 - 41
- Индекс УДК
- 681.3
- Код EDN
- Код DOI
- Финансирование
- Тип статьи
- Научная статья
- Аннотация
- Для квантового компьютера (КК) показан один из возможных способов подготовки кунитов (англ. эквивалент - qudit) квантового регистра для измерения после получения решения логических уравнений. Предполагается, что квантовый регистр КК разработан на базе кунитов. Показано, что предлагаемый способ дает возможность получить решение с вероятностью, близкой к единице. Этот метод проиллюстрирован на примере решения логических уравнений для случая, когда решение получено с помощью квантовых D-алгоритмов.
- Полный текст статьи
- Необходимо зарегистрироваться, чтобы получить доступ к полным текстам статей и выпусков журналов!
- Список цитируемой литературы
-
Крэндалл Р., Померанс К. Простые числа: Криптографические и вычислительные аспекты / Пер. с англ. / Под ред. и с предисл. Чубарикова В. Н. - М.: УРСС: Книжный дом "ЛИБРОКОМ", 2011. - 664 с.
Правильщиков П. А. Использование квантовых компьютеров и квантовых ускорителей в информационных технологиях // Информационные технологии в проектировании и производстве. 2016. № 2. С. 77-87.
Правильщиков П. А. Использование квантовых алгоритмов в информационных технологиях и задачах управления // Информационные технологии в проектировании и производстве. 2016. № 2. С. 88-98.
Каку М. Физика будущего / Пер. с англ. - 3-е изд. - М.: Альпина нон-фикшн, 2014. - 584 с.
Рязанов В. В. Джозефсоновский ?-контакт сверхпроводник-ферромагнетик-сверхпроводник как элемент квантового бита // УФН. 1999. Т. 169. № 8. С. 920-922.
Фейгельман М. В. Квантовый бит на основе Джозефсоновского контакта обычного и высокотемпературного полупроводников. Теория // УФН. 1999. Т. 169. № 8. С. 917-920.
Lanyon B. P., Barbieri M., Almeida M. P. et al. Quantum computing using shortcuts through higher dimensions // Phys. Rev. Lett. 2008. V. 101. No. 2. P. 2-7.
Lanyon B. P., Barbieri M., Almeida M. P. et al. Simplifying quantum logic using higher-dimensional Hilbert spaces // Nat. Phys. 2008. V. 5. No. 2. P. 134-140.
Прескил Дж. Квантовая информация и квантовые вычисления. - Москва-Ижевск: ИКИ (НИЦ Регулярная и хаотическая динамика), 2008. С. 30.
Нильсен М., Чанг И. Квантовые вычисления и квантовая информация / Пер. с англ. - М.: Мир, 2006. - 824 с.
Спасский Б. И., Московский А. В. О нелокальности в квантовой физике // УФН. 1984. Т. 142. Вып. 4. С. 599-617.
Антес Г. Перспективы субатомных ИТ // Computerworld. 2006. № 37. P. 43-47.
Правильщиков П. А. Квантовый параллелизм и новая модель вычислений. Труды 12-го Всероссийского совещания по проблемам управления - ВСПУ-2014. - М.: Институт проблем управления им. Трапезникова РАН, 2014. С. 7319-7334.
Правильщиков П. А. Квантовый параллелизм и решение уравнений в задачах управления на базе новой модели вычислений. Труды 12-го Всероссийского совещания по проблемам управления - ВСПУ-2014. - М.: Институт проблем управления им. Трапезникова РАН, 2014. С. 7335- 7351.
Правильщиков П. А. Проблема алгоритмической разрешимости и полуразрешимости формальных систем и ее решение с использованием квантового генератора тестов. Пленарный доклад в Трудах 15-й международной конференции "Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта" (CAD/CAM/PDM-2015). - М.: Институт проблем управления РАН им. Трапезникова РАН, 2015. С. 23-27.
Правильщиков П. А. Проблема алгоритмической разрешимости (полуразрешимости) формальных систем и квантовые D-алгоритмы. Пленарный доклад в Трудах 15-й международной конференции «Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM-2015). - М.: Институт проблем управления РАН им. Трапезникова РАН, 2015. С. 78-82.
Правильщиков П. А. Доказательство теорем с помощью квантового генератора тестов // Информационные технологии в проектировании и производстве. 2015. № 3. С. 77-87.
Правильщиков П. А. Квантовый генератор тестов как основа доказательства теорем с использованием квантовых D-алгоритмов // Информационные технологии в проектировании и производстве. 2015. № 4. С. 32-41.
Roth J. P. Diagnosis of automata failures: a calculus and method // IBM J. Research and Development. 1966. No. 7. P. 18-32.
Бортаковский А. С., Пантелеев А. В. Линейная алгебра в примерах и задачах. - М.: Высш. шк., 2010. - 591 с.
- Купить