Необходимо зарегистрироваться, чтобы получить доступ к полным текстам статей и выпусков журналов!
- Название статьи
- ИСПОЛЬЗОВАНИЕ КВАНТОВЫХ АЛГОРИТМОВ В ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЯХ И ЗАДАЧАХ УПРАВЛЕНИЯ (Обзор)
- Авторы
- Правильщиков Павел Алексеевич pavelp@ipu.ru, канд. техн. наук; ведущий научный сотрудник, Федеральное государственное бюджетное учреждение науки "Институт проблем управления им. В. А. Трапезникова РАН", Москва, Россия
- В разделе
- ИННОВАЦИОННЫЕ ТЕХНОЛОГИИ РЕШЕНИЯ ЗАДАЧ ПРОЕКТИРОВАНИЯ И МОДЕЛИРОВАНИЯ
- Ключевые слова
- информационные технологии / квантовые компьютеры / квантовые ускорители / квантовые каналы связи / квантовые алгоритмы / кубиты / кутриты / куниты / NP-полные задачи / задачи управления
- Год
- 2016 номер журнала 2 Страницы 13 - 22
- Индекс УДК
- 002.5:51
- Код EDN
- Код DOI
- Тип статьи
- Обзорная статья
- Аннотация
- Рассмотрены перспективы и проблемы использования квантовых алгоритмов, в частности квантовых алгоритмов моделирования в информационных технологиях ( ИТ ), в задачах управления ( control science ) и задачах информатики ( computer science ) . Изложены проблемы использования ИТ в процессе решения задач управления в технике, в обществе и в живых организмах (прежде всего в задачах моделирования мозга) . Продемонстрированы попытки разработки квантовых компьютеров (КК) и квантовых процессоров-ускорителей ( КвУ ) с использованием технологий, отличных от кремниевых. Приведены и проанализированы существующие опасения относительно огромных мощностей будущих КК и КвУ.
- Полный текст статьи
- Необходимо зарегистрироваться, чтобы получить доступ к полным текстам статей и выпусков журналов!
- Список цитируемой литературы
-
Правильщиков П. А. Использование квантовых компьютеров и квантовых ускорителей в информационных технологиях // Информационные технологии в проектировании и производстве. 2016. № 2. С. 3-12.
Правильщиков П. А. Доказательство теорем с помощью квантового генератора тестов // Информационные технологии в проектировании и производстве. 2015. № 3. С. 77-87.
Правильщиков П. А. Квантовый генератор тестов как основа доказательства теорем с использованием квантовых D-алгоритмов // Информационные технологии в проектировании и производстве. 2015. № 4. С. 32-41.
Каку М. Физика будущего / Пер. с англ. 3-е изд. - М.: Альпина нон-фикшн, 2014. - 584 с.
Правильщиков П. А. Проблема алгоритмической разрешимости и полуразрешимости формальных систем и ее решение с использованием квантового генератора тестов / Пленарный доклад в Трудах 15-й межд. конф. "Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта" (CAD/CAM/PDM-2015). Институт проблем управления им. В. А. Трапезникова РАН. 2015. С. 23-27.
Правильщиков П. А. Проблема алгоритмической разрешимости (полуразрешимости) формальных систем и квантовые D-алгоритмы / / Пленарный доклад в Трудах 15-й межд. конф. "Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта" (CAD/CAM/PDM-2015). Институт проблем управления им. В. А. Трапезникова РАН. 2015. С. 78-82.
Поспелов Д. А. Фантазия или наука: на пути к искусственному интеллекту. - М.: Физматлит, 1982. - 224 с.
Правильщиков П. А. Квантовый параллелизм и новая модель вычислений. / Труды 12-го Всероссийского совещания по проблемам управления. ВСПУ-2014. - М.: Институт проблем управления им. В. А. Трапезникова РАН. 2014. С. 7319-7334.
Правильщиков П. А. Квантовый параллелизм и решение уравнений в задачах управления на базе новой модели вычислений / Труды 12-го Всероссийского совещания по проблемам управления. ВСПУ-2014. - М.: Институт проблем управления им. В. А. Трапезникова РАН. 2014. С. 7335-7351.
Правильщиков П. А. Закон сохранения перебора и естественный параллелизм D-алгоритмов для построения тестов и моделирования в технической диагностике // Автоматика и телемеханика. 2004. № 7. С. 156-199.
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.
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.
Нильсен М., Чанг И. Квантовые вычисления и квантовая информация / Пер. с англ. - М.: Мир. 2006. - 824 с.
Антес Г. Перспективы субатомных ИТ / Computer-world/ 2006,№. 37. P. 43-47.
Правильщиков П. А. Центральная проблема современной дискретной математики и квантовый генератор тестов / Пленарный доклад в Трудах 14-й межд. конф. "Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта" (CAD/CAM/PDM-2014). Институт проблем управления РАН им. Трапезникова. 2014. С. 15-20.
Правильщиков П. А. Квантовые D-алгоритмы и центральная проблема современной дискретной математики / Доклад в Трудах 14-й межд. конф. "Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта" (CAD/CAM/PDM-2014). Институт проблем управления им. В. А. Трапезникова РАН. 2014. С. 88-93.
Roth J. P. Diagnosis of automata failures: a calculus and method // IBM J. Research and Development. 1966. No. 7. P. 18-32.
Бортаковский А. С., Пантелеев А. В. Линейная алгебра в примерах и задачах. - М.: Высш. шк., 2010. - 591 с.
Правильщиков П. А. Построение тестов для программ // Автоматика и телемеханика. 1977. № 5. С. 147-160.
Подольский С. Я., Правильщиков П. А. Моделирование и диагностирование аналоговых БИС // Вопросы оборонной техники. 1990. 8-я сер. № 4 (68). С. 20-25.
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.
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
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:// arxiv.org/pdf/0811.2905.pdf
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.
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.
Ожигов Ю. И. Конструктивная физика. - М.-Ижевск: НИЦ "Регулярная и хаотическая динамика", 2010. - 424 с.
Shor P. W. Progress in Quantum Algorithms. Department of Mathematics, Massachusetts Institute of Technology, Cambridge, MA 02139, USA. http://link.springer.com/ chapter/10.1007%2F0-387-27732-3_2#page-1
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
Канторович Л. В. Математические методы организации планирования производства. - Издание Ленинградского гос. ун-та, 1939.
Хемди А. Таха. Введение в исследование операций. (Operations Research: An Introduction ). Гл. 3. Симплекс-метод. 7-е изд. - М.: Вильямс, 2007. С. 95-141.
Перри Р. Элементарное введение в квантовые вычисления. Пер. с англ.: Учебное пособие / Р. Перри - Долгопрудный: Издательский Дом "Интеллект", 2015. - 208 с.
Менский М. Б. Квантовая механика: новые эксперименты, новые приложения и новые формулировки старых вопросов // Усп. физ. наук. 2000. Т. 170. № 6. С. 631-648.
Metz C. For Google quantum computing like learning to fly. http://www.dwavesys.com/media-coverage/wired-google-quantum-computing-learning-fly
Пономаренко В. П. Теллурид кадмия-ртути и новое поколение приборов инфракрасной фотоэлектроники // Усп. физ. наук. 2003. Т. 173. № 6. С. 649-665.
Дойч Д. Структура реальности. - М.-Ижевск: РХД, 2001.
Прескилл Дж. Квантовая информация и квантовые вычисления. Т. I. - М.-Ижевск: ИКИ, 2008. - 464 с.
Виндж В. Технологическая сингулярность // Компьютерра. 2004. http://old.computerra.ru/think/35636/
Пархоменко П. П., Правильщиков П. А. Диагностирование программного обеспечения // Автоматика и телемеханика. 1980. № 1. С. 103-121.
- Купить
