🗊Презентация Формирование выходных документов на отгружаемую продукцию с помощью сетей Петри

Категория: Устройства и комплектующие
Нажмите для полного просмотра!
Формирование выходных документов на отгружаемую продукцию с помощью сетей Петри, слайд №1Формирование выходных документов на отгружаемую продукцию с помощью сетей Петри, слайд №2Формирование выходных документов на отгружаемую продукцию с помощью сетей Петри, слайд №3Формирование выходных документов на отгружаемую продукцию с помощью сетей Петри, слайд №4Формирование выходных документов на отгружаемую продукцию с помощью сетей Петри, слайд №5Формирование выходных документов на отгружаемую продукцию с помощью сетей Петри, слайд №6Формирование выходных документов на отгружаемую продукцию с помощью сетей Петри, слайд №7Формирование выходных документов на отгружаемую продукцию с помощью сетей Петри, слайд №8Формирование выходных документов на отгружаемую продукцию с помощью сетей Петри, слайд №9Формирование выходных документов на отгружаемую продукцию с помощью сетей Петри, слайд №10Формирование выходных документов на отгружаемую продукцию с помощью сетей Петри, слайд №11Формирование выходных документов на отгружаемую продукцию с помощью сетей Петри, слайд №12Формирование выходных документов на отгружаемую продукцию с помощью сетей Петри, слайд №13Формирование выходных документов на отгружаемую продукцию с помощью сетей Петри, слайд №14Формирование выходных документов на отгружаемую продукцию с помощью сетей Петри, слайд №15Формирование выходных документов на отгружаемую продукцию с помощью сетей Петри, слайд №16Формирование выходных документов на отгружаемую продукцию с помощью сетей Петри, слайд №17Формирование выходных документов на отгружаемую продукцию с помощью сетей Петри, слайд №18Формирование выходных документов на отгружаемую продукцию с помощью сетей Петри, слайд №19Формирование выходных документов на отгружаемую продукцию с помощью сетей Петри, слайд №20Формирование выходных документов на отгружаемую продукцию с помощью сетей Петри, слайд №21Формирование выходных документов на отгружаемую продукцию с помощью сетей Петри, слайд №22Формирование выходных документов на отгружаемую продукцию с помощью сетей Петри, слайд №23Формирование выходных документов на отгружаемую продукцию с помощью сетей Петри, слайд №24Формирование выходных документов на отгружаемую продукцию с помощью сетей Петри, слайд №25
Скачать

Содержание ▲

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

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

Слайд 1


ПРОЕКТИРОВАНИЕ АСУ Лекция 6: Формирование выходных документов на отгружаемую продукцию с помощью сетей Петри
Описание слайда:
ПРОЕКТИРОВАНИЕ АСУ Лекция 6: Формирование выходных документов на отгружаемую продукцию с помощью сетей Петри

Слайд 2


СОДЕРЖАНИЕ 1. Общие положения и характеристики ординарных сетей Петри 2. Использование сетей Петри для поиска оптимальных стратегий формирования документов 3. Маркировка и динамика сетей Петри
Описание слайда:
СОДЕРЖАНИЕ 1. Общие положения и характеристики ординарных сетей Петри 2. Использование сетей Петри для поиска оптимальных стратегий формирования документов 3. Маркировка и динамика сетей Петри

Слайд 3


Часть 1 Общие положения и характеристики ординарных сетей Петри
Описание слайда:
Часть 1 Общие положения и характеристики ординарных сетей Петри

Слайд 4


Определения Ординарные сети Петри – тройка множеств C={P,T,E}, где Р – множество позиций в сети:  │Р│≠ 0. Т – множество переходов:   │Т│≠ 0. Е – отношение инцидентности позиций и переходов т.е. множество дуг сети «С».
Описание слайда:
Определения Ординарные сети Петри – тройка множеств C={P,T,E}, где Р – множество позиций в сети:  │Р│≠ 0. Т – множество переходов:   │Т│≠ 0. Е – отношение инцидентности позиций и переходов т.е. множество дуг сети «С».

