Необходимо зарегистрироваться, чтобы получить доступ к полным текстам статей и выпусков журналов!
- Название статьи
- РЕШЕНИЕ БУЛЕВЫХ УРАВНЕНИЙ НА ПЛАТФОРМЕ ПРОЦЕССОРА-УСКОРИТЕЛЯ С НОВЫМ МЕХАНИЗМОМ КВАНТОВОГО ПАРАЛЛЕЛИЗМА
- Авторы
- Правильщиков Павел Алексеевич pavelp@ipu.ru, канд. техн. наук; ведущий научный сотрудник, Федеральное государственное бюджетное учреждение науки "Институт проблем управления им. В. А. Трапезникова РАН", Москва, Россия
- В разделе
- ИННОВАЦИОННЫЕ ТЕХНОЛОГИИ РЕШЕНИЯ ЗАДАЧ ПРОЕКТИРОВАНИЯ, МОДЕЛИРОВАНИЯ И ПРОИЗВОДСТВА
- Ключевые слова
- квантовые процессоры-ускорители / квантовые алгоритмы / кубиты / кутриты / куквадриты / куниты / матричное D-исчисление / SAT-задача
- Год
- 2019 номер журнала 4 Страницы 38 - 46
- Индекс УДК
- 004.38+004.9
- Код EDN
- Код DOI
- Тип статьи
- Научная статья
- Аннотация
- Излагается решение булевых уравнений с использованием квантовых D-алгоритмов, функционирующих на платформе квантового процессора-ускорителя (КвУ) с новым механизмом квантового параллелизма . Чтобы избежать громоздких и ненужных подробностей, вместо процессора-ускорителя рассматривается его вычислительная модель в виде квантового генератора тестов (КГТ) . При описании квантовых D-алгоритмов (QD-алгоритмов) используются физические и математические основания КГТ с новым механизмом квантового параллелизма.
- Полный текст статьи
- Для прочтения полного текста необходимо купить статью
- Список цитируемой литературы
-
Правильщиков П. А. Новый механизм квантового параллелизма и его физические и математические основания // Информационные технологии в проектировании и производстве. 2017. № 3. С. 15-26.
Правильщиков П. А. Теоретико-множественные основания новой модели вычислений - квантового генератора тестов // Информационные технологии в проектировании и производстве. 2017. № 3. С. 20-28.
Правильщиков П. А. Использование квантовых компьютеров и квантовых ускорителей в информационных технологиях // Информационные технологии в проектировании и производстве. 2016. № 2. С. 3-12.
Правильщиков П. А. Использование квантовых алгоритмов в информационных технологиях и задачах управления (Обзор) // Информационные технологии в проектировании и производстве. 2016. № 2. С. 13-22.
Правильщиков П. А. Новая квантовая математика: матричное исчисление кубических комплексов и квантовые D-алгоритмы // Информационные технологии в проектировании и производстве. 2017. № 2. С. 21-32.
Дойч Д. Структура реальности. (The Fabric of Reality). - М.-Ижевск: РХД.2001. ISBN 5-93972-040-4
Ильин В. В. Критерии научности знания. - М.: Высш. школа, 1989. - 128 с.
Правильщиков П. А. Симметрия диагностического лабиринта и закон сохранения перебора // Оборонный комплекс - научно-техническому прогрессу России. - М.: НТЦ "Информтехника". 1996. № 3. С. 38-52.
Правильщиков П. А. Закон сохранения перебора и естественный параллелизм D-алгоритмов для построения тестов и моделирования в технической диагностике // Автоматика и телемеханика. 2004. № 7. С. 156-199.
Правильщиков П. А. "Физическая" теорема Нетер в фотонике и computer science (Часть I) // Прикладная физика. 2005. № 6. С. 144-154.
Правильщиков П. А. "Физическая" теорема Нетер в фотонике и computer science (Часть II) // Прикладная физика. 2006. № 1. С. 95-109.
Cook S. The complexity of theorem-proving procedures: Conference Record of Third Annual ACM Symposium on Theory of Computing. 1971. P. 151-158.
Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи. - М.: Мир, 1982. - 584 с.
Пападимитриу Х., Стайглиц К. Комбинаторная оптимизация. Алгоритмы и сложность. - М.: Мир, 1985. -512 с.
Крупский В. Н. Введение в сложность вычислений. - М.: Факториал пресс. 2006. - 128 с.
Roth J. P. Diagnosis of automata failures: a calculus and method // IBM Journal of Research and Development. 1966. No. 7. P. 18-32.
Правильщиков П. А. Построение тестов для программ // Автоматика и телемеханика. 1977. № 5. С. 147-160.
Подольский С. Я., Правильщиков П. А. Моделирование и диагностирование аналоговых БИС // Вопросы оборонной техники", 8-я серия, вып. 4 (64), 1989. С. 29-33.
Правильщиков П. А. Фундаментальные проблемы управления и гипервычисления: тр. пятой межд. конф. "Параллельные вычисления и проблемы управления". - М.: Институт проблем управления. 26-28 октября 2010. - 1235 с. С. 709-757. ISBN 978-5-91450-064-8.
Нильсен М., Чанг И. Квантовые вычисления и квантовая информация: Пер. с англ.- М.: Мир, 2006. - 824 с.
Правильщиков П. А. Теоретико-множественные основания новой модели вычислений - квантового генератора тестов // Информационные технологии в проектировании и производстве. 2016. № 3. С. 14-24.
Ord T. Hypercomputation: computing more than the Turing machine / The Proc. of University of Melbourne. 2002. URL: http://www.hypercomputation.net/download/2002a_ord.pdf
Ord T. The many forms of hypercomputation // Applied Mathematics and Computation. 2006. V. 178. P. 143-153. URL: http://www.amirrorclear.net/academic/papers/many-forms.pdf
Кайе Ф., Лафламм Р., Моска М. Введение в квантовые вычисления. - М.-Ижевск: НИЦ "Регулярная и хаотическая динамика", Институт компьютерных исследований, 2009. - 360 с.
Перри Р. Элементарное введение в квантовые вычисления. Пер. с англ.: учеб. пособие. - Долгопрудный: Издательский Дом "Интеллект", 2015. - 208 с.
- Купить
- 500.00 руб