УДК004:519.713
КВАНТОВЫЙ КОМПЬЮТИНГ ДЛЯ ПРОЕКТИРОВАНИЯ ЦИФРОВЫХ СИСТЕМ
ЛИТВИНОВА Е.И., ХАХАНОВ И.В._
Предлагается квантовый подход к проектированию цифровых устройств, который характеризуется использованием элементов памяти для реализации транзакционного взаимодействия всех компонентов операционного и управляющего автоматов, а также методами синтеза и анализа, основанными на суперпозиции кубит-векторных примитивов задания всех типов функциональностей, им-плементируемых в элементы памяти, что дает возможность существенно (2-3 раза) повысить быстродействие средств моделирования.
1. Современное определение компьютинга
Цель исследования - существенное уменьшение времени проектирования, верификации цифровых систем и повышение их качества за счет повышения быстродействия интерпретативного моделирования путем использования квантового подхода к синтезу структур данных и процессоров, обеспечивающих инновационные решения. Задачи исследования: 1) Современное определение компьютинга. 2) Перспективы квантового компьютинга. 3) Квантовые структуры данных. 4) Квантовое моделирование цифровых систем. 5) Примеры анализа фрагментов цифровых устройств.
Наиболее значимые рыночно-ориентированные инновации ученые делают путем использования модели компьютинга для мониторинга и управления процессами и явлениями во всех областях деятельности человека и природы. Подтверждением сказанному могут служить модные глобальные технологии и бренды, масштабирующие модели компьютинга: 1) Cyber-Physical Systems. 2) Internet of Things and Everything. 3) Veb-, Cloud-, Mobile-, Service-, Network-, Automotive-, Big Data-, and Quantum- computing. 4) Smart Objects and Infrastructure: Enterprise, University, City, and Government. Компьютинг
- замкнутая масштабируемая система мониторинга и управления процессами и явлениями для достижения поставленной цели. Развитие компьютинга имеетчетыре выраженных фазы: 1) Сингулярный компьютинг. 2) Сетевой компьютинг. 3) Глобальный компьютинг. 4) Киберфизический компьютинг.
2. Перспективы квантового компьютинга
Компьютер - память, в которой реализуются адресные транзакции (считывание-запись) данных. Вселенная как компьютер: гравитационно-структурированная материя
- память, на которой реализуются фотонные транзакции. Иначе, гравитационно-взаимодействующие материальные структуры способны принимать и испускать энергетические потоки квантов или фотонов. Электрон имеет квантовую неопределенность в пр актически одной точке физического и математического простран-
ства. В этом его уникальное преимущество. Получив фотон или квант, он приобретает более высокую орбиту, которую можно интерпретировать как единицу. Отдав фотон, он опускается на уровень ниже, что можно отождествить со значением нуля. Трудно придумать более компактный компьютер, чем тот, который использует для кодирования двоичных состояний энер-гетическийуровень электрона. Учитывая, что вся материя состоит из атомов, а значит - из электронов, человечество имеет возможность реализовать (квантовый) компьютер [1] в любой субстанции: жидкая, твердая, газообразная и плазменная. Плазменная реализация компьютера является более предпочтительной, поскольку здесь имеют место в чистом виде облака свободных электронов, отделенных от атомов, которые следует структурировать в пространственно-устойчивую вычислительную среду. Здесь бы пригодился базон Хиггса. Относительно трех других субстанций проблема заключается в том, чтобы научиться в реальном времени и достаточно быстро выращивать компьютеры из атомов, используя алгоритмы на основе безотходной технологии. Масштабируемость выращиваемых компьютеров предоставляет возможность изготавливать для рынка нано-компьютеры в размере клетки и супервычислители для массовых параллельных транзакций в киберпространстве больших данных. Это наше недалекое будущее. Однако уже сегодня можно и нужно использовать преимущества квантового компьютинга [2] в классических вычислителях. В этом случае неопределенность будет представлена двумя битами или двумя точками физического пространства. Идеальной демонстрацией изоморфизма "квантовых" структур данных и квантовых обозначений механики Дирака является алфавит и алгебра Кантора. В последней символы алфавита А = {0, 1, X = {0,1}, и} кодируются двоичными векторами (10, 01, 11, 00) соответственно. Свойство перепутывания отождествляется с неопределенностью состояния Х, которое задает в математической точке пространства одновременное существование 0 и 1. Свойство суперпозиции связано с выполнением операции дизъюнкции над символами алфавита Кантора или его кодами. Свойство параллелизма основано на выполнении регистровых операций (И, ИЛИ, НЕ) над квантовыми структурами данных. Свойство осведомленности (телепортации) использует операцию отрицания или инверсии, когда каждое из двух состояний знает друг о друге все и на любом расстоянии. Существует изоморфизм между квантовой механикой Дирака и алгеброй Кантора, которая имеет символ двоичной неопределенности. Наряду с совершенствованием технологии исполнения квантового компьютера, необходимо параллельно разрабатывать новые квантовые подходы программирования затратных алгоритмов для решения оптимизационных задач.
3. Квантовые структуры данных
Кубит (и-кубит) [3] это векторная форма унитарного кодирования универсума из и примитивов для задания
булеана состояний 22n с помощью 2n двоичных переменных. Например, если n=2, то 2-кубит задает 16 состояний с помощью четырех переменных. Если n= 1, то кубит задает четыре состояния на универсуме из двух примитивов (10) и (01) с помощью двух двоичных переменных (00,01,10,11) [1,10]. При этом допускается суперпозиция (одновременное существование) в векторе 2n состояний, обозначенных примитивами. Кубит (n-кубит) дает возможность использовать параллельные логические операции квантового процессора вместо поэлементных теоретико-множественных для существенного ускорения процессов анализа цифровых проектов. Квантовый процессор может быть любой конечной размерности: вектор, матрица, куб. Для структуры, содержащей два измерения, он представлен матрицей столбцов или Q-векторов, которые формируют соответствующие им ячейки М-вектора моделирования (рис. 1). Вектор М, совместно с Х-вектором кортежей входных переменных примитивов создает структуру взаимных связей между столбцами-элементами. Адрес ячейки Q-покрытия, формирующей состояние невходного i-разряда М-вектора, определяется содержимым ячеек М-вектора, найденным по адресам, заданным i-кортежем вектора входных переменных. Каждый вектор Qi, равно как и кортеж Xi вектора номеров входных линий, имеет адресную связь с Mi-ячейкой вектора моделирования. Квантовый процессор может входить компонентом в состав более сложной системы. Квантовая модель процессора имеет следующую структуру.
В аналитической модели W (см. рис. 1) представлены [4]: 1) Упорядоченная адресно-доступная Q-совокуп-ность квантовых примитивов, формирующих функциональность системы. 2) Вектор моделирования M, связывающий все примитивы в единую систему на основе идентификации эквипотенциальных линий, которые создают формат из существенных переменных: входных, внутренних и выходных. 3) Вектор X кортежей упорядоченных номеров входных переменных для каждого квантового примитива, которые формируют адреса доступа к ячейкам Q-векторов примитивов. Вектор количества входных переменных
примитива |х| формирует адресное пространство или длину каждого Q-покрытия.
Аксиомы квантового (only memory-based) процессора [5-7]: 1) В квантовом процессоре нет ничего, кроме адресуемой памяти. 2) Вычислительный процесс представлен единственной универсальной транзакцией между адресуемыми компонентами памяти Mi = Qi[M(Xi)]. 3) Транзакция есть универсальная процедура считывания-записи данных на непустом множестве адресуемых элементов памяти. 4) Все компоненты памяти являются online-repaired, благодаря их адресной связности. 5) Комбинационные логические элементы (reusable logic), равно как и последовательностью (sequential components), исполняются на элементах памяти. 6) Связывание всех компонентов в
вычислительную систему осуществляется посредством (цифровой) идентификации псевдо-гальвани-ческих соединений вход-выходных переменных компонентов схемы, формирующих вектор моделирования, который хранит состояния всех существенных линий цифровой системы. 7) Все компоненты квантовой модели цифровой системы: W=<Q,M,X>, включая функциональные модули, вектор моделирования, вектор адресов входных переменных, являются online перепрограммируемыми, а значит - online ремонтопригодными. 8) Примитив цифровой системы имеет формат W=<Q,Y,X>, поскольку отдельный элемент не имеет связей и вектора М, создающих из отдельных компонентов систему.
W (( Q, M,X (, Q((Qi,Q2,...,QP...,QnX Q, ((Qii, Qi2, ,Qij,.. ,Qiki);
M( (M1,M2,...,Mi,...,Mn); X( (Xi,X2,...,Xb...,Xn), Xi ( (X1i,X12,...,X1J,...,Xlmi);
Mi ( Qi[M(Xi)]; ki ( 2mi
Рис. 1. Схема, кубитные структуры данных и модель квантового процессора
4. Квантовое моделирование цифровых систем
Использует memory-based only модели для адресного анализа цифровых систем в целях их верификации.
Реализация таких структур связана с ячейками памяти (LUT (Look Up Table) FPGA), которые способны хранить информацию в виде Q-вектора, где каждый бит или разряд имеет свой адрес, отождествляемый с входным словом. Программная реализация алгоритма моделирования таких структур становится конкурентоспособной по быстродействию на рынке проектирования цифровых систем на кристаллах за счет адресации функциональных примитивов. Одномерный Q-вектор описания функциональности можно привязать к выходной (внутренней) линии устройства, состояние которой формируется в процессе моделирования рассматриваемого Q-по-крытия. Тогда регистровая реализация комбинационно -го устройства может быть представлена вектором моделирования М, невходные линии которого непосредственно связаны с выходами функциональных элементов. Упорядоченные значения входных переменных задают адрес бита Q-вектора, формирующего состояние рассматриваемой невходной линии. Если функциональности описываются одновыходовыми примитивами, то каждый из них можно отождествить с номером или координатой невходной линии, на которую нагружен данныйэлемент. Если функциональность многовыходо-вая, то Q-покрытие представляется матрицей с числом строк, равным числу выходов. Э ффект от такого примитива заключается в параллелизме одновременного вычисления состояний нескольких выходов за одно обращение к матрице по текущему адресу. Данное обстоятельство является существенным аргументом в пользу синтеза обобщенных кубитов для фрагментов цифрового устройства или всей схемы в целях их параллельной обработки на одном временном такте. Модель функционирования цифровой структуры упрощается до вычисления двух адресов при формировании вектора моделирования M i = Qi[M(Xi)] путем исключения сложного адреса выхода примитива в процессе записи состояний выходов в координаты М-вектора. Алгоритм моделирования квантовых примитивов цифровой схемы представлен на рис. 2 [8].
0) Инициирование начальныхусловий и параметров. 1) Задание очередного наборадвоичных состояний на входных координатах вектора моделирования. 2) Определение i-номера очередного обрабатываемого примитива путем выполнения операции инкрементирования. 3) Выполнение процедуры конкатенации состояний битов M-вектора, соответствующих номерам вектора входных переменных Xi. Считывание соответствующего бита из кубит-покрытия Qi по двоичному вектор-адресу скон-катенированных битов M-вектора. Занесение считанного из кубита бита в вектор моделирования M по адресу i. (M-вектор может иметь координаты с символами X, что дает возможность выполнять троичное моделирование цифровых устройств для решения задач тестирования и верификации.) 4) Если не все примитивы обработаны i<n, выполняется переход к пункту 2 алгоритма. 5) Если не все входные наборы обработаны t<m, выполняется переход к пункту 1. 6) Конец моделирования.
На рис. 2 представлена схема с триггерами и комбинационной логикой, которая также описана в виде элемен-
тов памяти, куда занесены выходные состояния таблицы истинности каждого логического элемента. Структуры данных, необходимые для моделирования цифрового устройства, сведены в таблицу, где основными компонентами являются: М - вектор моделирования или состояния занумерованных линий, который в данном случае имеет 5 входных, 6 внутренних и выходных линий, состояния которых подлежат определению; Х -вектор кортежей номеров входных линий примитивов, которые необходимы для формирования адреса в целях извлечения по нему состояния выхода элемента Qi, функциональность которого задается Q-вектором. Все примитивы схемы должны быть упорядочены по принципу: очередной элемент анализируется, если все предшественники для него были обработаны.
L 1 2 3 4 5 6 7 8 9 10 11
M 0 0 111 10 111 1
X 2 1 6 7 10 11 3 6 4 8 7 9 .... 9 8
Q 0 0 0 0 1 0 10 0 11 1 10 0 11 0 0 1111 0 .... 0 0 .... 0 1 .... 0 1 .... 1 1
Рис. 2. Алгоритм моделирования и пример цифровой схемы с триггерами
В процессе моделирования адресно-извлеченное состояние ячейки текущего Q-покрытия заносится в разряд Mi вектора моделирования. Результаты после-
довательной обработки всех Q-векторов схемной структуры формируют состояния линий М-вектора для приведенного выше примера ячейки (6 - 11). Первоначальные состояния неопределенностей на псевдовходах функциональных примитивов доопределяются сигналами нуля или единицы в зависимости от внутренней технологической культуры компании, предоставляющей промышленные средства моделирования и верификации. Количество входных переменных примитива q связано с длиной Q-вектора
соотношением: card(Q) ( 2q. Правильность работы алгоритма моделирования была верифицирована на тестовых и реальных схемах с привлечением средств Active HDL 9.1 (Aldec Inc.). Особенность структурно-функционального задания цифровой системы заключается в представлении всех примитивов элементами памяти, куда записываются Q-векторы выходных состояний. Выводы: 1) Любые структурные компоненты вычислительных устройств, комбинационные и/или последовательностные, а также системы в целом можно описывать кубитными Q-векторами и реализовы-вать в элементах памяти FPGA, CPLD или VLSI. 2) Memory-based интерпретативное адресно-ориентированное моделирование комбинационных и последо-вательностных примитивов цифровых устройств становится соизмеримым по быстродействию с компилятивным анализом дискретных объектов.
5. Заключение
Предложен квантовый подход к проектированию цифровых устройств, который характеризуется: 1) Использованием элементов памяти для реализации тр ан-закционного взаимодействия всех компонентов операционного и управляющего автоматов. 2) Методами синтеза и анализа, основанными на суперпозиции кубит-векторных примитивов задания всех типов фун-кциональностей, имплементируемых в элементы памяти, что дает возможность существенно (в 2-3 раза) повысить быстродействие средств моделирования. Практическая значимость квантового синтеза и анализа цифровых систем: 1) Реализация процессора только на основе использования элементов памяти делает возможным ремонт в режиме online за счет применения на кристалле универсальных адресуемых spare-компонентов памяти. 2) Имплементация квантовых only memory-based моделей описания цифровых компонентов и систем непосредственно связана с увеличением выхода годной продукции, повышением надежности вычислительных изделий, снижением стоимости проектирования и изготовления, автономным online восстановлением работоспособности без участия человека [9,10].
Литература: 1. Stenholm Stig, Kalle-Antti Suominen. Quantum approach to informatics. John Wiley & Sons, Inc. 2005. 249p. 2. ЛитвиноваЕ.И., ХахановИ.В., Сергиенко В. Синтез и анализ «квантовых» моделей цифровых систем // АСУ и приборы автоматики. 2015. Вып. 172. С. 56-70. 3. Hahanov V.I., Wajeb Gharibi, LitvinovaE.I., Shkil A.S. Qubit data structure of computing devices // Electronic modeling.
№ 1. 2015. P.76-99. 4.Hahanov V.I., Tamer Bani Amer, Chumachenko S. V., Litvinova E.I. Qubit technology analysis and diagnosis of digital devices. "Electronic modeling." Volume 37, №2 3. 2015. P. 17-40. 5.VladimirHahanov, Tamer Bani Amer, Ivan Hahanov. MQT-model for Virtual Computer Design // Microtechnology and Thermal Problems in Electronics. 2015. P. 182-185. 6. Ivan Hahanov, Tamer, Irina Hahanova, Sergey Dementiev. Automaton MQT-model for Virtual Computer Design. CADSM, Polyana, Ukraine. 2015. P.27-31. 7. Хаханов В.И., Обризан В.И., Зайченко С.А., Хаханов И.В. MQT-автомат для анализа больших данных // АСУ и приборы автоматики. Вып. 168. 2014. С. 64-72. 8.Хаханов В.И., Зайченко С.А., Мищенко А.С., Хаханов И.В. Процессорные структуры для анализа Big Data // АСУ и приборы автоматики. Вып.169. 2014. С. 4-15. 9.Wajeb Gharibi, Vladimir Hahanov, Eugenia Litvinova, Ivan Hahanov. «Quantum» Structures for Digital Systems Synthesis // IEEE East-West Design & Test Symposium. Batumi. 2015. P. 115-122. 10. Vladimir Hahanov, Igor Yemelyanov, Volodymyr Obrizan, Ivan Hahanov. "Quantum" Diagnosis and Simulation of SoC // Xlth Intern. Conf. MEMSTECH-2015. P. 58-60.
Транслитерированный список литературы: 1. Stenholm Stig, Kalle-Antti Suominen. Quantum approach to informatics. John Wiley & Sons, Inc. 2005. 249p. 2. Litvinova E.I., Hahanov I.V., Sergienko V. Sintez i analiz «kvantovyh» modeleJ cifrovyh sistem // ASU i pribory avtomatiki. Vyp. 172. 2015. S. 56-70. 3. Hahanov V.I., Wajeb Gharibi, Litvinova E.I., Shkil A.S. Qubit data structure of computing devices // Electronic modeling. № 1. 2015. P.76-99. 4. Hahanov V.I., Tamer Bani Amer, Chumachenko S.V., Litvinova E.I. Qubit technology analysis and diagnosis of digital devices. "Electronic modeling." Vol. 37, № 3. 2015. P. 17-40. 5.Vladimir Hahanov, Tamer Bani Amer, Ivan Hahanov. MQT-model for Virtual Computer Design // Microtechnology and Thermal Problems in Electronics. 2015. P. 182-185. 6. Ivan Hahanov, TamerBani Amer, Irina Hahanova, Sergey Dementiev. Automaton MQT-model for Virtual Computer Design. CADSM, Polyana, Ukraine. 2015. P.27-31. 7. Hahanov V.I., Obrizan V.I., Zajchenko S.A., Hahanov I.V. MQT-avtomat dlJa analiza bol'shih dannyh // ASU i pribory avtomatiki. Vyp. 168. 2014. S. 64-72. 8.Hahanov V.I., Zajchenko S.A., Mishhenko A.S., Hahanov I.V. Processornye struktury dlJa analiza Big Data / / ASU i pribory avtomatiki. №.169. 2014. S. 4-15. 9.Wajeb Gharibi, Vladimir Hahanov, Eugenia Litvinova, Ivan Hahanov. «Quantum» Structures for Digital Systems Synthesis // IEEE East-West Design & Test Symposium. Batumi. 2015. P. 115-122. 10. Vladimir Hahanov, Igor Yemelyanov, Volodymyr Obrizan, Ivan Hahanov. "Quantum" Diagnosis and Simulation of SoC // Xlth Intern. Conf. MEMSTECH-2015. P. 58-60.
Поступила в редколлегию 10.12.2015
Литвинова Евгения Ивановна, д-р техн. наук, профессор кафедры АПВТ ХНУРЭ. Научные интересы: техническая диагностика цифровых систем, сетей и программных продуктов. Адрес: Украина, 61166, Харьков, пр. Ленина, 14, тел. +380 57 70-21-326. E-mail: kiu@kture.kharkov.ua.
Хаханов Иван Владимирович, студент факультета компьютерной инженерии и управления ХНУРЭ. Научные интересы: техническая диагностика цифровых систем, программирование. Увлечения: горные лыжи, английский язык. Адрес: Украина, 61166, Харьков, пр. Ленина, 14, тел. +380 57 70-21-326.