Введение
1. Глава 1. Концептуализация предметной области VI-среды 15
1.1. Нанотехнологии: квантовые автоматные среды 16
1.2. Место и роль научно-технической парадигмы в проектной деятельности по созданию принципиально новых образцов новой техники и технологий. Парадигма виртуальности 18
1.3. Квантовый объект информации и представляющая его семиотическая система 24
1.4. Волновая функция Шредингера как описание потенциальных возможностей в пространстве принятия решений с применением квантовой логики 28
1.5. Концептуальный этап моделирования 33
1.6. Выводы 39
2. Глава 2. Теоретико-модельная семантика языка спецификаций квантовых информационных процессов 42
2.1. Основания 42
2.2. Предмет теории комплементарного проектирования 46 /
2.3. Представление предметной области САПР при семиотическом подходе ... 53
2.4. Нотация для формального аппарата теории квантовых вычислительных цепей 56
2.4.1. Квантовый (векторный) бит 57
2.4.2. Представление операций 61
2.4.3. Представление бифуркаций в развитии процессов 62
2.5. Схема использования теории при виртуализации 63
2.6. Физика вычислительного квантового процесса 66
2.7. Логика физического квантового процесса 72
2.8. Арифметика квантового объекта 76
2.9. Выводы 85
3. Глава 3. Архитектура VI-среды 88
3.1. Архитектурные принципы VI-среды 89
3.2. Функциональное описание состава и работы VI-среды 97
3.3. Обслуживание арифметических операций (суммирование, умножение и деление) надр-адическим представлением в VI-среде 106
3.4. Адаптация VI-среды для преобразования Фурье 120
3.5. Описание асинхронного функционирования на основе темпоральной логики 125
3.6. Виртуальность на физическом уровне ресурсного обеспечения 127
3.7. Оценка качества проектирования многократно используемого ПО 132
3.8. Выводы 136
4. Глава 4. Проектирование квантовых цепей 139
4.1. Общая постановка задачи 139
4.2. Переход к векторной величине на примере оператора «НЕ» 140
4.3. Многоуровневое представление спецификаций квантового объекта-цепи . 142
4.4. Основные понятия квантовой цепи 150
4.4.1. Представление операций в векторной логике - логические однокубитовые преобразователи 150
4.4.2. Описание «контролируемые сдвиги» 154
4.4.3. Представление динамики развития процессов 155
4.4.4. Декомпозиция унитарных матриц 156
4.4.5. Описание базовых преобразователей и их графические нотации 160
4.5. Примеры проектирования квантовых цепей (преобразование Фурье) 161
4.6. Получения сопряженных значений для КБПФ 165
4.7. Декомпозиция квантовой цепи в архитектуре близкого соседства 165
4.8. Выводы 173
Заключение 174
Список литературы
