Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

Языки программирования для квантового компьютера




К настоящему времени уже появились первые языки программирования для квантового компьютера, в частности, QCL (Quantum Computation Language). Как пишут разработчики языка в документации*, квантовые вычисления сейчас все еще рассматривают как специальную дисциплину в рамках теоретической физики, несмотря на то что она имеет много общего с классической информатикой. Одна из причин того, что сообщество программистов медленно принимает квантовые вычисления – запутывающее разнообразие формализма (дираковские обозначения, матрицы плотности, гейты, операторы и т. д.). Все эти теоретические инструменты не имеют ничего общего с классическими языками программирования, а изложение самих основ квантовых вычислений часто слишком усложнено. В результате программисты испытывают трудности при моделировании квантовых логических операций знакомыми им средствами. QCL пытается восполнить этот пробел: это архитектурно независимый язык программирования высокого уровня для квантовых компьютеров с синтаксисом, заимствованным от таких классических языков, как C или Паскаль. Этот синтез теории квантовых вычислений и обычных языков программирования обеспечивает моделирование и полное выполнение квантовых алгоритмов (включая классические компоненты) в одном совместимом формализме.

* http://tph.tuwien.ac.at/~oemer/qcl.html;

http://www.vcpc.univie.ac.at/~ian/hotlist/qc/programming.shtml.

По аналогии с классической машиной Тьюринга*, в квантовых вычислениях рассматривается квантовая машина Тьюринга. Классическая (булева) логика обобщается квантовыми гейтами, а квантовым унитарным операторам ставятся в соответствие частично рекурсивные функции.

* Машина Тьюринга (Turing machine) получила свое название по имени английского математика Алана Тьюринга, предложившего в середине 30-х годов ХХ века способ формального задания алгоритмов с помощью абстрактной (воображаемой) вычислительной машины. Эта машина представляет собой простейшую модель вычислительной машины с линейной памятью, которая, согласно формальным правилам, преобразует входные данные в выходные с помощью последовательности элементарных логических операций. Несмотря на простоту машины Тьюринга, на ней можно имитировать любую программу для обычных компьютеров.

Очевидно, что моделирование квантового компьютера на традиционном классическом компьютере – неразрешимая проблема. Требуемые ресурсы растут по экспоненте с количеством квантовых регистров памяти при моделировании. Операции даже с несколькими десятками кубитов выходят за пределы возможностей любого самого мощного суперкомпьютера, а добавление одного нового кубита каждый раз удваивает необходимые ресурсы. Поэтому естественно, что на QCL можно пока программировать только очень «маленькие» квантовые компьютеры. Но и этого достаточно, чтобы апробировать основные алгоритмы квантовых вычислений и отработать их прежде, чем появится возможность их применения на полноценных квантовых компьютерах.

Первый квантовый компьютер будет, вероятно, состоять из некоего экзотического «железа», которое хранит квантовые состояния и манипулирует ими. Его «жизнь» станут поддерживать аппаратные средства окружения, которые обеспечат его работоспособность и дадут пользователю разумный интерфейс для «общения» и программирования в некой среде. QCL моделирует такую программную среду, предоставляя классической программной структуре квантовые типы данных и специальные функции, позволяющие выполнить операции над ними.

В квантовом программировании уже развиваются и отдельные направления, например, работа со звуковыми сигналами. И чтобы дать вам, уважаемые читатели, небольшой отдых после восприятия серьезной информации, приведу в заключение раздела сообщение на эту тему из бульварной прессы*.

* http://science.compulenta.ru//42507/?phrase_id=3888807.

«Группа ученых из Французского центра национальных научных исследований разработала новый метод компрессии звука, который можно будет использовать в квантовых компьютерах», – сообщает газета «News Factor».

Джей Вон Ли, а также его коллеги Дмитрий и Алексей Шепелянские утверждают, что «классические методы анализа аудио не применимы к квантовым сигналам». И подчеркивают при этом: «На данном этапе очень важно найти метод, который удовлетворял бы новым требованиям квантовой компьютерной техники».

Первые результаты уже достигнуты. В первом эксперименте удалось воспроизвести фразу приветствия компьютера HAL из знаменитой «Космической Одиссеи 2001 года» Артура Кларка («Good afternoon, gentlemen. I am a HAL 9000 computer. I became operational at the H. A. L. lab in Urbana, Illinois, on the 12th of January»). По словам исследователей, полученные ими в результате расчетов данные демонстрируют, что звуковые сигналы, сохраненные в квантовой памяти, могут свободно распознаваться настоящими квантовыми компьютерами.

Как говорит Дмитрий Шепелянский, 50-кубитный квантовый компьютер способен вместить в себя информацию, превосходящую по объему ту, что хранят сейчас все современные суперкомпьютеры вместе взятые.

Объясняя теорию кодирования звука в квантовых компьютерах, Дмитрий Шепелянский отметил, что сгенерированный ими голос HAL состоял из 18 кубитов и являл собой «волновую функцию квантового компьютера, которая была „записана“ в память квантового регистра, сформированного кубитами».

Разработанный группой Шепелянского метод «квантового преобразования Фурье» очень близок по принципу своего действия к кодированию обычного формата mp3 – «быстрому преобразованию Фурье». Ученым удалось произвести числовое моделирование этого процесса, что позволило получить оптимальный алгоритм декодирования зашифрованного звукового сигнала в квантовой технике и соответственно добиться оптимального звучания восстановленного сигнала.




Поделиться с друзьями:


Дата добавления: 2015-03-29; Просмотров: 430; Нарушение авторских прав?; Мы поможем в написании вашей работы!


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление




Генерация страницы за: 0.012 сек.