Слайд 5


Пример 1: ординарная сеть Петри Позиции Переходы Дуги
Описание слайда:
Пример 1: ординарная сеть Петри Позиции Переходы Дуги

Слайд 6


САМОСТОЯТЕЛЬНО 1. Граф G(X,U)– это множество вершин X и отношений их инцидентности U. 2. Сеть Петри - результат развития теории графов: C={P,T,E} - это множество позиций Р, множество переходов (планок) Т  и отношений инцидентности позиций и переходов Е. 3. Самостоятельно предложите следующий этап развития теории графов и пример, иллюстрирующий его применение.
Описание слайда:
САМОСТОЯТЕЛЬНО 1. Граф G(X,U)– это множество вершин X и отношений их инцидентности U. 2. Сеть Петри - результат развития теории графов: C={P,T,E} - это множество позиций Р, множество переходов (планок) Т  и отношений инцидентности позиций и переходов Е. 3. Самостоятельно предложите следующий этап развития теории графов и пример, иллюстрирующий его применение.

Слайд 7


Часть 2 Использование сетей Петри для поиска оптимальных стратегий формирования документов
Описание слайда:
Часть 2 Использование сетей Петри для поиска оптимальных стратегий формирования документов

Слайд 8


Сети Петри в моделях формирования выходных документов Содержательная постановка задачи:   Задано множество документов, которые нужно формировать на основе базы данных и множества программных единиц, которые могут это делать. Каждая единица характеризуется временем и объемом памяти. Каждый документ характеризуется объемом используемой памяти. Требуется построить такую стратегию формирования документов, которая бы: Минимизировала время формирования выходных документов. Удовлетворяло ограничениям на объем используемой памяти.
Описание слайда:
Сети Петри в моделях формирования выходных документов Содержательная постановка задачи:   Задано множество документов, которые нужно формировать на основе базы данных и множества программных единиц, которые могут это делать. Каждая единица характеризуется временем и объемом памяти. Каждый документ характеризуется объемом используемой памяти. Требуется построить такую стратегию формирования документов, которая бы: Минимизировала время формирования выходных документов. Удовлетворяло ограничениям на объем используемой памяти.

Слайд 9


Сеть Петри, иллюстрирующая возможные стратегии формирования документов Время работы i-ой программной единицы задается формулой: τ(ti)=10-i, i=1,2,.. 7. База данных. Переход t5 может сработать, только если документы 1 и 2 уже сформированы.
Описание слайда:
Сеть Петри, иллюстрирующая возможные стратегии формирования документов Время работы i-ой программной единицы задается формулой: τ(ti)=10-i, i=1,2,.. 7. База данных. Переход t5 может сработать, только если документы 1 и 2 уже сформированы.

Слайд 10


Формальная постановка задачи 9z(t1)+8z(t2)+7z(t3)+6z(t4)+5z(t5)+4z(t6)+3z(t7)+2z(t8) min; z(t1)+z(t6)+z(t7)=1; z(t4)+z(t5)+z(t8)=1; z(t2)=1; z(t3)=1; z(t8)z(t7)=0; z(ti)=1,0; i=1,2,3,...,7.
Описание слайда:
Формальная постановка задачи 9z(t1)+8z(t2)+7z(t3)+6z(t4)+5z(t5)+4z(t6)+3z(t7)+2z(t8) min; z(t1)+z(t6)+z(t7)=1; z(t4)+z(t5)+z(t8)=1; z(t2)=1; z(t3)=1; z(t8)z(t7)=0; z(ti)=1,0; i=1,2,3,...,7.

Слайд 11


