Для квантового компьютера (КК) показан один из возможных способов подготовки кунитов (англ. эквивалент - qudit) квантового регистра для измерения после получения решения логических уравнений. Предполагается, что квантовый регистр КК разработан на базе кунитов. Показано, что предлагаемый способ дает возможность получить решение с вероятностью, близкой к единице. Этот метод проиллюстрирован на примере решения логических уравнений для случая, когда решение получено с помощью квантовых D-алгоритмов.
Идентификаторы и классификаторы
_
Список литературы
1. Крэндалл Р., Померанс К. Простые числа: Криптографические и вычислительные аспекты / Пер. с англ. / Под ред. и с предисл. Чубарикова В. Н. - М.: УРСС: Книжный дом “ЛИБРОКОМ”, 2011. - 664 с.
2. Правильщиков П. А. Использование квантовых компьютеров и квантовых ускорителей в информационных технологиях // Информационные технологии в проектировании и производстве. 2016. № 2. С. 77-87. EDN: WJXSRZ
3. Правильщиков П. А. Использование квантовых алгоритмов в информационных технологиях и задачах управления // Информационные технологии в проектировании и производстве. 2016. № 2. С. 88-98. EDN: WJXSRZ
4. Каку М. Физика будущего / Пер. с англ. - 3-е изд. - М.: Альпина нон-фикшн, 2014. - 584 с.
5. Рязанов В. В. Джозефсоновский ?-контакт сверхпроводник-ферромагнетик-сверхпроводник как элемент квантового бита // УФН. 1999. Т. 169. № 8. С. 920-922. EDN: YNBCAP
6. Фейгельман М. В. Квантовый бит на основе Джозефсоновского контакта обычного и высокотемпературного полупроводников. Теория // УФН. 1999. Т. 169. № 8. С. 917-920.
7. Lanyon B. P., Barbieri M., Almeida M. P. et al. Quantum computing using shortcuts through higher dimensions // Phys. Rev. Lett. 2008. V. 101. No. 2. P. 2-7.
8. Lanyon B. P., Barbieri M., Almeida M. P. et al. Simplifying quantum logic using higher-dimensional Hilbert spaces // Nat. Phys. 2008. V. 5. No. 2. P. 134-140.
9. Прескил Дж. Квантовая информация и квантовые вычисления. - Москва-Ижевск: ИКИ (НИЦ Регулярная и хаотическая динамика), 2008. С. 30.
10. Нильсен М., Чанг И. Квантовые вычисления и квантовая информация / Пер. с англ. - М.: Мир, 2006. - 824 с.
11. Спасский Б. И., Московский А. В. О нелокальности в квантовой физике // УФН. 1984. Т. 142. Вып. 4. С. 599-617.
12. Антес Г. Перспективы субатомных ИТ // Computerworld. 2006. № 37. P. 43-47.
13. Правильщиков П. А. Квантовый параллелизм и новая модель вычислений. Труды 12-го Всероссийского совещания по проблемам управления - ВСПУ-2014. - М.: Институт проблем управления им. Трапезникова РАН, 2014. С. 7319-7334. EDN: SSMTGB
14. Правильщиков П. А. Квантовый параллелизм и решение уравнений в задачах управления на базе новой модели вычислений. Труды 12-го Всероссийского совещания по проблемам управления - ВСПУ-2014. - М.: Институт проблем управления им. Трапезникова РАН, 2014. С. 7335- 7351. EDN: SSMTGV
15. Правильщиков П. А. Проблема алгоритмической разрешимости и полуразрешимости формальных систем и ее решение с использованием квантового генератора тестов. Пленарный доклад в Трудах 15-й международной конференции “Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта” (CAD/CAM/PDM-2015). - М.: Институт проблем управления РАН им. Трапезникова РАН, 2015. С. 23-27. EDN: VKHSNZ
16. Правильщиков П. А. Проблема алгоритмической разрешимости (полуразрешимости) формальных систем и квантовые D-алгоритмы. Пленарный доклад в Трудах 15-й международной конференции «Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM-2015). - М.: Институт проблем управления РАН им. Трапезникова РАН, 2015. С. 78-82. EDN: VKHSNZ
17. Правильщиков П. А. Доказательство теорем с помощью квантового генератора тестов // Информационные технологии в проектировании и производстве. 2015. № 3. С. 77-87. EDN: UXQALT
18. Правильщиков П. А. Квантовый генератор тестов как основа доказательства теорем с использованием квантовых D-алгоритмов // Информационные технологии в проектировании и производстве. 2015. № 4. С. 32-41. EDN: VOKMRP
19. Roth J. P. Diagnosis of automata failures: a calculus and method // IBM J. Research and Development. 1966. No. 7. P. 18-32.
20. Бортаковский А. С., Пантелеев А. В. Линейная алгебра в примерах и задачах. - М.: Высш. шк., 2010. - 591 с. EDN: VCCRNJ
Выпуск
Другие статьи выпуска
Проведен анализ автоматизированных компьютеризированных систем, представляемых на современном рынке высоких технологий для обучения инженерным специальностям.
Рассмотрены проблемы автоматизации обмена данными между системами CAD/CAE, подготовки данных и визуализации результатов инженерного анализа электронных модулей первого уровня. Предложен усовершенствованный способ подготовки данных и интерпретации результатов инженерного анализа на базе разработанных пре- и постпроцессоров для CAE-системы Femap на основе COM-стандарта. Разработано приложение, реализующее предложенный способ.
Представлена концепция создания универсального пре- и постпроцессора для инженерного анализа моделей электронных модулей первого уровня на печатных платах. Разработка нацелена на более тесную интеграцию САПР электронных модулей и систем инженерного анализа. Выявлены значимые параметры конструкции, представлены укрупненная архитектура разрабатываемого пре- и постпроцессора, диаграмма состояний подсистемы для инженерного анализа электронных модулей первого уровня на основе COM-стандарта.
Представлены результаты структурно-функционального моделирования существующих бизнес-процессов отдела технической документации федерального государственного унитарного предприятия: “Государственный космический научно-производственный центр им. М. В. Хруничева”, выполненного с применением лицензионной системы AllFusion Process Modeler в соответствии с требованиями международных стандартов IDEF0.
Представлены результаты структурно-функционального моделирования бизнес-процессов “как должно быть” отдела главного технолога федерального государственного унитарного предприятия “Государственный космический научно-производственный центр имени М. В. Хруничева”, выполненного с применением лицензионной системы AllFusion Process Modeler в соответствии с требованиями международных стандартов IDEF0.
Существенный скачок в развитии автоматизации современного производства связан с применением технологии IIoT (Industrial Internet of Thigs). Эффективное внедрение систем IIoT невозможно без применения платформы разработки. Рассмотрены возможные отрасли IT, способные заняться разработкой таких платформ, компании-лидеры нынешнего рынка систем разработки Iot/IIoT.
Рассматривается вариант построения организационного обеспечения системы проектно-операционного управления машиностроительным предприятием. Все процессы, связанные с разработкой и изготовлением, рассматриваются в единой проектно-производственной среде, в которой реализуется процесс создания изделия. На едином пространстве трудовых и материальных ресурсов планируется параллельное создание опытных и серийных изделий. Организационное обеспечение оказывает влияние на методическое обеспечение и особенности реализации программных компонент системы.
Разработан метод автоматизированного формирования структур данных 3D-моделей, созданных в CAD-системах для специализированного инженерного анализа конструкций. Метод основан на выделении в исходной (конструкторской) 3D-модели множества структурных классов, построении многомерной сетевой модели, устанавливающей функциональные зависимости между объектами классов и структурами данных 3D-моделей, и выборе по заданным критериям оптимального алгоритма формирования структур данных при помощи поиска кратчайшего пути в сети.
Издательство
- Издательство
- НТЦ ОК "КОМПАС"
- Регион
- Россия, Москва
- Почтовый адрес
- 125424, город Москва, Волоколамское ш., д. 77
- Юр. адрес
- 125424, город Москва, Волоколамское ш., д. 77
- ФИО
- Лукашук Владимир Евгеньевич (ДИРЕКТОР)
- E-mail адрес
- secretariat@ntckompas.ru
- Контактный телефон
- +7 (495) 4915797
- Сайт
- https://ntckompas.ru