Глобальное состояние

Cтраница 1

Глобальное состояние всей системы состоит из множества состояний каждого протокольного автомата и всех каналов, соединяющих автоматы. Состояния каналов, если они непусты, характеризуются списками событий, находящихся в данный момент в этих каналах. [1]

Определим исходное глобальное состояние всей системы. В простейшем случае это множество начальных состояний каждого из автоматов и множество пустых каналов, хотя для анализа самосинхронизуемости исходное состояние может быть определено разработчиком по другому. [2]

Определить глобальное состояние биосферы можно на основе международного сотрудничества; и эта часть ГСМОС относится к сфере международных проектов, координируемых комитетом ЮНЕП. [3]

Оценивать глобальные состояния биосферы можно лишь на основе международного сотрудничества; Эта часть ГСМОС относится к сфере международных проектов, планируемых комитетом ЮНЕП. [4]

На дереве глобальных состояний проверяются нормальные последовательности сервисов. [5]

Трассировка - это глобальное состояние, зависящее от значения ключевого слова & TRACE. Независимо от запросов на трассировку, выполняемых с помощью функции TRACE, при неположительном значении ключевого слова трассировочных выдач не будет. Значение ключевого слова & TRACE можно явно установить равным нулю, оно может также достигнуть нуля в результате уменьшений, вызванных трассировкой. [6]

При построении дерева глобальных состояний верификационная система обнаружит совпадающие состояния, находящиеся на одном пути из корня ( исходное и состояние В), которые указывают на два цикла ( на рисунке обозначены пунктирными стрелками): первый характеризует повторные попытки записи при получении пользователем отрицательных подтверждений, а второй - повторные попытки чтения. Так как оба цикла являются полезными и имеют выход, разработчик, проанализировав информацию, выданную верификационной системой, не будет вносить эти циклы к динамической блокировке. [7]

Дерево достижимых состояний для протокола рие. [8]

Первый приводит к глобальному состоянию В, второй - к С. [9]

При условии, что глобальное состояние технологий и уровень численности населения неразрывно связаны и целью является поддержание текущего уровня численности населения ( или даже разрешение его роста), чрезвычайно важно развивать улучшенные технологии. Однако промышленная экология представляет собой не только наивный технологический оптимизм. История антропогенного возмущения природных систем не внушает уверенности в том, что род человеческий может переселиться в условия относительной стабильности без значительных экономических, социальных и культурных расстройств или без даже резких колебаний численности населения. Тем не менее промышленная экология принимает как оперативное предположение возможность достаточно плавного перехода к стабильной несущей способности посредством сочетания сопутствующих технологического и социального прогресса. [10]

Неформально процесс построения дерева глобальных состояний системы заключается в следующем. [11]

При этом С называется линейным объектом глобальных состояний, RI - глобальной реакцией на состояние, a R2 - глобальной реакцией на вход. [12]

Данное начальное состояние является корнем дерева достижимых глобальных состояний, построенного верификационной системой ВЕРСИЯ. [13]

Ясно, что введенные выше понятия объекта глобального состояния системы, ее глобальной реакции применимы и к временным системам. Однако требуется определить соответствующие понятия и для сужений временной системы. [14]

Как и пятерки, квадруплеты определяют взаимно однозначные отображения глобальных состояний машины. [15]

Страницы: 1 2