Симулятор квантовых вычислений Выполнил: Гедерцев А.С. Руководитель, д.ф.-м.н., профессор: Граничин О.Н.

Slides:



Advertisements
Similar presentations
« Стохастические методы оптимизации работы вычислительных систем» лекция профессора Граничина Олега Николаевича для стажеров лаборатории Системного программирования.
Advertisements

Поиск оптимального набора параметров оптимизаций компилятора Брусенцов Леонид Евгеньевич студент 4 курса ФИТ НГУ Руководители:Илья.
МОУСОШ с. Донское Выполнила: учитель математики Фролова И.И г.
Расторгуев А.C., 545 группа Научный руководитель: Пименов А.А. Рецензент: ст. преп. Смирнова Е.А.
Автоматизированная поддержка пользовательской документации Web-приложений, разрабатываемых в среде WebRatio Студент: Дорохов Вадим, 544 гр. Научный руководитель:
Алгоритм приближённого join’а на потоках данных Выполнил : Юра Землянский, 445 группа Научный руководитель : Б.А. Новиков СПб, 2011 Санкт-Петербургский.
Санкт-Петербургский Государственный Университет Математико-механический факультет Кафедра системного программирования Научный руководитель: Б.А. Новиков.
Астащенко Александр, 445 группа Научный руководитель: В.Г.Шистеров.
Обработка структурных изменений источников данных в ETL процессах Долбешкин Андрей Николаевич, 445 группа Руководитель: Александр Сергеевич Дольник.
Разработка технологии взаимодействия гетерогенных систем с использованием метапрограммирования Константинов Александр, 545 группа Научный руководитель.
ПРИНЦИПЫ РАЗРАБОТКИ СИСТЕМЫ КЛАССА LEARNING MANAGEMENT SYSTEM И ОПЫТ ЕЕ ИСПОЛЬЗОВАНИЯ НА ФАКУЛЬТЕТЕ МЕНЕДЖМЕНТА Афанасьева С.В. Кафедра бизнес-информатики.
Курсовая работа студента 345 группы Чуновкина Фёдора Дмитриевича Научный руководитель: Бондарев А.В. Санкт-Петербургский Государственный Университет Математико-механический.
ПРОФИЛЬ КОМПАНИИ SAP. ©2010 SAP AG. Все права защищены. / Стр. ‹#› ШТАТ КОМПАНИИ SAP НАСЧИТЫВАЕТ СЕГОДНЯ СОТРУДНИКОВ ПО ВСЕМУ МИРУ.
Миллер Дмитрий, 545 группа Научный руководитель: д.ф.-м.н., профессор, А.Н.Терехов Рецензент: к.ф.-м.н, доцент, А.Н. Иванов.
Создание сервиса синхронизации разнородных баз данных Допущена к защите зав. кафедрой: д.ф.м.н., профессор Терехов А.Н. Научный руководитель: доцент Графеева.
Параметризация устройств сетевого управления Казакова А.С. Научный руководитель: Венгерова Е.А. Рецензент: Ушаков К.С. Кафедра системного программирования.
Адаптивный метод распределения SPMD-заданий в грид Паньшенсков Михаил, 545 группа Научный руководитель: Лукичев А.С. Рецензент: Демьянович Ю.К июня.
Блок 3. Семейства белков I. Множественное выравнивание Первый курс, весна 2008, А.Б.Рахманинова.
Разработка программного обеспечения (Software Engineering) Часть 2. Создание ПО.
1 Генерация контекстных ограничений для баз данных Выполнил: Жолудев В. Научный руководитель: Терехов А.Н. Рецензент: Иванов А.Н.
Москва 2008 Специализированное вычислительное устройство для обработки радиолокационной информации Московский физико-технический институтИнститут точной.
Аппаратное ускорение алгоритмов компьютерного зрения Стефан Бояровски, 361 группа Научный руководитель: Сергей П. Шувалкин.
Основы цифровой обработки речевых сигналов. Общая схема процесса речеобразования x[n] – дискретные отсчеты сигнала возбуждения y[n] – дискретные отсчеты.
Простейшая модель генератора начального состояния для квантового компьютера на связанных электронах в волноводах Автор: Курасов А.Е. Научный руководитель:
Понятие риска применительно к инвестиционным проектам
Цифровая оптическая обработка информации и оптические вычисления (физические основы) Николай Николаевич Розанов.
Apache Harmony или как сделать курсовую работу в рамках этого проекта Фурсов Михаил.
Microsoft Solutions Framework Технологии программирования. Курс на базе Microsoft Solutions Framework Семинар 2. Знакомство с построением диаграмм вариантов.
Сравнение различных методов хранения XML в реляционных базах данных и в разных системах. Нгуен Тхань Хуен- 545 группа Руководитель : Б.А. Новиков Рецензент:
Поиск ошибок в программах на языке Ruby с использованием вывода типов Санкт-Петербург, 2008г. Выполнил: Шпынов Олег, 545 гр. Научный руководитель: Ломов.
Сопоставление полигональных объектов на основе независимой фрагментации контуров Выполнил: Ю. М. Плотников Научный руководитель: канд. ф.-м. наук К. В.
"The European Molecular Biology Open Software Suite"
Генерация вероятностных автоматов методами Reinforcement Learning Выполнил: Иринёв А. В. Руководитель: Шалыто А. А.
Лобанов Алексей Иванович Основы вычислительной математики Лекция 1 8 сентября 2009 года.
Анализ сценариев. Имитационное моделирование. 2 Метод сценариев метод, основанный на построении набора сценариев - возможных непротиворечивых комбинаций.
Микрофазное расслоение в расплаве двойных гребнеобразных сополимеров В.В. Палюлин Научный руководитель: д.ф.-м.н. Потемкин И.И.
Распределение наборов неоднородных по размеру заданий в кластерных системах на основе ClassAd механизма Голубев Александр Юрьевич, 542 группа Научный руководитель:
Применение генетического программирования для генерации автомата в задаче об «Умном муравье» Царев Ф.Н., Шалыто А.А. IV Международная научно-практическая.
Верификация автоматных программ Ремизов А.О., д.т.н., проф. Шалыто А.А.
Нахождение ориджинов в последовательности нуклеотидов Выполнил: Ромашкин Амир, 445 гр. Руководитель: Профессор АФТУ, Порозов Юрий.
Ряды и произведения sum(expr, n=a..b), где expr – выражение, зависящее от индекса суммирования, a..b – пределы индекса суммирования, Если требуется вычислить.
Тема: Сравнительный анализ сложности факторизации алгоритмов целых чисел Выполнила: Дубовицкая Н.В., гр 957 Научный руководитель: Ишмухаметов Ш.Т.
Пользовательские действия (custom actions) в JSP. JSTL.
Вычисление типов в императивных динамически типизированных языках. Михаил Калугин, студент 3 курса ММФ Научные руководители: Игорь Николаевич Скопин Андрей.
Увеличение модульности программного обеспечения на языке Java Курсовая работа студента 345 группы Абишева Тимура Маратовича Научный руководитель: Профессор.
Санкт-Петербургский Государственный Университет Математико-Механический факультет Кафедра системного программирования Применение диаграмм двоичных решений.
Реализация XPath над S-выражениями 2007 Миленин Евгений, гр. 544 Кафедра Системного Программирования Математико-Механический ф-т, СПбГУ Научный руководитель:
Поиск оптимального набора значений опций компиляции Студент: Чирцов Артём, ФИТ/IV Руководитель: Илья Чёрный
Методы определения параметров вращения Земли
Сервис описания дискретных динамических систем на основе рекуррентных алгоритмов стохастической аппроксимации и подобных им Александр Вахитов научный руководитель.
BioUML интегрированная расширяемая среда для моделирования биологических систем Biosoft.Ru Лабоработория Биоинформатики КТИ ВТ СО РАН
Разработка инструментария для создания нейронных сетей на мобильных платформах на примере iOS Золотухина Алина Манаев Дмитрий 445 группа Руководитель:
Демидов А.В г. Операционные системы Лекция 4 Работа с файлами.
Математическая модель движения автономного робота Руководитель: Рубцов И. В. Докладчик: Мартышин С. В. Цель работы: прогнозирование эксплуатационных характеристик.
Библиотека для работы с конечными множествами, использующая графический процессор в качестве основного вычислительного устройства Новосибирский Государственный.
9 октября 2004 Поиск статических изображений по содержанию: использование текстового запроса Наталья Васильева
Проверка эквивалентности срединной и линейной осей многоугольника Дипломная работа студента 545 группы Подколзина Максима Валериевича Санкт-Петербургский.
Московский инженерно-физический институт (государственный университет) НЕЙТРОННО-ФИЗИЧЕСКИЕ ХАРАКТЕРИСТИКИ ТЯЖЕЛОВОДНОГО РЕАКТОРА С РЕГУЛИРУЕМЫМ СПЕКТРОМ.
Множественное выравнивание С.А.Спирин, весна
Сравнение подходов к индексированию XML документов c поддержкой некоторых операций модификации Выполнил: Василий Шикин, 545 группа Руководитель: Дмитрий.
Использование онтологий при анализе предметных областей и проектировании научных информационно-вычислительных систем Фазлиев А.З.
Классификация, кластеризация и поиск изображений на основе низкоуровневых характеристик Наталья Васильева Руководитель: Новиков Б. А.
Исследование возможностей сервисной шины SonicMQ Дипломная работа студентки 545 группы Комольцевой Дарьи Владимировны Научный руководитель: Графеева Н.Г.
Поддержка избыточного кодирования. Оптимизация, настройка и аппробация выбранного алгоритма под поставленную задачу. Оценка полученных результатов Мальчевский.
Microsoft TechDayshttp:// Александр Шаповал Эксперт по стратегическим технологиям
SQL Server 2012 Более 100 новых функций!. Конференция «Лонч SQL Server 2012» в Санкт-Петербурге 10 апреля 2012 Courtyard by Marriott 2-ая линия Васильевского.
Моделирование систем Цифровой Обработки Сигналов в среде LabVIEW Круглов Евгений Владимирович, аспирант МИФИ Решетов Владимир Николаевич, к.ф.-м. н. доцент.
Выполнил студент П.А. Македонов Руководитель А.Ф. Усов Дипломная работа Тема: Разработка макетного образца генератора высоковольтных импульсов по схеме.
Моделирование систем Цифровой Обработки Сигналов в среде LabVIEW Круглов Евгений Владимирович, аспирант МИФИ Решетов Владимир Николаевич, к.ф.-м. н. доцент.
Т.В. Биренбаум Н.А. Качанова Подходы к формированию электронной библиотеки университета в условиях минимальных финансовых, материальных и трудовых ресурсов.
Presentation transcript:

Симулятор квантовых вычислений Выполнил: Гедерцев А.С. Руководитель, д.ф.-м.н., профессор: Граничин О.Н.

Квантовый компьютер - вычислительное устройство, существенно использующее при работе эффекты квантовой физики. Квантовые вычисления - модель вычислений, которая естественным образом реализуется на квантовом компьютере. Квантовый алгоритм кл. часть --- управление вычислением кв. операции измерение begin end

В поддержку квантового компьютера Достигается предел элементной базы ВУ; Существуют задачи, для которых КК дает выигрыш: –Разложение числа на простые множители, –Поиск в неупорядоченной базе данных; Разработаны подходы к реализации: –7-кубит ЯМР

Вычисления классические квантовые состояние переход, результат измерение

Квантовые вычисления n, пр-во сост., базис - вероятность получить Размерность Состояние Вентиль Переход Схема Вычисление Измерение

Пример n = 3; U: A[1], Z[0,2], T[0] A ZT 0 1 = T[0] Z[0,2] A[1]

Симуляторы для квантового компьютера Симуляторы физических моделей КК Симуляторы квантовых схем Языки программирования для КК.

Реализация GUI Вычислительный модуль

Пример работы H[0], R1[0,1], R2[0,2], R3[0,3], H[1], R1[1,2], R2[1,3], H[2], R1[2,3], H[3], Z[0,3], Z[1,2]. C: H[1], H[3], X[0,2], Квантовое преобразование Фурье Схема для примера: --- состояние на входе Классический Квантовый

Пример работы. Результат StateReImProbability

Вычислительный модуль На основании где получаем u[s] : = 0 ; … найти es = и ns = для s for ek := 0 to M-1 do begin … найти k по разложению = ek, = nk = ns u[s] := u[s] + a[es][ek] * v[k] ; end

Сложность симулирования Ошибки симулирования Временная сложность, Емкостная сложность. Количество действий на один вентиль. Ошибки накапливаются линейно; где L – длина схемы, m - размер вентиля ( m = 1, m = 2). - неточность в начальных данных i-го вентиля, - неточность результата.

Заключение Приведена математическая модель квантовых вычислений, Рассмотрены основные задачи по симулированию квантового компьютера, На основе представленной модели вычислений поставлена задача ее реализации, В качестве решения этой задачи создан симулятор квантовых схем.