Лингвистическое и программное обеспечение автоматизированного проектирования устройств, функционирующих на волновых и квантовых принципах

ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ
1 МЕТОДЫ И СРЕДСТВА АВТОМАТИЗАЦИИ ПРОЕКТИРОВАНИЯ КВАНТОВЫХ ЦЕПЕЙ
1.1 Фундаментальные основы и основополагающие принципы функционирования квантовых устройств. Ретроспективный взгляд на предметную область
1.2 Основные модельные представления. Квантовая цепь как объект проектирования
1.3 Обзор основных направлений исследования в области синтеза обратимой и квантовой логики
1.4 Принципы построения и примеры реализации систем проектирования квантовых устройств
1.5 Парадигма виртуальности на концептуальном этапе проектирования сред виртуальных инструментов У1сред САПР квантовых устройств
1.6 Выводы
2 АРХИТЕКТУРНЫЕ РЕШЕНИЯ И ПРИНЦИПЫ ПОСТРОЕНИЯ ПОДСИСТЕМЫ САПР
2.1 Краткое введение в основы квантовых вычислений
2.2 Квантовые преобразователи
2.2.1 Однокубитовые квантовые преобразователи
2.2.2 Управляемые условные преобразователи
2.2.3 Семейство преобразователей СЧМОТ.
2.2.4 Библиотеки квантовых преобразователей
2.3 Методы проектирования квантовой цепи
2.4 Преобразование РидаМадлера
2.5 Преобразование к ЛБСнотации
2.6 Архитектура подсистемы Ь4ЗСАЕ
2.7 Выводы
3 ЛИНГВИСТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ ПОДСИСТЕМЫ ГШдСАЭ. МЕТОДИКИ ФОРМИРОВАНИЯ МНОГОУРОВНЕВЫХ СПЕЦИФИКАЦИЙ
3.1 Рекурсивнолексическая методика расстановки квантовых преобразователей для задач автоматизированного проектирования
3.1.1 Лексический анализатор квантовых преобразований
3.1.2 Квантовое преобразование Фурье как символическая конструкция
3.1.3 Лексический анализ трассировки квантовых цепей для задачи перестановки сопряженных коэффициентов дСТ
3.2 Методика минимизации квантовых логических цепей
3.2.1 Критерии оценки квантовой цени
3.2.2 СБС оптимальный синтез квантовой логики
3.2.3 Шаблоны эквивалентных квантовых схем
3.3 Методика имитационного моделирования на реконфигурируемом клеточном автомате
3.3.1 Моделирование квантовой физики на клеточном автомате
3.3.2 Реконфигурируемые клеточные элементы для квантовых преобразователей
3.4 Выводы
4. ПРОГРАММНАЯ РЕАЛИЗАЦИЯ ПОДСИСТЕМЫ ЬШдСАЕ
4.1 Маршрут проектирования квантовой цепи
4.2 Интерфейсный модуль подсистемы БЫНдСАЕ
4.3 Информационный фонд подсистемы ГЬГЫдСАО
4.4 Процедуры генерации квантовых цепей
4.5 Процедура генерации квантовых цепей по ПРМ
4.6 Декомпозиция квантовой цепи в архитектуре близкого соседства
4.7 Обеспечение интероперабельности моделей квантовых цепей
4 .8 Процедура проверки корректности трассировки квантовых цепей
4.9 Процедура многопроходной минимизация квантовой цепи
4. Анализ результатов минимизации для контрольных квантовых цепей
4. Виртуальнокластерная архитектура клеточного автомата на плоскостной решетке РККА
4. Выводы
ЗАКЛЮЧЕНИЕ
СПИСОК ЛИТЕРАТУРЫ