Решение задачи переборными алгоритмами Объем перебора булевых переменных равен n1=128. Объем перебора перестановок вершин n2 = 24. Объем перебора перестановок вершин с учетом специфики сети Петри равен n3 = 2.
Описание слайда:
Решение задачи переборными алгоритмами Объем перебора булевых переменных равен n1=128. Объем перебора перестановок вершин n2 = 24. Объем перебора перестановок вершин с учетом специфики сети Петри равен n3 = 2.

Слайд 12


Обозначения P’ – подмножество первых i позиций перестановки π (│ P’ │= i). Выбирается k-й переход такой, что: исходящая из него дуга заходит в позицию, стоящую на (i+1)-м месте в перестановке π; В планку k-го перехода заходят дуги подмножества переходов Т’, в которые заходят только дуги, исходящие из позиций подмножества Р’.
Описание слайда:
Обозначения P’ – подмножество первых i позиций перестановки π (│ P’ │= i). Выбирается k-й переход такой, что: исходящая из него дуга заходит в позицию, стоящую на (i+1)-м месте в перестановке π; В планку k-го перехода заходят дуги подмножества переходов Т’, в которые заходят только дуги, исходящие из позиций подмножества Р’.

Слайд 13


Алгоритм Шаг 1. i=1. Шаг 2. Определяется подмножество P’. Шаг 3. Определяется подмножество T’. Шаг 4. Выбор k-го перехода, для которого справедливо: Шаг 5. i = i+1. Шаг 6. Если i>n, то перейти к шагу 7, в противном случае – к шагу 2. Шаг 7. Конец алгоритма.
Описание слайда:
Алгоритм Шаг 1. i=1. Шаг 2. Определяется подмножество P’. Шаг 3. Определяется подмножество T’. Шаг 4. Выбор k-го перехода, для которого справедливо: Шаг 5. i = i+1. Шаг 6. Если i>n, то перейти к шагу 7, в противном случае – к шагу 2. Шаг 7. Конец алгоритма.

Слайд 14


Пример 2 Пусть π = 1, 2, 3, 4. Тогда для формирования документа, отвечающего позиции 1, выбирается t2, для формирования документа, отвечающего позиции 2, выбирается t3, позиции 3 отвечает t6, а позиции 4 отвечает t8. Т.о. суммарное время форми- рования всех документов равно 21. Перебрав все перестановки, получим оптимальную стратегию формирования документов.
Описание слайда:
Пример 2 Пусть π = 1, 2, 3, 4. Тогда для формирования документа, отвечающего позиции 1, выбирается t2, для формирования документа, отвечающего позиции 2, выбирается t3, позиции 3 отвечает t6, а позиции 4 отвечает t8. Т.о. суммарное время форми- рования всех документов равно 21. Перебрав все перестановки, получим оптимальную стратегию формирования документов.

Слайд 15


Самостоятельно Формализовать и определить с помощью перестановок оптимальный порядок формирования документов с помощью сети Петри вида:
Описание слайда:
Самостоятельно Формализовать и определить с помощью перестановок оптимальный порядок формирования документов с помощью сети Петри вида:

Слайд 16


Ответить на вопросы Как построить сеть Петри для случая, когда документы формируются с использованием распределенной базы данных? Как учесть в формальной постановке задачи случай, когда в сети Петри существуют контуры?
Описание слайда:
Ответить на вопросы Как построить сеть Петри для случая, когда документы формируются с использованием распределенной базы данных? Как учесть в формальной постановке задачи случай, когда в сети Петри существуют контуры?

Слайд 17


Часть 3 Маркировка и динамика сетей Петри
Описание слайда:
Часть 3 Маркировка и динамика сетей Петри

Слайд 18


