Статья: ИСПОЛЬЗОВАНИЕ КВАНТОВЫХ АЛГОРИТМОВ В ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЯХ И ЗАДАЧАХ УПРАВЛЕНИЯ (ОБЗОР) (2016)

1. Правильщиков П. А. Использование квантовых компьютеров и квантовых ускорителей в информационных технологиях // Информационные технологии в проектировании и производстве. 2016. № 2. С. 3-12. EDN: WJXSRZ
2. Правильщиков П. А. Доказательство теорем с помощью квантового генератора тестов // Информационные технологии в проектировании и производстве. 2015. № 3. С. 77-87. EDN: UXQALT
3. Правильщиков П. А. Квантовый генератор тестов как основа доказательства теорем с использованием квантовых D-алгоритмов // Информационные технологии в проектировании и производстве. 2015. № 4. С. 32-41. EDN: VOKMRP
4. Каку М. Физика будущего / Пер. с англ. 3-е изд. - М.: Альпина нон-фикшн, 2014. - 584 с. 5. Правильщиков П. А. Проблема алгоритмической разрешимости и полуразрешимости формальных систем и ее решение с использованием квантового генератора тестов / Пленарный доклад в Трудах 15-й межд. конф. “Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта” (CAD/CAM/PDM-2015). Институт проблем управления им. В. А. Трапезникова РАН. 2015. С. 23-27. EDN: VKHSNZ
6. Правильщиков П. А. Проблема алгоритмической разрешимости (полуразрешимости) формальных систем и квантовые D-алгоритмы // Пленарный доклад в Трудах 15-й межд. конф. “Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта” (CAD/CAM/PDM-2015). Институт проблем управления им. В. А. Трапезникова РАН. 2015. С. 78-82. EDN: VKHSNZ
7. Поспелов Д. А. Фантазия или наука: на пути к искусственному интеллекту. - М.: Физматлит, 1982. - 224 с. 8. Правильщиков П. А. Квантовый параллелизм и новая модель вычислений. / Труды 12-го Всероссийского совещания по проблемам управления. ВСПУ-2014. - М.: Институт проблем управления им. В. А. Трапезникова РАН. 2014. С. 7319-7334. EDN: SSMTGB
9. Правильщиков П. А. Квантовый параллелизм и решение уравнений в задачах управления на базе новой модели вычислений / Труды 12-го Всероссийского совещания по проблемам управления. ВСПУ-2014. - М.: Институт проблем управления им. В. А. Трапезникова РАН. 2014. С. 7335-7351. EDN: SSMTGV
10. Правильщиков П. А. Закон сохранения перебора и естественный параллелизм D-алгоритмов для построения тестов и моделирования в технической диагностике // Автоматика и телемеханика. 2004. № 7. С. 156-199. EDN: NQYWBD
11. Lanyon B. P., Barbieri M., Almeida M. P. et al. Quantum computing using shortcuts through higher dimensions // Phys. Rev. Lett. 2008. V. 101. №. 2. P. 2-7. 12. Lanyon B. P., Barbieri M., Almeida M. P. et al. Simplifying quantum logic using higher-dimensional Hilbert spaces // Nat. Phys. 2008. V. 5. №. 2. P. 134-140. 13. Нильсен М., Чанг И. Квантовые вычисления и квантовая информация / Пер. с англ. - М.: Мир. 2006. - 824 с. 14. Антес Г. Перспективы субатомных ИТ / Computer-world/ 2006,№. 37. P. 43-47. 15. Правильщиков П. А. Центральная проблема современной дискретной математики и квантовый генератор тестов / Пленарный доклад в Трудах 14-й межд. конф. “Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта” (CAD/CAM/PDM-2014). Институт проблем управления РАН им. Трапезникова. 2014. С. 15-20. EDN: TOFEPH
16. Правильщиков П. А. Квантовые D-алгоритмы и центральная проблема современной дискретной математики / Доклад в Трудах 14-й межд. конф. “Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта” (CAD/CAM/PDM-2014). Институт проблем управления им. В. А. Трапезникова РАН. 2014. С. 88-93. EDN: TOFEVL
17. Roth J. P. Diagnosis of automata failures: a calculus and method // IBM J. Research and Development. 1966. No. 7. P. 18-32. 18. Бортаковский А. С., Пантелеев А. В. Линейная алгебра в примерах и задачах. - М.: Высш. шк., 2010. - 591 с. EDN: VCCRNJ
19. Правильщиков П. А. Построение тестов для программ // Автоматика и телемеханика. 1977. № 5. С. 147-160. 20. Подольский С. Я., Правильщиков П. А. Моделирование и диагностирование аналоговых БИС // Вопросы оборонной техники. 1990. 8-я сер. № 4 (68). С. 20-25. 21. Grover L. K. Quantum mechanics helps in search for a needle in a haystack / Phys. Rev. Lett. 1997. V. 7. No. 2. P. 325-334. 22. Dantsin E., Kreinovich V., Wolpert A. On Quantum Versions of Record-Breaking Algorithms for SAT // ACM SIGACT News. 2005. V. 36. №. 4. P. 103-108. http://digitalcommons.utep.edu/cs_techrep/257 См. также URL: http://digitalcommons.utep.edu/cgi/viewcontent.cgi? article=1256&context=cs_techrep. 23. Yang W. L., Wei H., Zhou F. et al. Solution to Satisfiability problem by a complete Grover search with trapped ions // J. Phys. B: At. Mol. Opt. Phys. 2009. V. 42. P. 8. http://linkiv.org/pdf/0811.2905.pdf. 24. Shor P. W. Algorithms for quantum computation: Discrete log and factoring. In Proceedings of the 35th Annual Symposium on the Foundations of Computer Science. S. Goldwasser, ed. Los Alamitos, CA, 1994. - IEEE Computer Society. P. 124-134. 25. Shor P. W. Algorithms for quantum computation: discrete logarithms and factoring / Proceeding 35th Annual Symposium on Foundation of Computer Science. IEEE Press. Los Alamos. CA. 1996. 26. Ожигов Ю. И. Конструктивная физика. - М.-Ижевск: НИЦ “Регулярная и хаотическая динамика”, 2010. - 424 с. EDN: QJXJAH
27. Shor P. W. Progress in Quantum Algorithms. Department of Mathematics, Massachusetts Institute of Technology, Cambridge, MA 02139, USA. http://link.springer.com/ chapter/. DOI: 10.1007/0-387-27732-3_2#page-1 28. Richard H. Warren Adapting the traveling salesman problem to an adiabatic quantum computer. http://link. springer.com/article/10.1007%2Fs11128-012-0490-8#/page-1. 29. Канторович Л. В. Математические методы организации планирования производства. - Издание Ленинградского гос. ун-та, 1939. EDN: ZIGTUB
30. Хемди А. Таха. Введение в исследование операций. (Operations Research: An Introduction ). Гл. 3. Симплекс-метод. 7-е изд. - М.: Вильямс, 2007. С. 95-141. 31. Перри Р. Элементарное введение в квантовые вычисления. Пер. с англ.: Учебное пособие / Р. Перри - Долгопрудный: Издательский Дом “Интеллект”, 2015. - 208 с. 32. Менский М. Б. Квантовая механика: новые эксперименты, новые приложения и новые формулировки старых вопросов // Усп. физ. наук. 2000. Т. 170. № 6. С. 631-648. EDN: MPFYXP
33. Metz C. For Google quantum computing like learning to fly. http://www.dwavesys.com/media-coverage/wired-google-quantum-computing-learning-fly. 34. Пономаренко В. П. Теллурид кадмия-ртути и новое поколение приборов инфракрасной фотоэлектроники // Усп. физ. наук. 2003. Т. 173. № 6. С. 649-665. 35. Дойч Д. Структура реальности. - М.-Ижевск: РХД, 2001. 36. Прескилл Дж. Квантовая информация и квантовые вычисления. Т. I. - М.-Ижевск: ИКИ, 2008. - 464 с. 37. Виндж В. Технологическая сингулярность // Компьютерра. 2004. http://old.computerra.ru/think/35636. 38. Пархоменко П. П., Правильщиков П. А. Диагностирование программного обеспечения // Автоматика и телемеханика. 1980. № 1. С. 103-121.