Cтраница 1
Описание узла начинается с особой метки - функции top ( i), где i - номер этого узла, а заканчивается оператором place. Начиная с метки top ( i) транзакт проходит все операторы узла i без задержек ( в смысле модельного времени) и попадает в оператор place, где находится до тех пор, пока не появятся условия для перехода в следующий узел. [1]
Целесообразно поэтому начать описание основного сценографического узла с нее и остановиться на ее устройстве более подробно. [2]
В листинге 3.62 представлен пример описания узла контроля на четность входного байта. Для каждого / - го разряда формируется сигнал odd carry [ i i ], являющийся признаком четности совокупности этого разряда и всех предыдущих. [3]
Осадконакопители проектируются по расчетным данным, приведенным при описании узла основного нефте-улавливания. [4]
Узлы расположены рядами, причем каждый ряд состоит из разных интерпретаций одного и того же соединения линий. Цифры около каждого узла означают порядковые номера интерпретации, а описание узла передано графически по следующему принципу: сплошные линии обозначают выпуклые, а пунктирные - вогнутые ребра. Если ребро служит аргументом предиката hind, то область рисунка, которая интерпретирована как проходящая под ребром поверхность, заштрихована. [5]
Таким образом, ссылка на шаблон выполняет в ИНЕС ту же роль, что и определение типа в языках программирования. Но в отличие от них в языке описания данных ИНЕС нет разделения понятий определения типа и описания переменной, а вместо этого есть понятие описания узла дерева. [6]
Узлы типа Р используются для переключения заявок входного потока на одно из заданных направлений в соответствии е вероятностями, приписанными к каждому из выходов узла. Выбор направления движения заявки производится безотносительно к ее типу. Сумма вероятностей, приписанных выходам узла, должна равняться единице. Описание узла типа Р задается набором параметров: Р; NAME, NAMEV, PR, где Р - признак типа узла; NAME - символическое имя узла; NAMEV - символическое имя элемента, связанного с выходом узла; PR - вероятность перехода на данное направление. Параметры NAMEV, PR должны быть заданы в списке для каждого из выходов узла. [7]
![]() |
Пример использования узлов типа D и S. [8] |
Узлы типа S ( синхронизирующие узлы) используются для исключения заявок-копий, образованных в узлах типа D. Заявка на выходе узла типа S появляется только при наличии копий конкретной заявки соответствующего типа на всех входах узла. В любой сети узлы типа S используются только совместно с узлами типа D. Описание узла типа S представляется набором параметров: S, NAME, TYPE, где S - признак типа узла; NAME - символическое имя узла; TYPE - тип синхронизируемых заявок. Поступление на вход узла типа S заявки, тип которой не совпадает с указанным в описании, свидетельствует о некорректности модели. [9]
На складе ресурсов 5 транзакту выделяется ресурс типа RAM. Перед входом в узел определяется объем запрашиваемой памяти ( параметр транзакта RAM AMOUNT) как случайная величина, составляющая какую-то долю от мощности - максимального объема памяти. Состояние транзакта PROCESS STATUS получает значение BUFF, в результате процесс помечается как ожидающий выделения буферов I / O. В описании узла параметр RAM AMOUNT указывает количество запрашиваемого ресурса. Флажок учета приоритета запроса установлен. [10]
Наиболее совершенные принципы автоматизации заложены, на наш взгляд, в схемы французской станции очистки на автомобильном заводе им. Кратко остановимся на описании автоматизированного узла очистки циансодержащих сточных вод в Димитров-граде. [11]