Маркировка сети Петри – присвоение позиций числовых меток или значений. Представляется в виде вектора Mj Маркировка сети Петри – присвоение позиций числовых меток или значений. Представляется в виде вектора Mj Динамика сети Петри определяется соотношением о правилах срабатывания переменных видов. Изменение состояний сети связаны с механизмом изменения маркировок позиций. Приняты следующие правила:
Описание слайда:
Маркировка сети Петри – присвоение позиций числовых меток или значений. Представляется в виде вектора Mj Маркировка сети Петри – присвоение позиций числовых меток или значений. Представляется в виде вектора Mj Динамика сети Петри определяется соотношением о правилах срабатывания переменных видов. Изменение состояний сети связаны с механизмом изменения маркировок позиций. Приняты следующие правила:

Слайд 19


Выполняется только возбужденный переход, т.е. такой, во всех входных позициях которого – 1. Выполняется только возбужденный переход, т.е. такой, во всех входных позициях которого – 1. Срабатывание перехода может наступить через любой конечный промежуток времени, после его возбуждения. Если в каком то состоянии сети Петри возбужденными оказываются несколько переходов, то выполняется только один (любой) из них. В результате срабатывания перехода, метка меняется в каждой входной его позиции - она уменьшается на 1, а метки во всех его выходных позициях увеличивается на 1. Выделение перехода – неделимый процесс изменения разметки выполняется мгновенно.  
Описание слайда:
Выполняется только возбужденный переход, т.е. такой, во всех входных позициях которого – 1. Выполняется только возбужденный переход, т.е. такой, во всех входных позициях которого – 1. Срабатывание перехода может наступить через любой конечный промежуток времени, после его возбуждения. Если в каком то состоянии сети Петри возбужденными оказываются несколько переходов, то выполняется только один (любой) из них. В результате срабатывания перехода, метка меняется в каждой входной его позиции - она уменьшается на 1, а метки во всех его выходных позициях увеличивается на 1. Выделение перехода – неделимый процесс изменения разметки выполняется мгновенно.  

Слайд 20


Пример 1 Определить динамику сети Петри применительно к задаче поиска оптимальной стратегии формирования документов
Описание слайда:
Пример 1 Определить динамику сети Петри применительно к задаче поиска оптимальной стратегии формирования документов

Слайд 21


Начальная позиция выделена красным цветом
Описание слайда:
Начальная позиция выделена красным цветом

Слайд 22


Расстановка пометок
Описание слайда:
Расстановка пометок

Слайд 23


Самостоятельно Определить с помощью расстановки пометок оптимальный порядок формирования документов с помощью сети Петри вида:
Описание слайда:
Самостоятельно Определить с помощью расстановки пометок оптимальный порядок формирования документов с помощью сети Петри вида:

Слайд 24


Самостоятельно Назовите подсистемы АСУ вуз, которые эквивалентны производственным подсистемам: а) формирования портфеля заказов; б) технической подготовки производства; в) управление технологическим процессом; г) формирования документов на отгружаемую продукцию; д) логистика (управление запасами).
Описание слайда:
Самостоятельно Назовите подсистемы АСУ вуз, которые эквивалентны производственным подсистемам: а) формирования портфеля заказов; б) технической подготовки производства; в) управление технологическим процессом; г) формирования документов на отгружаемую продукцию; д) логистика (управление запасами).

Слайд 25


Самостоятельно 1. Определите порядок проектирования АСУ вуз. 2. Какие требования (ограничения) следует учесть при создании ТЗ АСУ вуз? 3. Каким образом Вы определили бы требования к техническим параметрам используемой аппаратуры? 4. Каким образом Вы определили бы требования к программному обеспечению АСУ ? 5. Как бы Вы сформулировали требования к системе кодирования АСУ вуз?
Описание слайда:
Самостоятельно 1. Определите порядок проектирования АСУ вуз. 2. Какие требования (ограничения) следует учесть при создании ТЗ АСУ вуз? 3. Каким образом Вы определили бы требования к техническим параметрам используемой аппаратуры? 4. Каким образом Вы определили бы требования к программному обеспечению АСУ ? 5. Как бы Вы сформулировали требования к системе кодирования АСУ вуз?

Скачать

Похожие презентации
Mypresentation.ru
Загрузить презентацию