Управляющие процессы и их формализованное описание - презентация, доклад, проект скачать

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Управляющие процессы и их формализованное описание. Доклад-сообщение содержит 6 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

Описание слайда:

Управляющие процессы и их формализованное описание.

Слайд 2

Описание слайда:

Слайд 3

Описание слайда:

Слайд 4

Описание слайда:

Пример разветвленного процесса: Домашнее задание: Описать все процедуры множествами. Предполагая, что нет позиций альтернативного разветвления b1 и b2, определить какую нужно ввести кратность у функциональных ресурсов С1 и С2.

Слайд 5

Описание слайда:

Пример 1: Пример 1: Ai зависит от ЛУ (psϵDs) и изменяет его (ps) Ai ( {ps }, {ps} ) и Aj ( {ps }, {ps} ) входные позиции для tдi (tдj): aµ, ds и ds1 (ds и ds0) выходные позиции для tдi (tдj): aµ+1(aµ+2), ds и ds0 (ds и ds1)

Слайд 6

Описание слайда:

Пример 2: Пример 2: Ai не зависит от ps, но меняет его. входные позиции tдi: aµ, ds Т.к. ps не проверяется в начале, то: удаляется метка из ds0 (или ds1) помещается метка в ds0 (или ds1) если после Ai ps = 0 (или 1)