Необходимо зарегистрироваться, чтобы получить доступ к полным текстам статей и выпусков журналов!
- Название статьи
- ТЕОРЕТИКО-МНОЖЕСТВЕННЫЕ ОСНОВАНИЯ НОВОЙ МОДЕЛИ ВЫЧИСЛЕНИЙ - КВАНТОВОГО ГЕНЕРАТОРА ТЕСТОВ
- Авторы
- Правильщиков Павел Алексеевич pavelp@ipu.ru, канд. техн. наук; ведущий научный сотрудник, Федеральное государственное бюджетное учреждение науки "Институт проблем управления им. В. А. Трапезникова РАН", Москва, Россия
- В разделе
- ИННОВАЦИОННЫЕ ТЕХНОЛОГИИ РЕШЕНИЯ ЗАДАЧ ПРОЕКТИРОВАНИЯ И ПРОИЗВОДСТВА
- Ключевые слова
- квантовые компьютеры / квантовые процессоры-ускорители / квантовый параллелизм / кубиты / кутриты / куквадриты / куниты / D-исчисление / операция пересечения и разность множеств
- Год
- 2017 номер журнала 3 Страницы 20 - 28
- Индекс УДК
- 681.31
- Код EDN
- Код DOI
- Тип статьи
- Научная статья
- Аннотация
- Приводится теоретико-множественное обоснование пересечения кубов Cq ∩ Cg в рамках матричного исчисления кубических комплексов (MD-исчисления). Показаны теоретико-множественные основы элементарной операции пересечения - операции αj. Подчеркивается, что операция αj является основной операцией и классического, и матричного D-исчисления, а также соответствующих D-алгоритмов. В квантовых D-алгоритмах (QD-алгоритмах), "подогнанных" ("заточенных") под новую модель вычислений в виде квантового генератора тестов (КГТ), операция αj выполняется квантовым вентилем, реализующим новую блочно-диагональную матрицу Рота.
- Полный текст статьи
- Необходимо зарегистрироваться, чтобы получить доступ к полным текстам статей и выпусков журналов!
- Список цитируемой литературы
-
Правильщиков П. А. Новая квантовая математика: матричное исчисление кубических комплексов и квантовые D-алгоритмы // Информационные технологии в проектировании и производстве. 2017. № 2. Стр. 21-32.
Блехман И. И., Мышкис А. Д., Пановко Я. Г. Прикладная математика: Предмет, логика, особенности подходов. С примерами из механики: учеб. пособие. Изд. 3. - М.: КомКнига, 2005. - 376 с.
Roth J. P. Diagnosis of Automata Failures: a Calculus and Method // IBM J. Research and Development. 1966. No. 7. P. 18-32.
Правильщиков П. А. Использование квантовых компьютеров и квантовых ускорителей в информационных технологиях (Обзор) // Информационные технологии в проектировании и производстве. 2016. № 2. Стр. 3-12.
Правильщиков П. А. Использование квантовых алгоритмов в информационных технологиях и задачах управления (Обзор) // Информационные технологии в проектировании и производстве. 2016. № 2. С. 13-22.
Перри Р. Элементарное введение в квантовые вычисления: учеб. пособие / Пер. с англ. - Долгопрудный: Изд. дом "Интеллект", 2015. - 208 с.
Правильщиков П. А. Элементы диагностической теории толерантности и подобия // Автоматика и телемеханика. 1992. № 10. С. 141-160.
Правильщиков П. А. Проблема верификации БИС и ее решение путем использования "вычислительного решета" на основе закона сохранения перебора // Оборонный комплекс - научно-техническому прогрессу России. 2002. № 4. С. 45-61.
Пархоменко П. П., Правильщиков П. А. Диагностирование программного обеспечения // Автоматика и телемеханика. 1980. № 1. С. 103-121.
McCarthy J. A Tough Nut Proof Procedures // Stanford University, AI Project Memo. 1964. No. 16. P. 17-34.
McCarthy J. A. Creative problem solving. 1999.
Стефанюк В. Л. Творческое решение задач // Искусственный интеллект и принятие решений. 2011. № 2. С. 3-11.
Нильсен М., Чанг И. Квантовые вычисления и квантовая информация / Пер. с англ. - М.: Мир, 2006. - 824 с.
Закревский А. Д. Логические уравнения. - М.: Едиториал УРСС, 2003. - 96 с.
Закревский А. Д. Параллельные алгоритмы логического управления. Изд. 3-е. - М.: Едиториал УРСС, 2012. - 200 с.
Карибский В. В., Пархоменко П. П., Согомонян Е. С., Халчев В. Ф. Основы технической диагностики. Кн. 1. - М.: Энергия, 1976. - 346 с.
Правильщиков П. А. Новое "неклассическое" исчисление кубических комплексов для построения тестов и моделирования в технической диагностике // Оборонный комплекс - научно-техническому прогрессу России". 2003. № 4. С. 3-20.
Правильщиков П. А. Квантовый параллелизм и новая модель вычислений: тр. 12-го Всероссийского совещания по проблемам управления - ВСПУ-2014. - М.: Институт проблем управления им. Трапезникова РАН, 2014. С. 7319-7334.
Правильщиков П. А. Квантовый параллелизм и решение уравнений в задачах управления на базе новой модели вычислений: тр. 12-го Всероссийского совещания по проблемам управления - ВСПУ-2014. - М.: Институт проблем управления им. Трапезникова РАН, 2014. С. 7335-7351.
Правильщиков П. А. Симметрия диагностического лабиринта и закон сохранения перебора // Оборонный комплекс - научно-техническому прогрессу России. 1996. № 3. С. 38-52.
Правильщиков П. А. Закон сохранения перебора и естественный параллелизм D-алгоритмов для построения тестов и моделирования в технической диагностике // Автоматика и телемеханика. 2004. № 7. С. 156-199.
Правильщиков П. А. "Физическая" теорема Нетер в фотонике и computer science. Ч. I. // Прикладная физика. 2005. № 6. С. 144-154.
Правильщиков П. А. "Физическая" теорема Нетер в фотонике и computer science. Ч. II. // Прикладная физика. 2006. № 1. С. 95-109.
Правильщиков П. А. Гипервычисления и фундаментальные научные исследования: тр. 9-й межд. конф. СAD/ CAM / PDM - 2009. - М: Институт проблем управления РАН им. Трапезникова. С. 7-12.
Правильщиков П. А. Фундаментальные проблемы управления и гипервычисления: тр. 5-й межд. конф. "Параллельные вычисления и проблемы управления". - М.: Институт проблем управления. 26-28 октября 2010. С. 709-757.
Shor P. W. Algorithms for Quantum Computation: Discrete Log and Factoring: Proceedings of the 35th Annual Symposium on the Foundations of Computer Science. - Los Alamitos, CA, 1994. P. 124-134.
Shor P. W. Algorithms for Quantum Computation: Discrete Logarithms and Factoring: Proceeding 35th Annual Symposium on Foundation of Computer Science. IEEE Press. - Los Alamos. CA, 1996.
Кокин А. А. Исследования моделей полномасштабных квантовых компьютеров на ядерных спинах в ФТИАН: тр. Физико-технологического института. - М.: Наука, 2013. Т. 23. С. 19-55.
Правильщиков П. А. Квантовый параллелизм и решение уравнений в задачах управления на базе новой модели вычислений: тр. 12-го Всероссийского совещания по проблемам управления ¾ ВСПУ-12. - М.: Институт проблем управления им. Трапезникова РАН, 2014. С. 7335-7351.
Лавров И. А., Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов. -М.: Физматлит, 2004. - 256 с.
- Купить
