[03.11.11] Лекция №10 (1051943)

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла

Лекция №10 [03.11.11]

Ещё раз, когда у нас несколько процессов

...

КПП будет , и в КПП будут выполняться по росту. И остальное всё тоже по росту, короче.

Итого, надо следить, чтобы ни одно из не нарушилось, и надо иметь механизм определения сцепления для одновременных событий.

Классы одновременных событий

КОС – это совокупность событий, происходящих в один и тот же момент модельного времени.

Модельное время – время, в котором описано функционирование системы.

Событие – выполнение элементарного оператора в любом треке. КПП состоит из совокупности событий.

И вот что такое КОС:

Объём (мощность) КОСа не может быть больше количества одновременно протекающих процессов. Самое меньшее значение – один. То есть, вон те 2 и 6 – тоже можно считать КОСами. Если у нас 142 одновременно протекающих процесса, то максимальное количество событий в одном КОС – 142.

Структура КОСа – граф:

О н опишется вот так: , то есть, парные выполняются в любом порядке. При этом всём, вся эта конструкция выполняется мгновенно, это же КОС. Время на выполнение КОСа не сдвигается ни на сколько.

Введём классификацию событий: активные и пассивные. Активное событие – которое идёт в своём треке после элементарного оператора, имеющего временное условие (когда наступает указанный момент времени). А если это событие следует в своём треке за логическим условием , то оно пассивное (выполнится только после выполнения логического условия).

Вот тут активные: 2, 4; а пассивные: 3, 5, 6. А первое – неизвестно, мы не знаем.

Делаем такое предположение: первое событие в КОС обязательно активное. И второе предположение: КОС содержит только одно активное событие. Потом начинается вычисление логических событий, они могут не сразу быть равны 1, считаем, проходим сначала (потому что каждое изменяет состояние системы).

КОС завершается, когда все во всех процессах (в соответствии с положением инициатора, развитием процесса) равны 0 (ничто не изменяет состояния системы). После этого строим новый КОС, который начинаем со следующего активного события.

Но могут возникнуть два одновременных активных события, тогда строим КОС на любом из этих событий, выполняем его, и строим второй, которой произойдёт в тот же момент, мы не сдвинемся по времени совершенно. Такие дела.

Моделирующий алгоритм сканирующего типа

ТБВ хранит записи, в которых указаны следующие активные операторы. Эта таблица поступает на Календарь. КОС заканчивается, и Календарь ищет по ТБВ запись с минимальным значением времени (которое раньше всех произойдёт), и это время заносится во Время. Управление передаётся в оператор, который в этой записи, а сама запись стирается.

Пример ТБВ:

Как только выполняется очередной элементарный оператор, управление передаётся в АПУ, которое начинает высчитывать логические события, которые хранятся в Таблице условий:

Пример ТУ:

Всего строк в обеих таблицах будет столько, сколько процессов (то есть, инициаторов). Причём, это число на обе таблицы: если всего инициаторов 11, то 4, например, в ТБВ, а 7 – в ТУ. Ну там в зависимости сколько активных и сколько пассивных.

Характеристики

Тип файла документ

Документы такого типа открываются такими программами, как Microsoft Office Word на компьютерах Windows, Apple Pages на компьютерах Mac, Open Office - бесплатная альтернатива на различных платформах, в том числе Linux. Наиболее простым и современным решением будут Google документы, так как открываются онлайн без скачивания прямо в браузере на любой платформе. Существуют российские качественные аналоги, например от Яндекса.

Будьте внимательны на мобильных устройствах, так как там используются упрощённый функционал даже в официальном приложении от Microsoft, поэтому для просмотра скачивайте PDF-версию. А если нужно редактировать файл, то используйте оригинальный файл.

Файлы такого типа обычно разбиты на страницы, а текст может быть форматированным (жирный, курсив, выбор шрифта, таблицы и т.п.), а также в него можно добавлять изображения. Формат идеально подходит для рефератов, докладов и РПЗ курсовых проектов, которые необходимо распечатать. Кстати перед печатью также сохраняйте файл в PDF, так как принтер может начудить со шрифтами.

Список файлов лекций