Cтраница 2
Иначе говоря, типичный компьютер логически необратим - его функция перехода ( частная функция, отображающая каждое глобальное состояние машины на последующее ему, если таковое состояние имеется) не обладает однозначной обратной функцией. [16]
![]() |
Сопоставление измеренных ( а и вычисленных спектров интенсивностей излучения с учетом городского аэрозоля ( б и для атмосферы ( в, не содержащей аэрозоля. [17] |
Последнее означает, что изменяется структура радиационного баланса коротковолновой радиации. Для среднего глобального состояния атмосферы аэрозоль приводит к потеплению в тропосфере и увеличению температуры подстилающей поверхности за счет действия парникового механизма, приводящего к понижению радиационной температуры планеты за счет поглощения длинноволновой радиации аэрозолем. В пределах погрешностей выполненного моделирования потепление в пограничном слое атмосферы составляет 1 - 3 К. [18]
Более серьезный недостаток возникает при потерях сообщений. Это привело к появлению глобальных состояний s3, sx, s3, s4, s6, s4 и s6, sx, которые являются тупиковыми ( нет дуг, исходящих из узлов, специфицирующих эти состояния) и блокируют дальнейшую работу системы при ее попадании в них. [19]
Мы полагаем, что модели, построенные на основе понятия порядок через флуктуации, помогут нам спра-виться с подобными вопросами, а при определенных обстоятельствах будут способствовать более точной фор-мулировке сложного взаимодействия между иидивиду-альным и коллективным аспектами поведения. С точки зрения физика, к этому кругу проблем относится проведение различия, с одной стороны, между состояниями системы, в которых всякая индивидуальная инициатива малозначима, а с другой стороны, между областями би-фуркации, в которых индивидуальная идея или даже новое поведение может порождать глобальное состояние. [20]
Мы полагаем, что модели, построенные на основе понятия порядок через флуктуации, помогут нам справиться с подобными вопросами, а при определенных обстоятельствах будут способствовать более точной формулировке сложного взаимодействия между индивидуальным и коллективным аспектами поведения. С точки зрения физика, к этому кругу проблем относится проведение различия, с одной стороны, между состояниями системы, в которых всякая индивидуальная инициатива малозначима, а с другой стороны, между областями бифуркации, в которых индивидуальная идея или даже новое поведение может порождать глобальное состояние. Но даже в областях бифуркации усиление - удел далеко не каждой индивидуальной идеи и не каждого индивидуального поведения, а лишь опасных, т.е. способных обратить себе на пользу нелинейные соотношения, обеспечивавшие устойчивость предыдущего режима. Таким образом, одни и те же нелинейности могут порождать порядок из хаоса элементарных процессов, а при других обстоятельствах приводить к разрушению того же порядка и в конечном счете к возникновению новой когерентности, лежащей уже за другой бифуркацией. [21]
Неформально процесс построения дерева глобальных состояний системы заключается в следующем. Каждый такой переход приводит к новому глобальному состоянию, для которого описанный процесс повторяется. Получаемые глобальные состояния запоминаются в специальной базе данных. Любое новое глобальное состояние попадает в эту базу только в том случае, если среди уже имеющихся не найдется точно такого. [22]
В пятой главе приведены методы анализа, которые позволяют использовать модели, лежащие в основе каждого из языков. Рассматриваются методы, базирующиеся на модели расширенного конечного автомата и исчислении взаимодействующих систем. Довольно подробно изложены способы применения метода анализа достижимых глобальных состояний. [23]
Допустим, что автоматы находятся в программно-аппаратных средах, рестарт которых вызывает возврат автоматов в начальные состояния и обнуление событий в каналах. Тогда рестарт на стороне базы данных в случае, если система находится в глобальном состоянии В, приведет к статической блокировке, а рестарт на стороне пользователя - к непредусмотренному приему. Оба эти случая показаны на рис. 5.22 и указывают на нарушение свойства самосинхронизуемости. [24]
Неформально процесс построения дерева глобальных состояний системы заключается в следующем. Каждый такой переход приводит к новому глобальному состоянию, для которого описанный процесс повторяется. Получаемые глобальные состояния запоминаются в специальной базе данных. Любое новое глобальное состояние попадает в эту базу только в том случае, если среди уже имеющихся не найдется точно такого. [25]
Неформально процесс построения дерева глобальных состояний системы заключается в следующем. Каждый такой переход приводит к новому глобальному состоянию, для которого описанный процесс повторяется. Получаемые глобальные состояния запоминаются в специальной базе данных. Любое новое глобальное состояние попадает в эту базу только в том случае, если среди уже имеющихся не найдется точно такого. [26]