Необходимо зарегистрироваться, чтобы получить доступ к полным текстам статей и выпусков журналов!
- Название статьи
- КВАНТОВЫЙ ГЕНЕРАТОР ТЕСТОВ КАК ОСНОВА ДОКАЗАТЕЛЬСТВА ТЕОРЕМ С ИСПОЛЬЗОВАНИЕМ КВАНТОВЫХ D-АЛГОРИТМОВ
- Авторы
- Правильщиков Павел Алексеевич pavelp@ipu.ru, канд. техн. наук; ведущий научный сотрудник, Федеральное государственное бюджетное учреждение науки "Институт проблем управления им. В. А. Трапезникова РАН", Москва, Россия
- В разделе
- ИННОВАЦИОННЫЕ ТЕХНОЛОГИИ РЕШЕНИЯ ЗАДАЧ ПРОЕКТИРОВАНИЯ И МОДЕЛИРОВАНИЯ
- Ключевые слова
- автоматическое доказательство теорем / квантовые компьютеры / квантовые ускорители / квантовые алгоритмы / проблема верификации программ / проблема формальной верификации проектов БИС / SAT-проблема
- Год
- 2015 номер журнала 4 Страницы 32 - 41
- Индекс УДК
- 681.3
- Код EDN
- Код DOI
- Тип статьи
- Научная статья
- Аннотация
- Приведена схема квантового генератора тестов (КГТ), который является вычислительной моделью квантового ускорителя, используемого для решения сложных задач и, в частности, для доказательства теорем. Логические основы КГТ рассмотрены в [1]. Изложен квантовый D-алгоритм (QD-алгоритм), под который "подогнан" КГТ и правила исчисления кубических комплексов. D-алгоритм проиллюстрирован примером решения проблемы доказательства теоремы. Приведен краткий обзор состояния и трендов развития квантовых компьютеров (КК), а также выводы.
- Полный текст статьи
- Необходимо зарегистрироваться, чтобы получить доступ к полным текстам статей и выпусков журналов!
- Список цитируемой литературы
-
Правильщиков П. А. Доказательство теорем с помощью квантового генератора тестов // Информационные технологии в проектировании и производстве. 2015. № 3. С. 77-87.
Правильщиков П. А. Закон сохранения перебора и естественный параллелизм D-алгоритмов для построения тестов и моделирования в технической диагностике // Автоматика и телемеханика. 2004. № 7. С. 156-199.
Нильсен М., Чанг И. Квантовые вычисления и квантовая информация: Пер. с англ.- М.: Мир, 2006. - 824 с.
Правильщиков П. А. "Физическая" теорема Нетер в фотонике и computer science" (Часть I) // "Прикладная физика". 2005. № 6. С. 144-154.
Правильщиков П. А. "Физическая" теорема Нетер в фотонике и computer science" (Часть II) // Там же. 2006. № 1. С. 95-109.
Антес Г. Перспективы субатомных ИТ // Computerworld. 2006. No. 37. P. 43-47.
Крэндалл Р., Померанс К. Простые числа: Криптографические и вычислительные аспекты. Пер. с англ. / Под ред. и с предисл. В. Н. Чубарикова. - М.: УРСС: Книжный дом "ЛИБРОКОМ", 2011. - 664 с.
Lanyon B. P., Barbieri M., Almeida M. P., Jennewein T., Ralph T. C., Resch K. J., Pryde G. J., O'Brien J. L., Gilchrist A., White A. G. Quantum computing using shortcuts through higher dimensions // Phys. Rev. Lett. 2008. V. 101. No. 2 (April). P. 2-7.
Lanyon B. P., Barbieri M., Almeida M. P. and all. Simplifying quantum logic using higher-dimensional Hilbert spaces // Nature Physics. 2008. V. 5. No. 2. P. 134-140.
Britton J. W., Sawyer B. C., Keith A. C., Wang C.-C. J., Freericks J. K., Uys H., Biercuk M J., Bollinger J. J. Engineered two-dimensional Ising interactions in a trapped-ion quantum simulator with hundreds of spins // Nature. 2012. V. 484. Issue 7395. P. 489-492.
Николенко С. И., Степанова Е. О. Математическая логика и теория алгоритмов. - СПб.: СПбГУ ИТМО, 2007. ¾ 306 с.
Gorenstein D., Lyons R., Solomon R. The Classification of the Finite Simple Groups // AMS. 1994. URL: http://www.ams.org/online_bks/surv401/
Appel K., Haken W., Koch J. Every Planar map is Four Colorable // Illinois Journal of Mathematics. 1977. V. 21. P. 439-567.
Правильщиков П. А. Построение тестов для программ // Автоматика и телемеханика. 1977. № 5. С. 147-160.
Пархоменко П. П., Правильщиков П. А. Диагностирование программного обеспечения // Там же. 1980. № 1. С. 103-121.
Правильщиков П. А. Элементы диагностической теории толерантности и подобия // Там же. 1992. № 10. С. 141-160.
Pixley C. Formal Verification of Commercial Integrated Circuits // IEEE Design & Test of Computer. 2001. V. 18. No. 4 (July-August). P. 4, 5.
Правильщиков П. А. Проблема верификации БИС и ее решение путем использования "вычислительного решета" на основе закона сохранения перебора // "Оборонный комплекс - научно-техническому прогрессу России". 2001. № 4. С. 45-55.
Правильщиков П. А. Изоморфизм и толерантный изоморфизм / Труды 7-й Международной конференции СAD/CAM/PDM-2007. - М.: Институт проблем управления им. В. А. Трапезникова РАН. С. 12-16.
- Купить
