Пик дискуссий о роли и месте кибернетики и вычислительной техники в обществе пришелся на середину 50-60-х годов прошлого столетия [1,2] и был ориентирован на оценку перспектив их использования. Отсутствие видимого прогресса в области промышленно освоенных
Появление кибернетики и вычислительной техники в середине 40-х годов прошлого столетия было обусловлено целым рядом факторов, требовавших повышения скорости вычислений. Простейший способ ускорения вычислений - это выполнение действий на бумаге в столбик. Однако со временем такого ускорения оказалось недостаточно для расчета различного рода строительных и подвижных механических конструкций, что привело к созданию арифмометра, способного механически выполнять арифметические действия над десятичными числами. Механический арифмометр повысил производительность вычислений в несколько раз. Но в 30-х годах прошлого столетия и такая скорость оказалась недостаточной, что привело к "автоматизации" процесса выполнения отдельных арифметических действий. Осуществить такую "автоматизацию" удалось благодаря успехам электротехники, когда к механическому арифмометру добавили электрический привод и электромеханические средства автоматики, обеспечившие выполнение циклической последовательности элементарных действий в алгоритмах умножения и деления десятичных чисел. В итоге удалось довести скорость вычислений до 1 операции за 2-5 секунд.
Вторая мировая война поставила человеческие жизни и накопленные человечеством материальные и культурные ценности в прямую зависимость от умения быстро и точно вычислять: кто быстрее и точнее принимал решения в зенитных и артиллерийских противоборствах на суше, море и в воздухе, тот и побеждал.
С позиций вычислительной техники сущность проблемы состояла в следующем. Возросшие скорости перемещения боевой техники (в первую очередь самолетов и танков) повысили их маневренность на поле боя, что требовало повышения эффективности средств противодействия (зенитных и артиллерийских орудий), и в первую очередь на этапе прицеливания. Стрельба по подвижным целям требует определения в темпе реального времени "точки встречи" средства поражения (снаряда в кинетическом оружии) с целью. В свою очередь, достоверный расчет "точки встречи" требует учета целого ряда "случайных" факторов: скорости, ускорения и траектории движения цели, направления и скорости ветра, взаимного начального расположения цели и орудия и т. п. В итоге наводчику зенитного орудия необходимо было в течение нескольких секунд вычислить ( экстраполировать ) "точку встречи", направить на нее орудие и осуществить выстрел. На охоте за утками такая задача разрешима и решается охотником линейной экстраполяцией на 2-3 корпуса утки вперед. Успех такой стрельбы предопределен несопоставимой скоростью взлета утки и полета дроби, а также относительно малой дальностью стрельбы (50-100 метров), что в совокупности лишает утку возможности эффективного маневра и уклонения от встречи со средством поражения.
В случае самолета периода Второй мировой войны разность скоростей со снарядом уже была не так велика, а дальность стрельбы достигала нескольких километров, что позволяло летчику осуществлять плохо предсказуемые и поэтому достаточно эффективные противозенитные маневры. В итоге одна из наиболее развитых в мире система противовоздушной обороны (ПВО) Англии оказалась малоэффективной, а ее радиотехнические средства оказались способны решить достаточно ограниченную задачу раннего предупреждения о нападении. В итоге на начальном этапе войны Англия понесла значительные потери среди мирного населения (Ковентри), что несовместимо с основополагающими принципами построения и существования вооруженных сил любой страны, требующих, чтобы потери среди мирного населения были несопоставимо более низкими, чем в армии.
Отсюда и встала жизненно важная задача экстраполяции в темпе реального времени случайного процесса и достоверного вычисления "точки встречи" снаряда и цели. Она потребовала увеличить производительность вычислительных средств на несколько порядков и включить их в состав контура управления "радиолокационная станция - зенитные орудия".
Автор кибернетики Н. Винер, решая эту задачу, исходил из следующего. Точную экстраполяцию положения самолета выполнить невозможно, так как с точки зрения артиллериста траектория самолета носит случайный характер. Но при стрельбе зенитным снарядом нулевая ошибка наведения и не требуется, так как имеется коническая область разлета осколков, а не одна точка поражения, а значит, и встречи цели и снаряда. Более того, траектория полета самолета не совсем случайная и ограничена такими факторами, как перегрузка летчика, инерционность системы управления, прочность летательного аппарата и т. п. Поэтому неопределенность в будущем положении самолета можно оценить приближенно с помощью статистических методов, то есть на основе предыстории наблюдения траектории полета.
Заслуга Н. Винера как раз и состояла в том, что он отказался от требования стопроцентного поражения самолета и стал решать задачу по критерию максимальной вероятности поражения цели. Однако методы экстраполяции случайных процессов требовали колоссальных по тем временам объемов вычислений, которые необходимо было осуществить в темпе реального времени, то есть в течение нескольких десятков секунд наблюдения за траекторией полета. Выполнить такой объем вычислений на электромеханических арифмометрах практически было невозможно, даже распределив работу между коллективом вычислителей, которые должны были координировать свои действия и обмениваться информацией друг с другом по ходу выполнения алгоритма вычислений.
Отсюда, прежде чем автоматизировать процесс наведения зенитного орудия на цель необходимо было:
С позиций автоматизации вычислительный процесс представляет собой заданную программистом и корректируемую содержимым потоков обрабатываемых данных частично упорядоченную во времени последовательность арифметико-логических действий, которые необходимо выполнить на том или ином вычислительном устройстве над входными и промежуточными данными, чтобы получить требуемый результат вычислений. Поэтому автоматизация управления ходом вычислений прежде всего требовала формализации понятия алгоритма. Такая формализация была проведена к началу 30-х годов прошлого столетия для решения "внутренних" проблем математики. Поэтому Н. Винеру и его современникам осталось только материализовать требования формальных определений и понятий, которые интуитивно сводились к следующему.
Алгоритм должен представлять собой конечный набор правил выполнения некоторой процедуры, которая удовлетворяет трем главным требованиям:
Например, процедура вызова абонента телефонной сети регламентирует правила набора номера "вообще" и не зависит от конкретного номера абонента.
На рубеже XX века Давид Гильберт сформулировал задачу "автоматизации" процесса вывода математических теорем: "Можно ли построить алгоритм, строящий необходимый алгоритм решения любой точно поставленной задачи?". Программа Д. Гильберта была направлена на получение универсального алгоритма, сводившего деятельность математиков к формальной механической игре, в которой произвольную формализованную задачу (точно описанную на языке математики) можно было решить механически,используя процедуры универсального алгоритма. Парадокс программы Д. Гильберта обнаружился практически сразу [3] и состоит он в том, что для доказательства существования такого универсального алгоритма требуется его строгое математическое описание. Этот парадокс был обнаружен Бертраном Расселом (впоследствии научный руководитель Н. Винера в аспирантуре) и сводился к хорошо известному еще древним грекам парадоксу брадобрея, "который бреет всех тех и только тех мужчин деревни, которые не бреются сами". Вопрос "Кто бреет брадобрея?" ставит любую "формальную" машину в тупик, так как такой брадобрей существует в том и только в том случае, когда его нет. Аналогичная ситуация складывается и с "множеством всевозможных подмножеств, которые не включают себя в качестве элемента", что является необходимым условием существования универсального алгоритма Гильберта.
Чтобы обойти возникшую парадоксальную ситуацию, было предложено большое количество уточнений понятия алгоритма, а наш соотечественник академик Андрей Николаевич Колмогоров построил схему, лежащую в основе любого уточнения этого понятия. С помощью этой схемы можно строить новые уточнения как угодно долго.
В вычислительной технике остановились на уточнении понятия алгоритма, которое предложил английский математик Алан Матис Тьюринг и которое известно под названием "машина Тьюринга". Эта "машина" до сих пор служит формально-логическим прототипом любой ЭВМ. Машина Тьюринга состоит из [4]:
На ленту можно записывать "слова", то есть упорядоченные последовательности символов из некоторого фиксированного и конечного алфавита.
На каждом шаге своей работы устройство управления извлекает символ, стоящий в клетке, против которой находится курсор устройства управления. Прочитав символ, устройство управления анализирует состояние, в котором оно находится в данный момент времени или, что одно и тоже, на данном такте работы. Список возможных состояний устройства управления конечен, фиксирован и известен заранее, а пара "считанный символ - состояние устройства управления" однозначно идентифицирует каждую клетку таблицы управления, на основе которой и определяется реакция машины Тьюринга. Считанный символ обычно идентифицирует строку, а состояние - столбец таблицы управления. В идентифицированной таким образом клетке таблицы управления записана инструкция, которую и должна выполнить машина Тьюринга.
Каждая инструкция в явном виде содержит:
Выполнив все указания, содержащиеся в данной клетке таблицы управления, машина Тьюринга завершает один цикл своей работы. Пусть машина Тьюринга работает по правилам табл. 1.1 [4].
| $$G_0$$ | $$G_1$$ | $$G_2$$ | |
|---|---|---|---|
| $$\varnothing$$ | $$\varnothing$$, $$G_0$$, $$Stop$$ | $$\varnothing$$, $$G_1$$, $$Right$$ | $$l$$, $$G_0$$, $$Stop$$ |
| $$1$$ | $$l$$, $$G_0$$, $$Stop$$ | $$\varnothing$$, $$G_2$$, $$Right$$ | $$l$$, $$G_2$$, $$Right$$ |
| $$+$$ | $$+$$, $$G_0$$, $$Stop$$ | $$-$$ | $$l$$, $$G_0$$, $$Stop$$ |
Здесь символ " $$\varnothing$$ " соответствует "пустой" клетке бесконечной ленты машины. "Слова", которые понимает данная машина Тьюринга, не должны содержать подряд несколько символов " $$+$$ ", и этот символ не может находиться в начале и в конце "слова", то есть запрещенными считаются последовательности вида: $$+1+$$, $$1++1$$ и т. п., а разрешенными считаются последовательности вида: $$11+1$$ и т. п.
Состояние $$G_0$$ является начальным. Оно бесконечно долго сохраняет неизменными все символы на ленте и себя, то есть устройство управления не смещается вправо. Два других состояния являются рабочими, а обрабатываемые "слова" располагаются справа от курсора устройства управления.
Пусть на бесконечной ленте такой машины Тьюринга записана последовательность символов $$\varnothing\varnothing 111+11\varnothing\varnothing$$, а место положения курсора отмечено состоянием $$G_1$$, в которое переведена машина под принудительным внешним воздействием:
| 0 | $$\varnothing$$ | $$1$$ | $$1$$ | $$1$$ | $$+$$ | $$1$$ | $$1$$ | $$\varnothing$$ | $$\varnothing$$ |
|---|---|---|---|---|---|---|---|---|---|
| $$G_1$$ |
Согласно данным таблицы управления 1 машина Тьюринга считывает символ $$\varnothing$$, записывает в освободившуюся клетку символ $$\varnothing$$ (сохраняет содержимое предыдущей клетки) и смещается вправо на одну позицию, сохранив состояние $$G_1$$:
| $$\varnothing$$ | $$\varnothing$$ | $$1$$ | $$1$$ | $$1$$ | $$+$$ | $$1$$ | $$1$$ | $$\varnothing$$ | $$\varnothing$$ |
|---|---|---|---|---|---|---|---|---|---|
| $$G_1$$ |
На втором шаге действия машины Тьюринга повторяются, так как ситуация аналогична первому шагу, что приводит к простому смещению по ленте устройства управления еще на один шаг вправо:
| $$\varnothing$$ | $$\varnothing$$ | $$\varnothing$$ | $$1$$ | $$1$$ | $$+$$ | $$1$$ | $$1$$ | $$\varnothing$$ | $$\varnothing$$ |
|---|---|---|---|---|---|---|---|---|---|
| $$G_1$$ |
На третьем шаге машина Тьюринга переходит в состояние $$G_2$$, в предыдущую клетку записывает символ " $$\varnothing$$ " и смещается по ленте еще на 1 шаг вправо:
| $$\varnothing$$ | $$\varnothing$$ | $$\varnothing$$ | $$1$$ | $$1$$ | $$+$$ | $$1$$ | $$1$$ | $$\varnothing$$ | $$\varnothing$$ |
|---|---|---|---|---|---|---|---|---|---|
| $$G_2$$ |
На четвертом шаге машина Тьюринга сохраняет свое состояние, содержимое четвертой клетки ленты и смещается вправо на 1 шаг:
| $$\varnothing$$ | $$\varnothing$$ | $$\varnothing$$ | $$1$$ | $$1$$ | $$+$$ | $$1$$ | $$1$$ | $$\varnothing$$ | $$\varnothing$$ |
|---|---|---|---|---|---|---|---|---|---|
| $$G_2$$ |
Пятый шаг аналогичен четвертому и машина Тьюринга оказывается в положении:
| $$\varnothing$$ | $$\varnothing$$ | $$\varnothing$$ | $$1$$ | $$1$$ | $$+$$ | $$1$$ | $$1$$ | $$\varnothing$$ | $$\varnothing$$ |
|---|---|---|---|---|---|---|---|---|---|
| $$G_2$$ |
На шестом шаге машина Тьюринга подставляет символ " $$1$$ " вместо символа " $$+$$ ", переходит в состояние $$G_0$$ и смещается вправо на 1 шаг:
| $$\varnothing$$ | $$\varnothing$$ | $$\varnothing$$ | $$1$$ | $$1$$ | $$1$$ | $$1$$ | $$1$$ | $$\varnothing$$ | $$\varnothing$$ |
|---|---|---|---|---|---|---|---|---|---|
| $$G_0$$ |
Такое положение соответствуют элементарной операции Stop, которая останавливает работу машины Тьюринга, когда на ленте сформирована последовательность символов, отвечающая операции сложения двух входных "слов": $$111$$ и $$11$$.
Отсюда, машина Тьюринга оказалась "формальным" прототипом всех реальных ЭВМ, благодаря тому что содержала все базовые функциональные "блоки", в том числе и современных процессоров и ЭВМ:
При этом память программ и данных совмещена на бесконечной ленте, а инструкции и данные отличаются только набором символов.
Как и любую современную ЭВМ, машину Тьюринга можно вывести из начального состояния ( активизировать ) только принудительным внешним воздействием.
Главное отличие машины Тьюринга от реальных ЭВМ - это бесконечная память, которая позволяет обходиться в "программах" без операторов переходов по условию и по счетчику циклов, то есть неотъемлемым атрибутом ограниченной памяти реальных ЭВМ являются языковые средства организации циклов, которые способны при сбоях сделать программу обработки "бесконечной" ("зависание ЭВМ").
Но разработчикам первых ЭВМ пришлось ограничить набор символов машины Тьюринга и перейти к двоичному алфавиту, сначала при кодировании потоков данных, а впоследствии и потоков инструкций. При этом удалось сохранить главную "механическую" особенность машины Тьюринга: она не выполняет арифметико-логические действия, а осуществляет операции подстановки (замещения) символов, которые только при определенных условиях отвечают арифметическим действиям над числами.
В литературе нет точных указаний на автора, предложившего совместить в реальной ЭВМ принципы и методы организации вычислений машины Тьюринга с операционным базисом булевой алгебры и вытекающей из нее двоичной арифметики. Можно только предположить, что наработанные к тому времени в телефонии методы и средства описания работы релейных схем в операционном базисе булевой алгебры сыграли в этом не последнюю роль, так как они позволили создать высокоскоростные электротехнические средства управления телефонными коммутаторами, заменившими труд телефонисток. Поэтому разработчикам первых ЭВМ оставалось только создать электронный эквивалент переключательных схем и на их основе синтезировать "высокопроизводительное" по меркам того времени операционное устройство, работающее в булевом операционном базисе.
Технические предпосылки для перехода к электронным переключательным схемам сформировались в радиотехнике, успешно освоившей к тому времени методы и средства управления потоками электронов (током) в электронных лампах усилительных устройств приемников и передатчиков. В результате современникам Н. Винера осталось сделать только один, но решающий шаг, и заставить электронные лампы работать в "сверхбыстром" по отношению к реле переключательном режиме "насыщения" (булева "единица") и "отсечки" (булев "ноль"). Именно этот шаг и позволил объединить принципы и методы организации вычислений А. Тьюринга (в современной терминологии - системотехнический уровень организации вычислений) с физико-техническими процессами, отвечающими требованиям алгебры Дж. Буля (в современной терминологии - схемотехнический уровень организации вычислений).
Сама булева алгебра также появилась не на пустом месте и решала задачи символьной логики, восходящей своими корнями к логике Аристотеля, который сформулировал правила, регламентирующие споры схоластов и делающие эти споры конечными во времени.
До нас законы формальной логики Аристотеля дошли в виде трех аксиом и одного правила вывода [5]:
| Аксиома 1 | (закон тождества): мысль должна быть однозначной, то есть надо правильно отождествлять и различать вещи и явления. В процессе рассуждений и доказательств недопустима подмена одного понятия другим. В любом рассуждении каждое понятие или высказывание всегда должно употребляться в одном и том же смысле. |
|---|---|
| Аксиома 2 | ( |
| Аксиома 3 | ( |
| Правило вывода | (закон достаточного основания): всякая мысль лишь тогда верна, когда она вытекает из другой правильной мысли, служащей ей основанием, то есть мышление должно быть последовательным. |
Первая аксиома позволяет заменить классы однотипных (тождественных, неразличимых и т. п.) высказываний символами (переменными). Вторая аксиома ограничивает пространство значений логических переменных двумя значениями: "ноль" (ложь) и "единица" (истина). Третья аксиома и правило вывода говорят о том, что отдельные высказывания всегда находятся в определенной связи друг с другом, количество которых ограничено: $$A\equiv A$$ ; $$A=B$$ ; или $$A\land A = 0$$ ; $$А\lor А = 1$$ ; $$A \to B$$, то есть в формальной логике всегда существует два типа символов: для обозначения переменных и для обозначения связанных действий над переменными.
Логика Аристотеля дедуктивная и поэтому она позволяет судить об истинности или ложности частных высказываний на основании истинности или ложности общих высказываний (аксиом), служащих им основанием. Например [4]:
Следует иметь в виду, что формальная логика имеет достаточно ограниченную область применения и поэтому ее правила и законы не следует абсолютизировать. Например, согласно Аристотелевой логике правомерна конструкция:
Отсюда, жизнь требует перехода не только от осмысленных (содержательных) высказываний к представляющим их формальным высказываниям и переменным, но и наоборот. Выработкой правил такого перехода занималась наука герменевтика [4], которая играла важную роль в теологии. В переводе с греческого герменевтика - это трактование понятий, толмачество, то есть перевод с непонятного языка на понятный. Толмачи выступают как интерпретаторы,разъясняющие, что хотел сказать автор, например Гомер своим читателям. Поэтому в процессе разъяснений толмач прибегал к аналогиям:
Вывод по аналогии, как и всякий индуктивный вывод, не всегда приводит к правильному результату:
Первую конструкцию рассуждений можно воспроизвести в Аристотелевой логике, построив более общее высказывание: "Общественный транспорт перевозит пассажиров". Во второй конструкции это сделать не удается. Поэтому, чтобы решить задачу интерпретации результатов доказательств и рассуждений дедуктивным методом и однозначно,необходимо ввести определенные ограничения на правила или схему интерпретации, которые выработала герменевтика,занимаясь трактованием богословских текстов. Согласно этой схеме сначала выбирается совокупность утверждений, истинность которых признана большинством людей. Они служат базисом для вывода других утверждений, а сам вывод из базисных утверждений подчинен определенным правилам. Например:
Каждый человек стремится получить удовольствие.
Из двух зол каждый человек выбирает меньшее.
Поэтому если кандидат $$X $$ на выборах (президента, мэра, парламента и т. п.) меньшее зло, чем кандидат $$Y$$, то на выборах победит кандидат $$X$$.
В современной терминологии совокупность правил "трактования" результатов вычислений задается протоколами работы интерфейсов и средств коммутации, как самих ЭВМ, так и многомашинных комплексов, сетей и систем.
Дж. Буль, решая задачи символической логики, предложил отказаться от смыслового содержания высказываний и выработал правила логического вывода, допустив, что каждое высказывание может быть либо истинным, либо ложным, а представляющие его логические переменные могут принимать значение либо "ноль", либо "единица". В этом случае действия, связующие переменные, можно ограничить тремя, которые обладают базисным свойством: $$F(x) = \overline{х} $$ - инверсия; $$F(x_2 , x_1 )= x_2 \lor x_1 $$ - дизъюнкция и $$F(x_2 , x_1 )= x_2 \land x_1$$ - конъюнкция, которые в обиходе назы-ваются, соответственно, "ОТРИЦАНИЕ", "ИЛИ" и "И". В математике и логике базисными считаются функции, через суперпозицию которых можно представить любые другие функции из некоторого фиксированного класса. Поэтому для того, чтобы покрыть все многообразие функциональных блоков системотехнического уровня организации вычислений, разработчикам первых ЭВМ требовалось реализовать на физико-техническом уровне только три типа переключательных функций, заданных таблицами истинности:
| ОТРИЦАНИЕ: | |
|---|---|
| $$x$$ | $$F$$ |
| 0 | 1 |
| 1 | 0 |
| ИЛИ: | ||
|---|---|---|
| $$х_2$$ | $$х_1$$ | $$F$$ |
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |
| И: | ||
|---|---|---|
| $$х_2$$ | $$х_1$$ | $$F$$ |
| 0 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
Для этого были использованы электронные лампы, которые в радиотехнических устройствах работали в усилительном, а не переключательном режиме. С помощью таких ламп было синтезировано электронное вычислительное устройство, которое представляло собой расширенный аналог электромеханического арифмометра, так как содержало оперативную память объемом несколько десятков килобит и электромеханическое устройство микропрограммного управления на основе телетайпа с закольцованной перфолентой, где и хранилась микропрограмма выполнения умножения или деления.
Однако решение в реальном времени задачи экстраполяции случайной траектории полета самолета требовало автоматизации управления не только отдельными командами, но и их потоками, которые определяются как программами обработки, так и содержимым обрабатываемых потоков данных. Последнее условие делает поток команд частично упорядоченным во времени и обусловлено необходимостью организации циклов при работе с конечной, а не с бесконечной памятью, как это имеет место в машине Тьюринга. Поэтому основным препятствием на пути достижения потребной производительности, диктуемой задачами экстраполяции случайной траектории полета самолета, стало медленное устройство управления, неспособное управлять частично упорядоченными во времени потоками инструкции. Чтобы преодолеть это препятствие и выравнять скорости обработки и управления вычислениями, Дж. фон Нейман предложил использовать электронную память не только для хранения данных, но и для хранения программ. Такое решение потребовало двоичного кодирования не только да
нных, но и команд, что привело к дуализму (кодовой неразличимости) потоков инструкций и данных, который сохранился во всех последующих
(рис 1.1) Архитектура фон-неймановской ЭВМОсновные достоинства
Основные ограничения
Таким образом, общая систематика, предопределившая появление, а в дальнейшем и развитие ЭВМ, их архитектур и вычислительных технологий в целом сводится к следующему (рис. 1.2).
(рис 1.2) Систематика создания электронных вычислительных машинСовременные боевые и гражданские самолеты являются типичными представителями технотронных комплексов, эксплуатация и боевое применение которых в принципе невозможны без использования средств вычислительной техники. (Пере)насыщенность современных летательных аппаратов (ЛА) бортовым электронным оборудованием (БЭО) - это не дань моде, а объективная реальность, вызванная как необходимостью повышения безопасности полетов, в том числе и в сложных метеоусловиях, так и необходимостью максимального использования летно-технических и боевых характеристик ЛА. В частности, даже боевые ЛА 3-го поколения типа F-16 являются статически неустойчивыми на дозвуковых скоростях, нейтрально устойчивыми в диапазоне трансзвуковых скоростей и устойчивыми на сверхзвуковых скоростях [6]. Поэтому для таких ЛА были разработаны активные системы управления на основе бортовых компьютеров, без которых летчик был бы вынужден заниматься не столько управлением ЛА, сколько его стабилизацией на протяжении всего полета, как это имело место на заре авиации. В результате ЛА 5-го поколения уже представляет собой сложнейший технотронный комплекс, проектирование которого требует учета всего комплекса "человеко-машинных" факторов и на всех этапах жизненного цикла.
Военно-политическая составляющая (пере)насыщенности современных и перспективных ЛА БЭО связана со стремлением технически развитых стран, и в первую очередь США, с одной стороны, монополизировать мировой рынок производства и эксплуатации авиационной техники, а с другой стороны, повысить мобильность передислокации боевых авиационных группировок в зону локальных военных конфликтов, в рамках которых авиации принадлежит решающая роль. С этой целью США через международную организацию гражданской авиации ИКАО лоббируют технические нормы, полностью обеспечивающие полеты и посадку ЛА на аэродромы за счет собственного БЭО и глобальных систем спутниковой навигации. Реализация такой военно-технической политики позволит авиации США быстро перебазироваться в зону боевых действий без каких-либо серьезных требований к наземному оборудованию, что характерно для слаборазвитых стран, где в основном и развертываются современные локальные конфликты.
В силу изложенных причин США потребовалась качественно новая технология сквозного системного проектирования ЛА, его систем и БЭО, включая и бортовые вычислительные системы (БВС). Она получила название " прототипирование " и представляет собой итерационный процесс, в котором общий замысел проекта переводится в конкретизированное описание разрабатываемого объекта последовательным приближением. На практике технология интеграции и прототипирования (технология ATIP [7]) впервые была использована в НИР AVSEP (
По оценкам американских специалистов появление технологии ATIP равнозначно появлению в авиации технологии аэродинамических продувок ЛА. С этим связано использование в некоторых работах и публикациях неформального упоминания технологии ATIP как "аэродинамической трубы авионики" ("
Технология ATIP позволила получить один из вариантов архитектуры комплекса БЭО самолета JSF (Joint Strike Fighter - многоцелевой ударный истребитель-бомбардировщик), ставшего отправной точкой для проведения последующих итераций разработки БЭО.
Проведение самой НИР ATIP позволило, в частности, определить основные положения итерационного процесса, посредством которого фирмы-исполнители должны осуществить переход от утвержденной концепции БЭО к комплексу блоков оборудования, являющемуся материализацией этой концепции.
Методически этот процесс основан на оценке характеристик боевого функционирования самолета как боевого авиационного комплекса с учетом конкретных характеристик основных систем БЭО и воспроизведением работы летчика в общем процессе функционирования боевого авиационного комплекса. Последнее проводилось с помощью различных моделирующих стендов, обеспечивающих участие человека в реализации исследуемых процессов.
Учет характеристик основных систем на первых этапах проводился с использованием математических моделей этих систем, которые по ходу исследования постепенно заменялись полунатурным моделированием с использованием блоков реальной аппаратуры. В результате, многократно повторяя одни и те же варианты боевого применения JSF [7-10] при различных значениях параметров основных систем БЭО, разработчики смогли оценить степень влияния этих параметров на показатели боевых возможностей самолета.
Используя описанную процедуру, разработчики осуществили также постепенную адаптацию общей архитектуры комплекса БЭО JSF "версия 1" к конкретным особенностям разрабатываемого ими самолета. Начав с одной и той же "исходной точки", фирмы Boeing и Lockheed Martin постепенно двигались каждый в своем направлении, все в большей степени конкретизируя облик БЭО своего варианта проекта самолета JSF.
Степень индивидуализации разработок БЭО может быть проиллюстрирована вариантами информационно-управляющего поля (ИУП) кабины пилота, принятыми фирмами Boeing и Lockheed Martin для самолетов Х-32 и Х-35 к середине 1999 г.
Оба разработчика отказались от использования индикатора на лобовом стекле (ИЛС). Функции этого устройства были полностью переданы нашлемной системе индикации. Фирма Lockheed Martin сохранила в информационном поле три широкоформатных многофункциональных цветных индикатора в несколько ином их расположении, чем это было в ИУП комплекса БЭО JSF "версия 1". В отличие от этого фирма Boeing использовала в ИУП самолета Х-32 только два широкоформатных многофункциональных индикатора, дополненных двумя резервными индикаторами малого размера.
Следует подчеркнуть чрезвычайно высокую динамичность процесса разработки БЭО, существовавшую в ходе выполнения НИР ATIP [7]. Примером может являться проведение фирмой Boeing "открытых сессий" общего процесса разработки БЭО. Каждая такая "сессия" длилась в течение недели и проводилась с участием летчиков, представлявших различные виды вооруженных сил США и стран - участников программы JSF. В процессе моделирования нескольких десятков боевых вылетов с участием летчиков проводилась оценка совершенства ИУП, программного обеспечения и используемых решений по интеграции функциональных систем БЭО.
На основании этих оценок принимались решения по внесению изменений в существующий проект комплекса БЭО, реализация которого не занимала много времени. Некоторые изменения, например, в программном обеспечении могли производиться практически без задержки. Другие изменения, связанные с изготовлением новых вариантов моделируемых устройств, производились в течение суток. Это обеспечивалось за счет использования специальных автоматизированных средств конструирования, позволяющих при очень малых затратах времени создавать трехмерные модели элементов оборудования кабины, требующих изготовления.
Для проведения этих исследований использовался моделирующий комплекс фирмы Boeing, состоящий из двух стендов с полной визуализацией окружающей обстановки. Еще одно рабочее место оператора моделирующего комплекса использовалось для моделирования действий самолета противника. Это позволило воспроизвести групповые действия боевых самолетов с проверкой функционирования тех систем БЭО, которые предназначались для обеспечения таких действий. Типичной для таких исследований задачей являлась передача информации о противнике с одного самолета на другой, атакующий цель, но находящийся в режиме радиомолчания.
Авионика всех трех вариантов самолета, разрабатываемая по программе JSF, размещается в центральном отсеке, а антенны будут конструироваться в соответствии с требованиями, предъявляемыми тремя видами вооруженных сил, с изменением тех или иных функций путем подключения или отключения соответствующих модулей программного обеспечения.
В итоге была получена перспективная архитектура БЭО, которая характеризуется [7]:
При этом приемлемая стоимость разработки авионики достигается за счет:
Методическая стадия исследований, проведенных в рамках НИР AVSEP, отличалась использованием весьма детализированных алгоритмов оценки стоимости изделия. Они обеспечивали стоимостную оценку не только всего изделия в целом, но и отдельных функций, выполняемых этим изделием. Благодаря этому оценка каждого варианта проектных решений по комплексу БЭО могла быть сделана при рассмотрении не общей величины стоимости, а стоимостной сводки, учитывающей все основное подсистемы БЭО. Стоимость вычислительного ядра авионики самолета JSF составляет почти 25 % от общей стоимости всей авионики, и чтобы не превысить это значение, предполагается широкое использование коммерческих стандартов и компонентов.
Применение при создании БЭО самолета JSF ряда научных и технических решений, исследованных ранее при разработке авионики самолета F-22, позволяет говорить о технологии прототипирования как о базовой составляющей в процессе эволюционного формирования типового облика БЭО самолетов 5-го поколения.
Таким образом, к отличительным концептуальным особенностям технологии проектирования авионики самолетов 5-го поколения относятся:
Реализация этих концептуальных особенностей авионики достигается за счет применения следующих технологий и технических решений:
На основе приведенных данных можно заключить, что устойчивая техническая политика в области создания БЭО позволила США выйти на качественно новый уровень:
Промышленный выпуск изделий, разработанных по технологии про-тотипирования, требует гибких автоматизированных производственных технологий, быстро реагирующих на изменения структурно-функциональных и конструктивно-технологических схем по всей номенклатуре выпускаемых изделий. Данное требование достаточно критично даже для современной микроэлектроники и вычислительной техники, в которых период удвоения качества составляет 1,5-2 года.
В итоге можно считать, что США фактически готовят переход к интеграции всего жизненного цикла разработки, выпуска, эксплуатации и развития БЭО, что требует сверхмощных систем полунатурного моделирования (аэродинамической трубы авионики), которые напрямую формируют маршрутные карты гибкого технологического производства БЭО с учетом накопленного опыта эксплуатации и боевого применения.
Чтобы оценить инерционность фазы перехода от научных исследований к конкретному их воплощению в программно-аппаратные платформы, достаточно напомнить, что идеи открытости, масштабируемости и адаптируемости интенсивно разрабатывались отечественными учеными более 25 лет тому назад в рамках теории многопроцессорных вычислительных систем с программируемой архитектурой [11].
Глобальные технотронные комплексы, призванные предотвращать глобальные катастрофы, грозящие существованию Человека, сами являются неиссякаемым источником эквивалентных опасностей. Такой вывод справедлив для глобальных технотронных систем, в состав которых входят средства активного парирования потенциальных угроз в военной, экологической или климатической области. Типичный пример - это стратегическая оборонная инициатива США 1982 года в области противоракетной обороны (СОИ [12]), "
Отсюда и встает задача анализа и последующего предотвращения угроз, свойственных всем
Традиционно термин "развитие" применяют для описания динамически меняющихся свойств как живых объектов (субъектов), так и сложных кибернетических систем.
Развитие происходит в условиях внутреннего напряжения и конфликта и выражается через новые качественные состояния объекта (субъекта) или системы, которые выступают как изменения их состава и функций на основе возникновения, трансформации или исчезновения их элементов и связей [13]. Напряженность и целевая ориентация активности организма во внешней среде "управляются изнутри", подчиняясь универсальным законам системогенеза или "функционального развития", отдельные признаки которых присутствуют и в кибернетических системах. В этой связи основатели кибернетики Н. Винер, К. Шеннон и Дж. фон Нейман [14-16] четко обозначили контуры возможного в своей науке и приложили немало усилий, чтобы сбить научный и ненаучный ажиотаж, а нередко и спекуляции, вокруг их детища.
Лежащие в основе кибернетики логика и математика представляют собой науки с наивысшим по современным меркам уровнем абстракции. Поэтому логика и математика способны дать ответы на вопросы: "Что происходит…?" и "В какой последовательности происходит…?". Ответы на вопросы "Как и почему происходит…?" необходимо искать в физических, химических, биохимических и молекулярно-биологических исследованиях, где обнаруживаемые свойства формальных систем помогают спланировать эксперимент и проинтерпретировать его результаты. Ответы на вопросы "С какой целью происходит?" лежат уже в плоскости физиологических, психологических и социальных исследований, где другие науки способны лишь помочь в планировании эксперимента и интерпретации его результатов.
Глубоко понимая ограничительные рамки пассивного (инструктированного извне) развития кибернетических систем, основоположник "физиологической кибернетики" П.К. Анохин тем не менее считал, что механизм постановки цели в организме "…непременно разыгрывается на материальном субстрате мозга и не должно быть никакого места для боязни объективного научного подхода к этому факту". Поэтому "…ней-рофизиология должна широко использовать формализацию процессов, способы преобразования информации в сложных системах, математическую обработку материалов исследований" и т. д. В свою очередь, создатели сложных технических систем и глобальных технотронных комплексов должны четко оценивать и своевременно парировать угрозы и опасности, вытекающие из роли и места человека при проектировании, изготовлении и эксплуатации таких систем.
В науках "о живом" накоплен значительный экспериментальный материал, свидетельствующий о том, что в механизмах произвольной активации, целеполагания и развития существенная роль принадлежит феноменам внутреннего напряжения и конфликта, которые предопределяют и направление дальнейшего приложения усилий организма, и состав информативных переменных, и состав допустимых действий в конкретных внешних условиях. Все перечисленные факторы составляют ядро задачи формализации,которая в современных условиях решается человеком в рамках проектной технологии прототипирования и без решения которой невозможно использование средств вычислительной техники в технотронных комплексах двойного назначения. Главная опасность широкомасштабного использования таких комплексов - это потеря управления составляющими его средствами вычислительной техники, что может привести к непредсказуемым, в том числе и глобальным, последствиям. Поэтому представляется важным сопоставить основные механизмы развития живых и сложных технических систем и выявить главные опасности создания и использования с участием человека технотронных комплексов, в первую очередь военного назначения.
Существует целый ряд обстоятельств, когда живому объекту (субъекту) не удается "разрешать" конфликты классическими для кибернетики методами и средствами обратной связи. Поэтому организмы вынуждены активироваться и развиваться под давлением неразрешимых или только кажущихся им неразрешимыми конфликтов и находить принципиально новые структурно-функциональные схемы и механизмы, обеспечивающие им выживание в объективно новых для них условиях или в ситуациях, которые субъективно оцениваются ими как качественно новые. Исходя из этого, конфликты следует воспринимать не как экстраординарные события в индивидуальной жизни объекта (субъекта), а как различающиеся по интенсивности, постоянно возникающие состояния напряжения, вызванные противостоянием эквивалентных по силе, но разнонаправленных тенденций к реализации той или иной функции. Различные варианты такого противостояния становятся причинным началом произвольной активации живых объектов как условия их развития, которое характери зуется "закономерным, необратимым и направленным изменением их свойств" [13] и их целеустремленной деятельности. В этом контексте "функциональное развитие" представляет собой частный случай закономерного и направленного (прогрессивного) изменения функций и может рассматриваться как эпифеномен "разрешения" того или иного внутреннего конфликта.
Исходя из такого понимания термина "функциональное развитие", проанализируем сходство и отличие разнообразных форм проявления и различных способов разрешения конфликтов у объектов (субъектов), исследуемых как в науках "о живом", так и в науках о сложных кибернетических и физико-технических системах.
Формально-логические конфликты показывают, насколько иллюзорны наши надежды на достижение требуемой отказобезопасности технотронных комплексов, если их вычислительное ядро будет работать на основе строгих математических моделей предметной области.
Формально-логические конфликты являются атрибутом логических и математических систем и проявляются в форме парадоксов или противоречий (антиномий [3]), которые со времен Аристотеля считаются недопустимыми при построении логических утверждений и доказательств. Согласно аксиоме непротиворечивости Аристотеля о положении, признанном верным (истинным), недопустимо говорить как о неверном (ложном).
Парадокс лжеца.Логические парадоксы были известны древним грекам еще со времен Зенона из Элеи. В частности, мегарские философы дразнили членов Платоновской академии одной из версий "парадокса лжеца". В современной классификации этот парадокс относится к семантической антиномии и звучит как признание неисправимого лжеца, который наконец произнес: "Я лгун". Такого рода признания ставят окружающих в тупик, так как они должны дать ответ на вопрос "Истинно или ложно данное утверждение?". Нетрудно установить, что это высказывание истинно только тогда, когда оно ложно.
На протяжении многих веков логические парадоксы оставались "игрой воображения" для избранных. Настоящее потрясение в математике наступило в 1903 году, когда Б. Рассел опубликовал свою логическую антиномию, затронувшую основания математики. И в математике, и в жизни представляется вполне осмысленным установить, является ли некоторое множество собственным элементом или нет. В ряде случаев ответ очевиден. Например, множество красных предметов, несомненно, в целом является "красным предметом". Но множество деревьев "деревом" не является и поэтому его надо относить к множеству иного типа: "сады", "парки", "леса" и т. п. Далее, не вызывает особых возражений постановка того же вопроса относительно множества всевозможных подмножеств, не являющихся собственными элементами. Ответ приводит к парадоксу: такое множество существует только тогда, когда является собственным элементом, то есть не принадлежит множеству всевозможных подмножеств, которые не включают себя в качестве собственного элемента.
Парадокс Тристрама Шенди [17]. Литературный герой Тристрам Шенди потратил два года на описание нескольких первых дней своей жизни и понял, что при таких темпах он не сможет описать всю свою жизнь целиком. Очевидно, что Тристрам Шенди смог бы описать всю свою сознательную жизнь целиком, если бы время в описываемой им жизни проходило быстрее, чем время, уходящее на ее описание. При этом для достижения полноты описания он раньше или позже должен был бы перейти к самому себе, занимающемуся описанием своей жизни, что делает этот процесс бесконечным.
Как отмечено выше, аналогичная ситуация обнаруживается и в молекулярной биологии, когда для метаболической реакции требуются специфические ферменты, которые производятся с помощью тех же внутриклеточных реакций. С формальных позиций оборвать этот "бесконечный" процесс можно так называемым "самообращением", то есть самокатализирующейся реакцией, которая сама производит фермент, ее же и катализирующий.
В математике и логике долгое время считали, что антиномии в формальных системах появляются по вине "недобросовестных" ученых, допустивших явные или неявные нарушения строгих правил вывода утверждений и доказательств. Все иллюзии на это счет закончились, когда К. Гедель доказал неизбежность появления антиномий в любой формальной системе, опубликовав в 1934 году знаменитую теорему о неполноте (цитируется по [3]): "Каждая логистическая система, настолько богатая, чтобы содержать формализацию рекурсивной арифметики, либо w-противоречива, либо содержит некоторую неразрешимую формулу (хотя и истинную)".
Можно выделить три способа борьбы с антиномиями: игнорирование противоречивых высказываний и утверждений; волюнтаристский и попеременный выбор одной из одновременно возникших противоречивых альтернатив; разрешение противоречий с привлечением методов и средств логической или математической .Третий способ в строгом математическом смысле можно рассматривать как развитие формальной системы, так как именно в этом случае, следуя Б. Расселу и К. Геделю, для разрешения конфликта строится система более высокого типа и делается это в полном соответствии с наиболее общими требованиями формальной логики.
Таким образом, в формально-логических системах конфликт проявляется как нарушение одной или нескольких основополагающих аксиом и разрешается через построение новой формальной системы, которая включает предыдущую систему как частный случай и которая потенциально содержит в себе следующее противоречие. Поэтому из
Эксплуатация технотронных комплексов особенно глобального значения, где возможности человека решать задачи в темпе реального времени резко ограничены, на самого человека можно возложить только функции контроля правильности их работы. В результате формируется единый "человеко-машинный" комплекс, в котором равноопасны как ошибки человека, так и ошибки машины, а конфликт между ними недопустим, если под конфликтом понимать потерю управления технотронным комплексом.
В науках о поведении конфликт также определяют как внутреннее противоречие или как специфическое состояние, при котором субъект испытывает на себе действие (снаружи, изнутри) по крайней мере двух равных по силе, но разнонаправленных тенденций или влияний. Поскольку конкурирующие тенденции не могут проявиться одновременно, то поведение в таких случаях приобретает своеобразные (фрагментарные или наоборот, интегрированные) формы, отражая регресс или прогресс функциональной состоятельности и ее проявлений у субъекта. При этом и формы проявления, и способы разрешения конфликтов во многом определяются доступными для объектов (субъектов) механизмами "функционального развития", то есть становлением новой структурно-
Конфликт в этологии рассматривают как фактор, внешне нарушающий гладкие проявления текущей активности. Источниками конфликта считают избыточные мотивацию и эмоцию, непреодолимые препятствия (биологические, физические, зоосоциальные) на пути достижения субъектом цели действия, дефициты времени, информации и ресурсов среды для удовлетворения основных потребностей. Чрезвычайно конфлик-тогенными для субъекта также считают трудный выбор или "принятия решений" в ситуациях:
Практически все эти источники типичны для операторов дежурных смен глобальных технотронных комплексов, которые живут в реальной "среде обитания" и во время дежурства должны принимать ответственные решения в конфликтогенной обстановке. Поэтому умение не допускать или разрешать уже возникшие конфликты является базовым требованием к профессиональному уровню отбора и подготовки операторов дежурных смен.
Как показывает опыт, в условиях естественной среды обитания животные прибегают к различным способам "разрешения" конфликтов. Это проявляется в самых разнообразных формах активности: компромиссного, амбивалентного или смещенного поведения, "движений намерений", умиротворяющих или угрожающих поз и актов и др. Долгое время считалось, что такие виды активности не имеют иной функциональной роли, кроме разрядки напряжения, вызванного конфликтом. Однако, выдающиеся этологи К. Лоренц и Н. Тинберген [18, 19] теоретически обосновали точку зрения, согласно которой конфликт-индуцированная активность животных лежит в основе более существенных по содержанию и высокоспецифичных форм поведения (например "ритуальных" или коммуникативных актов) и, следовательно, может играть самостоятельную биологическую роль и нести зоосоциальную нагрузку в поведении более высокого типа.
Еще Ч. Дарвин [20] отмечал, что оборонительные мимические и другие реакции при конфликте (сужение глаз, пилоэрекция и т. п.) у млекопитающих не только призваны выполнять защитные функции, но одновременно служат источником информации об опасности для других животных. (Такая функция коммуникации реализуется также и между животными разных видов.) Более того, сигналы, посылаемые действующей особью, могут быть намеренно использованы ею для управления другими особями в своих интересах. Таким образом, конфликт становится причиной реализации зоосоциальных форм поведения, которые "отделяются" и функционально обособляются от своей первичной биологической основы. Особенно впечатляющими в этом отношении являются доказательная основа и интерпретация Д. Мак-Фарлендом [21] так называемой "смещенной активности" при конфликте, имеющей самостоятельную мотивационную основу и ориентирующей субъекта на достижение качественно новых
целей. А это, в свою очередь, предопределяет индивидуальное совершенствование поведения субъекта, "расширение сферы значимого" для него во внешней среде и, следовательно,
Таким образом, проецируя данные этологии на человека, можно утверждать:
Конфликт в классической физиологии высшей нервной деятельности (ВНД) одновременно является и термином и понятием и используется в более узком смысле. Обычно его сводят к противодействию и противостоянию в центральной нервной системе (ЦНС) основных нервных процессов (возбуждения и торможения). Считают, что через это взаимодействие в конечном итоге устанавливается равновесие, при котором "каждому процессу отводится свое место, свое время и животное делается совершенно спокойным, соответственно реагируя на падающие раздражения то раздражительным, то тормозным процессом" [22]. Полагают, что эта борьба и это равновесие - "…нелегкое дело для нервной системы", но за счет его достигается их взаимное пространственное разграничение, размежевание, а следовательно, и формирование в коре мозга специфической мозаики избирательно возбужденных и заторможенных нервных элементов, обеспечивающих уже более успешную ("интегрированную") р еализацию поведенческих функций. Считается также, что развитие новых форм поведения основывается на выработанном разграничении раздражительных и тормозных пунктов, на "грандиозной мозаике" их в коре. В некоторых случаях конфликт и борьба завершаются нарушениями нормальной нервной деятельности, формируются патологические изменения в поведении, "…длящиеся днями, неделями, месяцами и далее, может быть, годами", то есть наблюдается уже не его "функциональное развитие", а прогрессирование патологических форм поведения как симптомов хронического заболевания. Переход "функционального развития" в "развитие патологического процесса" проходит через трудноразличимую грань "здоровья" и "болезни", когда компенсаторные звенья адаптационных процессов теряют свое назначение и начинают играть роль самостоятельных патогенетических факторов.
Таким образом, течение и нарастание конфликта в ВНД может разрешаться в двух формах: совершенствовании и развитии поведенческих актов либо в их "патологическом развитии".
Особенно ярко роль классического физиологического конфликта обнаруживается в экспериментах с переделкой (переобучением) приобретенного навыка, когда животное ставится перед необходимостью смены цели поведения непосредственно в процессе осуществления ранее выработанной устойчивой формы поведения. Как показали, например, опыты Е.Ф. Полежаева, в таких случаях "…в целеполагающем процессе имеет место критический момент, когда условный раздражитель приобретает двойственный смысл, а именно, актуальное значение старой цели действия сохраняется и вместе с тем одновременно актуализируется побуждающее влияние новой цели действия". При этом экспериментатор отмечает "важные подробности": усиление ориентировочно-исследовательских движений, эмоциональную мобилизацию дыхания, генерализованную десинхронизацию ЭЭГ - признаки общей активации, как "физиологической цены" поиска существенного для субъекта раздражителя виде нового объекта-цели. Считают, что эти признаки активации при конфликте "…отражают интимные механизмы, связанные с нервно-психическим напряжением и энергетизацией поведения на предмет преодоления двойственности и выбора одной из двух альтернатив, то есть той цели действия, которая адекватна новому жизненному опыту" [23]. Они способствуют осуществлению индивидом шага в направлении собственного "функционального развития", либо в сторону "срыва ВНД" и регресса.
Таким образом, интенсивное использование "виртуальной реальности" в системах контроля и управления глобальными технотронными комплексами чревато скрытыми формами хронической патологии в ЦНС операторов дежурных смен, что в совокупности с постоянными тренировками и переобучением может привести к устойчивому "патологическому развитию" не предусмотренных регламентом форм поведения.
.В "… царстве относительности, какое представляет собой центральная нервная система, происходит постоянная борьба возбуждений между собою, постоянное возбуждение и постоянное торможение" [24]. Напряжение (эндогенная энергетизация), вызванное таким конфликтным противостоянием, обуславливает явление доминанты, которая понимается как "… более или менее устойчивый очаг повышенной возбудимости центров, чем он ни был бы вызван, причем вновь приходящие в центры возбуждения служат усилению (подтверждению) возбуждения в очаге, когда в прочей центральной нервной системе широко разлито торможение. При этом внешним выражением доминанты является стационарно поддерживаемая работа". А.А. Ухтомский считал, что, будучи консервативным началом подкрепления "наличного", доминанта в следующий же момент своей жизни становится уже прогрессивным началом, поскольку из множества новых "не идущих к делу" подкрепляющих "впечатлений" в следующий же момент происходит активный подбор и отметка "пригодного" и "нужного". Это ли не признаки работы по "функциональному развитию" и самодетерминации активности, осуществляемой доминантой?
Нет необходимости, "…чтобы на доминантном пути произошел конфликт возбуждений с возбуждениями, приходящими со стороны других путей; на своем собственном пути возбуждения, доведенные до кульминации, приведут к торможению под влиянием тех же самых факторов, которые перед тем производили суммирование". Иначе говоря, писал А.А. Ухтомский, "…доминанта, как известная односторонность действия, сама в себе носит свой конец". Это и является демонстрацией высшей формы внутреннего диалектического противоречия и конфликта, постоянно проявляющихся в деятельности центральной нервной системы. С другой стороны, "…борьба текущих доминант с уже установившимся поведением приводит к оплодотворению всей работы и поднятию достижений высшей центральной нервной системы". Такие "надстройки" возникают при борьбе (конфликте) новых доминант с текущими, являются действительно "объективными достижениями" и предопределяют будущее поведение субъекта, обозначая его внутреннюю работу по собственному совершенствованию и развитию.
Из приведенных данных видно, насколько важен комплекс мероприятий по выработке и поддержанию у персонала дежурных смен глобальных технотронных комплексов навыков по переходу из режима "ожидание" в режим повышенной готовности и принятия решений.
Конфликт в системной физиологии,как самостоятельному варианту взаимодействия (противостояния) в ЦНС основных нервных процессов и влияний, принадлежит заметное место. Так, в предложенной П.К. Анохиным схеме функциональной системы поведенческого акта [25] можно обозначить по крайней мере три "локуса" потенциального проявления конфликта и его последующей "работы". Конфликт может проявиться как на стадиях афферентного синтеза и "принятия решения", так и в процессах сличения параметров реально полученного результата действия с ожидаемыми и зафиксированными в акцепторе результатов действия.
Афферентный синтез, как "…универсальный процесс в границах функциональных систем разного уровня, обеспечивается структурно-функциональными закономерностями и молекулярной природой процессов взаимодействия в ЦНС" (П.К. Анохин). Представляется, что за счет этого взаимодействия становятся возможными не только синтез и интеграция разнородных возбуждений, но также и их противоборство. В одних случаях обнаруживаются различные варианты разрешения этого противоборства (иногда внезапного) в виде "идеаций", состояний типа "эврика" (E. Hilgard, D. Marguis, цитируется по [26]) или "инсайта" как эпифеноменологического разрешения конфликта. В других случаях конфликт-индуцированное напряжение разрешается в ориентировочно-исследовательской реакции и запуске нового афферентного синтеза для очередной (обновленной) попытки достижения старой цели и результата действия новыми средствами и способами. Возможно также формирование новой конфликт-индуцир ованной мотивации, ориентирующей организм на достижение качественно новых или компромиссных результатов деятельности. Эти же варианты выхода из конфликта обнаруживаются в случаях трудностей "принятия решения", уже описанных выше, а также в ситуациях длительного недостижения потребных результатов целенаправленной деятельности.
Частым исходом длительного конфликта является невроз. При этом И.П. Павлов считал, что невротические срывы высшей нервной деятельности являются результатом столкновения тормозного и возбудительного процессов в коре головного мозга. Полемизируя с такой точкой зрения, П.К. Анохин считал, что, например, возбуждение, как "…одна из борющихся сторон, является конкретным нервным процессом, все пути которого могут быть с точностью прослежены". Но "…как возникло торможение в виде самостоятельного процесса", по мнению П.К. Анохина, неясно. Он считал, что конфликтное противостояние обнаруживают не "возбуждение и торможение", а "две целостные деятельности", две системы возбуждения, которые борются между собой с помощью торможения. Такой конфликт может завершиться полным торможением одной из деятельностей, вследствие чего устраняется сама конфликтность, и, что очень важно, радикальным обновлением содержания акцептора результатов действия функциональной системы другого поведенч еского акта. Потребный результат и его параметры, запрограммированные в этом акцепторе, могут быть неожиданными, внешне парадоксальными, но всегда высокоспецифичными, а сами цели чрезвычайно разнообразными "…от ничтожных - до возвышенных и одухотворенных" [24]. П.К. Анохин обращал внимание, если в итоге конфликта "…появляется торможение какой-либо деятельности организма или даже ее отдельных компонентов, исследователь должен искать другую целостную деятельность, которая обусловила наблюдаемое торможение" [25], и описать ее новые характеристики. Представляется, что борьба двух деятельностей заканчивается для обеих сторон неодинаково. Одна из них вытормажива-ется, а другая выходит из противостояния не только "укрепленной", но и глубоко обновленной по содержанию, знаменуя качественный рост, прежде всего мотивационной основы поведения.
Считается, что неудовлетворение ведущих потребностей через конфликт ведет к напряжению, создающему затем основу развития психоневрозов и эмоционального стресса. Эти состояния, в свою очередь, закладывают фундамент новых и разнообразных форм поведенческой активности, поскольку в этом случае для организма обнаруживается возможность "…освободиться от одних образцов поведения и развить на их месте новые" [26].
Следствиями разрядки неспецифического напряжения при эмоциональном стрессе являются многочисленные нарушения саморегуляции физиологических функций, суммация отрицательных эмоциональных возбуждений, неотреагированные страх и агрессия, химическая дезорганизация функций мозга в целом и многое другое [27]. В этих условиях организм "вынужден" не только искать пути компенсации нарушенных вегетативных функций, но и на рефлекторной основе формировать разнообразные поведенческие "ответы". Эта рефлекторная активность реализуется в виде хаотичных (бесцельных) поведенческих актов, выполняющих демпферные функции. В долговременном плане формируются эмоционально (аффективно) или проблемно (конструктивно) ориентированные "копинг-стратегии" целенаправленного поведения, обеспечивающие избегание или преодоление напряжения как такового. В отличие от этого, формой разрешения конфликта, развивающегося на интрапси-хическом уровне, становится обновленная мотива ционно-обусловленная деятельность, направленная на новые цели и результаты действия для удовлетворения вновь возникших мета- или квазипотребностей. Именно они существенно расширяют спектр эндогенно детерминированной активности, а также возрастающую адекватную ориентированность субъекта в бесконечном разнообразии внешней среды.
Таким образом, данные исследований ВНД, учение о доминанте А.А. Ухтомского и теория функциональных систем П.К. Анохина говорят о том, что разрешение конфликтов составляет центральную проблему (пере)обучения сложных живых систем иерархического типа, когда необходимо разрушить старые информационные, а также причинно-следственные внешние и/или внутренние связи и установить новые. При этом высока вероятность получения неадекватных, патологических форм поведения, что недопустимо в технотронных комплексах военного назначения. Одним из главных источников такой опасности является мозаичная (ассоциативная) активация коры головного мозга и достаточно субъективный, если не сказать случайный, поиск адекватных реакций. Второй важный вывод состоит в том, что деструктивные процессы являются неотъемлемой частью любого (пере)обучения, и поэтому они должны быть регулируемыми и подконтрольными
Конфликт в экспериментальной психологии рассматривают как напряжение, создаваемое у субъекта потребностью, задачей или намерением в условиях недостижения объекта-цели. Такая ситуация может сложиться в случаях возникновения физических, биологических препятствий, а также социальных запретов на пути приближения к потребному раздражителю или избегания опасности.
Хорошо известны "прообразы" этих ситуаций, в которых оказались мифологические или литературные герои:
В начале 30-х годов ХХ столетия в работах научной школы К. Халла на животных были вскрыты особенности реализации процессов приближения и избегания. Оказалось, что стремление субъекта к объекту-цели возрастает по мере его достижения ("градиент приближения"), а желание избежать угрожающего объекта падает при отдалении от него ("градиент избегания"). Нетрудно заметить, что эти два обстоятельства вносят дополнительные коррективы в разрешение описанных выше вариантов конфликтов. Формы выхода из конфликта и его разрядки разнообразны. Считают, что любой конфликт создает внутреннее побуждение к агрессии [28] либо к реализации примитивных форм поведения [29], к замещению (ersatz) как достижению первоначальной цели с использованием иного раздражителя и обходными путями. В работах "венской школы психиатров" предложены несколько вариантов разрешения конфликта и использования его энергии в процессах сублимации, вытеснения, равно как и в невротических проявлениях и мечтах. Считали, что разрядка напряжения в конфликте рождает "квазипотребности", которые обладают основными характеристиками истинных потребностей. Их удовлетворение наступает лишь при достижении новых целей поведения. Это говорит о том, что системной функцией конфликта является мотивогенез поведенческой активности. Реализующиеся при этом новые поведенческие акты становятся внешними признаками индивидуального "функционального развития" субъекта на основе обогащения и расширения "векторов" его целенаправленной деятельности.
Конфликт в психоанализе (явный или скрытый) рассматривают как борьбу противоречивых требований внутри субъекта. Он может проявляться в очевидных нарушениях поведения, трудностях характера и др., составляя одновременно основу человеческого существа и "векторы" его развития. Конфликты возникают между желанием и защитой, между различными системами и "инстанциями". Конфликт представляет собой также "сущностное ядро" внутренних комплексов, при которых возникает не только противоборство желаний, но также и их драматическое столкновение с "внутренней цензурой" и запретом. В психоанализе конфликт рассматривают как явление, развивающееся на интрапсихическом уровне, когда, например, в ходе лечения пациента приближение врача к его патогенным воспоминаниям усиливает сопротивление, или активирует внутреннюю защиту пациента от "неприемлемых представлений". Возникающие при этом невротические симптомы знаменуют достижение (или недостижение) некоего комп ромисса между внутренним миром субъекта и попытками вмешательства в него извне. Вообще считают, что достижение подобных компромиссов составляет основу развития и структурирования личности, а также формирования новых желаний у человека.
Так, в "Эдиповом комплексе" (З. Фрейд [30]) у мальчиков и "комплексе Электры" [31] у девочек психоаналитики усматривают энергетические источники конфликтов, которые ведут в последующем к разнообразным процессам (например, вытеснению, сублимации и др.), обогащающим как фонд Бессознательного, так и арсенал "легализованных" видов поведенческой активности (например, творчество) у индивида.
Таким образом, данные экспериментальной психологии и психоанализа говорят о том, что в сложных живых системах конфликты могут проявляться и разрешаться на этапе выбора критериев и показателей оценки качества принимаемых решений и исполняемых действий, что может привести персонал дежурных смен глобальных технотронных комплексов в недопустимое неадекватное ситуации состояние или к "смещенной" активности, подменяющей собой реально необходимое действие.
Конфликты "восприятия" довольно часто проявляются в обыденной жизни, например, в форме альтернативного восприятия (неоднозначности) изображения на плоскости полого куба, ребра которого изготовлены из проволоки (рис. 1.3-а) - заимствован у Р. Грегори [32]).
(рис 1.3) Неоднозначное восприятие пространственного положения кубаЗдесь неоднозначность (альтернативность) восприятия возникает из-за нарушения правила: изображать на двумерной плоскости пунктирными линиями невидимые глазом ребра трехмерной фигуры. Такую неоднозначность восприятия можно устранить двумя способами. В первом случае (рис. 1.3-б) пунктирные линии расположить так, чтобы исходный куб воспринимался наклоненным "вниз" и справа налево, а во втором случае (рис. 1.3-в) тот же куб необходимо воспринимать наклоненным "вверх" и слева направо. При этом Р. Грегори предложил закрыть два последних рисунка и "приспособить" наше восприятие сначала на расположение куба по варианту рис. 1.3-б, а затем по варианту рис. 1.3-в и т. д.
Как ни странно, но и в микроэлектронике устранение неоднозначности "восприятия" входных воздействий является не менее обыденным делом. Более того, используемые при этом методы и средства позволяют к тому же изменять и правила функционирования целого ряда базовых устройств вычислительной техники, и правила управления их работой. Это говорит о том, что разрешение конструктором подобных конфликтов, связанных с неоднозначным "восприятием" входных воздействий служит основой творческого "развития" методов и средств управления сложными вычислительными комплексами.
В частности, без триггеров практически невозможно организовать работу любого вычислительного устройства. Хорошо известно, что основу всех триггеров составляют так называемые RS- триггеры (рис. 1.4), правила работы которых задаются таблицей 1.2. Здесь "звездочка" (*) означает: если на R- и S- входы триггера одновременно подать "единичные" (возбуждающие) значения, то триггер случайным образом может перейти как в "единичное", так и в "нулевое" состояние.
(рис 1.4) Логическая схема RS-триггера
(рис 1.5) Логическая схема JK-триггера Причина такого "неоднозначного" поведения RS- триггера лежит на физико-техническом уровне организации его работы, где при "единичном" входном воздействии скорости нарастания токов в симметричных плечах триггера носят случайный характер. Поэтому в RS- триггере возникают так называемые "гонки" между токами, из-за которых невозможно заранее определить, какое из этих плеч станет ведущим и раньше перейдет в "единичное" или "нулевое" состояние.
Возникающие на физическом уровне неоднозначности "восприятия" комбинаций входных воздействий в электронике принято устранять введением обратных связей, но на более высоком, схемотехническом уровне. В нашем случае структурная схемотехническая адаптация трансформирует RS- триггер в JK- триггер (рис. 1.5), который теперь уже однозначно инвертирует свое предыдущее состояние под воздействием "единичных" входных сигналов (см. табл. 1.2).
| И -НЕ | |||
|---|---|---|---|
| S(J) | R(K) | Q(t + 1) | Q(t + 1) |
| 0 | 0 | Q(t) | Q(t) |
| 0 | 1 | 0 | 0 |
| 1 | 0 | 1 | 1 |
| 1 | 1 | * | Q(t) |
Таким образом, устраняя различными способами неоднозначности "восприятия" входных воздействий и в живых системах, и в микроэлектронике, можно получить функциональные блоки с существенно разными адаптивными возможностями, что можно расценить как аналог навязанного извне "развития" ее элементной базы. Негативные последствия такого рода неоднозначностей в программно-аппаратных платформах чреваты появлением непредвиденных форм "поведения" и к потери управляемости глобальным технотронным комплексом вследствие появления в них информационных сбоев и отказов аппаратуры.
Конфликты в физических, химических и биохимических системах, а вместе с ними и в описывающих их поведение математических моделях, наиболее часто возникают в более ослабленном варианте противоречия, когда нарушается только аксиома однозначности логики Аристотеля. В реальных физических, химических и биохимических системах противоречия (понимаемые как неоднозначности) возникают там, где появляются условия хотя и пассивного, но, тем не менее, альтернативного выбора дальнейшего хода процесса. Это наиболее характерно для (полу)открытых, нелинейных, неравновесных физико-химических систем [33], где имеются объективные условия для ветвления (
Теория
Исследуя поведение нелинейных систем, И. Пригожин и Г. Николис показали [33], что вне области устойчивости термодинамической ветви может возникнуть новый тип организации, который связывает пространственно-временное "поведение" системы с динамическими процессами внутри нее, например конвекцию с химической кинетикой. Такой тип пространственно-временной организации системы был назван "дис-сипативными структурами", механизм образования которых существенно отличен от механизма формирования равновесных структур, основанного на больцмановских принципах упорядоченности.
Образование "диссипативных структур" проще всего продемонстрировать с помощью сосуда с жидкостью, нагреваемого снизу. Пока градиент температуры разогрева ниже определенной "критической" точки, тепло через жидкость переносится только за счет процесса теплопроводности. Но уже при переходе интенсивности нагревания через "критическую" точку возникают конвективные ячейки с регулярным течением жидкости. Такой эффект известен как "бенаровская" неустойчивость, благодаря которой возникает регулярное течение жидкости с высокой степенью молекулярной организации. Это становится возможным лишь за счет переноса энергии от хаотичного микроскопического теплового движения к упорядоченному макроскопическому конвективному движению. Как и в предыдущем случае, в этом можно усмотреть физико-химический прототип трансформации, например, индивидуально защитных (или смещенных) форм активности в автономизированные и самодостаточные поведенческие акты, играющие самостоятельную биологическую рол ь.
С позиций больцмановской статистки вероятность спонтанного проявления такого когерентного (организованного) поведения более чем 1020 "хаотичных" молекул практически равна нулю. Объяснить этот феномен самоорганизации И. Пригожину и его коллегам удалось только благодаря раскрытию механизмов переноса энергии от микро- к макроуровню, основанного на координации усилий соответствующих флуктуаций. Используя результаты И. Пригожина и его бельгийской школы, М. Эйген [34] пришел к выводу, что эти флуктуационные механизмы самоорганизации неравновесных систем в диссипативные структуры достаточны только для образования предбиологического субстрата, а скоротечная (по временным масштабам Вселенной) эволюция биологических макромолекул, продуктом которой мы являемся, требует более сложных механизмов инструктированного синтеза.Они помимо конфликта пронизывают процессы рождения, роста и развития живых организмов, обеспеч ивая их своеобразными биологическими контроллерами и адаптерами (нуклеотидами и ферментами), которые поддерживают сложную систему ограничений на всех этапах и уровнях иерархической организации живых систем, начиная с физико-химического уровня .
Таким образом, конфликты в нелинейных физических, химических и биохимических системах являются источником конфликтов на молекулярно-биологическом уровне и проявляются в форме противоречивой (неоднозначной) динамики процессов, которая при определенных условиях может привести к образованию качественно новой структурно-
Из изложенного видно, что наличие в открытых, нелинейных физико-технических и молекулярно-биологических системах потенциальных "паразитных"
Системотехнические конфликты в кибернетике и вычислительной технике являются "наследниками" формально-логических конфликтов в математике. Несмотря на это, к борьбе с антиномиями ученые долгое время относились как к сугубо "внутренним" проблемам логики и математики. Однако ситуация кардинально изменилась, как только в 1948 году Дж. фон Нейман [16] опубликовал первые результаты по теории качественно нового класса автоматов, способных к "самовоспроизводству", то есть воссозданию собственных копий. К этому моменту математики уже освоились с фантастическими последствиями
Однако такое правило разделения на простые и "самовоспроизводящиеся" автоматы достаточно быстро привело Дж. фон Неймана к противоречию, связанному с неразрешимостью проблемы останова абстрактной машины Тьюринга. Решая задачу инструктированного синтеза автомата-потомка, Дж. фон Нейман следующим образом связал результаты А. Тьюринга с результатом К. Геделя (цитируется по [17]): "Это свойство (неразрешимости - прим. авторов) связано с
Наличие противоречий в теории "самовоспроизводящихся" автоматов вынудило М. Аптера [17] искать пути, которые исключают из абстрактной теории развития "самообращающиеся" и поэтому приводящие к противоречиям конструкции, связанные с парадоксом Тристрама Шенди. При этом М. Аптер исходил из того, что система не может "развиваться", получая извне только энергию и строительные материалы. Более того, открытым остается вопрос и о том, сможет ли система "самоусложниться" некоторым заранее предписанным ей образом. Решая эти проблемы, М. Аптер исходил из того, что универсальная машина Тьюринга не обследует себя, а получает описание другой машины, которая случайно оказывается идентичной первой. Это снимает проблему "самообращения", но парадокс все же остается: чтобы воспроизвести себя, универсальный автомат должен иметь описание собственного поведения во время воспроизведения, а это невозможно, пока "самовоспроизведение" не закончилось. Отсюда следует, что машина Тьюринга не может воспроизвести себя, пока у нее нет описания собственного процесса воспроизведения, а получить такое описание она может, только закончив воспроизведение.
Для разрешения этого парадокса М. Аптер рассмотрел две возможности [17]:
Таким образом, имеются достаточные основания считать, что и в процессе "самовоспроизводства" автоматов, и в динамике их пассивного, навязанного извне "развития", как бы эти процессы ни интерпретировались, неизбежно возникают явные или скрытые противоречия, разрешение которых приводит к созданию автоматов, качественно отличающихся по своим свойствам от предшественников. Отсюда следует, что в технологии прототипирования только отдельные этапы могут быть "саморазвивающимися", но только в смысле поиска, а не принятия и реализации принятых решений, которые, в конечном счете, должны быть подконтрольны человеку на всем жизненном цикле создания и использования технотронных комплексов военного назначения.
,распространяя апробированные методы и средства разрешения более "сильных" конфликтов на более "слабые", и наоборот. Для формального описания такого процесса достаточно использовать представление некоторой функции $$F(x) $$ (в данном случае одной переменной $$x$$ ) с помощью произвольного множества функций $$\varphi_i(x)}$$, таких, что:
$$F(x) = \sum_i{\eta_i(x)*\varphi_i(x\pm x_i^0}$$В выражении (1.1) каждая "представляющая" функция $$\varphi_i(x) \ in \{ \varphi_i(x) \}$$ сдвигается в пространстве значений аргументов на величину $$\pm x_i^0$$ таким образом, чтобы обеспечить полное совпадение на интервале $$\Delta x_i$$ с "представляемой" функцией $$F(x)$$, а вне этого интервала характеристическая функция $$\eta_i(x) $$ устраняет все паразитные влияния несовпадающих значений, так как имеет вид:
$$\eta_i(x) = \left \{ \begin{array}{ll} 1 \text{если } x \in \Delta x_i \\ 0 \text{если } x \notin \Delta x_i \end{array}$$При $$\Delta x_i\to 0$$ записи (1.1) соответствует наиболее простой, табличный способ задания "представляемой" функции совокупностью независимых "представляющих" функций, определенных на единственном значении аргумента $$x_i$$
В технических системах противоречия, а значит, и конфликты потенциально способны возникнуть только там, где несколько характеристических функций $$\eta_i(x)$$ одновременно могут принять "единичное" значение на одном и том же интервале $$(x+ \Delta x_i)$$, то есть ситуация сходна, напри-мер, с "конфликтами возбуждения и торможения" в ВНД. Объясняется это тем, что и в реальной жизни, и в математике рассматриваются только однозначные функции $$F(x)$$, то есть такие функции, которые каждому значению аргумента $$x$$ ставят в однозначное соответствие единственное значение $$y\in F(x)$$
Отсюда видно, что наличие противоречий в технических системах также носит
Таким образом, в "сложных" кибернетических, физико-химических, молекулярно-биологических и технических системах структурную и параметрическую адаптацию можно рассматривать как процесс ослабления или полного устранения неоднозначности в отображении "вход-выход", а развитие - как процесс разрешения противоречий (антиномий). При этом более "сильные" методы, средства и механизмы разрешения конфликтов могут быть использованы для борьбы с более "слабыми" конфликтами путем ослабления или полного устранения одних только неоднозначностей,которые являются источником возникновения крайне опасного для технотронных комплексов военного назначения "несанкционированного" альтернативного выбора.
Заключая анализ роли и места конфликтов в адаптации и развитии "сложных" математических, кибернетических и физико-технических систем, необходимо сделать следующие замечания, предостерегающие радикальных сторонников формализации биологических систем от излишней эйфории.
Представляется весьма заманчивым принять кардинальные меры и устранить логические конфликты в "сложных" биологических системах, заменив термин "самовоспроизводство" на термин "воспроизводство себе подобных". На первый взгляд это исключает антиномии, связанные с "множеством всевозможных подмножеств, не являющихся собственными элементами". Однако это не исключает антиномии других типов и, в частности, А. Ричарда. Более того, при таком подходе придется либо вводить ограничения на число воспроизводимых "близких" копий, либо вводить отличительные признаки между воспроизведенными и воспроизводящими автоматами, которые в формальных системах должны быть тождественными. В результате мы придем к качественно новой "формально-логической" системе, которая "зеркально симметрична" Аристотелевой логике и в которой функции могут быть неоднозначными; о положении, признанном верном, можно одновременно говорить как о неверном, а $$x\ne x$$.
При описании "сложных" живых организмов нельзя ограничиваться только процессами переноса вещества и/или энергии в (полу)открытых системах, так как эти организмы являются (полу)открытыми и по отношению к процессам распространения информации. Последние достижения в области телепортации фотонов [35] указывают на возможность информационных контактов без масс-энергетических взаимодействий. А это значит, что достаточно сложные организмы могут направить свои масс-энергетические усилия на основе информации, взятой из " ниоткуда ". В этом случае такие действия могут восприниматься самим субъектом как интуитивные формы поведения, а с точки зрения стороннего наблюдателя - как парадоксальные формы поведения, что крайне важно, если этим наблюдателем является противник, которого необходимо ввести в заблуждение.
Таким образом, при использовании междисциплинарного подхода к созданию перспективных развивающихся технологий в области вычислительной техники необходимо учитывать следующие его особенности.
В современных условиях интеллектуальная вычислительная техника является не только объектом, но и средством исследований. Поэтому она оказывает интегрирующее влияние на всех этапах фундаментальных и прикладных исследований и разработок практически всех компонент технотронных систем двойного назначения.
Технотронными считаются системы, существование и функционирование которых в принципе невозможно без использования средств вычислительной техники.
С этих позиций проектирование и производство субмикронной элементной базы и аппаратуры на ее основе в принципе невозможно без использования средств вычислительной техники, которые обеспечивают сквозное системное проектирование всех электронных компонент, топологию их размещения на кристалле, управление электронно-лучевой фотолитографией при изготовлении СБИС, контроль и отбраковку изделий микроэлектроники и т. д. Поэтому тот, кто имеет преимущество на современном этапе развития микроэлектроники и вычислительной техники, по объективным причинам обладает этим преимуществом в процессе их развития.
Наиболее контрастно эта тенденция развития технотронных систем проявились при реализации исследовательского проекта стратегической системы противоракетной обороны (ССПРО), именуемой стратегической оборонной инициативой (СОИ).
Структурно-функциональная схема ССПРО [12] включает (рис. 1.6):
(рис 1.6) Функциональная схема СОИПрограмму СОИ предполагалось реализовать в три сохраняющих преемственность этапа, конкретный облик которых в основном определялся уровнем развития наземных и космических вооружений и вычислительных средств интеллектуальной поддержки их боевого применения.
Ударная мощь СОИ сосредоточена в системах ERIS и SBI, технотронные характеристики которых должны были развиваться как по мере роста интеллектуальности возлагаемых на них задач (один из решающих факторов повышения живучести систем федеративно-конфедеративного типа), так и по мере перехода от кинетического оружия к оружию направленной энергии, которое кардинальным образом изменяет "сценарий" боя.
Основные факторы такого изменения:
В результате кардинальным образом изменяются требования к системотехническим и интеллектуальным характеристикам глобальных средств наблюдения, обнаружения, идентификации, сопровождения и наведения на цель. Устойчивую работу таких глобальных систем необходимо обеспечить в условиях активного противодействия "противника" и в широком диапазоне сезонных и суточных изменений погодных и климатических условий, происходящих в атмосфере и космосе, а также на и над земной поверхностью и акваторией Мирового океана.
В качестве базовой в СОИ была принята концепция распределенных, неоднородных, сквозных трактов высокоскоростной обработки данных от РЛС-, ИК-, оптических и лазерных приемников до средств управления орбитальными и наземными станциями, их вооружением и режимами работы оборудования, которые интегрируются в единую систему на основе развиваемой многоуровневой, неоднородной, распределенной, динамически реконфигурируемой, защищенной от несанкционированного доступа вычислительной системы наземного и космического базирования, характеристики которой изменяются синхронно с расширением возможностей сенсорных систем и систем вооружений.
Так, в системе SBI переход от антиракет фирмы Martin Marietta (первый этап) к перехватчикам Brilliant Pebbles Ливерморской национальной лаборатории ("Разумные камни", второй этап) предполагал совмещение в самом перехватчике всех функций от наблюдения и обнаружения целей до их поражения. В результате вместо фотоприемников с разрешением $$64 \times 64 = 4096$$ элементов, успешно обеспечивающих задачи наведения на цель, на борту планировалось использовать оптические системы из $$10^9-10^{10}$$ элементов, обеспечивающих наблюдение за земной поверхностью с высоты 1000 км площадью в штат Вирджиния и с разрешением до отдельного здания.
Обработка таких изображений требует перехода от параллельных
Защищенный от помех
При переходе к оружию направленной энергии космического базирования аналогичные требования к производительности БВС предъявляют системы управления многоапертурной лазерной оптикой в "фазарах". Это говорит о том, что упрощение задачи наведения оружия направленной энергии приводит к непропорциональному росту "сложности" задачи фокусировки поражающего луча.
О главенствующей роли средств вычислительной техники в программах СОИ говорит и тот факт, что по соотнесенным к массо-габаритам требованиям к производительности и интеллектуальности не уступают вышеприведенным цифрам и малогабаритные снаряды
Главная особенность конструкции таких снарядов - это малое поперечное сечение ( $$\le$$ 50 мм). Тем не менее, его микроминиатюрная электронная система должна на среднем участке собственного полета принимать сигналы коррекции для инерциальной системы, а на конечном участке выполнять автономное прицеливание и коррекцию траектории.
Наиболее высокий уровень интеграции всех компонент СОИ должны были обеспечить вычислительные средства системы связи и боевого управления BMC3 (см. рис. 1.6), фрагменты которой прошли демонстрационные испытания в 1988 г.
Чтобы обеспечить перехват МБР на активном участке полета, BMC3 должна была:
Для обеспечения перехвата боеголовок МБР на среднем участке полета, что еще более сложно, BMC3 должна была определять намерения и возможные объекты нападения, выделять средства для перехвата, обрабатывать информацию от всех датчиков СОИ, вносить изменения в стратегию перехвата и выдавать команды на перехват.
Для обеспечения перехвата боеголовок МБР на конечном участке BMC3 должна была функционировать так же, как и при перехвате на среднем участке полета, с той разницей, что информация должна поступать только к определенным руководителям боевых операций. При этом сведения о принятых ими решениях и о результатах перехвата передаются на командные пункты.
К BMC3 были предъявлены следующие требования:
Из приведенных данных видно, что в условиях активного противодействия "противника" практически все системы СОИ должны были решать в реальном времени достаточно сложные интеллектуальные задачи подавления помех в разнородных радио-, РЛС-, ИК-, оптических и лазерных трактах, комплексной оценки результатов, полученных в этих трактах, адаптации алгоритмов обработки на основе оценок климатических и погодных условий в среде распространения этих сигналов и под влиянием поражающих факторов и т. п.
Из приведенных данных также следует, что обеспечить требуемую отказоустойчивость и отказобезопасность систем СОИ только методами программно-аппаратного резервирования не представлялось возможным.
Это требовало создания распределенной, интеллектуальной системы парирования отказов, способной в реальном времени оценивать состояние и уровень работоспособности всех трактов приема, передачи и обработки данных, а также систем ориентации платформ и управления оружием. Система парирования отказов должна была работать в автономном от персонала режиме, вырабатывая и реализуя высокодинамичное управление программно-аппаратными ресурсами, пронизывающими всю СОИ.
Таким образом, программа СОИ изначально преследовала ряд целей военно-политического, военно-технического и технологического характера.
В военно-политическом аспекте СОИ носила явный провокационный характер и была нацелена:
Провокационный характер СОИ следует из того факта, что при 200- 300-секундном "сценарии" боя на активном участке полета атакующих МБР военно-политическому руководству США (Совет национальной безопасности, Комитет начальников штабов, Агентство национальной безопасности, Госдепартамент и т. д.) отводилось бы не более 30-40 сек на оценку уровня кризисности ситуации и на выработку адекватного решения.
Очевидно, что для выполнения этих функций военно-политическое руководство США должно обладать навыками мобилизации и работы в экстремальных ситуациях с непрогнозируемыми последствиями, что больше свойственно профессиональному оперативному составу СОИ, натренированному на переход от фазы длительного, пассивного наблюдения к фазе активных действий по оценке боевой обстановки.
В военно-техническом плане СОИ была направлена на качественный скачок в уровне роботизации всего вооружения и военной техники (ВВТ) армии США, что по замыслу должно свести к минимуму потери собственной живой силы, задействованной (в идеале) только в управлении автоматическими беспилотными системами поля боя.
В техническом плане СОИ представляла собой беспрецедентную по масштабам и скоординированности действий программу прорывных исследований в области опто- и микроэлектроники, реализовать которые можно только при условии качественного скачка в материаловедении, уже находящемуся на грани перехода к синтезу материалов с заранее заданными формами и физико-химическими свойствами.
Встретив со стороны США ожесточенную и явно конъюнктурную критику проекта ЭВМ 5-го поколения, японские ученые тем не менее развернули в начале 80-х годов широкомасштабный прорывной исследовательский проект ERATO [36] в области инструктивного синтеза материалов с заранее заданными формами и физико-химическими свойствами.
Этот проект постоянно развивается, и к 1991 году насчитывал 29 целевых программ фундаментальных исследований в области биокристаллов и биополимеров, организации биопопуляций и обмена биоинформацией в системах различного уровня "интеллектуальности", генного регулирования, механизмов квантового взаимодействия и т. д.
Хронология развертывания этих исследований:
научных исследований Японии (JRDC) во взаимодействии с Агентством науки и технологии (
Научная координация исследований в рамках ERATO осуществляется в трех направлениях: динамические микроспектроскопы, микрохимические функции, микропреобразующие системы. В совокупности эти исследования направлены на реализацию интегрированного проекта в области технологии микрофотопреобразований, актуальных не только для вычислительной техники с элементной базой молекулярного уровня исполнения, но и для аналитического приборостроения, поддерживающего научные и прикладные исследования следующего тысячелетия в области генной инженерии, биохимии, микробиологии и т. д.
Приведенные данные позволяют с достаточной степенью уверенности считать, что основная цель проектов ERATO - это отработка технологий для вычислительных систем со сверхмассовым параллелизмом и с молекулярным уровнем исполнения элементной базы.
В дальней перспективе разрабатываемая технология должна обеспечить достижение фундаментальных физических пределов в производстве средств вычислительной техники:
В рамках среднесрочной перспективы (2005-2015 гг.) предполагалось достичь уровня функциональной интеграции био- и макромолекулярных кристаллов с периодом решетки $$50-200 \dot A$$. При этом следует иметь в виду, что "сложность" реализуемой в активном молекулярном узле функции гораздо выше, чем у твердотельных вентилей, реализующих одну из базисных булевых функций. В результате может оказаться, что в био- и макромо-лекулярных кристаллах функциональная интеграция в булевом базисе будет определяться эквивалентными линейными топологическими размерами $$\sim 5-20 \dot A$$.
Базовая концепция продолжающихся программ ERATO фактически сводится к микроминиатюризации наработанных методов и средств в области молекулярной спектроскопии, которые планируются использовать:
Реализующая эту концепцию функциональная схема био- или молекулярно-кристаллического вычислителя включает (рис. 1.7):
(рис 1.7) Биомолекулярный эквивалент оптовычислителяТакая схема воспроизводит схему традиционных оптоэлектронных вычислителей на жидких кристаллах, где в качестве переключательного элемента используется оптически полупрозрачный ключ.
Традиционные микроэлектронные схемы на твердых кристаллах используют в качестве переключателей вентили, биомолекулярный эквивалент которых включает (рис. 1.8):
(рис 1.8) Биомолекулярный эквивалент вентиля Биокристалический эквивалент оптоэлектронной схемы можно классифицировать как вычислительную систему с глобальным генератором входных сигналов и фотоприемником выходных сигналов, а биокристалический эквивалент микроэлектронной схемы - как вычислительную систему с распределенными генераторами и фотоприемниками входных и выходных сигналов.
Несмотря на существенные отличия этих схем, очевидно, что уровень потребительских характеристик биокристалических вычислителей будет в основном определяться не уровнем микроминиатюризации вычислителей среды, а уровнем микроминиатюризации генераторов и фотоприемников сигналов.
Биокристалические вычислители могут быть выполнены по технологии постоянных запоминающих устройств, в которых вычислительные функции фиксируются на этапе синтеза биокристалла, или по технологии перепрограммируемых запоминающих устройств, в которых вычислительные функции изменяются в процессе вычислений.
(рис 1.9) Структура органометаллического биокристаллаДостаточно общая технологическая стратегия синтеза (био)моле-кулярного кристалла базируется на молекулярном катализе в органо-металлических соединениях (рис. 1.9), где активные металлические центры (в данном случае рутений Ru) имплантируются в подложку и фиксируют структуру эпитаксиального слоя на основе фосфора P. Рабочая поверхность биомолекулярного вычислителя формируется из хирального органического лиганда, задающего оптические свойства вычислительной среды.
В перепрограммируемых биокристалических средах хиральный лиганд извлекается избирательно из неоднородной жидкой среды, а в молекулярных кристаллах - из газообразной среды.
Из сказанного видно:
Таким образом, переход на молекулярный уровень исполнения элементной базы кардинальным образом изменяет физико-технические и схемотехнические принципы синтеза и работы (сверх)многопроцессор-ных вычислительных систем (ВС):
Главным стимулом развития средств вычислительной техники является постоянное отставание на 2-3 порядка предоставляемой производительности ( $$V$$ ) от требуемой, первая из которых определяется уровнем технологии производства элементной базы и аппаратуры, а вторая диктуется задачами пользователя. Лидерами по предъявляемым требованиям к производительности являются задачи, решаемые в реальном времени, темп которого задается теоремой Котельникова:
$$\Delta T_k = \cfrac{1}{2Fm + 1}$$где $$F$$ - максимальная частота в спектре обрабатываемого сигнала, а $$\Delta T_k$$ - период дискретизации сигнала по Котельникову.
К таким задачам по-прежнему относятся задачи военного назначения:
Удовлетворить требования задач с экстремальными характеристиками по производительности можно двумя взаимодополняющими путями:
Прирост производительности за счет совершенствования микроэлектронной технологии можно оценить, опираясь на линейный прогноз снижения топологических норм производства элементной базы и отвечающий ему рост тактовой частоты (табл. 1.3).
| Факт | Линейный прогноз | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Год | 1980 | 1985 | 1990 | 1995 | 2000 | 2005 | 2010 | 2015 | 2020 | 2025 |
| Минимальный линейный размер (мкм) | 3-4 | 1-1,5 | (6-8) *10"' | (2,5-3) *10' | (1-2) *10-1 | (6-8) *102 | (3-4) *102 | (1,2-1,5) *102 | (6-7) *10_3 | (3-4) *10_3 |
| Тактовая частота | -10 МГц | -100 МГц | -250 МГц | -500 МГц | -1 ГГц | -3 ГГц | -5 ГГц | -10 ГГц | -50 ГГц | -100 ГГц |
| Темп роста | 25 раз | 10 раз | 10 раз | |||||||
| Фотолитография | Проекционая | Рентгеновская (мягкий рентген $$\lambda > 2 A^o = 2 \times 10^{-4} мкм)$$ | ||||||||
Приведенные значения потребной производительности говорят о том, что решить в реальном времени перечисленные выше задачи только за счет технологического совершенствования невозможно, так как достижение терагерцовых частот работы процессоров при комнатной температуре остается проблематичным даже в нанометровой области, в которую микроэлектроника способна перейти только в 2015-2020 гг.
Отсюда встает необходимость комплексного использования возможностей технологического и архитектурного развития вычислительных систем (ВС), чтобы они оказались способными решить экстремальные задачи с требуемым качеством по точности, достоверности и времени запаздывания в ВС.
Предельные возможности комплексного увеличения физической производительности ВС как за счет роста тактовой частоты, так и за счет совершенствования архитектуры можно оценить следующими соотношениями:
$$\max{V(ОКОД)} = F_c^i = \cfrac{F_{T}}{\min{\beta_i}}$$где:
где $$\max V(ОКМД)$$ - максимальная производительность параллельной архитектуры с
где $$L $$ - "критический" путь программы обработки, определяемый количеством физически исполненных инструкций ассемблерного уровня (в дальнейшем слов-инструкций) в параллельной архитектуре с
(рис 1.10) Основные компоненты ЭВМ архитектуры типа ОКОД
(рис 1.11) Основные компоненты ЭВМ архитектуры типа ОКМДСоотношение (1.2) исходит из того, что в однопроцессорной системе
(рис 1.12) Основные компоненты ЭВМ архитектуры типа МКМДСоотношение (1.3) исходит из того, что в параллельных архитектурах
Соотношение (1.4) исходит из того, что в параллельных архитектурах МКМД-типа максимальный коэффициент распараллеливания по потоку команд не может превышать "длину" $$L$$ реализуемой в реальном времени программы циклической обработки потока данных из $$N$$ операндов. При этом распараллеливание по потоку команд можно провести как по векторной, так и по конвейерной схеме. В первом случае все или часть команд программы исполняются одновременно и независимо друг от друга на разных операционных устройствах ВС, что возможно при полном отсутствии или малом количестве слабоинтенсивных информационных связей между фрагментами программы. Во втором случае все информационно связанные фрагменты программы исполняются на операционных устройствах, образующих конвейер с фиксированной структурой связей и фиксированным протоколом обмена информацией между двумя ближайшими соседями.
В ВС реального времени максимальная "длина" $$L$$ программы обработки лимитируется различными факторами, которые зависят от ее архитектуры.
В
где $$\tau_c=1/F_c$$ - цикл исполнения ассемблерной слов-инструкции.
Соотношение (1.5) исходит из того, что в однопроцессорных ЭВМ реального времени программа должна завершить полный цикл обработки предыдущего отсчета до момента поступления последующего отсчета обрабатываемого сигнала. Нарушение этого условия приводит к потере входной и, как следствие, выходной информации, что может нарушить алгоритм решения задачи и привести к потере управления летательным аппаратом и его вооружением.
В
Из соотношений (1.5) и (1.6) видно, что в
В МКМД-архитектурах максимальная длина реализуемой в темпе реального времени программы обработки уже не связана с ограничениями теоремы Котельникова и лимитируется допустимым временем ( $$T_0$$ ) задержки в ВС:
$$\max L(МКМД) = \cfrac{T_0}{\tau_c}$$Подставив в (1.4) соотношение (1.7), получим:
$$Max(\max V(МКМД)) = \cfrac{T_k}{\tau_c}*\max V(ОКОД) = \\ T_0 * N * (F_c)^2 = \alpha * \Delta T_k * (N)^2 * (F_c)^2$$где $$\alpha = T_0 / T_k$$
Из (1.8) видно, что (максимальный) коэффициент распараллеливания вычислений по потокам команд и данных зависит от параметров решаемой задачи: периода дискретизации по Котельникову ( $$\Delta T_k$$ ), количе-ства операндов в циклически обрабатываемом потоке данных ( $$N$$ ) и допустимого времени задержки в ВС ( $$T_0$$ ). Это говорит о том, что параллельные архитектуры наиболее эффективны в проблемно-ориентированных областях их применения, для которых характерно априорное знание алгоритмов решения задач и их параметров.
Для большинства задач управления и боевого применения летательного аппарата $$\alpha \gg 1$$. Это объясняется тем, что для снижения влияния всевозможных помех и повышения достоверности вычислений требуется, как правило, усреднить полученные результаты по $$10^2-10^3$$ циклам обработки входного сигнала.
Сравнив (1.3) и (1.8), получим:
$$Max \left ( \cfrac{\max V(МКМД)}{ \max V(ОКМД)} \right ) = \alpha * \Delta T_k * (N)^2 \cfrac{F_c(МКМД)^2}{N* F_c(ОКМД)}$$Производители ВС для армий США и НАТО в основном используют
Традиционно отечественная микроэлектроника, а с ней и вычислительная техника отстают от зарубежной на 1-2 поколения, что приводит к разнице в 1-2 порядка по частоте работы процессоров.
Из (1.9) видно, что для компенсации такого технологического отставания необходимо в отечественных ВС максимально задействовать МКМД-факторы распараллеливания вычислений. В таких условиях (1.9) принимает вид:
$$\lambda = \Max \left ( \cfrac{\max V(МКМД)}{ \max V(ОКМД)} \right ) = (10^{-1} - 10^{-2}) \cfrac{T_0}{\tau_c(МКМД)}$$где $$F_c (МКМД)/F_c (ОКМД) = (10^{-1}-10^{-2})$$.
Из соотношения (1.10) следует, что выигрыш ВС с МКМД-архитектурой наступает при $$\lambda > 1$$, для чего необходимо выполнить достаточно слабое с технических позиций неравенство: $$T_0 > (10 - 100) * \tau_c (МКМД)$$.
Это неравенство требует, чтобы допустимое время задержки в ВС на один или два порядка превосходило время цикла исполнения ассемблерной слов-инструкции. В частности, при $$\tau (МКМД) = 100$$ нс (что соответствует $$F_c (МКМД) = 10$$ МГц) допустимое время задержки в ВС должно быть больше 10-5 с, что выполнимо для достаточно широкого круга задач управления летательным аппаратом и его вооружением.
Сложность проектирования и эксплуатации ВС МКМД-типа намного превосходит аналогичные показатели для ВС
Это приводит к увеличению стоимости и сроков создания инструментальных платформ открытого типа, эффективную разработку которых невозможно осуществить без учета перспектив развития микроэлектроники и вычислительной техники в ближайшие 15-20 лет.
В машине Тьюринга можно выделить два уровня управления, один из которых связан с исполнением текущей инструкции "программы", а другой - с инициализацией самой инструкции или "чтением" самой программы, то есть с перемещением управляющего устройства по ленте. В реальных ЭВМ перемещение курсора машины Тьюринга заменено смещением указателя адреса по разделу памяти программ ( P- область ОЗУ) конечного объема. Аналогично и для перемещения по таблице управления устройства управления машины Тьюринга, которое в процессорах с микропрограммным управлением заменено модификацией адреса в постоянном запоминающем устройстве микропроцессора. Поэтому общая процедура выполнения инструкций программы имеет вид: "Делай то, что расположено по указателю адреса … в P- области ОЗУ над тем, что расположено по указателю адреса … в D- области ОЗУ" (рис. 1.13).
(рис 1.13) Общая схема работы процессораВ результате идентификатор программы представляет собой указатель адреса первой инструкции этой программы, а считанный по этому адресу код операции представляет собой адрес микропрограммы, исполняющей эту ассемблерную инструкцию. Отсюда, вычислительный процесс представляет собой два процесса: перечисления потоков инструкций и данных и преобразования потоков инструкций и данных, причем потоки и инструкций, и данных неразличимы в кодовом представлении.
Перечислительная составляющая представляет собой частично упорядоченный поток адресов инструкций и данных, что обусловлено конечным объемом памяти. Вычислительная составляющая представляет собой последовательность
Поэтому правильнее говорить, что вычислительная машина не вычисляет, а преобразует коды инструкций и данных. Чтобы убедиться в этом, достаточно вспомнить, что:
Например, двоичная последовательность 1011 в ЭВМ может интерпретироваться:
Но система преобразований булевой алгебры ЭВМ выбрана таким образом, чтобы выполненные над двоичной последовательностью инструкции не зависели от правил интерпретации переменных на входе и выходе ЭВМ. По этой причине даже знаковые разряды чисел "складываются" в дополнительных кодах по правилам значащих разрядов: число - $$3$$ в дополнительном коде - $$1101$$, а число -2 в дополнительном коде - $$1110$$. Поэтому сложение кодов этих чисел в двоичной системе счисления имеет вид:
| $$е^+$$ | 1 | 0 | 0 | ||
| $$х_2$$ | 1 | 1 | 1 | 0 | |
| $$x_1$$ | 1 | 1 | 0 | 1 | |
| $$\sum$$ | 1 | 1 | 0 | 1 | 1 |
|---|
а результат $$1011$$ представляет в дополнительном коде число -5, для получения которого необходимо перейти на выходе ЭВМ к прямому коду $$1101$$, то есть чтобы правильно интерпретировать на выходе ЭВМ результат сложения двух отрицательных чисел, их сумму необходимо перевести в прямой код. Система булевых преобразований однобитного сумматора имеет вид:
$$e^+ = \begin{cases} x_2 * x_1, \text{если } e^- = 0, \\ x_2 + x_1(t), \text{если } e^- = 1. \end{cases} \\ \sum = \begin{cases} \overline{x_2} * x_1 + x_2 * \overline{x_1}, \text{если } e^- = 0, \\ \overline{x_2} * \overline{x_1} + x_2 * x_1, \text{если } e^- = 1. \\ \end{cases}$$Здесь $$e^+$$, $$e^-$$ и $$\sum$$ - соответственно "единица переноса" в последующий разряд, "единица переноса" предыдущего разряда и "сумма" текущего разряда, а $$*$$, $$+$$ и $$\overline{x}$$ - соответственно булева операция "И", "ИЛИ" и "ОТРИЦАНИЕ".
Таким образом, входные данные ЭВМ сначала представляются в двоичном коде, далее над ними выполняются булевы преобразования,результаты которых интерпретируются ("трактуются") на выходе ЭВМ.
Следует иметь в виду, что правила интерпретации двоичных кодов чисел на входе ЭВМ существенно изменяют и систему преобразований булевых функций в самой ЭВМ. В нашем примере подразумевалась классическая позиционная система счисления, в которой "вес" $$i$$ -го разряда для целых чисел определяется по правилу: $$w_i = 2^{i-1}$$. Однако это не единственная позиционная система счисления; для сравнения рассмотрим числа Фибоначчи и отвечающие им правила выполнения арифметических действий [37].
Последовательность чисел Фибоначчи появились в 1202 году из задачи о размножении кроликов. Пара кроликов каждый месяц приносит приплод из двух крольчат: самки и самца. Период созревания крольчат составляет 2 месяца, и они начинают размножаться по тому же правилу.
Задача: определить количество пар кроликов через $$l$$ месяцев, если размножение началось с 1-й пары зрелых кроликов и если оно началось с пары новорожденных кроликов.
Обозначим через $$\varphi_1(l)$$ количество пар кроликов по истечении l месяцев с начала размножения ( $$l=0, 1, 2, 3, …$$ ). Тогда при $$l > 2$$ количество пар кроликов можно определить по рекуррентному соотношению: $$\varphi_1(l-1) + \varphi_1(l-2)$$
В этом соотношении начальные условия зависят от "зрелости" кроликов в начале размножения:
Тогда последовательности чисел Фибоначчи запишутся:
Обобщенные числа Фибоначчи $$\varphi_p$$ учитывают разные периоды ( $$p$$ ) созревания молодых пар и разные коэффициенты размножения.
Связь чисел Фибоначчи с последовательностью двоичных "весовых" коэффициентов достаточно проста и определяется условием "мгновенного" созревания молодых пар $$p = 0$$. Тогда $$\varphi_0(l) = 2 \varphi_0(l-1); \varphi_0(0) = 1$$ и поэтому $$\varphi_0(l) = 2^l$$, то есть последовательность "весовых" коэффициентов класси-ческой позиционной двоичной системы счисления: $$1, 2^1, 2^2, 2^3, …, 2^l$$.
Если $$p = 1$$, то получим классический ряд чисел Фибоначчи, а если $$p = \infty$$, то есть процесс созревания молодой пары кроликов приобрел бесконечный характер, то в случае взрослой пары только она и размножается: $$\varphi_{\infty}(l) = l+1$$, а в случае новорожденной пары $$\varphi_{\infty}(l) = 1 const$$.
Как и в любой
| $$l$$ | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 |
|---|---|---|---|---|---|---|---|---|---|---|---|
| $$\varphi_1(l)$$ | 1 | 1 | 2 | 3 | 5 | 8 | 13 | 21 | 34 | 55 | 89 |
| $$X_1=33$$ | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 |
| $$Х_2=32$$ | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 |
В нашем примере $$X_1 = 33 = 21+8+3+1$$, а $$X_2 = 32 = 21+8+3$$.
В системе Фибоначчи число считается нормализованным, если в нем нет смежных "единичных разрядов". Например, число $$5 = 01011$$ считается ненормализованным, так как в его правых, младших разрядах подряд стоят две "единицы", которые можно заменить одной "единицей" в ближайшем, старшем разряде: $$01011 = 01100 = 10000 = 5$$.
В арифметике Фибоначчи арифметические действия выполняются только над
| $$X_1=33$$ | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 |
| $$Х_2=32$$ | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 |
| $$\Sigma^1$$ | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 0 |
| $$е^1$$ | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 |
Здесь "единица переноса" "раздваивается" и, как обычно, учитывается при суммировании старшего разряда, а также размещается со сдвигом на 2 разряда в частной единице переноса $$e^1$$.
Полученная частная сумма $$\Sigma^1$$ и частная "единица переноса" $$e^1 $$ имеют нормализованное представление, поэтому на втором шаге их можно сложить:
| $$\Sigma^1$$ | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 0 | |
| $$e^1$$ | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | |
| $$\Sigma^2$$ | 0 | 0 | 1 | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | |
| $$e^2$$ | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
Результат суммирования получился ненормализованным и его надо привести к нормализованному виду. Нормализация проводится начиная со старшей группы разрядов, где стоят подряд как минимум две "единицы":
| $$\Sigma^2$$ | 0 | 0 | 1 | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 0 |
| $$\Sigma^3$$ | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 0 | 0 |
| $$\Sigma^4$$ | 0 | 1 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 0 |
| $$\Sigma^5$$ | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 0 | 0 |
| $$\varphi_1(l)$$ | 89 | 55 | 34 | 21 | 13 | 8 | 5 | 3 | 2 | 1 | 1 |
Нормализованный результат имеет вид: $$01000100100 = 55+8+2 = 65$$, и его можно использовать в дальнейших вычислениях.
Отсюда, система булевых преобразований в одноразрядном сумматоре Фибоначчи имеет вид: $$\Sigma_i. = х_1 \oplus y_i$$. и $$e_i = х_i * у_i$$.
Таким образом, аппаратные затраты сумматора Фибоначчи гораздо меньше классического "булевого" сумматора, но процедура суммирования чисел Фибоначчи носит итеративный характер и требует циклической процедуры нормализации промежуточных операндов. Представление чисел в системе Фибоначчи требует большей разрядной сетки, чем классическое булево представление, так как "вес" разряда в последнем случае нарастает по самому быстрому экспоненциальному закону. Однако такую избыточность можно использовать для повышения обнаружения ошибок арифметических действий и повышения отказоустойчивости ЭВМ Фибоначчи [37].
Согласно данным табл. 1.3, уже сейчас необходимо оценить последствия перехода вычислительной техники на нанометровую или супрамолекулярную элементную базу, которая кардинальным образом изменит физико-технические законы производства (табл. 1.4) и условия правильного функционирования электронных приборов, схемо- и системотехнические принципы и методы организации вычислений, а также критерии оценки эффективности работы ВС.
| Длина волны (нм) | Лазер | Минимальная ширина линии (мкм) |
|---|---|---|
| 143 | ArF | ОЛЗ |
| 157 | F2 | 0.1-0.8 |
| 146 | Кг2 | 0.07 |
| 134 | ArKr | 0.07 |
| 13 | Плазменный источник | 0.05 |
В первую очередь это относится к принципам и методам организации вычислений потому, что при выходе вычислительной техники в нано-метровую область изменится на противоположное отношение "ведомый-ведущий" между микроэлектроникой и вычислительной техникой. Если в традиционной вычислительной технике разработчики ВС задавали условия правильной работы микроэлектронной элементной базы, то наносхемотехника и супрамолекулярная электроника будут не только ограничивать функциональные возможности, но и предопределять спектр функций, реализуемых блоками и узлами вычислительной техники.
Действительно, и в нанометровых, и в супрамолекулярных вычислителях:
Системотехническое сходство нанометровых и супрамолекулярных вычислителей состоит в том, что их инструктированный синтез в конечном счете сводится к созданию относительно устойчивого квантового "рабочего тела", задающего вероятностное пространственно-временное распределение потенциальных барьеров и потенциальных ям, где процесс перераспределения зарядов и/или энергии используется как вычислительный.
Разнятся эти вычислительные технологии механизмами задания (фиксации) структуры потенциальных барьеров и ям, а также механизмами ее взаимодействия с потоками перераспределяемых в пространстве и во времени заряженных частиц и/или энергии, которые кодируют входные, промежуточные и выходные потоки данных, что в схемотехническом плане становится существенным после формально-логического синтеза таких вычислителей.
Из приведенных данных видно, что в нанометровых и супрамолеку-лярных вычислителях:
В современных (микро)программируемых опто- и микроэлектронных средствах вычислительной техники можно добиться только высокодинамичных переходов между разделенными во времени и пространстве этапами синтеза, (ре)конструирования и использования сверхбольших коллективов вычислителей, реализующих основные и интерфейсные функции конкретных (суб)процессоров. При этом требуется, чтобы пользователю (суб)процессора был доступен либо вентильный, либо микропрограммный уровень управления, отвечающий требованиям (квази)
(рис 1.14) Функциональная и структурная схема оптоэлектронной ЭВМ. Реализация на оптоэлектронной вентильной матрице реального масштаба времени и дифференцированного реагирования на карту отказов аппаратурыТакой комплекс системотехнических условий проектирования и использования проблемно- или алгоритмически ориентированных (суб) процессоров на основе заранее изготовленных сверхбольших коллективов вычислителей в достаточно полной мере выполняется в произвольно коммутируемых через голографическую память оптоэлектронных вентильных матрицах (рис. 1.14) и в микроэлектронных МКМД-бит-процессорных матрицах.
Основная системотехническая особенность оптоэлектронной ЭВМ рассматриваемого типа состоит в том, что в ней отсутствуют какие-либо регистры команд и данных и все управление реализуется через гологра-фическую память, в которой промежуточные результаты предыдущих вычислений могут напрямую влиять на коды исполняемых в данный момент времени инструкций. Такой тип управления потоком команд через содержимое потоков данных соответствует предельному режиму PD- ассоциативного управления, который в обычных ЭВМ проявляется только в операторах условных переходов.
В рассматриваемом варианте оптоэлектронной ЭВМ процессор можно реализовать на основе оптоэлектронной вентильной матрицы, входы и выходы которой замыкаются друг на друга только через гологра-фическую память и в соответствии с правилами работы операционных, управляющих и интерфейсных устройств. Это говорит о том, что все функции оптоэлектронного процессора реализуются аппаратно. Поэтому в оптоэлектронных процессорах рассматриваемого типа синтез, управление и (ре)конструкция блоков и устройств осуществляются методами и средствами структурной адаптации схем соединения вентилей (реконфигурацией оптических связей в голографической памяти).
В МКМД-бит-потоковых вычислительных технологиях синтез, управление и реконструкция процессоров осуществляется методами и микропрограммными средствами параметрической настройки однородных МКМД-бит-процессорных подматриц на те и только те интерфейсные, адресные, операционные, управляющие и диагностические функции, которые поддерживают работу активизированных операторов проблемно-ориентированных (суб)процессоров.
Отсюда, в частности, следует, что МКМД-бит-потоковые (суб)про-цессоры работают в режиме интерпретации, а не трансляции (микро)про-грамм, что создает благоприятные условия для высокодинамичного парирования карт отказов аппаратуры за счет толерантного (пере)размещения тела (микро)программы на бит-матрице с существенно меньшим по отношению к ее рабочей "площади" "горячим" резервом. (Толерантный - терпимый, в данном случае к действующей множественной карте отказов.)
Таким образом, для обеспечения национальной безопасности в XXI веке Россия должна опережающими темпами развивать супрамоле-кулярную и наноэлектронику, которые обеспечивают технологический базис для создания полностью отечественных ВС и для промышленного освоения методов и средств генной инженерии и молекулярной биологии. Достичь желаемых результатов одним отслеживанием и освоением передовых зарубежных технологий невозможно, так как развитые страны не стоят на месте и наращивают свое технологическое превосходство над развивающимися странами. В таких условиях решающую роль может сыграть устойчивая научно-техническая политика государства, в рамках которой все принимаемые технические решения ориентированы не только на решение текущих задач, но и в комплексе учитывают 20-40-летнюю перспективу развития супрамолекулярной, наноэлектроники, генной инженерии и молекулярной биологии.
Пик дискуссий о роли и месте кибернетики и вычислительной техники в обществе пришелся на середину 50-60-х годов прошлого столетия [1,2] и был ориентирован на оценку перспектив их использования. Отсутствие видимого прогресса в области промышленно освоенных
Появление кибернетики и вычислительной техники в середине 40-х годов прошлого столетия было обусловлено целым рядом факторов, требовавших повышения скорости вычислений. Простейший способ ускорения вычислений - это выполнение действий на бумаге в столбик. Однако со временем такого ускорения оказалось недостаточно для расчета различного рода строительных и подвижных механических конструкций, что привело к созданию арифмометра, способного механически выполнять арифметические действия над десятичными числами. Механический арифмометр повысил производительность вычислений в несколько раз. Но в 30-х годах прошлого столетия и такая скорость оказалась недостаточной, что привело к "автоматизации" процесса выполнения отдельных арифметических действий. Осуществить такую "автоматизацию" удалось благодаря успехам электротехники, когда к механическому арифмометру добавили электрический привод и электромеханические средства автоматики, обеспечившие выполнение циклической последовательности элементарных действий в алгоритмах умножения и деления десятичных чисел. В итоге удалось довести скорость вычислений до 1 операции за 2-5 секунд.
Вторая мировая война поставила человеческие жизни и накопленные человечеством материальные и культурные ценности в прямую зависимость от умения быстро и точно вычислять: кто быстрее и точнее принимал решения в зенитных и артиллерийских противоборствах на суше, море и в воздухе, тот и побеждал.
С позиций вычислительной техники сущность проблемы состояла в следующем. Возросшие скорости перемещения боевой техники (в первую очередь самолетов и танков) повысили их маневренность на поле боя, что требовало повышения эффективности средств противодействия (зенитных и артиллерийских орудий), и в первую очередь на этапе прицеливания. Стрельба по подвижным целям требует определения в темпе реального времени "точки встречи" средства поражения (снаряда в кинетическом оружии) с целью. В свою очередь, достоверный расчет "точки встречи" требует учета целого ряда "случайных" факторов: скорости, ускорения и траектории движения цели, направления и скорости ветра, взаимного начального расположения цели и орудия и т. п. В итоге наводчику зенитного орудия необходимо было в течение нескольких секунд вычислить ( экстраполировать ) "точку встречи", направить на нее орудие и осуществить выстрел. На охоте за утками такая задача разрешима и решается охотником линейной экстраполяцией на 2-3 корпуса утки вперед. Успех такой стрельбы предопределен несопоставимой скоростью взлета утки и полета дроби, а также относительно малой дальностью стрельбы (50-100 метров), что в совокупности лишает утку возможности эффективного маневра и уклонения от встречи со средством поражения.
В случае самолета периода Второй мировой войны разность скоростей со снарядом уже была не так велика, а дальность стрельбы достигала нескольких километров, что позволяло летчику осуществлять плохо предсказуемые и поэтому достаточно эффективные противозенитные маневры. В итоге одна из наиболее развитых в мире система противовоздушной обороны (ПВО) Англии оказалась малоэффективной, а ее радиотехнические средства оказались способны решить достаточно ограниченную задачу раннего предупреждения о нападении. В итоге на начальном этапе войны Англия понесла значительные потери среди мирного населения (Ковентри), что несовместимо с основополагающими принципами построения и существования вооруженных сил любой страны, требующих, чтобы потери среди мирного населения были несопоставимо более низкими, чем в армии.
Отсюда и встала жизненно важная задача экстраполяции в темпе реального времени случайного процесса и достоверного вычисления "точки встречи" снаряда и цели. Она потребовала увеличить производительность вычислительных средств на несколько порядков и включить их в состав контура управления "радиолокационная станция - зенитные орудия".
Автор кибернетики Н. Винер, решая эту задачу, исходил из следующего. Точную экстраполяцию положения самолета выполнить невозможно, так как с точки зрения артиллериста траектория самолета носит случайный характер. Но при стрельбе зенитным снарядом нулевая ошибка наведения и не требуется, так как имеется коническая область разлета осколков, а не одна точка поражения, а значит, и встречи цели и снаряда. Более того, траектория полета самолета не совсем случайная и ограничена такими факторами, как перегрузка летчика, инерционность системы управления, прочность летательного аппарата и т. п. Поэтому неопределенность в будущем положении самолета можно оценить приближенно с помощью статистических методов, то есть на основе предыстории наблюдения траектории полета.
Заслуга Н. Винера как раз и состояла в том, что он отказался от требования стопроцентного поражения самолета и стал решать задачу по критерию максимальной вероятности поражения цели. Однако методы экстраполяции случайных процессов требовали колоссальных по тем временам объемов вычислений, которые необходимо было осуществить в темпе реального времени, то есть в течение нескольких десятков секунд наблюдения за траекторией полета. Выполнить такой объем вычислений на электромеханических арифмометрах практически было невозможно, даже распределив работу между коллективом вычислителей, которые должны были координировать свои действия и обмениваться информацией друг с другом по ходу выполнения алгоритма вычислений.
Отсюда, прежде чем автоматизировать процесс наведения зенитного орудия на цель необходимо было:
С позиций автоматизации вычислительный процесс представляет собой заданную программистом и корректируемую содержимым потоков обрабатываемых данных частично упорядоченную во времени последовательность арифметико-логических действий, которые необходимо выполнить на том или ином вычислительном устройстве над входными и промежуточными данными, чтобы получить требуемый результат вычислений. Поэтому автоматизация управления ходом вычислений прежде всего требовала формализации понятия алгоритма. Такая формализация была проведена к началу 30-х годов прошлого столетия для решения "внутренних" проблем математики. Поэтому Н. Винеру и его современникам осталось только материализовать требования формальных определений и понятий, которые интуитивно сводились к следующему.
Алгоритм должен представлять собой конечный набор правил выполнения некоторой процедуры, которая удовлетворяет трем главным требованиям:
Например, процедура вызова абонента телефонной сети регламентирует правила набора номера "вообще" и не зависит от конкретного номера абонента.
На рубеже XX века Давид Гильберт сформулировал задачу "автоматизации" процесса вывода математических теорем: "Можно ли построить алгоритм, строящий необходимый алгоритм решения любой точно поставленной задачи?". Программа Д. Гильберта была направлена на получение универсального алгоритма, сводившего деятельность математиков к формальной механической игре, в которой произвольную формализованную задачу (точно описанную на языке математики) можно было решить механически,используя процедуры универсального алгоритма. Парадокс программы Д. Гильберта обнаружился практически сразу [3] и состоит он в том, что для доказательства существования такого универсального алгоритма требуется его строгое математическое описание. Этот парадокс был обнаружен Бертраном Расселом (впоследствии научный руководитель Н. Винера в аспирантуре) и сводился к хорошо известному еще древним грекам парадоксу брадобрея, "который бреет всех тех и только тех мужчин деревни, которые не бреются сами". Вопрос "Кто бреет брадобрея?" ставит любую "формальную" машину в тупик, так как такой брадобрей существует в том и только в том случае, когда его нет. Аналогичная ситуация складывается и с "множеством всевозможных подмножеств, которые не включают себя в качестве элемента", что является необходимым условием существования универсального алгоритма Гильберта.
Чтобы обойти возникшую парадоксальную ситуацию, было предложено большое количество уточнений понятия алгоритма, а наш соотечественник академик Андрей Николаевич Колмогоров построил схему, лежащую в основе любого уточнения этого понятия. С помощью этой схемы можно строить новые уточнения как угодно долго.
В вычислительной технике остановились на уточнении понятия алгоритма, которое предложил английский математик Алан Матис Тьюринг и которое известно под названием "машина Тьюринга". Эта "машина" до сих пор служит формально-логическим прототипом любой ЭВМ. Машина Тьюринга состоит из [4]:
На ленту можно записывать "слова", то есть упорядоченные последовательности символов из некоторого фиксированного и конечного алфавита.
На каждом шаге своей работы устройство управления извлекает символ, стоящий в клетке, против которой находится курсор устройства управления. Прочитав символ, устройство управления анализирует состояние, в котором оно находится в данный момент времени или, что одно и тоже, на данном такте работы. Список возможных состояний устройства управления конечен, фиксирован и известен заранее, а пара "считанный символ - состояние устройства управления" однозначно идентифицирует каждую клетку таблицы управления, на основе которой и определяется реакция машины Тьюринга. Считанный символ обычно идентифицирует строку, а состояние - столбец таблицы управления. В идентифицированной таким образом клетке таблицы управления записана инструкция, которую и должна выполнить машина Тьюринга.
Каждая инструкция в явном виде содержит:
Выполнив все указания, содержащиеся в данной клетке таблицы управления, машина Тьюринга завершает один цикл своей работы. Пусть машина Тьюринга работает по правилам табл. 1.1 [4].
| $$G_0$$ | $$G_1$$ | $$G_2$$ | |
|---|---|---|---|
| $$\varnothing$$ | $$\varnothing$$, $$G_0$$, $$Stop$$ | $$\varnothing$$, $$G_1$$, $$Right$$ | $$l$$, $$G_0$$, $$Stop$$ |
| $$1$$ | $$l$$, $$G_0$$, $$Stop$$ | $$\varnothing$$, $$G_2$$, $$Right$$ | $$l$$, $$G_2$$, $$Right$$ |
| $$+$$ | $$+$$, $$G_0$$, $$Stop$$ | $$-$$ | $$l$$, $$G_0$$, $$Stop$$ |
Здесь символ " $$\varnothing$$ " соответствует "пустой" клетке бесконечной ленты машины. "Слова", которые понимает данная машина Тьюринга, не должны содержать подряд несколько символов " $$+$$ ", и этот символ не может находиться в начале и в конце "слова", то есть запрещенными считаются последовательности вида: $$+1+$$, $$1++1$$ и т. п., а разрешенными считаются последовательности вида: $$11+1$$ и т. п.
Состояние $$G_0$$ является начальным. Оно бесконечно долго сохраняет неизменными все символы на ленте и себя, то есть устройство управления не смещается вправо. Два других состояния являются рабочими, а обрабатываемые "слова" располагаются справа от курсора устройства управления.
Пусть на бесконечной ленте такой машины Тьюринга записана последовательность символов $$\varnothing\varnothing 111+11\varnothing\varnothing$$, а место положения курсора отмечено состоянием $$G_1$$, в которое переведена машина под принудительным внешним воздействием:
| 0 | $$\varnothing$$ | $$1$$ | $$1$$ | $$1$$ | $$+$$ | $$1$$ | $$1$$ | $$\varnothing$$ | $$\varnothing$$ |
|---|---|---|---|---|---|---|---|---|---|
| $$G_1$$ |
Согласно данным таблицы управления 1 машина Тьюринга считывает символ $$\varnothing$$, записывает в освободившуюся клетку символ $$\varnothing$$ (сохраняет содержимое предыдущей клетки) и смещается вправо на одну позицию, сохранив состояние $$G_1$$:
| $$\varnothing$$ | $$\varnothing$$ | $$1$$ | $$1$$ | $$1$$ | $$+$$ | $$1$$ | $$1$$ | $$\varnothing$$ | $$\varnothing$$ |
|---|---|---|---|---|---|---|---|---|---|
| $$G_1$$ |
На втором шаге действия машины Тьюринга повторяются, так как ситуация аналогична первому шагу, что приводит к простому смещению по ленте устройства управления еще на один шаг вправо:
| $$\varnothing$$ | $$\varnothing$$ | $$\varnothing$$ | $$1$$ | $$1$$ | $$+$$ | $$1$$ | $$1$$ | $$\varnothing$$ | $$\varnothing$$ |
|---|---|---|---|---|---|---|---|---|---|
| $$G_1$$ |
На третьем шаге машина Тьюринга переходит в состояние $$G_2$$, в предыдущую клетку записывает символ " $$\varnothing$$ " и смещается по ленте еще на 1 шаг вправо:
| $$\varnothing$$ | $$\varnothing$$ | $$\varnothing$$ | $$1$$ | $$1$$ | $$+$$ | $$1$$ | $$1$$ | $$\varnothing$$ | $$\varnothing$$ |
|---|---|---|---|---|---|---|---|---|---|
| $$G_2$$ |
На четвертом шаге машина Тьюринга сохраняет свое состояние, содержимое четвертой клетки ленты и смещается вправо на 1 шаг:
| $$\varnothing$$ | $$\varnothing$$ | $$\varnothing$$ | $$1$$ | $$1$$ | $$+$$ | $$1$$ | $$1$$ | $$\varnothing$$ | $$\varnothing$$ |
|---|---|---|---|---|---|---|---|---|---|
| $$G_2$$ |
Пятый шаг аналогичен четвертому и машина Тьюринга оказывается в положении:
| $$\varnothing$$ | $$\varnothing$$ | $$\varnothing$$ | $$1$$ | $$1$$ | $$+$$ | $$1$$ | $$1$$ | $$\varnothing$$ | $$\varnothing$$ |
|---|---|---|---|---|---|---|---|---|---|
| $$G_2$$ |
На шестом шаге машина Тьюринга подставляет символ " $$1$$ " вместо символа " $$+$$ ", переходит в состояние $$G_0$$ и смещается вправо на 1 шаг:
| $$\varnothing$$ | $$\varnothing$$ | $$\varnothing$$ | $$1$$ | $$1$$ | $$1$$ | $$1$$ | $$1$$ | $$\varnothing$$ | $$\varnothing$$ |
|---|---|---|---|---|---|---|---|---|---|
| $$G_0$$ |
Такое положение соответствуют элементарной операции Stop, которая останавливает работу машины Тьюринга, когда на ленте сформирована последовательность символов, отвечающая операции сложения двух входных "слов": $$111$$ и $$11$$.
Отсюда, машина Тьюринга оказалась "формальным" прототипом всех реальных ЭВМ, благодаря тому что содержала все базовые функциональные "блоки", в том числе и современных процессоров и ЭВМ:
При этом память программ и данных совмещена на бесконечной ленте, а инструкции и данные отличаются только набором символов.
Как и любую современную ЭВМ, машину Тьюринга можно вывести из начального состояния ( активизировать ) только принудительным внешним воздействием.
Главное отличие машины Тьюринга от реальных ЭВМ - это бесконечная память, которая позволяет обходиться в "программах" без операторов переходов по условию и по счетчику циклов, то есть неотъемлемым атрибутом ограниченной памяти реальных ЭВМ являются языковые средства организации циклов, которые способны при сбоях сделать программу обработки "бесконечной" ("зависание ЭВМ").
Но разработчикам первых ЭВМ пришлось ограничить набор символов машины Тьюринга и перейти к двоичному алфавиту, сначала при кодировании потоков данных, а впоследствии и потоков инструкций. При этом удалось сохранить главную "механическую" особенность машины Тьюринга: она не выполняет арифметико-логические действия, а осуществляет операции подстановки (замещения) символов, которые только при определенных условиях отвечают арифметическим действиям над числами.
В литературе нет точных указаний на автора, предложившего совместить в реальной ЭВМ принципы и методы организации вычислений машины Тьюринга с операционным базисом булевой алгебры и вытекающей из нее двоичной арифметики. Можно только предположить, что наработанные к тому времени в телефонии методы и средства описания работы релейных схем в операционном базисе булевой алгебры сыграли в этом не последнюю роль, так как они позволили создать высокоскоростные электротехнические средства управления телефонными коммутаторами, заменившими труд телефонисток. Поэтому разработчикам первых ЭВМ оставалось только создать электронный эквивалент переключательных схем и на их основе синтезировать "высокопроизводительное" по меркам того времени операционное устройство, работающее в булевом операционном базисе.
Технические предпосылки для перехода к электронным переключательным схемам сформировались в радиотехнике, успешно освоившей к тому времени методы и средства управления потоками электронов (током) в электронных лампах усилительных устройств приемников и передатчиков. В результате современникам Н. Винера осталось сделать только один, но решающий шаг, и заставить электронные лампы работать в "сверхбыстром" по отношению к реле переключательном режиме "насыщения" (булева "единица") и "отсечки" (булев "ноль"). Именно этот шаг и позволил объединить принципы и методы организации вычислений А. Тьюринга (в современной терминологии - системотехнический уровень организации вычислений) с физико-техническими процессами, отвечающими требованиям алгебры Дж. Буля (в современной терминологии - схемотехнический уровень организации вычислений).
Сама булева алгебра также появилась не на пустом месте и решала задачи символьной логики, восходящей своими корнями к логике Аристотеля, который сформулировал правила, регламентирующие споры схоластов и делающие эти споры конечными во времени.
До нас законы формальной логики Аристотеля дошли в виде трех аксиом и одного правила вывода [5]:
| Аксиома 1 | (закон тождества): мысль должна быть однозначной, то есть надо правильно отождествлять и различать вещи и явления. В процессе рассуждений и доказательств недопустима подмена одного понятия другим. В любом рассуждении каждое понятие или высказывание всегда должно употребляться в одном и том же смысле. |
|---|---|
| Аксиома 2 | ( |
| Аксиома 3 | ( |
| Правило вывода | (закон достаточного основания): всякая мысль лишь тогда верна, когда она вытекает из другой правильной мысли, служащей ей основанием, то есть мышление должно быть последовательным. |
Первая аксиома позволяет заменить классы однотипных (тождественных, неразличимых и т. п.) высказываний символами (переменными). Вторая аксиома ограничивает пространство значений логических переменных двумя значениями: "ноль" (ложь) и "единица" (истина). Третья аксиома и правило вывода говорят о том, что отдельные высказывания всегда находятся в определенной связи друг с другом, количество которых ограничено: $$A\equiv A$$ ; $$A=B$$ ; или $$A\land A = 0$$ ; $$А\lor А = 1$$ ; $$A \to B$$, то есть в формальной логике всегда существует два типа символов: для обозначения переменных и для обозначения связанных действий над переменными.
Логика Аристотеля дедуктивная и поэтому она позволяет судить об истинности или ложности частных высказываний на основании истинности или ложности общих высказываний (аксиом), служащих им основанием. Например [4]:
Следует иметь в виду, что формальная логика имеет достаточно ограниченную область применения и поэтому ее правила и законы не следует абсолютизировать. Например, согласно Аристотелевой логике правомерна конструкция:
Отсюда, жизнь требует перехода не только от осмысленных (содержательных) высказываний к представляющим их формальным высказываниям и переменным, но и наоборот. Выработкой правил такого перехода занималась наука герменевтика [4], которая играла важную роль в теологии. В переводе с греческого герменевтика - это трактование понятий, толмачество, то есть перевод с непонятного языка на понятный. Толмачи выступают как интерпретаторы,разъясняющие, что хотел сказать автор, например Гомер своим читателям. Поэтому в процессе разъяснений толмач прибегал к аналогиям:
Вывод по аналогии, как и всякий индуктивный вывод, не всегда приводит к правильному результату:
Первую конструкцию рассуждений можно воспроизвести в Аристотелевой логике, построив более общее высказывание: "Общественный транспорт перевозит пассажиров". Во второй конструкции это сделать не удается. Поэтому, чтобы решить задачу интерпретации результатов доказательств и рассуждений дедуктивным методом и однозначно,необходимо ввести определенные ограничения на правила или схему интерпретации, которые выработала герменевтика,занимаясь трактованием богословских текстов. Согласно этой схеме сначала выбирается совокупность утверждений, истинность которых признана большинством людей. Они служат базисом для вывода других утверждений, а сам вывод из базисных утверждений подчинен определенным правилам. Например:
Каждый человек стремится получить удовольствие.
Из двух зол каждый человек выбирает меньшее.
Поэтому если кандидат $$X $$ на выборах (президента, мэра, парламента и т. п.) меньшее зло, чем кандидат $$Y$$, то на выборах победит кандидат $$X$$.
В современной терминологии совокупность правил "трактования" результатов вычислений задается протоколами работы интерфейсов и средств коммутации, как самих ЭВМ, так и многомашинных комплексов, сетей и систем.
Дж. Буль, решая задачи символической логики, предложил отказаться от смыслового содержания высказываний и выработал правила логического вывода, допустив, что каждое высказывание может быть либо истинным, либо ложным, а представляющие его логические переменные могут принимать значение либо "ноль", либо "единица". В этом случае действия, связующие переменные, можно ограничить тремя, которые обладают базисным свойством: $$F(x) = \overline{х} $$ - инверсия; $$F(x_2 , x_1 )= x_2 \lor x_1 $$ - дизъюнкция и $$F(x_2 , x_1 )= x_2 \land x_1$$ - конъюнкция, которые в обиходе назы-ваются, соответственно, "ОТРИЦАНИЕ", "ИЛИ" и "И". В математике и логике базисными считаются функции, через суперпозицию которых можно представить любые другие функции из некоторого фиксированного класса. Поэтому для того, чтобы покрыть все многообразие функциональных блоков системотехнического уровня организации вычислений, разработчикам первых ЭВМ требовалось реализовать на физико-техническом уровне только три типа переключательных функций, заданных таблицами истинности:
| ОТРИЦАНИЕ: | |
|---|---|
| $$x$$ | $$F$$ |
| 0 | 1 |
| 1 | 0 |
| ИЛИ: | ||
|---|---|---|
| $$х_2$$ | $$х_1$$ | $$F$$ |
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |
| И: | ||
|---|---|---|
| $$х_2$$ | $$х_1$$ | $$F$$ |
| 0 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
Для этого были использованы электронные лампы, которые в радиотехнических устройствах работали в усилительном, а не переключательном режиме. С помощью таких ламп было синтезировано электронное вычислительное устройство, которое представляло собой расширенный аналог электромеханического арифмометра, так как содержало оперативную память объемом несколько десятков килобит и электромеханическое устройство микропрограммного управления на основе телетайпа с закольцованной перфолентой, где и хранилась микропрограмма выполнения умножения или деления.
Однако решение в реальном времени задачи экстраполяции случайной траектории полета самолета требовало автоматизации управления не только отдельными командами, но и их потоками, которые определяются как программами обработки, так и содержимым обрабатываемых потоков данных. Последнее условие делает поток команд частично упорядоченным во времени и обусловлено необходимостью организации циклов при работе с конечной, а не с бесконечной памятью, как это имеет место в машине Тьюринга. Поэтому основным препятствием на пути достижения потребной производительности, диктуемой задачами экстраполяции случайной траектории полета самолета, стало медленное устройство управления, неспособное управлять частично упорядоченными во времени потоками инструкции. Чтобы преодолеть это препятствие и выравнять скорости обработки и управления вычислениями, Дж. фон Нейман предложил использовать электронную память не только для хранения данных, но и для хранения программ. Такое решение потребовало двоичного кодирования не только да
нных, но и команд, что привело к дуализму (кодовой неразличимости) потоков инструкций и данных, который сохранился во всех последующих
(рис 1.1) Архитектура фон-неймановской ЭВМОсновные достоинства
Основные ограничения
Таким образом, общая систематика, предопределившая появление, а в дальнейшем и развитие ЭВМ, их архитектур и вычислительных технологий в целом сводится к следующему (рис. 1.2).
(рис 1.2) Систематика создания электронных вычислительных машинСовременные боевые и гражданские самолеты являются типичными представителями технотронных комплексов, эксплуатация и боевое применение которых в принципе невозможны без использования средств вычислительной техники. (Пере)насыщенность современных летательных аппаратов (ЛА) бортовым электронным оборудованием (БЭО) - это не дань моде, а объективная реальность, вызванная как необходимостью повышения безопасности полетов, в том числе и в сложных метеоусловиях, так и необходимостью максимального использования летно-технических и боевых характеристик ЛА. В частности, даже боевые ЛА 3-го поколения типа F-16 являются статически неустойчивыми на дозвуковых скоростях, нейтрально устойчивыми в диапазоне трансзвуковых скоростей и устойчивыми на сверхзвуковых скоростях [6]. Поэтому для таких ЛА были разработаны активные системы управления на основе бортовых компьютеров, без которых летчик был бы вынужден заниматься не столько управлением ЛА, сколько его стабилизацией на протяжении всего полета, как это имело место на заре авиации. В результате ЛА 5-го поколения уже представляет собой сложнейший технотронный комплекс, проектирование которого требует учета всего комплекса "человеко-машинных" факторов и на всех этапах жизненного цикла.
Военно-политическая составляющая (пере)насыщенности современных и перспективных ЛА БЭО связана со стремлением технически развитых стран, и в первую очередь США, с одной стороны, монополизировать мировой рынок производства и эксплуатации авиационной техники, а с другой стороны, повысить мобильность передислокации боевых авиационных группировок в зону локальных военных конфликтов, в рамках которых авиации принадлежит решающая роль. С этой целью США через международную организацию гражданской авиации ИКАО лоббируют технические нормы, полностью обеспечивающие полеты и посадку ЛА на аэродромы за счет собственного БЭО и глобальных систем спутниковой навигации. Реализация такой военно-технической политики позволит авиации США быстро перебазироваться в зону боевых действий без каких-либо серьезных требований к наземному оборудованию, что характерно для слаборазвитых стран, где в основном и развертываются современные локальные конфликты.
В силу изложенных причин США потребовалась качественно новая технология сквозного системного проектирования ЛА, его систем и БЭО, включая и бортовые вычислительные системы (БВС). Она получила название " прототипирование " и представляет собой итерационный процесс, в котором общий замысел проекта переводится в конкретизированное описание разрабатываемого объекта последовательным приближением. На практике технология интеграции и прототипирования (технология ATIP [7]) впервые была использована в НИР AVSEP (
По оценкам американских специалистов появление технологии ATIP равнозначно появлению в авиации технологии аэродинамических продувок ЛА. С этим связано использование в некоторых работах и публикациях неформального упоминания технологии ATIP как "аэродинамической трубы авионики" ("
Технология ATIP позволила получить один из вариантов архитектуры комплекса БЭО самолета JSF (Joint Strike Fighter - многоцелевой ударный истребитель-бомбардировщик), ставшего отправной точкой для проведения последующих итераций разработки БЭО.
Проведение самой НИР ATIP позволило, в частности, определить основные положения итерационного процесса, посредством которого фирмы-исполнители должны осуществить переход от утвержденной концепции БЭО к комплексу блоков оборудования, являющемуся материализацией этой концепции.
Методически этот процесс основан на оценке характеристик боевого функционирования самолета как боевого авиационного комплекса с учетом конкретных характеристик основных систем БЭО и воспроизведением работы летчика в общем процессе функционирования боевого авиационного комплекса. Последнее проводилось с помощью различных моделирующих стендов, обеспечивающих участие человека в реализации исследуемых процессов.
Учет характеристик основных систем на первых этапах проводился с использованием математических моделей этих систем, которые по ходу исследования постепенно заменялись полунатурным моделированием с использованием блоков реальной аппаратуры. В результате, многократно повторяя одни и те же варианты боевого применения JSF [7-10] при различных значениях параметров основных систем БЭО, разработчики смогли оценить степень влияния этих параметров на показатели боевых возможностей самолета.
Используя описанную процедуру, разработчики осуществили также постепенную адаптацию общей архитектуры комплекса БЭО JSF "версия 1" к конкретным особенностям разрабатываемого ими самолета. Начав с одной и той же "исходной точки", фирмы Boeing и Lockheed Martin постепенно двигались каждый в своем направлении, все в большей степени конкретизируя облик БЭО своего варианта проекта самолета JSF.
Степень индивидуализации разработок БЭО может быть проиллюстрирована вариантами информационно-управляющего поля (ИУП) кабины пилота, принятыми фирмами Boeing и Lockheed Martin для самолетов Х-32 и Х-35 к середине 1999 г.
Оба разработчика отказались от использования индикатора на лобовом стекле (ИЛС). Функции этого устройства были полностью переданы нашлемной системе индикации. Фирма Lockheed Martin сохранила в информационном поле три широкоформатных многофункциональных цветных индикатора в несколько ином их расположении, чем это было в ИУП комплекса БЭО JSF "версия 1". В отличие от этого фирма Boeing использовала в ИУП самолета Х-32 только два широкоформатных многофункциональных индикатора, дополненных двумя резервными индикаторами малого размера.
Следует подчеркнуть чрезвычайно высокую динамичность процесса разработки БЭО, существовавшую в ходе выполнения НИР ATIP [7]. Примером может являться проведение фирмой Boeing "открытых сессий" общего процесса разработки БЭО. Каждая такая "сессия" длилась в течение недели и проводилась с участием летчиков, представлявших различные виды вооруженных сил США и стран - участников программы JSF. В процессе моделирования нескольких десятков боевых вылетов с участием летчиков проводилась оценка совершенства ИУП, программного обеспечения и используемых решений по интеграции функциональных систем БЭО.
На основании этих оценок принимались решения по внесению изменений в существующий проект комплекса БЭО, реализация которого не занимала много времени. Некоторые изменения, например, в программном обеспечении могли производиться практически без задержки. Другие изменения, связанные с изготовлением новых вариантов моделируемых устройств, производились в течение суток. Это обеспечивалось за счет использования специальных автоматизированных средств конструирования, позволяющих при очень малых затратах времени создавать трехмерные модели элементов оборудования кабины, требующих изготовления.
Для проведения этих исследований использовался моделирующий комплекс фирмы Boeing, состоящий из двух стендов с полной визуализацией окружающей обстановки. Еще одно рабочее место оператора моделирующего комплекса использовалось для моделирования действий самолета противника. Это позволило воспроизвести групповые действия боевых самолетов с проверкой функционирования тех систем БЭО, которые предназначались для обеспечения таких действий. Типичной для таких исследований задачей являлась передача информации о противнике с одного самолета на другой, атакующий цель, но находящийся в режиме радиомолчания.
Авионика всех трех вариантов самолета, разрабатываемая по программе JSF, размещается в центральном отсеке, а антенны будут конструироваться в соответствии с требованиями, предъявляемыми тремя видами вооруженных сил, с изменением тех или иных функций путем подключения или отключения соответствующих модулей программного обеспечения.
В итоге была получена перспективная архитектура БЭО, которая характеризуется [7]:
При этом приемлемая стоимость разработки авионики достигается за счет:
Методическая стадия исследований, проведенных в рамках НИР AVSEP, отличалась использованием весьма детализированных алгоритмов оценки стоимости изделия. Они обеспечивали стоимостную оценку не только всего изделия в целом, но и отдельных функций, выполняемых этим изделием. Благодаря этому оценка каждого варианта проектных решений по комплексу БЭО могла быть сделана при рассмотрении не общей величины стоимости, а стоимостной сводки, учитывающей все основное подсистемы БЭО. Стоимость вычислительного ядра авионики самолета JSF составляет почти 25 % от общей стоимости всей авионики, и чтобы не превысить это значение, предполагается широкое использование коммерческих стандартов и компонентов.
Применение при создании БЭО самолета JSF ряда научных и технических решений, исследованных ранее при разработке авионики самолета F-22, позволяет говорить о технологии прототипирования как о базовой составляющей в процессе эволюционного формирования типового облика БЭО самолетов 5-го поколения.
Таким образом, к отличительным концептуальным особенностям технологии проектирования авионики самолетов 5-го поколения относятся:
Реализация этих концептуальных особенностей авионики достигается за счет применения следующих технологий и технических решений:
На основе приведенных данных можно заключить, что устойчивая техническая политика в области создания БЭО позволила США выйти на качественно новый уровень:
Промышленный выпуск изделий, разработанных по технологии про-тотипирования, требует гибких автоматизированных производственных технологий, быстро реагирующих на изменения структурно-функциональных и конструктивно-технологических схем по всей номенклатуре выпускаемых изделий. Данное требование достаточно критично даже для современной микроэлектроники и вычислительной техники, в которых период удвоения качества составляет 1,5-2 года.
В итоге можно считать, что США фактически готовят переход к интеграции всего жизненного цикла разработки, выпуска, эксплуатации и развития БЭО, что требует сверхмощных систем полунатурного моделирования (аэродинамической трубы авионики), которые напрямую формируют маршрутные карты гибкого технологического производства БЭО с учетом накопленного опыта эксплуатации и боевого применения.
Чтобы оценить инерционность фазы перехода от научных исследований к конкретному их воплощению в программно-аппаратные платформы, достаточно напомнить, что идеи открытости, масштабируемости и адаптируемости интенсивно разрабатывались отечественными учеными более 25 лет тому назад в рамках теории многопроцессорных вычислительных систем с программируемой архитектурой [11].
Глобальные технотронные комплексы, призванные предотвращать глобальные катастрофы, грозящие существованию Человека, сами являются неиссякаемым источником эквивалентных опасностей. Такой вывод справедлив для глобальных технотронных систем, в состав которых входят средства активного парирования потенциальных угроз в военной, экологической или климатической области. Типичный пример - это стратегическая оборонная инициатива США 1982 года в области противоракетной обороны (СОИ [12]), "
Отсюда и встает задача анализа и последующего предотвращения угроз, свойственных всем
Традиционно термин "развитие" применяют для описания динамически меняющихся свойств как живых объектов (субъектов), так и сложных кибернетических систем.
Развитие происходит в условиях внутреннего напряжения и конфликта и выражается через новые качественные состояния объекта (субъекта) или системы, которые выступают как изменения их состава и функций на основе возникновения, трансформации или исчезновения их элементов и связей [13]. Напряженность и целевая ориентация активности организма во внешней среде "управляются изнутри", подчиняясь универсальным законам системогенеза или "функционального развития", отдельные признаки которых присутствуют и в кибернетических системах. В этой связи основатели кибернетики Н. Винер, К. Шеннон и Дж. фон Нейман [14-16] четко обозначили контуры возможного в своей науке и приложили немало усилий, чтобы сбить научный и ненаучный ажиотаж, а нередко и спекуляции, вокруг их детища.
Лежащие в основе кибернетики логика и математика представляют собой науки с наивысшим по современным меркам уровнем абстракции. Поэтому логика и математика способны дать ответы на вопросы: "Что происходит…?" и "В какой последовательности происходит…?". Ответы на вопросы "Как и почему происходит…?" необходимо искать в физических, химических, биохимических и молекулярно-биологических исследованиях, где обнаруживаемые свойства формальных систем помогают спланировать эксперимент и проинтерпретировать его результаты. Ответы на вопросы "С какой целью происходит?" лежат уже в плоскости физиологических, психологических и социальных исследований, где другие науки способны лишь помочь в планировании эксперимента и интерпретации его результатов.
Глубоко понимая ограничительные рамки пассивного (инструктированного извне) развития кибернетических систем, основоположник "физиологической кибернетики" П.К. Анохин тем не менее считал, что механизм постановки цели в организме "…непременно разыгрывается на материальном субстрате мозга и не должно быть никакого места для боязни объективного научного подхода к этому факту". Поэтому "…ней-рофизиология должна широко использовать формализацию процессов, способы преобразования информации в сложных системах, математическую обработку материалов исследований" и т. д. В свою очередь, создатели сложных технических систем и глобальных технотронных комплексов должны четко оценивать и своевременно парировать угрозы и опасности, вытекающие из роли и места человека при проектировании, изготовлении и эксплуатации таких систем.
В науках "о живом" накоплен значительный экспериментальный материал, свидетельствующий о том, что в механизмах произвольной активации, целеполагания и развития существенная роль принадлежит феноменам внутреннего напряжения и конфликта, которые предопределяют и направление дальнейшего приложения усилий организма, и состав информативных переменных, и состав допустимых действий в конкретных внешних условиях. Все перечисленные факторы составляют ядро задачи формализации,которая в современных условиях решается человеком в рамках проектной технологии прототипирования и без решения которой невозможно использование средств вычислительной техники в технотронных комплексах двойного назначения. Главная опасность широкомасштабного использования таких комплексов - это потеря управления составляющими его средствами вычислительной техники, что может привести к непредсказуемым, в том числе и глобальным, последствиям. Поэтому представляется важным сопоставить основные механизмы развития живых и сложных технических систем и выявить главные опасности создания и использования с участием человека технотронных комплексов, в первую очередь военного назначения.
Существует целый ряд обстоятельств, когда живому объекту (субъекту) не удается "разрешать" конфликты классическими для кибернетики методами и средствами обратной связи. Поэтому организмы вынуждены активироваться и развиваться под давлением неразрешимых или только кажущихся им неразрешимыми конфликтов и находить принципиально новые структурно-функциональные схемы и механизмы, обеспечивающие им выживание в объективно новых для них условиях или в ситуациях, которые субъективно оцениваются ими как качественно новые. Исходя из этого, конфликты следует воспринимать не как экстраординарные события в индивидуальной жизни объекта (субъекта), а как различающиеся по интенсивности, постоянно возникающие состояния напряжения, вызванные противостоянием эквивалентных по силе, но разнонаправленных тенденций к реализации той или иной функции. Различные варианты такого противостояния становятся причинным началом произвольной активации живых объектов как условия их развития, которое характери зуется "закономерным, необратимым и направленным изменением их свойств" [13] и их целеустремленной деятельности. В этом контексте "функциональное развитие" представляет собой частный случай закономерного и направленного (прогрессивного) изменения функций и может рассматриваться как эпифеномен "разрешения" того или иного внутреннего конфликта.
Исходя из такого понимания термина "функциональное развитие", проанализируем сходство и отличие разнообразных форм проявления и различных способов разрешения конфликтов у объектов (субъектов), исследуемых как в науках "о живом", так и в науках о сложных кибернетических и физико-технических системах.
Формально-логические конфликты показывают, насколько иллюзорны наши надежды на достижение требуемой отказобезопасности технотронных комплексов, если их вычислительное ядро будет работать на основе строгих математических моделей предметной области.
Формально-логические конфликты являются атрибутом логических и математических систем и проявляются в форме парадоксов или противоречий (антиномий [3]), которые со времен Аристотеля считаются недопустимыми при построении логических утверждений и доказательств. Согласно аксиоме непротиворечивости Аристотеля о положении, признанном верным (истинным), недопустимо говорить как о неверном (ложном).
Парадокс лжеца.Логические парадоксы были известны древним грекам еще со времен Зенона из Элеи. В частности, мегарские философы дразнили членов Платоновской академии одной из версий "парадокса лжеца". В современной классификации этот парадокс относится к семантической антиномии и звучит как признание неисправимого лжеца, который наконец произнес: "Я лгун". Такого рода признания ставят окружающих в тупик, так как они должны дать ответ на вопрос "Истинно или ложно данное утверждение?". Нетрудно установить, что это высказывание истинно только тогда, когда оно ложно.
На протяжении многих веков логические парадоксы оставались "игрой воображения" для избранных. Настоящее потрясение в математике наступило в 1903 году, когда Б. Рассел опубликовал свою логическую антиномию, затронувшую основания математики. И в математике, и в жизни представляется вполне осмысленным установить, является ли некоторое множество собственным элементом или нет. В ряде случаев ответ очевиден. Например, множество красных предметов, несомненно, в целом является "красным предметом". Но множество деревьев "деревом" не является и поэтому его надо относить к множеству иного типа: "сады", "парки", "леса" и т. п. Далее, не вызывает особых возражений постановка того же вопроса относительно множества всевозможных подмножеств, не являющихся собственными элементами. Ответ приводит к парадоксу: такое множество существует только тогда, когда является собственным элементом, то есть не принадлежит множеству всевозможных подмножеств, которые не включают себя в качестве собственного элемента.
Парадокс Тристрама Шенди [17]. Литературный герой Тристрам Шенди потратил два года на описание нескольких первых дней своей жизни и понял, что при таких темпах он не сможет описать всю свою жизнь целиком. Очевидно, что Тристрам Шенди смог бы описать всю свою сознательную жизнь целиком, если бы время в описываемой им жизни проходило быстрее, чем время, уходящее на ее описание. При этом для достижения полноты описания он раньше или позже должен был бы перейти к самому себе, занимающемуся описанием своей жизни, что делает этот процесс бесконечным.
Как отмечено выше, аналогичная ситуация обнаруживается и в молекулярной биологии, когда для метаболической реакции требуются специфические ферменты, которые производятся с помощью тех же внутриклеточных реакций. С формальных позиций оборвать этот "бесконечный" процесс можно так называемым "самообращением", то есть самокатализирующейся реакцией, которая сама производит фермент, ее же и катализирующий.
В математике и логике долгое время считали, что антиномии в формальных системах появляются по вине "недобросовестных" ученых, допустивших явные или неявные нарушения строгих правил вывода утверждений и доказательств. Все иллюзии на это счет закончились, когда К. Гедель доказал неизбежность появления антиномий в любой формальной системе, опубликовав в 1934 году знаменитую теорему о неполноте (цитируется по [3]): "Каждая логистическая система, настолько богатая, чтобы содержать формализацию рекурсивной арифметики, либо w-противоречива, либо содержит некоторую неразрешимую формулу (хотя и истинную)".
Можно выделить три способа борьбы с антиномиями: игнорирование противоречивых высказываний и утверждений; волюнтаристский и попеременный выбор одной из одновременно возникших противоречивых альтернатив; разрешение противоречий с привлечением методов и средств логической или математической .Третий способ в строгом математическом смысле можно рассматривать как развитие формальной системы, так как именно в этом случае, следуя Б. Расселу и К. Геделю, для разрешения конфликта строится система более высокого типа и делается это в полном соответствии с наиболее общими требованиями формальной логики.
Таким образом, в формально-логических системах конфликт проявляется как нарушение одной или нескольких основополагающих аксиом и разрешается через построение новой формальной системы, которая включает предыдущую систему как частный случай и которая потенциально содержит в себе следующее противоречие. Поэтому из
Эксплуатация технотронных комплексов особенно глобального значения, где возможности человека решать задачи в темпе реального времени резко ограничены, на самого человека можно возложить только функции контроля правильности их работы. В результате формируется единый "человеко-машинный" комплекс, в котором равноопасны как ошибки человека, так и ошибки машины, а конфликт между ними недопустим, если под конфликтом понимать потерю управления технотронным комплексом.
В науках о поведении конфликт также определяют как внутреннее противоречие или как специфическое состояние, при котором субъект испытывает на себе действие (снаружи, изнутри) по крайней мере двух равных по силе, но разнонаправленных тенденций или влияний. Поскольку конкурирующие тенденции не могут проявиться одновременно, то поведение в таких случаях приобретает своеобразные (фрагментарные или наоборот, интегрированные) формы, отражая регресс или прогресс функциональной состоятельности и ее проявлений у субъекта. При этом и формы проявления, и способы разрешения конфликтов во многом определяются доступными для объектов (субъектов) механизмами "функционального развития", то есть становлением новой структурно-
Конфликт в этологии рассматривают как фактор, внешне нарушающий гладкие проявления текущей активности. Источниками конфликта считают избыточные мотивацию и эмоцию, непреодолимые препятствия (биологические, физические, зоосоциальные) на пути достижения субъектом цели действия, дефициты времени, информации и ресурсов среды для удовлетворения основных потребностей. Чрезвычайно конфлик-тогенными для субъекта также считают трудный выбор или "принятия решений" в ситуациях:
Практически все эти источники типичны для операторов дежурных смен глобальных технотронных комплексов, которые живут в реальной "среде обитания" и во время дежурства должны принимать ответственные решения в конфликтогенной обстановке. Поэтому умение не допускать или разрешать уже возникшие конфликты является базовым требованием к профессиональному уровню отбора и подготовки операторов дежурных смен.
Как показывает опыт, в условиях естественной среды обитания животные прибегают к различным способам "разрешения" конфликтов. Это проявляется в самых разнообразных формах активности: компромиссного, амбивалентного или смещенного поведения, "движений намерений", умиротворяющих или угрожающих поз и актов и др. Долгое время считалось, что такие виды активности не имеют иной функциональной роли, кроме разрядки напряжения, вызванного конфликтом. Однако, выдающиеся этологи К. Лоренц и Н. Тинберген [18, 19] теоретически обосновали точку зрения, согласно которой конфликт-индуцированная активность животных лежит в основе более существенных по содержанию и высокоспецифичных форм поведения (например "ритуальных" или коммуникативных актов) и, следовательно, может играть самостоятельную биологическую роль и нести зоосоциальную нагрузку в поведении более высокого типа.
Еще Ч. Дарвин [20] отмечал, что оборонительные мимические и другие реакции при конфликте (сужение глаз, пилоэрекция и т. п.) у млекопитающих не только призваны выполнять защитные функции, но одновременно служат источником информации об опасности для других животных. (Такая функция коммуникации реализуется также и между животными разных видов.) Более того, сигналы, посылаемые действующей особью, могут быть намеренно использованы ею для управления другими особями в своих интересах. Таким образом, конфликт становится причиной реализации зоосоциальных форм поведения, которые "отделяются" и функционально обособляются от своей первичной биологической основы. Особенно впечатляющими в этом отношении являются доказательная основа и интерпретация Д. Мак-Фарлендом [21] так называемой "смещенной активности" при конфликте, имеющей самостоятельную мотивационную основу и ориентирующей субъекта на достижение качественно новых
целей. А это, в свою очередь, предопределяет индивидуальное совершенствование поведения субъекта, "расширение сферы значимого" для него во внешней среде и, следовательно,
Таким образом, проецируя данные этологии на человека, можно утверждать:
Конфликт в классической физиологии высшей нервной деятельности (ВНД) одновременно является и термином и понятием и используется в более узком смысле. Обычно его сводят к противодействию и противостоянию в центральной нервной системе (ЦНС) основных нервных процессов (возбуждения и торможения). Считают, что через это взаимодействие в конечном итоге устанавливается равновесие, при котором "каждому процессу отводится свое место, свое время и животное делается совершенно спокойным, соответственно реагируя на падающие раздражения то раздражительным, то тормозным процессом" [22]. Полагают, что эта борьба и это равновесие - "…нелегкое дело для нервной системы", но за счет его достигается их взаимное пространственное разграничение, размежевание, а следовательно, и формирование в коре мозга специфической мозаики избирательно возбужденных и заторможенных нервных элементов, обеспечивающих уже более успешную ("интегрированную") р еализацию поведенческих функций. Считается также, что развитие новых форм поведения основывается на выработанном разграничении раздражительных и тормозных пунктов, на "грандиозной мозаике" их в коре. В некоторых случаях конфликт и борьба завершаются нарушениями нормальной нервной деятельности, формируются патологические изменения в поведении, "…длящиеся днями, неделями, месяцами и далее, может быть, годами", то есть наблюдается уже не его "функциональное развитие", а прогрессирование патологических форм поведения как симптомов хронического заболевания. Переход "функционального развития" в "развитие патологического процесса" проходит через трудноразличимую грань "здоровья" и "болезни", когда компенсаторные звенья адаптационных процессов теряют свое назначение и начинают играть роль самостоятельных патогенетических факторов.
Таким образом, течение и нарастание конфликта в ВНД может разрешаться в двух формах: совершенствовании и развитии поведенческих актов либо в их "патологическом развитии".
Особенно ярко роль классического физиологического конфликта обнаруживается в экспериментах с переделкой (переобучением) приобретенного навыка, когда животное ставится перед необходимостью смены цели поведения непосредственно в процессе осуществления ранее выработанной устойчивой формы поведения. Как показали, например, опыты Е.Ф. Полежаева, в таких случаях "…в целеполагающем процессе имеет место критический момент, когда условный раздражитель приобретает двойственный смысл, а именно, актуальное значение старой цели действия сохраняется и вместе с тем одновременно актуализируется побуждающее влияние новой цели действия". При этом экспериментатор отмечает "важные подробности": усиление ориентировочно-исследовательских движений, эмоциональную мобилизацию дыхания, генерализованную десинхронизацию ЭЭГ - признаки общей активации, как "физиологической цены" поиска существенного для субъекта раздражителя виде нового объекта-цели. Считают, что эти признаки активации при конфликте "…отражают интимные механизмы, связанные с нервно-психическим напряжением и энергетизацией поведения на предмет преодоления двойственности и выбора одной из двух альтернатив, то есть той цели действия, которая адекватна новому жизненному опыту" [23]. Они способствуют осуществлению индивидом шага в направлении собственного "функционального развития", либо в сторону "срыва ВНД" и регресса.
Таким образом, интенсивное использование "виртуальной реальности" в системах контроля и управления глобальными технотронными комплексами чревато скрытыми формами хронической патологии в ЦНС операторов дежурных смен, что в совокупности с постоянными тренировками и переобучением может привести к устойчивому "патологическому развитию" не предусмотренных регламентом форм поведения.
.В "… царстве относительности, какое представляет собой центральная нервная система, происходит постоянная борьба возбуждений между собою, постоянное возбуждение и постоянное торможение" [24]. Напряжение (эндогенная энергетизация), вызванное таким конфликтным противостоянием, обуславливает явление доминанты, которая понимается как "… более или менее устойчивый очаг повышенной возбудимости центров, чем он ни был бы вызван, причем вновь приходящие в центры возбуждения служат усилению (подтверждению) возбуждения в очаге, когда в прочей центральной нервной системе широко разлито торможение. При этом внешним выражением доминанты является стационарно поддерживаемая работа". А.А. Ухтомский считал, что, будучи консервативным началом подкрепления "наличного", доминанта в следующий же момент своей жизни становится уже прогрессивным началом, поскольку из множества новых "не идущих к делу" подкрепляющих "впечатлений" в следующий же момент происходит активный подбор и отметка "пригодного" и "нужного". Это ли не признаки работы по "функциональному развитию" и самодетерминации активности, осуществляемой доминантой?
Нет необходимости, "…чтобы на доминантном пути произошел конфликт возбуждений с возбуждениями, приходящими со стороны других путей; на своем собственном пути возбуждения, доведенные до кульминации, приведут к торможению под влиянием тех же самых факторов, которые перед тем производили суммирование". Иначе говоря, писал А.А. Ухтомский, "…доминанта, как известная односторонность действия, сама в себе носит свой конец". Это и является демонстрацией высшей формы внутреннего диалектического противоречия и конфликта, постоянно проявляющихся в деятельности центральной нервной системы. С другой стороны, "…борьба текущих доминант с уже установившимся поведением приводит к оплодотворению всей работы и поднятию достижений высшей центральной нервной системы". Такие "надстройки" возникают при борьбе (конфликте) новых доминант с текущими, являются действительно "объективными достижениями" и предопределяют будущее поведение субъекта, обозначая его внутреннюю работу по собственному совершенствованию и развитию.
Из приведенных данных видно, насколько важен комплекс мероприятий по выработке и поддержанию у персонала дежурных смен глобальных технотронных комплексов навыков по переходу из режима "ожидание" в режим повышенной готовности и принятия решений.
Конфликт в системной физиологии,как самостоятельному варианту взаимодействия (противостояния) в ЦНС основных нервных процессов и влияний, принадлежит заметное место. Так, в предложенной П.К. Анохиным схеме функциональной системы поведенческого акта [25] можно обозначить по крайней мере три "локуса" потенциального проявления конфликта и его последующей "работы". Конфликт может проявиться как на стадиях афферентного синтеза и "принятия решения", так и в процессах сличения параметров реально полученного результата действия с ожидаемыми и зафиксированными в акцепторе результатов действия.
Афферентный синтез, как "…универсальный процесс в границах функциональных систем разного уровня, обеспечивается структурно-функциональными закономерностями и молекулярной природой процессов взаимодействия в ЦНС" (П.К. Анохин). Представляется, что за счет этого взаимодействия становятся возможными не только синтез и интеграция разнородных возбуждений, но также и их противоборство. В одних случаях обнаруживаются различные варианты разрешения этого противоборства (иногда внезапного) в виде "идеаций", состояний типа "эврика" (E. Hilgard, D. Marguis, цитируется по [26]) или "инсайта" как эпифеноменологического разрешения конфликта. В других случаях конфликт-индуцированное напряжение разрешается в ориентировочно-исследовательской реакции и запуске нового афферентного синтеза для очередной (обновленной) попытки достижения старой цели и результата действия новыми средствами и способами. Возможно также формирование новой конфликт-индуцир ованной мотивации, ориентирующей организм на достижение качественно новых или компромиссных результатов деятельности. Эти же варианты выхода из конфликта обнаруживаются в случаях трудностей "принятия решения", уже описанных выше, а также в ситуациях длительного недостижения потребных результатов целенаправленной деятельности.
Частым исходом длительного конфликта является невроз. При этом И.П. Павлов считал, что невротические срывы высшей нервной деятельности являются результатом столкновения тормозного и возбудительного процессов в коре головного мозга. Полемизируя с такой точкой зрения, П.К. Анохин считал, что, например, возбуждение, как "…одна из борющихся сторон, является конкретным нервным процессом, все пути которого могут быть с точностью прослежены". Но "…как возникло торможение в виде самостоятельного процесса", по мнению П.К. Анохина, неясно. Он считал, что конфликтное противостояние обнаруживают не "возбуждение и торможение", а "две целостные деятельности", две системы возбуждения, которые борются между собой с помощью торможения. Такой конфликт может завершиться полным торможением одной из деятельностей, вследствие чего устраняется сама конфликтность, и, что очень важно, радикальным обновлением содержания акцептора результатов действия функциональной системы другого поведенч еского акта. Потребный результат и его параметры, запрограммированные в этом акцепторе, могут быть неожиданными, внешне парадоксальными, но всегда высокоспецифичными, а сами цели чрезвычайно разнообразными "…от ничтожных - до возвышенных и одухотворенных" [24]. П.К. Анохин обращал внимание, если в итоге конфликта "…появляется торможение какой-либо деятельности организма или даже ее отдельных компонентов, исследователь должен искать другую целостную деятельность, которая обусловила наблюдаемое торможение" [25], и описать ее новые характеристики. Представляется, что борьба двух деятельностей заканчивается для обеих сторон неодинаково. Одна из них вытормажива-ется, а другая выходит из противостояния не только "укрепленной", но и глубоко обновленной по содержанию, знаменуя качественный рост, прежде всего мотивационной основы поведения.
Считается, что неудовлетворение ведущих потребностей через конфликт ведет к напряжению, создающему затем основу развития психоневрозов и эмоционального стресса. Эти состояния, в свою очередь, закладывают фундамент новых и разнообразных форм поведенческой активности, поскольку в этом случае для организма обнаруживается возможность "…освободиться от одних образцов поведения и развить на их месте новые" [26].
Следствиями разрядки неспецифического напряжения при эмоциональном стрессе являются многочисленные нарушения саморегуляции физиологических функций, суммация отрицательных эмоциональных возбуждений, неотреагированные страх и агрессия, химическая дезорганизация функций мозга в целом и многое другое [27]. В этих условиях организм "вынужден" не только искать пути компенсации нарушенных вегетативных функций, но и на рефлекторной основе формировать разнообразные поведенческие "ответы". Эта рефлекторная активность реализуется в виде хаотичных (бесцельных) поведенческих актов, выполняющих демпферные функции. В долговременном плане формируются эмоционально (аффективно) или проблемно (конструктивно) ориентированные "копинг-стратегии" целенаправленного поведения, обеспечивающие избегание или преодоление напряжения как такового. В отличие от этого, формой разрешения конфликта, развивающегося на интрапси-хическом уровне, становится обновленная мотива ционно-обусловленная деятельность, направленная на новые цели и результаты действия для удовлетворения вновь возникших мета- или квазипотребностей. Именно они существенно расширяют спектр эндогенно детерминированной активности, а также возрастающую адекватную ориентированность субъекта в бесконечном разнообразии внешней среды.
Таким образом, данные исследований ВНД, учение о доминанте А.А. Ухтомского и теория функциональных систем П.К. Анохина говорят о том, что разрешение конфликтов составляет центральную проблему (пере)обучения сложных живых систем иерархического типа, когда необходимо разрушить старые информационные, а также причинно-следственные внешние и/или внутренние связи и установить новые. При этом высока вероятность получения неадекватных, патологических форм поведения, что недопустимо в технотронных комплексах военного назначения. Одним из главных источников такой опасности является мозаичная (ассоциативная) активация коры головного мозга и достаточно субъективный, если не сказать случайный, поиск адекватных реакций. Второй важный вывод состоит в том, что деструктивные процессы являются неотъемлемой частью любого (пере)обучения, и поэтому они должны быть регулируемыми и подконтрольными
Конфликт в экспериментальной психологии рассматривают как напряжение, создаваемое у субъекта потребностью, задачей или намерением в условиях недостижения объекта-цели. Такая ситуация может сложиться в случаях возникновения физических, биологических препятствий, а также социальных запретов на пути приближения к потребному раздражителю или избегания опасности.
Хорошо известны "прообразы" этих ситуаций, в которых оказались мифологические или литературные герои:
В начале 30-х годов ХХ столетия в работах научной школы К. Халла на животных были вскрыты особенности реализации процессов приближения и избегания. Оказалось, что стремление субъекта к объекту-цели возрастает по мере его достижения ("градиент приближения"), а желание избежать угрожающего объекта падает при отдалении от него ("градиент избегания"). Нетрудно заметить, что эти два обстоятельства вносят дополнительные коррективы в разрешение описанных выше вариантов конфликтов. Формы выхода из конфликта и его разрядки разнообразны. Считают, что любой конфликт создает внутреннее побуждение к агрессии [28] либо к реализации примитивных форм поведения [29], к замещению (ersatz) как достижению первоначальной цели с использованием иного раздражителя и обходными путями. В работах "венской школы психиатров" предложены несколько вариантов разрешения конфликта и использования его энергии в процессах сублимации, вытеснения, равно как и в невротических проявлениях и мечтах. Считали, что разрядка напряжения в конфликте рождает "квазипотребности", которые обладают основными характеристиками истинных потребностей. Их удовлетворение наступает лишь при достижении новых целей поведения. Это говорит о том, что системной функцией конфликта является мотивогенез поведенческой активности. Реализующиеся при этом новые поведенческие акты становятся внешними признаками индивидуального "функционального развития" субъекта на основе обогащения и расширения "векторов" его целенаправленной деятельности.
Конфликт в психоанализе (явный или скрытый) рассматривают как борьбу противоречивых требований внутри субъекта. Он может проявляться в очевидных нарушениях поведения, трудностях характера и др., составляя одновременно основу человеческого существа и "векторы" его развития. Конфликты возникают между желанием и защитой, между различными системами и "инстанциями". Конфликт представляет собой также "сущностное ядро" внутренних комплексов, при которых возникает не только противоборство желаний, но также и их драматическое столкновение с "внутренней цензурой" и запретом. В психоанализе конфликт рассматривают как явление, развивающееся на интрапсихическом уровне, когда, например, в ходе лечения пациента приближение врача к его патогенным воспоминаниям усиливает сопротивление, или активирует внутреннюю защиту пациента от "неприемлемых представлений". Возникающие при этом невротические симптомы знаменуют достижение (или недостижение) некоего комп ромисса между внутренним миром субъекта и попытками вмешательства в него извне. Вообще считают, что достижение подобных компромиссов составляет основу развития и структурирования личности, а также формирования новых желаний у человека.
Так, в "Эдиповом комплексе" (З. Фрейд [30]) у мальчиков и "комплексе Электры" [31] у девочек психоаналитики усматривают энергетические источники конфликтов, которые ведут в последующем к разнообразным процессам (например, вытеснению, сублимации и др.), обогащающим как фонд Бессознательного, так и арсенал "легализованных" видов поведенческой активности (например, творчество) у индивида.
Таким образом, данные экспериментальной психологии и психоанализа говорят о том, что в сложных живых системах конфликты могут проявляться и разрешаться на этапе выбора критериев и показателей оценки качества принимаемых решений и исполняемых действий, что может привести персонал дежурных смен глобальных технотронных комплексов в недопустимое неадекватное ситуации состояние или к "смещенной" активности, подменяющей собой реально необходимое действие.
Конфликты "восприятия" довольно часто проявляются в обыденной жизни, например, в форме альтернативного восприятия (неоднозначности) изображения на плоскости полого куба, ребра которого изготовлены из проволоки (рис. 1.3-а) - заимствован у Р. Грегори [32]).
(рис 1.3) Неоднозначное восприятие пространственного положения кубаЗдесь неоднозначность (альтернативность) восприятия возникает из-за нарушения правила: изображать на двумерной плоскости пунктирными линиями невидимые глазом ребра трехмерной фигуры. Такую неоднозначность восприятия можно устранить двумя способами. В первом случае (рис. 1.3-б) пунктирные линии расположить так, чтобы исходный куб воспринимался наклоненным "вниз" и справа налево, а во втором случае (рис. 1.3-в) тот же куб необходимо воспринимать наклоненным "вверх" и слева направо. При этом Р. Грегори предложил закрыть два последних рисунка и "приспособить" наше восприятие сначала на расположение куба по варианту рис. 1.3-б, а затем по варианту рис. 1.3-в и т. д.
Как ни странно, но и в микроэлектронике устранение неоднозначности "восприятия" входных воздействий является не менее обыденным делом. Более того, используемые при этом методы и средства позволяют к тому же изменять и правила функционирования целого ряда базовых устройств вычислительной техники, и правила управления их работой. Это говорит о том, что разрешение конструктором подобных конфликтов, связанных с неоднозначным "восприятием" входных воздействий служит основой творческого "развития" методов и средств управления сложными вычислительными комплексами.
В частности, без триггеров практически невозможно организовать работу любого вычислительного устройства. Хорошо известно, что основу всех триггеров составляют так называемые RS- триггеры (рис. 1.4), правила работы которых задаются таблицей 1.2. Здесь "звездочка" (*) означает: если на R- и S- входы триггера одновременно подать "единичные" (возбуждающие) значения, то триггер случайным образом может перейти как в "единичное", так и в "нулевое" состояние.
(рис 1.4) Логическая схема RS-триггера
(рис 1.5) Логическая схема JK-триггера Причина такого "неоднозначного" поведения RS- триггера лежит на физико-техническом уровне организации его работы, где при "единичном" входном воздействии скорости нарастания токов в симметричных плечах триггера носят случайный характер. Поэтому в RS- триггере возникают так называемые "гонки" между токами, из-за которых невозможно заранее определить, какое из этих плеч станет ведущим и раньше перейдет в "единичное" или "нулевое" состояние.
Возникающие на физическом уровне неоднозначности "восприятия" комбинаций входных воздействий в электронике принято устранять введением обратных связей, но на более высоком, схемотехническом уровне. В нашем случае структурная схемотехническая адаптация трансформирует RS- триггер в JK- триггер (рис. 1.5), который теперь уже однозначно инвертирует свое предыдущее состояние под воздействием "единичных" входных сигналов (см. табл. 1.2).
| И -НЕ | |||
|---|---|---|---|
| S(J) | R(K) | Q(t + 1) | Q(t + 1) |
| 0 | 0 | Q(t) | Q(t) |
| 0 | 1 | 0 | 0 |
| 1 | 0 | 1 | 1 |
| 1 | 1 | * | Q(t) |
Таким образом, устраняя различными способами неоднозначности "восприятия" входных воздействий и в живых системах, и в микроэлектронике, можно получить функциональные блоки с существенно разными адаптивными возможностями, что можно расценить как аналог навязанного извне "развития" ее элементной базы. Негативные последствия такого рода неоднозначностей в программно-аппаратных платформах чреваты появлением непредвиденных форм "поведения" и к потери управляемости глобальным технотронным комплексом вследствие появления в них информационных сбоев и отказов аппаратуры.
Конфликты в физических, химических и биохимических системах, а вместе с ними и в описывающих их поведение математических моделях, наиболее часто возникают в более ослабленном варианте противоречия, когда нарушается только аксиома однозначности логики Аристотеля. В реальных физических, химических и биохимических системах противоречия (понимаемые как неоднозначности) возникают там, где появляются условия хотя и пассивного, но, тем не менее, альтернативного выбора дальнейшего хода процесса. Это наиболее характерно для (полу)открытых, нелинейных, неравновесных физико-химических систем [33], где имеются объективные условия для ветвления (
Теория
Исследуя поведение нелинейных систем, И. Пригожин и Г. Николис показали [33], что вне области устойчивости термодинамической ветви может возникнуть новый тип организации, который связывает пространственно-временное "поведение" системы с динамическими процессами внутри нее, например конвекцию с химической кинетикой. Такой тип пространственно-временной организации системы был назван "дис-сипативными структурами", механизм образования которых существенно отличен от механизма формирования равновесных структур, основанного на больцмановских принципах упорядоченности.
Образование "диссипативных структур" проще всего продемонстрировать с помощью сосуда с жидкостью, нагреваемого снизу. Пока градиент температуры разогрева ниже определенной "критической" точки, тепло через жидкость переносится только за счет процесса теплопроводности. Но уже при переходе интенсивности нагревания через "критическую" точку возникают конвективные ячейки с регулярным течением жидкости. Такой эффект известен как "бенаровская" неустойчивость, благодаря которой возникает регулярное течение жидкости с высокой степенью молекулярной организации. Это становится возможным лишь за счет переноса энергии от хаотичного микроскопического теплового движения к упорядоченному макроскопическому конвективному движению. Как и в предыдущем случае, в этом можно усмотреть физико-химический прототип трансформации, например, индивидуально защитных (или смещенных) форм активности в автономизированные и самодостаточные поведенческие акты, играющие самостоятельную биологическую рол ь.
С позиций больцмановской статистки вероятность спонтанного проявления такого когерентного (организованного) поведения более чем 1020 "хаотичных" молекул практически равна нулю. Объяснить этот феномен самоорганизации И. Пригожину и его коллегам удалось только благодаря раскрытию механизмов переноса энергии от микро- к макроуровню, основанного на координации усилий соответствующих флуктуаций. Используя результаты И. Пригожина и его бельгийской школы, М. Эйген [34] пришел к выводу, что эти флуктуационные механизмы самоорганизации неравновесных систем в диссипативные структуры достаточны только для образования предбиологического субстрата, а скоротечная (по временным масштабам Вселенной) эволюция биологических макромолекул, продуктом которой мы являемся, требует более сложных механизмов инструктированного синтеза.Они помимо конфликта пронизывают процессы рождения, роста и развития живых организмов, обеспеч ивая их своеобразными биологическими контроллерами и адаптерами (нуклеотидами и ферментами), которые поддерживают сложную систему ограничений на всех этапах и уровнях иерархической организации живых систем, начиная с физико-химического уровня .
Таким образом, конфликты в нелинейных физических, химических и биохимических системах являются источником конфликтов на молекулярно-биологическом уровне и проявляются в форме противоречивой (неоднозначной) динамики процессов, которая при определенных условиях может привести к образованию качественно новой структурно-
Из изложенного видно, что наличие в открытых, нелинейных физико-технических и молекулярно-биологических системах потенциальных "паразитных"
Системотехнические конфликты в кибернетике и вычислительной технике являются "наследниками" формально-логических конфликтов в математике. Несмотря на это, к борьбе с антиномиями ученые долгое время относились как к сугубо "внутренним" проблемам логики и математики. Однако ситуация кардинально изменилась, как только в 1948 году Дж. фон Нейман [16] опубликовал первые результаты по теории качественно нового класса автоматов, способных к "самовоспроизводству", то есть воссозданию собственных копий. К этому моменту математики уже освоились с фантастическими последствиями
Однако такое правило разделения на простые и "самовоспроизводящиеся" автоматы достаточно быстро привело Дж. фон Неймана к противоречию, связанному с неразрешимостью проблемы останова абстрактной машины Тьюринга. Решая задачу инструктированного синтеза автомата-потомка, Дж. фон Нейман следующим образом связал результаты А. Тьюринга с результатом К. Геделя (цитируется по [17]): "Это свойство (неразрешимости - прим. авторов) связано с
Наличие противоречий в теории "самовоспроизводящихся" автоматов вынудило М. Аптера [17] искать пути, которые исключают из абстрактной теории развития "самообращающиеся" и поэтому приводящие к противоречиям конструкции, связанные с парадоксом Тристрама Шенди. При этом М. Аптер исходил из того, что система не может "развиваться", получая извне только энергию и строительные материалы. Более того, открытым остается вопрос и о том, сможет ли система "самоусложниться" некоторым заранее предписанным ей образом. Решая эти проблемы, М. Аптер исходил из того, что универсальная машина Тьюринга не обследует себя, а получает описание другой машины, которая случайно оказывается идентичной первой. Это снимает проблему "самообращения", но парадокс все же остается: чтобы воспроизвести себя, универсальный автомат должен иметь описание собственного поведения во время воспроизведения, а это невозможно, пока "самовоспроизведение" не закончилось. Отсюда следует, что машина Тьюринга не может воспроизвести себя, пока у нее нет описания собственного процесса воспроизведения, а получить такое описание она может, только закончив воспроизведение.
Для разрешения этого парадокса М. Аптер рассмотрел две возможности [17]:
Таким образом, имеются достаточные основания считать, что и в процессе "самовоспроизводства" автоматов, и в динамике их пассивного, навязанного извне "развития", как бы эти процессы ни интерпретировались, неизбежно возникают явные или скрытые противоречия, разрешение которых приводит к созданию автоматов, качественно отличающихся по своим свойствам от предшественников. Отсюда следует, что в технологии прототипирования только отдельные этапы могут быть "саморазвивающимися", но только в смысле поиска, а не принятия и реализации принятых решений, которые, в конечном счете, должны быть подконтрольны человеку на всем жизненном цикле создания и использования технотронных комплексов военного назначения.
,распространяя апробированные методы и средства разрешения более "сильных" конфликтов на более "слабые", и наоборот. Для формального описания такого процесса достаточно использовать представление некоторой функции $$F(x) $$ (в данном случае одной переменной $$x$$ ) с помощью произвольного множества функций $$\varphi_i(x)}$$, таких, что:
$$F(x) = \sum_i{\eta_i(x)*\varphi_i(x\pm x_i^0}$$В выражении (1.1) каждая "представляющая" функция $$\varphi_i(x) \ in \{ \varphi_i(x) \}$$ сдвигается в пространстве значений аргументов на величину $$\pm x_i^0$$ таким образом, чтобы обеспечить полное совпадение на интервале $$\Delta x_i$$ с "представляемой" функцией $$F(x)$$, а вне этого интервала характеристическая функция $$\eta_i(x) $$ устраняет все паразитные влияния несовпадающих значений, так как имеет вид:
$$\eta_i(x) = \left \{ \begin{array}{ll} 1 \text{если } x \in \Delta x_i \\ 0 \text{если } x \notin \Delta x_i \end{array}$$При $$\Delta x_i\to 0$$ записи (1.1) соответствует наиболее простой, табличный способ задания "представляемой" функции совокупностью независимых "представляющих" функций, определенных на единственном значении аргумента $$x_i$$
В технических системах противоречия, а значит, и конфликты потенциально способны возникнуть только там, где несколько характеристических функций $$\eta_i(x)$$ одновременно могут принять "единичное" значение на одном и том же интервале $$(x+ \Delta x_i)$$, то есть ситуация сходна, напри-мер, с "конфликтами возбуждения и торможения" в ВНД. Объясняется это тем, что и в реальной жизни, и в математике рассматриваются только однозначные функции $$F(x)$$, то есть такие функции, которые каждому значению аргумента $$x$$ ставят в однозначное соответствие единственное значение $$y\in F(x)$$
Отсюда видно, что наличие противоречий в технических системах также носит
Таким образом, в "сложных" кибернетических, физико-химических, молекулярно-биологических и технических системах структурную и параметрическую адаптацию можно рассматривать как процесс ослабления или полного устранения неоднозначности в отображении "вход-выход", а развитие - как процесс разрешения противоречий (антиномий). При этом более "сильные" методы, средства и механизмы разрешения конфликтов могут быть использованы для борьбы с более "слабыми" конфликтами путем ослабления или полного устранения одних только неоднозначностей,которые являются источником возникновения крайне опасного для технотронных комплексов военного назначения "несанкционированного" альтернативного выбора.
Заключая анализ роли и места конфликтов в адаптации и развитии "сложных" математических, кибернетических и физико-технических систем, необходимо сделать следующие замечания, предостерегающие радикальных сторонников формализации биологических систем от излишней эйфории.
Представляется весьма заманчивым принять кардинальные меры и устранить логические конфликты в "сложных" биологических системах, заменив термин "самовоспроизводство" на термин "воспроизводство себе подобных". На первый взгляд это исключает антиномии, связанные с "множеством всевозможных подмножеств, не являющихся собственными элементами". Однако это не исключает антиномии других типов и, в частности, А. Ричарда. Более того, при таком подходе придется либо вводить ограничения на число воспроизводимых "близких" копий, либо вводить отличительные признаки между воспроизведенными и воспроизводящими автоматами, которые в формальных системах должны быть тождественными. В результате мы придем к качественно новой "формально-логической" системе, которая "зеркально симметрична" Аристотелевой логике и в которой функции могут быть неоднозначными; о положении, признанном верном, можно одновременно говорить как о неверном, а $$x\ne x$$.
При описании "сложных" живых организмов нельзя ограничиваться только процессами переноса вещества и/или энергии в (полу)открытых системах, так как эти организмы являются (полу)открытыми и по отношению к процессам распространения информации. Последние достижения в области телепортации фотонов [35] указывают на возможность информационных контактов без масс-энергетических взаимодействий. А это значит, что достаточно сложные организмы могут направить свои масс-энергетические усилия на основе информации, взятой из " ниоткуда ". В этом случае такие действия могут восприниматься самим субъектом как интуитивные формы поведения, а с точки зрения стороннего наблюдателя - как парадоксальные формы поведения, что крайне важно, если этим наблюдателем является противник, которого необходимо ввести в заблуждение.
Таким образом, при использовании междисциплинарного подхода к созданию перспективных развивающихся технологий в области вычислительной техники необходимо учитывать следующие его особенности.
В современных условиях интеллектуальная вычислительная техника является не только объектом, но и средством исследований. Поэтому она оказывает интегрирующее влияние на всех этапах фундаментальных и прикладных исследований и разработок практически всех компонент технотронных систем двойного назначения.
Технотронными считаются системы, существование и функционирование которых в принципе невозможно без использования средств вычислительной техники.
С этих позиций проектирование и производство субмикронной элементной базы и аппаратуры на ее основе в принципе невозможно без использования средств вычислительной техники, которые обеспечивают сквозное системное проектирование всех электронных компонент, топологию их размещения на кристалле, управление электронно-лучевой фотолитографией при изготовлении СБИС, контроль и отбраковку изделий микроэлектроники и т. д. Поэтому тот, кто имеет преимущество на современном этапе развития микроэлектроники и вычислительной техники, по объективным причинам обладает этим преимуществом в процессе их развития.
Наиболее контрастно эта тенденция развития технотронных систем проявились при реализации исследовательского проекта стратегической системы противоракетной обороны (ССПРО), именуемой стратегической оборонной инициативой (СОИ).
Структурно-функциональная схема ССПРО [12] включает (рис. 1.6):
(рис 1.6) Функциональная схема СОИПрограмму СОИ предполагалось реализовать в три сохраняющих преемственность этапа, конкретный облик которых в основном определялся уровнем развития наземных и космических вооружений и вычислительных средств интеллектуальной поддержки их боевого применения.
Ударная мощь СОИ сосредоточена в системах ERIS и SBI, технотронные характеристики которых должны были развиваться как по мере роста интеллектуальности возлагаемых на них задач (один из решающих факторов повышения живучести систем федеративно-конфедеративного типа), так и по мере перехода от кинетического оружия к оружию направленной энергии, которое кардинальным образом изменяет "сценарий" боя.
Основные факторы такого изменения:
В результате кардинальным образом изменяются требования к системотехническим и интеллектуальным характеристикам глобальных средств наблюдения, обнаружения, идентификации, сопровождения и наведения на цель. Устойчивую работу таких глобальных систем необходимо обеспечить в условиях активного противодействия "противника" и в широком диапазоне сезонных и суточных изменений погодных и климатических условий, происходящих в атмосфере и космосе, а также на и над земной поверхностью и акваторией Мирового океана.
В качестве базовой в СОИ была принята концепция распределенных, неоднородных, сквозных трактов высокоскоростной обработки данных от РЛС-, ИК-, оптических и лазерных приемников до средств управления орбитальными и наземными станциями, их вооружением и режимами работы оборудования, которые интегрируются в единую систему на основе развиваемой многоуровневой, неоднородной, распределенной, динамически реконфигурируемой, защищенной от несанкционированного доступа вычислительной системы наземного и космического базирования, характеристики которой изменяются синхронно с расширением возможностей сенсорных систем и систем вооружений.
Так, в системе SBI переход от антиракет фирмы Martin Marietta (первый этап) к перехватчикам Brilliant Pebbles Ливерморской национальной лаборатории ("Разумные камни", второй этап) предполагал совмещение в самом перехватчике всех функций от наблюдения и обнаружения целей до их поражения. В результате вместо фотоприемников с разрешением $$64 \times 64 = 4096$$ элементов, успешно обеспечивающих задачи наведения на цель, на борту планировалось использовать оптические системы из $$10^9-10^{10}$$ элементов, обеспечивающих наблюдение за земной поверхностью с высоты 1000 км площадью в штат Вирджиния и с разрешением до отдельного здания.
Обработка таких изображений требует перехода от параллельных
Защищенный от помех
При переходе к оружию направленной энергии космического базирования аналогичные требования к производительности БВС предъявляют системы управления многоапертурной лазерной оптикой в "фазарах". Это говорит о том, что упрощение задачи наведения оружия направленной энергии приводит к непропорциональному росту "сложности" задачи фокусировки поражающего луча.
О главенствующей роли средств вычислительной техники в программах СОИ говорит и тот факт, что по соотнесенным к массо-габаритам требованиям к производительности и интеллектуальности не уступают вышеприведенным цифрам и малогабаритные снаряды
Главная особенность конструкции таких снарядов - это малое поперечное сечение ( $$\le$$ 50 мм). Тем не менее, его микроминиатюрная электронная система должна на среднем участке собственного полета принимать сигналы коррекции для инерциальной системы, а на конечном участке выполнять автономное прицеливание и коррекцию траектории.
Наиболее высокий уровень интеграции всех компонент СОИ должны были обеспечить вычислительные средства системы связи и боевого управления BMC3 (см. рис. 1.6), фрагменты которой прошли демонстрационные испытания в 1988 г.
Чтобы обеспечить перехват МБР на активном участке полета, BMC3 должна была:
Для обеспечения перехвата боеголовок МБР на среднем участке полета, что еще более сложно, BMC3 должна была определять намерения и возможные объекты нападения, выделять средства для перехвата, обрабатывать информацию от всех датчиков СОИ, вносить изменения в стратегию перехвата и выдавать команды на перехват.
Для обеспечения перехвата боеголовок МБР на конечном участке BMC3 должна была функционировать так же, как и при перехвате на среднем участке полета, с той разницей, что информация должна поступать только к определенным руководителям боевых операций. При этом сведения о принятых ими решениях и о результатах перехвата передаются на командные пункты.
К BMC3 были предъявлены следующие требования:
Из приведенных данных видно, что в условиях активного противодействия "противника" практически все системы СОИ должны были решать в реальном времени достаточно сложные интеллектуальные задачи подавления помех в разнородных радио-, РЛС-, ИК-, оптических и лазерных трактах, комплексной оценки результатов, полученных в этих трактах, адаптации алгоритмов обработки на основе оценок климатических и погодных условий в среде распространения этих сигналов и под влиянием поражающих факторов и т. п.
Из приведенных данных также следует, что обеспечить требуемую отказоустойчивость и отказобезопасность систем СОИ только методами программно-аппаратного резервирования не представлялось возможным.
Это требовало создания распределенной, интеллектуальной системы парирования отказов, способной в реальном времени оценивать состояние и уровень работоспособности всех трактов приема, передачи и обработки данных, а также систем ориентации платформ и управления оружием. Система парирования отказов должна была работать в автономном от персонала режиме, вырабатывая и реализуя высокодинамичное управление программно-аппаратными ресурсами, пронизывающими всю СОИ.
Таким образом, программа СОИ изначально преследовала ряд целей военно-политического, военно-технического и технологического характера.
В военно-политическом аспекте СОИ носила явный провокационный характер и была нацелена:
Провокационный характер СОИ следует из того факта, что при 200- 300-секундном "сценарии" боя на активном участке полета атакующих МБР военно-политическому руководству США (Совет национальной безопасности, Комитет начальников штабов, Агентство национальной безопасности, Госдепартамент и т. д.) отводилось бы не более 30-40 сек на оценку уровня кризисности ситуации и на выработку адекватного решения.
Очевидно, что для выполнения этих функций военно-политическое руководство США должно обладать навыками мобилизации и работы в экстремальных ситуациях с непрогнозируемыми последствиями, что больше свойственно профессиональному оперативному составу СОИ, натренированному на переход от фазы длительного, пассивного наблюдения к фазе активных действий по оценке боевой обстановки.
В военно-техническом плане СОИ была направлена на качественный скачок в уровне роботизации всего вооружения и военной техники (ВВТ) армии США, что по замыслу должно свести к минимуму потери собственной живой силы, задействованной (в идеале) только в управлении автоматическими беспилотными системами поля боя.
В техническом плане СОИ представляла собой беспрецедентную по масштабам и скоординированности действий программу прорывных исследований в области опто- и микроэлектроники, реализовать которые можно только при условии качественного скачка в материаловедении, уже находящемуся на грани перехода к синтезу материалов с заранее заданными формами и физико-химическими свойствами.
Встретив со стороны США ожесточенную и явно конъюнктурную критику проекта ЭВМ 5-го поколения, японские ученые тем не менее развернули в начале 80-х годов широкомасштабный прорывной исследовательский проект ERATO [36] в области инструктивного синтеза материалов с заранее заданными формами и физико-химическими свойствами.
Этот проект постоянно развивается, и к 1991 году насчитывал 29 целевых программ фундаментальных исследований в области биокристаллов и биополимеров, организации биопопуляций и обмена биоинформацией в системах различного уровня "интеллектуальности", генного регулирования, механизмов квантового взаимодействия и т. д.
Хронология развертывания этих исследований:
научных исследований Японии (JRDC) во взаимодействии с Агентством науки и технологии (
Научная координация исследований в рамках ERATO осуществляется в трех направлениях: динамические микроспектроскопы, микрохимические функции, микропреобразующие системы. В совокупности эти исследования направлены на реализацию интегрированного проекта в области технологии микрофотопреобразований, актуальных не только для вычислительной техники с элементной базой молекулярного уровня исполнения, но и для аналитического приборостроения, поддерживающего научные и прикладные исследования следующего тысячелетия в области генной инженерии, биохимии, микробиологии и т. д.
Приведенные данные позволяют с достаточной степенью уверенности считать, что основная цель проектов ERATO - это отработка технологий для вычислительных систем со сверхмассовым параллелизмом и с молекулярным уровнем исполнения элементной базы.
В дальней перспективе разрабатываемая технология должна обеспечить достижение фундаментальных физических пределов в производстве средств вычислительной техники:
В рамках среднесрочной перспективы (2005-2015 гг.) предполагалось достичь уровня функциональной интеграции био- и макромолекулярных кристаллов с периодом решетки $$50-200 \dot A$$. При этом следует иметь в виду, что "сложность" реализуемой в активном молекулярном узле функции гораздо выше, чем у твердотельных вентилей, реализующих одну из базисных булевых функций. В результате может оказаться, что в био- и макромо-лекулярных кристаллах функциональная интеграция в булевом базисе будет определяться эквивалентными линейными топологическими размерами $$\sim 5-20 \dot A$$.
Базовая концепция продолжающихся программ ERATO фактически сводится к микроминиатюризации наработанных методов и средств в области молекулярной спектроскопии, которые планируются использовать:
Реализующая эту концепцию функциональная схема био- или молекулярно-кристаллического вычислителя включает (рис. 1.7):
(рис 1.7) Биомолекулярный эквивалент оптовычислителяТакая схема воспроизводит схему традиционных оптоэлектронных вычислителей на жидких кристаллах, где в качестве переключательного элемента используется оптически полупрозрачный ключ.
Традиционные микроэлектронные схемы на твердых кристаллах используют в качестве переключателей вентили, биомолекулярный эквивалент которых включает (рис. 1.8):
(рис 1.8) Биомолекулярный эквивалент вентиля Биокристалический эквивалент оптоэлектронной схемы можно классифицировать как вычислительную систему с глобальным генератором входных сигналов и фотоприемником выходных сигналов, а биокристалический эквивалент микроэлектронной схемы - как вычислительную систему с распределенными генераторами и фотоприемниками входных и выходных сигналов.
Несмотря на существенные отличия этих схем, очевидно, что уровень потребительских характеристик биокристалических вычислителей будет в основном определяться не уровнем микроминиатюризации вычислителей среды, а уровнем микроминиатюризации генераторов и фотоприемников сигналов.
Биокристалические вычислители могут быть выполнены по технологии постоянных запоминающих устройств, в которых вычислительные функции фиксируются на этапе синтеза биокристалла, или по технологии перепрограммируемых запоминающих устройств, в которых вычислительные функции изменяются в процессе вычислений.
(рис 1.9) Структура органометаллического биокристаллаДостаточно общая технологическая стратегия синтеза (био)моле-кулярного кристалла базируется на молекулярном катализе в органо-металлических соединениях (рис. 1.9), где активные металлические центры (в данном случае рутений Ru) имплантируются в подложку и фиксируют структуру эпитаксиального слоя на основе фосфора P. Рабочая поверхность биомолекулярного вычислителя формируется из хирального органического лиганда, задающего оптические свойства вычислительной среды.
В перепрограммируемых биокристалических средах хиральный лиганд извлекается избирательно из неоднородной жидкой среды, а в молекулярных кристаллах - из газообразной среды.
Из сказанного видно:
Таким образом, переход на молекулярный уровень исполнения элементной базы кардинальным образом изменяет физико-технические и схемотехнические принципы синтеза и работы (сверх)многопроцессор-ных вычислительных систем (ВС):
Главным стимулом развития средств вычислительной техники является постоянное отставание на 2-3 порядка предоставляемой производительности ( $$V$$ ) от требуемой, первая из которых определяется уровнем технологии производства элементной базы и аппаратуры, а вторая диктуется задачами пользователя. Лидерами по предъявляемым требованиям к производительности являются задачи, решаемые в реальном времени, темп которого задается теоремой Котельникова:
$$\Delta T_k = \cfrac{1}{2Fm + 1}$$где $$F$$ - максимальная частота в спектре обрабатываемого сигнала, а $$\Delta T_k$$ - период дискретизации сигнала по Котельникову.
К таким задачам по-прежнему относятся задачи военного назначения:
Удовлетворить требования задач с экстремальными характеристиками по производительности можно двумя взаимодополняющими путями:
Прирост производительности за счет совершенствования микроэлектронной технологии можно оценить, опираясь на линейный прогноз снижения топологических норм производства элементной базы и отвечающий ему рост тактовой частоты (табл. 1.3).
| Факт | Линейный прогноз | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Год | 1980 | 1985 | 1990 | 1995 | 2000 | 2005 | 2010 | 2015 | 2020 | 2025 |
| Минимальный линейный размер (мкм) | 3-4 | 1-1,5 | (6-8) *10"' | (2,5-3) *10' | (1-2) *10-1 | (6-8) *102 | (3-4) *102 | (1,2-1,5) *102 | (6-7) *10_3 | (3-4) *10_3 |
| Тактовая частота | -10 МГц | -100 МГц | -250 МГц | -500 МГц | -1 ГГц | -3 ГГц | -5 ГГц | -10 ГГц | -50 ГГц | -100 ГГц |
| Темп роста | 25 раз | 10 раз | 10 раз | |||||||
| Фотолитография | Проекционая | Рентгеновская (мягкий рентген $$\lambda > 2 A^o = 2 \times 10^{-4} мкм)$$ | ||||||||
Приведенные значения потребной производительности говорят о том, что решить в реальном времени перечисленные выше задачи только за счет технологического совершенствования невозможно, так как достижение терагерцовых частот работы процессоров при комнатной температуре остается проблематичным даже в нанометровой области, в которую микроэлектроника способна перейти только в 2015-2020 гг.
Отсюда встает необходимость комплексного использования возможностей технологического и архитектурного развития вычислительных систем (ВС), чтобы они оказались способными решить экстремальные задачи с требуемым качеством по точности, достоверности и времени запаздывания в ВС.
Предельные возможности комплексного увеличения физической производительности ВС как за счет роста тактовой частоты, так и за счет совершенствования архитектуры можно оценить следующими соотношениями:
$$\max{V(ОКОД)} = F_c^i = \cfrac{F_{T}}{\min{\beta_i}}$$где:
где $$\max V(ОКМД)$$ - максимальная производительность параллельной архитектуры с
где $$L $$ - "критический" путь программы обработки, определяемый количеством физически исполненных инструкций ассемблерного уровня (в дальнейшем слов-инструкций) в параллельной архитектуре с
(рис 1.10) Основные компоненты ЭВМ архитектуры типа ОКОД
(рис 1.11) Основные компоненты ЭВМ архитектуры типа ОКМДСоотношение (1.2) исходит из того, что в однопроцессорной системе
(рис 1.12) Основные компоненты ЭВМ архитектуры типа МКМДСоотношение (1.3) исходит из того, что в параллельных архитектурах
Соотношение (1.4) исходит из того, что в параллельных архитектурах МКМД-типа максимальный коэффициент распараллеливания по потоку команд не может превышать "длину" $$L$$ реализуемой в реальном времени программы циклической обработки потока данных из $$N$$ операндов. При этом распараллеливание по потоку команд можно провести как по векторной, так и по конвейерной схеме. В первом случае все или часть команд программы исполняются одновременно и независимо друг от друга на разных операционных устройствах ВС, что возможно при полном отсутствии или малом количестве слабоинтенсивных информационных связей между фрагментами программы. Во втором случае все информационно связанные фрагменты программы исполняются на операционных устройствах, образующих конвейер с фиксированной структурой связей и фиксированным протоколом обмена информацией между двумя ближайшими соседями.
В ВС реального времени максимальная "длина" $$L$$ программы обработки лимитируется различными факторами, которые зависят от ее архитектуры.
В
где $$\tau_c=1/F_c$$ - цикл исполнения ассемблерной слов-инструкции.
Соотношение (1.5) исходит из того, что в однопроцессорных ЭВМ реального времени программа должна завершить полный цикл обработки предыдущего отсчета до момента поступления последующего отсчета обрабатываемого сигнала. Нарушение этого условия приводит к потере входной и, как следствие, выходной информации, что может нарушить алгоритм решения задачи и привести к потере управления летательным аппаратом и его вооружением.
В
Из соотношений (1.5) и (1.6) видно, что в
В МКМД-архитектурах максимальная длина реализуемой в темпе реального времени программы обработки уже не связана с ограничениями теоремы Котельникова и лимитируется допустимым временем ( $$T_0$$ ) задержки в ВС:
$$\max L(МКМД) = \cfrac{T_0}{\tau_c}$$Подставив в (1.4) соотношение (1.7), получим:
$$Max(\max V(МКМД)) = \cfrac{T_k}{\tau_c}*\max V(ОКОД) = \\ T_0 * N * (F_c)^2 = \alpha * \Delta T_k * (N)^2 * (F_c)^2$$где $$\alpha = T_0 / T_k$$
Из (1.8) видно, что (максимальный) коэффициент распараллеливания вычислений по потокам команд и данных зависит от параметров решаемой задачи: периода дискретизации по Котельникову ( $$\Delta T_k$$ ), количе-ства операндов в циклически обрабатываемом потоке данных ( $$N$$ ) и допустимого времени задержки в ВС ( $$T_0$$ ). Это говорит о том, что параллельные архитектуры наиболее эффективны в проблемно-ориентированных областях их применения, для которых характерно априорное знание алгоритмов решения задач и их параметров.
Для большинства задач управления и боевого применения летательного аппарата $$\alpha \gg 1$$. Это объясняется тем, что для снижения влияния всевозможных помех и повышения достоверности вычислений требуется, как правило, усреднить полученные результаты по $$10^2-10^3$$ циклам обработки входного сигнала.
Сравнив (1.3) и (1.8), получим:
$$Max \left ( \cfrac{\max V(МКМД)}{ \max V(ОКМД)} \right ) = \alpha * \Delta T_k * (N)^2 \cfrac{F_c(МКМД)^2}{N* F_c(ОКМД)}$$Производители ВС для армий США и НАТО в основном используют
Традиционно отечественная микроэлектроника, а с ней и вычислительная техника отстают от зарубежной на 1-2 поколения, что приводит к разнице в 1-2 порядка по частоте работы процессоров.
Из (1.9) видно, что для компенсации такого технологического отставания необходимо в отечественных ВС максимально задействовать МКМД-факторы распараллеливания вычислений. В таких условиях (1.9) принимает вид:
$$\lambda = \Max \left ( \cfrac{\max V(МКМД)}{ \max V(ОКМД)} \right ) = (10^{-1} - 10^{-2}) \cfrac{T_0}{\tau_c(МКМД)}$$где $$F_c (МКМД)/F_c (ОКМД) = (10^{-1}-10^{-2})$$.
Из соотношения (1.10) следует, что выигрыш ВС с МКМД-архитектурой наступает при $$\lambda > 1$$, для чего необходимо выполнить достаточно слабое с технических позиций неравенство: $$T_0 > (10 - 100) * \tau_c (МКМД)$$.
Это неравенство требует, чтобы допустимое время задержки в ВС на один или два порядка превосходило время цикла исполнения ассемблерной слов-инструкции. В частности, при $$\tau (МКМД) = 100$$ нс (что соответствует $$F_c (МКМД) = 10$$ МГц) допустимое время задержки в ВС должно быть больше 10-5 с, что выполнимо для достаточно широкого круга задач управления летательным аппаратом и его вооружением.
Сложность проектирования и эксплуатации ВС МКМД-типа намного превосходит аналогичные показатели для ВС
Это приводит к увеличению стоимости и сроков создания инструментальных платформ открытого типа, эффективную разработку которых невозможно осуществить без учета перспектив развития микроэлектроники и вычислительной техники в ближайшие 15-20 лет.
В машине Тьюринга можно выделить два уровня управления, один из которых связан с исполнением текущей инструкции "программы", а другой - с инициализацией самой инструкции или "чтением" самой программы, то есть с перемещением управляющего устройства по ленте. В реальных ЭВМ перемещение курсора машины Тьюринга заменено смещением указателя адреса по разделу памяти программ ( P- область ОЗУ) конечного объема. Аналогично и для перемещения по таблице управления устройства управления машины Тьюринга, которое в процессорах с микропрограммным управлением заменено модификацией адреса в постоянном запоминающем устройстве микропроцессора. Поэтому общая процедура выполнения инструкций программы имеет вид: "Делай то, что расположено по указателю адреса … в P- области ОЗУ над тем, что расположено по указателю адреса … в D- области ОЗУ" (рис. 1.13).
(рис 1.13) Общая схема работы процессораВ результате идентификатор программы представляет собой указатель адреса первой инструкции этой программы, а считанный по этому адресу код операции представляет собой адрес микропрограммы, исполняющей эту ассемблерную инструкцию. Отсюда, вычислительный процесс представляет собой два процесса: перечисления потоков инструкций и данных и преобразования потоков инструкций и данных, причем потоки и инструкций, и данных неразличимы в кодовом представлении.
Перечислительная составляющая представляет собой частично упорядоченный поток адресов инструкций и данных, что обусловлено конечным объемом памяти. Вычислительная составляющая представляет собой последовательность
Поэтому правильнее говорить, что вычислительная машина не вычисляет, а преобразует коды инструкций и данных. Чтобы убедиться в этом, достаточно вспомнить, что:
Например, двоичная последовательность 1011 в ЭВМ может интерпретироваться:
Но система преобразований булевой алгебры ЭВМ выбрана таким образом, чтобы выполненные над двоичной последовательностью инструкции не зависели от правил интерпретации переменных на входе и выходе ЭВМ. По этой причине даже знаковые разряды чисел "складываются" в дополнительных кодах по правилам значащих разрядов: число - $$3$$ в дополнительном коде - $$1101$$, а число -2 в дополнительном коде - $$1110$$. Поэтому сложение кодов этих чисел в двоичной системе счисления имеет вид:
| $$е^+$$ | 1 | 0 | 0 | ||
| $$х_2$$ | 1 | 1 | 1 | 0 | |
| $$x_1$$ | 1 | 1 | 0 | 1 | |
| $$\sum$$ | 1 | 1 | 0 | 1 | 1 |
|---|
а результат $$1011$$ представляет в дополнительном коде число -5, для получения которого необходимо перейти на выходе ЭВМ к прямому коду $$1101$$, то есть чтобы правильно интерпретировать на выходе ЭВМ результат сложения двух отрицательных чисел, их сумму необходимо перевести в прямой код. Система булевых преобразований однобитного сумматора имеет вид:
$$e^+ = \begin{cases} x_2 * x_1, \text{если } e^- = 0, \\ x_2 + x_1(t), \text{если } e^- = 1. \end{cases} \\ \sum = \begin{cases} \overline{x_2} * x_1 + x_2 * \overline{x_1}, \text{если } e^- = 0, \\ \overline{x_2} * \overline{x_1} + x_2 * x_1, \text{если } e^- = 1. \\ \end{cases}$$Здесь $$e^+$$, $$e^-$$ и $$\sum$$ - соответственно "единица переноса" в последующий разряд, "единица переноса" предыдущего разряда и "сумма" текущего разряда, а $$*$$, $$+$$ и $$\overline{x}$$ - соответственно булева операция "И", "ИЛИ" и "ОТРИЦАНИЕ".
Таким образом, входные данные ЭВМ сначала представляются в двоичном коде, далее над ними выполняются булевы преобразования,результаты которых интерпретируются ("трактуются") на выходе ЭВМ.
Следует иметь в виду, что правила интерпретации двоичных кодов чисел на входе ЭВМ существенно изменяют и систему преобразований булевых функций в самой ЭВМ. В нашем примере подразумевалась классическая позиционная система счисления, в которой "вес" $$i$$ -го разряда для целых чисел определяется по правилу: $$w_i = 2^{i-1}$$. Однако это не единственная позиционная система счисления; для сравнения рассмотрим числа Фибоначчи и отвечающие им правила выполнения арифметических действий [37].
Последовательность чисел Фибоначчи появились в 1202 году из задачи о размножении кроликов. Пара кроликов каждый месяц приносит приплод из двух крольчат: самки и самца. Период созревания крольчат составляет 2 месяца, и они начинают размножаться по тому же правилу.
Задача: определить количество пар кроликов через $$l$$ месяцев, если размножение началось с 1-й пары зрелых кроликов и если оно началось с пары новорожденных кроликов.
Обозначим через $$\varphi_1(l)$$ количество пар кроликов по истечении l месяцев с начала размножения ( $$l=0, 1, 2, 3, …$$ ). Тогда при $$l > 2$$ количество пар кроликов можно определить по рекуррентному соотношению: $$\varphi_1(l-1) + \varphi_1(l-2)$$
В этом соотношении начальные условия зависят от "зрелости" кроликов в начале размножения:
Тогда последовательности чисел Фибоначчи запишутся:
Обобщенные числа Фибоначчи $$\varphi_p$$ учитывают разные периоды ( $$p$$ ) созревания молодых пар и разные коэффициенты размножения.
Связь чисел Фибоначчи с последовательностью двоичных "весовых" коэффициентов достаточно проста и определяется условием "мгновенного" созревания молодых пар $$p = 0$$. Тогда $$\varphi_0(l) = 2 \varphi_0(l-1); \varphi_0(0) = 1$$ и поэтому $$\varphi_0(l) = 2^l$$, то есть последовательность "весовых" коэффициентов класси-ческой позиционной двоичной системы счисления: $$1, 2^1, 2^2, 2^3, …, 2^l$$.
Если $$p = 1$$, то получим классический ряд чисел Фибоначчи, а если $$p = \infty$$, то есть процесс созревания молодой пары кроликов приобрел бесконечный характер, то в случае взрослой пары только она и размножается: $$\varphi_{\infty}(l) = l+1$$, а в случае новорожденной пары $$\varphi_{\infty}(l) = 1 const$$.
Как и в любой
| $$l$$ | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 |
|---|---|---|---|---|---|---|---|---|---|---|---|
| $$\varphi_1(l)$$ | 1 | 1 | 2 | 3 | 5 | 8 | 13 | 21 | 34 | 55 | 89 |
| $$X_1=33$$ | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 |
| $$Х_2=32$$ | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 |
В нашем примере $$X_1 = 33 = 21+8+3+1$$, а $$X_2 = 32 = 21+8+3$$.
В системе Фибоначчи число считается нормализованным, если в нем нет смежных "единичных разрядов". Например, число $$5 = 01011$$ считается ненормализованным, так как в его правых, младших разрядах подряд стоят две "единицы", которые можно заменить одной "единицей" в ближайшем, старшем разряде: $$01011 = 01100 = 10000 = 5$$.
В арифметике Фибоначчи арифметические действия выполняются только над
| $$X_1=33$$ | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 |
| $$Х_2=32$$ | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 |
| $$\Sigma^1$$ | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 0 |
| $$е^1$$ | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 |
Здесь "единица переноса" "раздваивается" и, как обычно, учитывается при суммировании старшего разряда, а также размещается со сдвигом на 2 разряда в частной единице переноса $$e^1$$.
Полученная частная сумма $$\Sigma^1$$ и частная "единица переноса" $$e^1 $$ имеют нормализованное представление, поэтому на втором шаге их можно сложить:
| $$\Sigma^1$$ | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 0 | |
| $$e^1$$ | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | |
| $$\Sigma^2$$ | 0 | 0 | 1 | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | |
| $$e^2$$ | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
Результат суммирования получился ненормализованным и его надо привести к нормализованному виду. Нормализация проводится начиная со старшей группы разрядов, где стоят подряд как минимум две "единицы":
| $$\Sigma^2$$ | 0 | 0 | 1 | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 0 |
| $$\Sigma^3$$ | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 0 | 0 |
| $$\Sigma^4$$ | 0 | 1 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 0 |
| $$\Sigma^5$$ | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 0 | 0 |
| $$\varphi_1(l)$$ | 89 | 55 | 34 | 21 | 13 | 8 | 5 | 3 | 2 | 1 | 1 |
Нормализованный результат имеет вид: $$01000100100 = 55+8+2 = 65$$, и его можно использовать в дальнейших вычислениях.
Отсюда, система булевых преобразований в одноразрядном сумматоре Фибоначчи имеет вид: $$\Sigma_i. = х_1 \oplus y_i$$. и $$e_i = х_i * у_i$$.
Таким образом, аппаратные затраты сумматора Фибоначчи гораздо меньше классического "булевого" сумматора, но процедура суммирования чисел Фибоначчи носит итеративный характер и требует циклической процедуры нормализации промежуточных операндов. Представление чисел в системе Фибоначчи требует большей разрядной сетки, чем классическое булево представление, так как "вес" разряда в последнем случае нарастает по самому быстрому экспоненциальному закону. Однако такую избыточность можно использовать для повышения обнаружения ошибок арифметических действий и повышения отказоустойчивости ЭВМ Фибоначчи [37].
Согласно данным табл. 1.3, уже сейчас необходимо оценить последствия перехода вычислительной техники на нанометровую или супрамолекулярную элементную базу, которая кардинальным образом изменит физико-технические законы производства (табл. 1.4) и условия правильного функционирования электронных приборов, схемо- и системотехнические принципы и методы организации вычислений, а также критерии оценки эффективности работы ВС.
| Длина волны (нм) | Лазер | Минимальная ширина линии (мкм) |
|---|---|---|
| 143 | ArF | ОЛЗ |
| 157 | F2 | 0.1-0.8 |
| 146 | Кг2 | 0.07 |
| 134 | ArKr | 0.07 |
| 13 | Плазменный источник | 0.05 |
В первую очередь это относится к принципам и методам организации вычислений потому, что при выходе вычислительной техники в нано-метровую область изменится на противоположное отношение "ведомый-ведущий" между микроэлектроникой и вычислительной техникой. Если в традиционной вычислительной технике разработчики ВС задавали условия правильной работы микроэлектронной элементной базы, то наносхемотехника и супрамолекулярная электроника будут не только ограничивать функциональные возможности, но и предопределять спектр функций, реализуемых блоками и узлами вычислительной техники.
Действительно, и в нанометровых, и в супрамолекулярных вычислителях:
Системотехническое сходство нанометровых и супрамолекулярных вычислителей состоит в том, что их инструктированный синтез в конечном счете сводится к созданию относительно устойчивого квантового "рабочего тела", задающего вероятностное пространственно-временное распределение потенциальных барьеров и потенциальных ям, где процесс перераспределения зарядов и/или энергии используется как вычислительный.
Разнятся эти вычислительные технологии механизмами задания (фиксации) структуры потенциальных барьеров и ям, а также механизмами ее взаимодействия с потоками перераспределяемых в пространстве и во времени заряженных частиц и/или энергии, которые кодируют входные, промежуточные и выходные потоки данных, что в схемотехническом плане становится существенным после формально-логического синтеза таких вычислителей.
Из приведенных данных видно, что в нанометровых и супрамолеку-лярных вычислителях:
В современных (микро)программируемых опто- и микроэлектронных средствах вычислительной техники можно добиться только высокодинамичных переходов между разделенными во времени и пространстве этапами синтеза, (ре)конструирования и использования сверхбольших коллективов вычислителей, реализующих основные и интерфейсные функции конкретных (суб)процессоров. При этом требуется, чтобы пользователю (суб)процессора был доступен либо вентильный, либо микропрограммный уровень управления, отвечающий требованиям (квази)
(рис 1.14) Функциональная и структурная схема оптоэлектронной ЭВМ. Реализация на оптоэлектронной вентильной матрице реального масштаба времени и дифференцированного реагирования на карту отказов аппаратурыТакой комплекс системотехнических условий проектирования и использования проблемно- или алгоритмически ориентированных (суб) процессоров на основе заранее изготовленных сверхбольших коллективов вычислителей в достаточно полной мере выполняется в произвольно коммутируемых через голографическую память оптоэлектронных вентильных матрицах (рис. 1.14) и в микроэлектронных МКМД-бит-процессорных матрицах.
Основная системотехническая особенность оптоэлектронной ЭВМ рассматриваемого типа состоит в том, что в ней отсутствуют какие-либо регистры команд и данных и все управление реализуется через гологра-фическую память, в которой промежуточные результаты предыдущих вычислений могут напрямую влиять на коды исполняемых в данный момент времени инструкций. Такой тип управления потоком команд через содержимое потоков данных соответствует предельному режиму PD- ассоциативного управления, который в обычных ЭВМ проявляется только в операторах условных переходов.
В рассматриваемом варианте оптоэлектронной ЭВМ процессор можно реализовать на основе оптоэлектронной вентильной матрицы, входы и выходы которой замыкаются друг на друга только через гологра-фическую память и в соответствии с правилами работы операционных, управляющих и интерфейсных устройств. Это говорит о том, что все функции оптоэлектронного процессора реализуются аппаратно. Поэтому в оптоэлектронных процессорах рассматриваемого типа синтез, управление и (ре)конструкция блоков и устройств осуществляются методами и средствами структурной адаптации схем соединения вентилей (реконфигурацией оптических связей в голографической памяти).
В МКМД-бит-потоковых вычислительных технологиях синтез, управление и реконструкция процессоров осуществляется методами и микропрограммными средствами параметрической настройки однородных МКМД-бит-процессорных подматриц на те и только те интерфейсные, адресные, операционные, управляющие и диагностические функции, которые поддерживают работу активизированных операторов проблемно-ориентированных (суб)процессоров.
Отсюда, в частности, следует, что МКМД-бит-потоковые (суб)про-цессоры работают в режиме интерпретации, а не трансляции (микро)про-грамм, что создает благоприятные условия для высокодинамичного парирования карт отказов аппаратуры за счет толерантного (пере)размещения тела (микро)программы на бит-матрице с существенно меньшим по отношению к ее рабочей "площади" "горячим" резервом. (Толерантный - терпимый, в данном случае к действующей множественной карте отказов.)
Таким образом, для обеспечения национальной безопасности в XXI веке Россия должна опережающими темпами развивать супрамоле-кулярную и наноэлектронику, которые обеспечивают технологический базис для создания полностью отечественных ВС и для промышленного освоения методов и средств генной инженерии и молекулярной биологии. Достичь желаемых результатов одним отслеживанием и освоением передовых зарубежных технологий невозможно, так как развитые страны не стоят на месте и наращивают свое технологическое превосходство над развивающимися странами. В таких условиях решающую роль может сыграть устойчивая научно-техническая политика государства, в рамках которой все принимаемые технические решения ориентированы не только на решение текущих задач, но и в комплексе учитывают 20-40-летнюю перспективу развития супрамолекулярной, наноэлектроники, генной инженерии и молекулярной биологии.
Для получения официальных документов о завершении программы дополнительного профессионального образования (удостоверения о повышении квалификации, дипломов о профессиональной переподготовке и MBA) необходимо предоставить:
Внимание! Вы можете не заказывать доставку бумажной версии официального документы, а скачать его в электронном виде и распечатать самостоятельно. Информация о выданном документе в течение 1 месяца загружается в Федеральную информационную систему «Федеральный реестр сведений о документах об образовании и (или) о квалификации, документах об обучении» - ФИС ФРДО.
Доступ на новый сайт осуществляется с использованием адреса электронной почты, который был указан вами при регистрации на "старом". Мы постарались перенести все ваши данные с прежнего ресурса, однако не исключена вероятность потери части информации.
При возникновении проблемы со входом, воспользуйтесь функцией сброса пароля
Если вы обнаружите несоответствия, пожалуйста, сообщите нам.