Автоматизированная генерация спецификаций квантовых цепей на основе полиномов Рида-Маллера (Виталий Калмычков, SECR-2019) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) (Batch edit: replace PCRE (\n\n)+(\n) with \2) |
||
(не показано 12 промежуточных версий этого же участника) | |||
;{{SpeakerInfo}}: {{Speaker|Виталий Калмычков}} <blockquote> В докладе охарактеризовано современное положение в квантовых вычислениях, и возможно слушатели узнают новую информацию из перспективной области создания и программирования квантовых компьютеров. Будет представлен опыт разработки модульной системы автоматической генерации спецификаций квантовых цепей, используемых в качестве основы для логического представления квантового вычислительного процесса. В докладе рассматриваются предложенные способы по автоматической минимизации квантовых цепей на основе масштабируемых шаблонов, их оценки и верификации. </blockquote> {{VideoSection}} {{vimeoembed|365999453|800|450}} {{youtubelink|}}|afwltuOm6dk}} {{letscomment}} {{SlidesSection}} [[File:Автоматизированная генерация спецификаций квантовых цепей на основе полиномов Рида-Маллера (Виталий Калмычков, SECR-2019).pdf|left|page=-|300px]] {{----}} [[File:{{#setmainimage:Автоматизированная генерация спецификаций квантовых цепей на основе полиномов Рида-Маллера (Виталий Калмычков, SECR-2019)!.jpg}}|center|640px]] {{LinksSection}} * [https://2019.secrus.org/program/submitted-presentations/automated-generation-of-quantum-circuit-specifications-based-on-reed-muller-expressions/ Talks page on SECR site] <!-- <blockquote>[©]</blockquote> --> {{vklink|1564}} {{fblink|2567961306790208}} <references/> <!-- topub --> {{stats|disqus_comments=2|refresh_time=2020-01-09T16:05:392021-08-31T16:45:41.991418451257|vimeo_plays=19|73|youtube_comments=1|youtube_plays=0}}115}} [[Категория:SECR-2019]] [[Категория:Алгоритмы]] [[Категория:Квантовые компьютеры]] |
Текущая версия на 12:20, 4 сентября 2021
- Докладчик
- Виталий Калмычков
В докладе охарактеризовано современное положение в квантовых вычислениях, и возможно слушатели узнают новую информацию из перспективной области создания и программирования квантовых компьютеров. Будет представлен опыт разработки модульной системы автоматической генерации спецификаций квантовых цепей, используемых в качестве основы для логического представления квантового вычислительного процесса.
В докладе рассматриваются предложенные способы по автоматической минимизации квантовых цепей на основе масштабируемых шаблонов, их оценки и верификации.
Видео
Посмотрели доклад? Понравился? Напишите комментарий! Не согласны? Тем более напишите.
Презентация
Примечания и ссылки
Plays:188 Comments:3