Необходимо зарегистрироваться, чтобы получить доступ к полным текстам статей и выпусков журналов!
- Название статьи
- КВАНТОВЫЙ ПОДХОД К РЕШЕНИЮ ЗАДАЧ ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ ЦИФРОВЫХ СХЕМ
- Авторы
- Правильщиков Павел Алексеевич pravilshchikov@mail.ru, канд. техн. наук, ведущий научный сотрудник, ФГБУН "Институт проблем управления им. В. А. Трапезникова РАН", Москва, Россия
- В разделе
- ИННОВАЦИОННЫЕ ТЕХНОЛОГИИ В РЕШЕНИИ КОМПЛЕКСНЫХ ЗАДАЧ УПРАВЛЕНИЯ И ПРОЕКТИРОВАНИЯ, МОДЕЛИРОВАНИЯ И ПРОИЗВОДСТВА
- Ключевые слова
- квантовые компьютеры / квантовые алгоритмы / формальная верификация / кубиты / кутриты / куквадриты / куниты
- Год
- 2023 номер журнала 1 Страницы 10 - 20
- Индекс УДК
- 004.421; 004.052.42
- Код EDN
- SVNQNL
- Код DOI
- 10.52190/2073-2597_2023_1_10
- Тип статьи
- Научная статья
- Аннотация
- Описаны квантовые алгоритмы на примерах решения задачи верификации систем логического управления на основе жёсткой логики. Предполагается, что квантовые алгоритмы функционируют на платформе проблемно-ориентированного квантового компьютера с механизмом квантового параллелизма. Предложено решение задач формальной верификации на основе новой вычислительной модели квантового компьютера.
- Полный текст статьи
- Для прочтения полного текста необходимо купить статью
- Список цитируемой литературы
-
Манушакян К. Г. Технические средства телематики. Курс лекций по микропроцессорной технике. Часть 1. Утверждено в качестве учебного пособия редсоветом МАДИ (ГТУ). - М.: Московский автомобильно-дорожный институт (ГТУ), 2007 [Электронный ресурс]. URL: <http://lib.madi.ru/fel/fel1/> fel08E014.pdf (дата обращения: 16.06.2022).
Конспект лекций по дисциплине информатика на тему "Управляющие устройства с жёсткой логикой" [Электронный ресурс]. URL: https://infourok.ru/konspekt-lekciy-po-discipline-infor-matika-na-temu-uu-s-zhestkoy-logikoy-2923014.html (дата обращения: 16.06.2022).
Норин Е. Вирус страшнее бомбы. Как хакеры уничтожили ядерный завод в Иране [Электронный ресурс]. URL: https://life.ru/p/1047800 (дата обращения: 16.06.2022).
"Физприбор" объявил вторую волну конкурса для хакеров, способных взломать уникальную систему защиты [Электронный ресурс]. URL: https://ren.tv/news/v-rossii/253187-fizpribor-obiavil-vtoruiu-volnu-konkursa-dlia-khakerov-sposobnykh-vzlomat-unikalnuiu-sistemu-zashchity (дата обращения: 16.06.2022).
Жёсткая логика [Электронный ресурс]. URL: https://kartaslov.ru/карта-знаний/Жёсткая+логика (дата обращения: 16.06.2022).
Закревский А. Д. Параллельные алгоритмы логического управления. Изд. 3-е. - М.: Едиториал УРСС, 2012.
Roth J. P. Hardware verification // IEEE Trans. Computers. 1977. V. C-26. № 12. P. 1292-1291.
Kumar J. Prototyping the M68060 for Concurrent Verification // IEEE Design and Test of Computer. 1997. V. 14. № 1. P. 34-41.
Maliniak D. Systems Verifies, Emulates Monsters ICs in A Flash // Electronic Design. August 20. 2001. V. 49. № 17. P. 52-54.
Jones R. B., O`Leary J. W., Seager C.-J., Aagaard M. D., Meiham T. F. Practical Formal Verification in Microprocessor Design // IEEE Design & Test of Computers. 2001. V. 18. № 4. P. 16-25.
Правильщиков П. А. Проблема верификации БИС и её решение путём использования "вычислительного решета" на основе закона сохранения перебора // Оборонный комплекс - научно-техническому прогрессу России. 2002. № 4. С. 45-61.
Правильщиков П. А. Теоретико-множественные основания новой модели вычислений - квантового генератора тестов // Информационные технологии в проектировании и производстве. 2017. № 3. С. 20-28.
Imany P., Jaramillo-Villegas J. A., Alshaykh M. S., Lukens J. M. et al. High-dimensional optical quantum logic in large operational spaces // Quantum Information. 2019. V. 5. P. 4.
Перри Р. Элементарное введение в квантовые вычисления: Учеб. пособие / Пер. с англ. - Долгопрудный: Изд. Дом "Интеллект", 2015.
Shor P. Algorithms for Quantum Computation: Discrete Logarithms and Factoring // Foundations of Computer Science, 1994 Proceedings, 35th Annual Symposium on - IEEE. 1994. P. 124-134.
Правильщиков П. А. Квантовая революция в вычислительной технике и новые модели вычислений // Информационные технологии в проектировании и производстве. 2020. № 1. С. 27-35.
IEEE Spectrum, IBM [Электронный ресурс]. URL: https://spectrum.ieee.org/ibm-quantum-computer -ospreyfalse <https://spectrum.ieee.org/ibm-quantum-computer-ospreyfalse> (дата обращения: 14.11.2022)
Roth J. P. Diagnosis of automata failures: a calculus and method // IBM J. Research and Development. 1966. № 7. P. 18-32.
Карибский В. В., Пархоменко П. П., Согомонян Е. С., Халчев В. Ф. Основы технической диагностики. Кн. 1. - М.: "Энергия", 1976.
Правильщиков П. А. Новая квантовая математика: матричное исчисление кубических комплексов и квантовые D-алгоритмы // Информационные технологии в проектировании и производстве. 2017. № 2. С. 21-32.
Правильщиков П. А. Закон сохранения перебора и естественный параллелизм D-алгоритмов для построения тестов и моделирования в технической диагностике // Автоматика и телемеханика. 2004. № 7. С. 156-199.
Нильсен М., Чанг И. Квантовые вычисления и квантовая информация / Пер. с англ. - М.: Мир, 2006.
Антес Г. Перспективы субатомных ИТ // Computerworld. 2006. № 37. С. 43-47.
Бортаковский А. С., Пантелеев А. В. Линейная алгебра в примерах и задачах. - М.: Высш. шк., 2010.
Дойч Д. Структура реальности. (The Fabric of Reality) - РХД - Москва-Ижевск, 2001.
Прескилл Дж. Квантовая информация и квантовые вычисления. - Москва-Ижевск: ИКИ (НИЦ Регулярная и хаотическая динамика), 2008. Т. 1.
Правильщиков П. А. Новая квантовая логика: новые однородные и неоднородные квантовые логи- ческие элементы // Информационные технологии в проектировании и производстве. 2019. № 1. С. 42-51.
Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи. - М.: Мир, 1982.
- Купить
- 500.00 руб
