Оптические вычисления - Арратуна Р.
Скачать (прямая ссылка):
удовлетворяющих требованиям к значениям экстинкции и, возможно, к уровню
эффектов выбеливания. Однако в этом случае необходимо дополнительное
понимание физики этого устройства.
За исключением квантоворазмерных структур, были созданы основные принципы
и варианты этих устройств в уменьшенных масштабах. Основная задача
остается в усовершенствовании конструкций устройств, повышении качества
материалов и создании больших одно- и двумерных матриц. К сожалению,
материалы и технология изготовления GaAs и AlGaAs находятся на низком
уровне развития по сравнению с* кремнием и
112
Часть f. Пространственные модуляторы света
это является главным препятствием для технологии описанных выше
устройств. Недавний всплеск интереса к интегральным схемам на GaAs дает
надежды на то, что однажды появятся матрицы детекторов со сверхвысокой
степенью интеграции и ПМС, созданные на основе ПЗС-структур.
В доказательство этого следует заметить, что недавно были
продемонстрированы ПЗС-пространственные модуляторы света, использующие
квантоворазмерные GaAs/AlGaAs и GaAs/InGaAs структуры [2, 12, 21].
Часть II
МНОГОЗНАЧНАЯ И ПОРОГОВАЯ ЛОГИКА
Глава 4 МНОГОЗНАЧНАЯ ЛОГИКА В ОПТИЧЕСКИХ ВЫЧИСЛЕНИЯХ
М. Коннер, Д. Эйхманн, Отделение электротехники,
Городской колледж Университета г. Нью-Йорка,
Нью-Йорк, шт. Нью-Йорк
4.1. Введение
Здравый смысл подсказывает, что очень трудно создать оптическую
аналоговую вычислительную систему с динамическим диапазоном, намного
большим чем 30 дБ. Следовательно, поиск ведется в области дискретных
систем, где сигналы задаются числами, а количество разрядов числа
определяет динамический диапазон системы. Таким образом, динамический
диапазон системы полностью зависит от воли разработчика. Наиболее широко
распространенным основанием таких численных представлений, несомненно,
является цифра два, приводящая к разработке двоичной логики.
Двоичная логика, по крайней мере в области электроники, имеет длинную
историю и возникла из двоичных свойств реле. Реле - это элемент, который
либо открыт, либо закрыт. Наиболее широко используемые электронные
устройства, такие как вакуумные трубки, транзисторы и т. д., также имеют
два четко определенных состояния: выключенное и насыщенное. Логика на
основе насыщающихся элементов работала достаточно хорошо. Однако вскоре
было обнаружено, что использование этих элементов ограничивает
быстродействие систем. Результатом данного обстоятельства явилось
возникновение логических схем с эмиттерными связями. И как только
появилось желание отказаться от насыщающихся логических элементов с
характерными для них защищенностью от шума и простотой конструкции ради
достижения более высокого быстродействия, то, естественно, возник вопрос:
"А почему бы заодно не отделаться и от двоичного кода?". Ответ в данном
случае определялся двумя соображениями, во-первых, тем, что при заданном
динамическом диапазоне двоичная логика наименее восприимчива к шуму, и,
во-вторых, приверженностью к традициям. Ведь это очень привычно -
конструировать схемы на основе двоичных элементов. Однако с появлением
оптических вычислений с этой традицией приходится порывать, поскольку
теперь логические операции строятся на иной основе, нежели электрический
ток ц напряжение. Вместо этого для проведения вычислений изу-
8-1254
114
Часть II. Многозначная и пороговая логика
чают возможности новых физических явлений. Когда обсуждаются оптические
дискретные системы, то многозначная логика, чьи логические компоненты
представляют собой многочисленные значения входных и выходных элементов
вместо только двух, должна рассматриваться как реальная альтернатива
обычной двоичной логике. Цель данной главы состоит в том, чтобы начать
диалог об эффективности многозначных оптических логических систем.
При разработке любой логической схемы первоочередной задачей является
выбор логических элементов, которые следует использовать. Так, например,
может быть использован ряд канонических двоичных множеств логических
элементов. Чтобы сделать наше обсуждение условий вхождения логического
элемента в каноническую систему более живым, в разд. 4.2 дано краткое
описание проблемы полноты двоичной логики. Этот вопрос, обобщенный до
представлений о полноте многозначной логики, является решающим при
определении, когда группа оптических явлений может рассматриваться как
часть канонического множества оптических логических элементов. В разд.
4.3 описан специфический пример многозначной логической системы,
обладающей слабой полнотой,- системы счисления в остаточных классах
(ССОК). Еще совсем недавно алгебра ССОК рассматривалась применительно к
арифметическим вычислениям в остаточных классах. По вопросу оптической
реализации различных операций в ССОК имеется большое число публикаций,
обзор которых сделан в разд. 4.4. Оптические элементы могут образовывать
стандартные блоки оптической многозначной логической схемы. В
заключительном, в значительной мере техническом разделе описаны некоторые
