20.8. Трение и прилипание
Давайте попробуем определить характерные особенности интересующих нас сверхмалых устройств. Прежде всего бросается в глаза, что их малые размеры и ничтожный вес позволяют развернуть производство в огромных количествах экземпляров. Стоимость материала в таких процессах становится совершенно несущественной, так что фактическая цена изделия зависит лишь от расходов на производство деталей и их сборку.
С другой стороны, весьма важно, что свойства микроскопических частиц существенно отличаются от свойств тех же материалов в объемной форме, поэтому, например, две особо чистые частицы металла могут просто слипнуться под воздействием сил молекулярного притяжения, в результате чего детали создаваемого механизма не смогут свободно двигаться из-за непомерно возросшего трения. Конечно, нам придется в этом случае придумывать особые методы борьбы с трением (например, покрывать металлические частицы оксидным слоем или наносить на них специальные вещества, играющие роль смазки), но такие действия, естественно, будут усложнять технологию и создавать новые проблемы.
В целостных объектах силы притяжения и трения отсутствуют, однако и в этом случае могут возникать неожиданные проблемы. Например, любые детали в микроскопическом устройстве могут «трястись» под воздействием броуновского движения до тех пор, пока вся молекулярная «конструкция» не выработает единого характера поведения, что может создавать какие-то дополнительные возможности для практического изготовления и применения таких систем.
Должен признаться, что я никак не могу выработать собственного отношения к проблеме микроскопических машин. Мне самому они кажутся очень интересными и привлекательными, но я несколько устал думать о них и с нетерпением жду, когда кто-либо найдет им, наконец, возможности полезного и эффективного применения. Как только микроустройства станут реально использоваться в промышленности, ученые и инженеры обратят на них серьезное внимание и приступят к решению множества интересных научно-технических задач.
20.9. Вычисления с использованием атомов
А теперь поговорим о возможностях создания сверхминиатюрной вычислительной техники. Со времен лекции 1959 года эта область стремительно развивалась, так что возникла совершенно новая ситуация, и я буду обсуждать только новейшие достижения и перспективы развития. Давайте спросим себя, что нам необходимо для создания компьютера?
Собственно говоря, любое вычислительное устройство всего лишь должно уметь обращаться с числами, то есть воспринимать числа в какой-то записи, обрабатывать их и выдавать ответ в считываемом виде. Поэтому первейшей задачей выступает сама возможность как-то записывать числа!
Новейшие достижения науки дают нам возможность воспользоваться для записи самыми крошечными из известных нам объектов – атомами! Напомню, что проще всего записывать числа в двоичной системе, пользуясь всего двумя числами (обозначающими ноль и единицу), так что любое число может представлено в виде N разрядов двоичной системы. Поведение атомно-молекулярных объектов определяется законами квантовой механики, для которой характерна дискретность значений параметров. Это обстоятельство исключительно удобно для решения поставленным задач, так как эти системы могут находиться в двух разных состояниях (в действительности число таких состояний может быть очень большим, но для вычислительной математики вполне достаточно наличия даже двух четко выраженных разных состояний). В качестве простейших примеров укажу, что спин атома может иметь два противоположных направления (вверх/вниз), молекула аммиака – два основных энергетических состояния (высокое/низкое) и т. п. Короче говоря, в микромире всегда можно найти удобные для использования структуры с двумя характерными состояниями, что вполне достаточно для записи чисел и создания вычислительных систем. Например, вы можете принять, что атом в возбужденном спиновом состоянии (спин направлен вверх) соответствует числу 1 (единице), а атом с направленным вниз спином – числу 0 (нулю). Это означает, что я могу записать любое число, затратив на это столько атомов, сколько разрядов содержит его обозначение в двоичном коде. Запись будет иметь вид цепочки атомов с направленными вверх и вниз атомами (означающими 1 или 0 соответственно). Учитывая малые размеры атомов, для такой записи мне понадобится лишь совершенно ничтожное количество вещества!
20.10. Обратимость вычислительных и управляющих процессов
Далее, нам необходимо решить проблему обработки и вычислений на основе записанных таким образом чисел. Каким образом это можно осуществить на уровне атомов? Вы все знаете, что для «обработки» чисел в компьютерах используется лишь небольшое число операций и разных типов элементов, а сложность действия достигается математиками за счет использования очень большого числа элементов и комбинирования их действий.
Проблема осложняется тем, что мы привыкли рассуждать о работе компьютеров на примере электрических схем и устройств типа транзисторов, к которым по входным и выходным проводам подаются сигналы в виде импульсов напряжения (в простейшем случае наличие импульса означает число 1, а его отсутствие – число 0). Такие схемы не похожи на рассматриваемые нами атомы в разных квантовых состояниях, но эта разница в действительности является несущественной, что я покажу на основе анализа работы простейших вычислительных сетей (Фейнман рисует на доске простую схему с двумя входами и одним выходом). Вот в качестве примера схема AND, с двумя входами (А и В) и одним выходом С, используемая для логического сложения. Наличие сигнала на входящих и исходящей линии означает число 1, а его отсутствие – число 0. Работа такой схемы сводится к тому, что при сигналах 1 на обоих входах она подает на выходе сигнал 1, а при отсутствии сигнала на одном или обоих каналах – сигнал 0. Такое поведение соответствует логическому сложению, вследствие чего ее называют обычно схемой совпадения. Такой системе соответствует структура простейшего транзистора.
Для проведения вычислений принципиально нужна еще небольшая схема NOT (схема отрицания, с одним входом и одним выходом), изменяющая значение сигнала на обратное (то есть при сигнале 1 на входе вы получаете на выходе 0, и наоборот). Удивительно, но этих двух типов простеньких схем практически достаточно для создания компьютера, поскольку их сочетания позволяют создать много новых вычислительных элементов. Например, их комбинация (NOT + AND) дает схему NAND (отрицание + совпадение), когда выходной сигнал 0 соответствует двум сигналам 1 на входах, а выходной сигнал 1 возникает в тех случаях, когда хоть один из входных сигналов не равен 1. Комбинируя такие схемы и соединяя их по определенным правилам, можно смонтировать компьютер, способный осуществлять практически любые вычисления.
Основным препятствием при создании атомарно-молекулярных аналогов вычислительных устройств выступает то, что поведение атомов описывается законами не классической, а квантовой механики, и это каким-то образом должно быть учтено. Все знают, что я люблю квантовую механику, так что мне приятно рассказать о том, как можно построить квантовый компьютер (непосредственно из атомов!) вместо привычных всем устройств на основе законов классической физики.
На первый взгляд кажется странным, что мы можем создать атомарную схему AND, сформировать схему NAND и вообще организовать вычислительный процесс. Я поясню, в чем состоит сложность на уровне общих рассуждений. Вы имеете только два входа и один выход, поэтому, получив на выходе сигнал 0, не можете определить, какие сигналы пришли по входным каналам. Иными словами, процесс работы схемы является необратимым. Я подчеркиваю этот факт, так как законы атомной физики, как известно, являются обратимыми (точнее говоря, эти законы обладают микроскопической обратимостью). Из этого следует, что вы не только обязаны пользоваться обратимыми законами при описании любых атомарных процессов, но просто обязаны применять обратимые атомарные устройства, схемы и «вентили».
Этой проблемой в фирме IBM занимались Беннет, Фредкин и Тоффоли, которые пытались понять, насколько проблемы вычислительной техники связаны с обратимостью процессов, устройств и схем. Выяснилось (и это кажется чудом!), что необратимость не является существенным фактором при проведении вычислений, что и позволило нам создавать вычислительные машины.
Вы можете сделать схему обратимой простым приемом, который выглядит «жульничеством», но позволяет решить поставленную задачу (Фейнман рисует схему с двумя входами и тремя выходами). Предположим, что схема по-прежнему имеет два входа и лишь один выход, но мы можем добавить еще два выхода, как я нарисовал только что. Два выходных канала (А и В) мы просто направим на вход (создав с уже существующими схемы совпадения), а канал С будем использовать для снятия выходного сигнала. Легко заметить, что с этой схемой сразу можно выяснить, какой именно сигнал поступает по конкретному входному каналу.
