Необходимо зарегистрироваться, чтобы получить доступ к полным текстам статей и выпусков журналов!
- Название статьи
- НОВАЯ КВАНТОВАЯ МАТЕМАТИКА: МАТРИЧНОЕ ИСЧИСЛЕНИЕ КУБИЧЕСКИХ КОМПЛЕКСОВ И КВАНТОВЫЕ D-АЛГОРИТМЫ
- Авторы
- Правильщиков Павел Алексеевич pavelp@ipu.ru, канд. техн. наук; ведущий научный сотрудник, Федеральное государственное бюджетное учреждение науки "Институт проблем управления им. В. А. Трапезникова РАН", Москва, Россия
- В разделе
- ИННОВАЦИОННЫЕ ТЕХНОЛОГИИ РЕШЕНИЯ ЗАДАЧ ПРОЕКТИРОВАНИЯ И ПРОИЗВОДСТВА
- Ключевые слова
- матричное исчисление / квантовые вычисления / квантовые компьютеры / квантовые ускорители / квантовые алгоритмы / квантовый регистр / кубиты / кутриты / куквадриты / куниты
- Год
- 2017 номер журнала 2 Страницы 21 - 32
- Индекс УДК
- 002.5:51
- Код EDN
- Код DOI
- Тип статьи
- Научная статья
- Аннотация
- Утверждается, что вместе с квантовой революцией в вычислительной технике ( ВТ ) в computer science приходит и новая квантовая математика. Приводится изложение матричного исчисления кубических комплексов как развитие и расширение возможностей классического D-исчисления, служащего для описания классических последовательных D-алгоритмов . Показано, как новое исчисление может применяться для описания квантовых D-алгоритмов, использующих квантовый параллелизм. Перечислены будущие применения квантовых D-алгоритмов на платформе квантовых компьютеров ( КК ) и квантовых процессоров-ускорителей ( КвУ ) для решения задач в области математики, криптографии, теории управления, САПР и технической диагностики. Вводится новая матрица Рота для выполнения основной операции квантовых D-алгоритмов - элементарной операции пересечения.
- Полный текст статьи
- Необходимо зарегистрироваться, чтобы получить доступ к полным текстам статей и выпусков журналов!
- Список цитируемой литературы
-
Roth J. P. Diagnosis of Automata Failures: a Calculus and Method // IBM J. Research and Development. 1966. No. 7 (July). P. 18-32.
Перри Р. Элементарное введение в квантовые вычисления // Учеб. пособие / Пер. с англ. - Долгопрудный: Изд. дом "Интеллект", 2015. - 208 с.
Дойч Д. Структура реальности. (The Fabric of Reality). - Москва-Ижевск: РХД, 2001.
Яу Ш., Надис С. Теория струн и скрытые измерения Вселенной. - СПб.: Питер, 2015. - 400 с.
Putzolu G. R., Roth J. P. A Heuristic Algorithm for the Testing of Asynchronous Circuit // IEEE Trans. Computers. 1971. V. C-20. No. 6. P. 639-647.
Armstrong D. B. Armstrong D. B. On Finding a Nearly Minimal Set of Fault Detection Test for Combinational Logic Nets // Electronics Computers. 1966. V. EC-15. P. 66-73.
Armstrong D. B. A Deductive Method for Simulating Faults in Logic Circuits // IEEE Trans. Computers. 1971. V. C-20. No. 5. P. 321-336.
Правильщиков П. А. Номологическое выражение сохранения величины перебора при синтезе тестов // Вопросы оборонной техники. 1990. Сер. 8. № 4 (68). С. 26-34.
Правильщиков П. А. Элементы диагностической теории толерантности и подобия // Автоматика и телемеханика. 1992. № 10. С. 141-160.
Правильщиков П. А. Симметрия диагностического лабиринта и закон сохранения перебора // Оборонный комплекс - научно-техническому прогрессу России. 1996. № 3. С. 38-52.
Правильщиков П.А. Различные формы закона сохранения перебора для последовательных D-алгоритмов и следствия, на которых основан механизм естественного параллелизма для идеального генератора тестов // Оборонный комплекс - научно-техническому прогрессу России. 1999. № 3. С. 12-31.
Правильщиков П. А. Закон сохранения перебора для алгоритмов построения тестов, основанных на исчислении кубических комплексов и обладающих свойством необходимой детерминированности // Оборонный комплекс - научно-техническому прогрессу России. 2000. № 1. С. 11-42.
Правильщиков П. А. Параллельно-последовательные D-алгоритмы первого типа и закон сохранения перебора для них // Оборонный комплекс - научно-техническому прогрессу России. 2000. № 3. С. 13-33.
Правильщиков П. А. Параллельно-последовательные D-алгоритмы второго типа и закон сохранения перебора для них // Оборонный комплекс - научно-техническому прогрессу России. 2000. № 3. С. 34-53.
Правильщиков П. А. Параллельно-последовательные D-алгоритмы третьего типа и закон сохранения перебора для них // Оборонный комплекс - научно-техническому прогрессу России. 2000. № 4. С. 92-102.
Правильщиков П. А. Параллельные D-алгоритмы и закон сохранения перебора для них // Оборонный комплекс - научно-техническому прогрессу России. 2000. № 4. С. 103-116.
Правильщиков П. А. Новое "неклассическое" исчисление кубических комплексов для построения тестов и моделирования в технической диагностике // Оборонный комплекс - научно-техническому прогрессу России. 2003. № 4. С. 3-20.
Правильщиков П. А. Закон сохранения перебора и естественный параллелизм D-алгоритмов для построения тестов и моделирования в технической диагностике // Автоматика и телемеханика. 2004. № 7. С. 156-199.
Правильщиков П. А. "Физическая" теорема Нётер в фотонике и computer science. Ч. I. // Прикладная физика. 2005. № 6. С. 144-154.
Правильщиков П. А. "Физическая" теорема Нётер в фотонике и computer science. Ч. II // Прикладная физика. 2006. № 1. С. 95-109.
Полак Л. С. Вариационные принципы механики, их развитие и применение в физике. - М.: Физматгиз, 1960. - 600 с.
Правильщиков П. А. Алгоритмы построения процедур поиска одиночных константных неисправностей в комбинационных устройствах, разбитых на конструктивные блоки // Автоматика и телемеханика. 1972. № 12. С. 148-155.
Правильщиков П. А. Алгоритм построения последовательности, различающей две заданные неисправности в последовательностном устройстве // Автоматика и телемеханика. 1974. № 1. С. 148-155.
Плитман А. Д. Построение проверяющей последовательности для кратной неисправности в асинхронной схеме // Автоматика и телемеханика. 1974. № 7. С. 99-109.
Тюрин А. В. Построение проверяющих тестов для синхронных последовательностных устройств // Автоматика и телемеханика. 1974. № 7. С. 110-120.
Карибский В. В., Пархоменко П. П., Согомонян Е. С., Халчев В. Ф. Основы технической диагностики. Кн. 1. - М.: "Энергия", 1976. - 346 с.
Fudjiwara H., Toida S. The Complexity of Fault Detection: An Approach to Design for Testability. Proc. 12th Int. Symp. Fault Tolerant Comput., 1982. P. 101-108.
Fujiwara H., Shimono T. On The Acceleration Of Test Generation Algorithms // IEEE Trans. on Computers. 1983. V. C-32. No. 12. P. 1137-1144.
Kravitz S. A., Brayant R. E., Rutenbar R. A. Massively Parallel Switch-Level Simulation: A Feasibility Study // IEEE Trans. on Computer-Aided Design. 1991. V. 10. No. 7. P. 871-874.
Правильщиков П. А. "Диоген" ¾ диагностический сопроцессор для персональных ЭВМ IBM PC-386 и IBM PC-486". В сб. "Продукция НПО "Орион" для гражданского приборостроения и народного хозяйства". - М.: Изд-во НТЦ "Информтехника", 1993. С. 50-55.
Правильщиков П. А. Механизм естественного параллелизма идеального генератора тестов // Оборонный комплекс - научно-техническому прогрессу России. 2000. № 3. С. 17-27.
Правильщиков П. А. Использование квантовых компьютеров и квантовых ускорителей в информационных технологиях // Информационные технологии в проектировании и производстве. 2016. № 2. С. 3-12.
Правильщиков П. А. Использование квантовых алгоритмов в информационных технологиях и задачах управления // Информационные технологии в проектировании и производстве. 2016. № 2. С. 13-22.
Иванов Б. Н. Дискретная математика. Алгоритмы и программы. Полный курс. - М.: ФИЗМАТГИЗ, 2007. - 408 с.
Нильсен М., Чанг И. Квантовые вычисления и квантовая информация / Пер. с англ. - М.: Мир, 2006. - 824 с.
Вöhm С., Jacopini G. Flow Diagrams, Turing Machine and Languages with only Two Formation Rules // Comm. ACM. 1968. V. 9. No. 2. P. 366-371.
Правильщиков П. А. О решении проблемы подготовки к измерению кунитов в регистре квантового компьютера // Информационные технологии в проектировании и производстве. 2016. № 3. С. 34-41.
Прескил Дж. Квантовая информация и квантовые вычисления. - Москва-Ижевск: ИКИ (НИЦ Регулярная и хаотическая динамика), 2008. С. 30.
- Купить
