Журнал «Компьютерра» №25-26 от 12 июля 2005 года - Журнал Компьютерра. Страница 12
Успех этих экспериментов открыл принципиальную возможность строить оптические вычислители на основе динамических дифракционных структур (тех же автосолитонов!), обладающих способностью хранить в своей структуре как информацию о входных воздействиях, так и о своих предыдущих состояниях. Еще раз подчеркну: такой вычислитель «конструктивно» представляет собой не устройство, а процесс - динамически поддерживаемую суперпозицию явлений возбуждения и затухания в нелинейной оптической среде. Физики знают обо всех этих вещах еще с середины прошлого века, но они же физики, а не инженеры…
Много ли сегодня мы знаем физических процессов, на основе которых можно пытаться сконструировать принципиально новые устройства обработки данных?
- Очень много: это плазма высокочастотного газового разряда[Кадомцев Б.Б., «Коллективные явления в плазме». - М.:, Наука, 1976] (порождает статические или подвижные области ионизации и излучения - страты); в сверхпроводниках[Гуревич А.В., Минц Р.Г., «Тепловые автоволны в нормальных металлах и сверхпроводниках». - М.: изд. ИВТ АН СССР, 1987] наблюдаются автосолитоны, представляющие собой области с активным сопротивлением, окруженные сверхпроводящими «оболочками»; в магнитных материалах обнаружены бегущие магнитные домены и вихревые структуры (линии Блоха и ряд других).
В полупроводниках и полупроводниковых гетероструктурах[Белецкий Н.Н., Светличный В.М. и др. «Электромагнитные явления СВЧ-диапазона в неоднородных полупроводниковых структурах». - Киев: Наукова думка, 1991] исследованы эффекты возбуждения незатухающих диссипативных неустойчивостей в электронно-дырочной плазме, эффекты взаимовлияния многочисленных коллективных возбуждений - так называемых квазичастиц, распространяющихся в кристаллической решетке (акустических и оптических фононов, экситонов, магнонов и др.). Были получены удивительные результаты, касающиеся динамики магнитоплазменных волн и возбуждений в полупроводниках.
Богатейший «улов» на всевозможные нелинейности приносят в последние годы исследования многокомпонентных полупроводников типа «твердые растворы» (например, теллурида кадмия в теллуриде ртути). Особенность этих веществ в том, что ширину запрещенной зоны в них можно в широких пределах и плавно регулировать, изменяя соотношение компонентов «раствора». Управляя распределением состава в объеме образца на стадии изготовления, мы можем получать так называемые сверхрешетки и варизонные структуры[В варизонных структурах молярный состав материала плавно, по заранее рассчитанному закону меняется вдоль заданного направления. Это приводит, в частности, к тому, что такие фундаментальные параметры, как ширина запрещенной зоны, эффективные массы и время жизни носителей тока, начинают зависеть от пространственных координат], в которых начинают проявляться принципиально новые физические эффекты.
Этот список чрезвычайно велик. Он означает, что в нашем распоряжении находится обширный выбор явлений, позволяющих синтезировать не только оптические, но и акустические, электродинамические, тепловые, электронные, ионные, фононные и много других типов вычислительных сред - буквально «на все случаи жизни». Но тут имеется серьезная трудность…
Догадываюсь: конструкторов нужно учить физике?
- Это было бы полдела… Трудность связана с необходимостью управлять протеканием в среде тех процессов, которые должны осуществить требуемую обработку подводимой информации. По существу, перед нами стоит задача - научиться «программировать» для столь необычных компьютеров, каковыми являются неравновесные процессы в нелинейных средах.
А как вообще это делается? Существует ли какая-то теория такого необычного «программирования»?
- Математическое описание поведения таких физических сред[Рекомендую, например, замечательную книгу И. Пригожина и И. Стенгерс «Время, хаос, квант. К решению парадокса времени». - М.:, «Эдиториал УРСС», 2001] основано на исследовании траекторий изображающих точек в фазовом пространстве системы.
Было установлено, что каждой устойчивой динамической неоднородности в среде (например, автосолитону) соответствует устойчивая замкнутая траектория - цикл в конфигурационном пространстве, к которому «стягиваются» траектории, пролегающие в некоторой «близости» от него. Такой цикл получил название «аттрактор». Конфигурационное пространство многомерно, поэтому аттракторы в нем не всегда выглядят точками или линиями, но чаще всего являются поверхностями или объемами. Обнаружены и вовсе экзотические аттракторы[Их так и называют - «странные аттракторы»] - не просто многомерные, но обладающие дробными размерностями. Они являются фрактальными объектами в конфигурационном пространстве. В системах со странными аттракторами возможно возникновение чрезвычайно сложных процессов. Фактически эти аттракторы способны порождать такие реакции системы, которые нельзя ни предсказать, ни воспроизвести повторением любого набора начальных возмущений.
Физическую систему можно «сконструировать» так, что в ней будет «сосуществовать» множество аттракторов в чрезвычайно сложноорганизованном конфигурационном пространстве. Здесь есть широчайшее поле для творчества!
Получается, что, конструируя процессы, мы «выходим» из привычного физического пространства и «работаем» в абстрактном, виртуальном пространстве? Что ж, для программистов довольно привычное занятие…
- Но только программисты - не физики. И в последнее время - даже не инженеры, увы…
Основная же идея «программирования» поведения физических сред такова: для того чтобы в среде возникла требующаяся нам неоднородность, нужно так выбрать начальное возмущение, чтобы оно перевело систему в состояние, находящееся в «сфере притяжения» соответствующего аттрактора, после чего в среде, после «выключения» начального возмущения, начнется самопроизвольное образование неоднородности определенного типа и структуры.
Из сказанного должно быть понятно, что задача «программирования» обработки данных в физической среде распадается как минимум на три подзадачи, каждая из которых сама по себе чрезвычайно сложна:
теоретический синтез структуры динамической неоднородности, «способной» желаемым образом обрабатывать информацию[Например, расчет пространственной структуры интерференционного автосолитона, обладающего свойствами комплексно-сопряженного оптического фильтра];
выбор (или, в общем случае, синтез) физической среды, свойства которой будут позволять ей поддерживать процессы самоорганизации, приводящие к формированию требующихся нам динамических неоднородностей;
определение параметров начального «толчка», вызывающего появление в среде нужной нам структуры неоднородностей (из множества возможных, но не подходящих для решения нашей задачи).
На любой из этих задач можно запросто «свихнуть мозги»…
Выходит, даже принцип работы «виртуальных» вычислителей совсем другой… Нет ни арифметических операций, ни дискретной логики, ни привычных ячеек памяти… И нет программы в привычном понимании. Полный отказ от стереотипов!
- Следует принять во внимание и то, что вычислительный процесс в нелинейной динамической системе представляет собой некоторую эволюцию ее состояния, чем отличается от «обычного» вычисления, предположим, в микропроцессоре. Грубо говоря, микропроцессор «до» и «после» вычисления остается одним и тем же объектом, тогда как динамическая неоднородность в среде в процессе вычисления из исходного состояния переходит в состояние, соответствующее искомому результату. Фактически исходная структура неоднородностей разрушается. Для ее воссоздания (равно как и поддержания в процессе работы вычислителя) необходим периодический или непрерывный подвод энергии. Надо отметить, что аналогичным образом работают и квантовые компьютеры, в которых информация представляется состоянием вычислителя, то есть его квантовой структурой, изменяющейся в ходе вычислений.
Здесь мы вплотную подходим еще к одной глубокой взаимосвязи термодинамики и динамики вычислений. По существу, понятие термодинамического цикла оказывается приложимо к описанию процесса вычисления, происходящему в неравновесной физической системе.