Разделы презентаций

Кафедра УРПО, НИУ-ВШЭ, Москва, 201 4 ПРОГРАММА МОДЕЛИРОВАНИЯ ДИСКРЕТНО-

Содержание

ПланФормулировки из предметной области;Краткий обзор существующих решений;Особенности разработанного решения;Демонстрация программы.Кафедра УРПО, НИУ-ВШЭ, Москва, 2014

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

Слайд 1Кафедра УРПО, НИУ-ВШЭ, Москва, 2014
ПРОГРАММА МОДЕЛИРОВАНИЯ ДИСКРЕТНО- СОБЫТИЙНЫХ СИСТЕМ ВРЕМЕННЫМИ

СЕТЯМИ ПЕТРИ

Выполнил:
Студент группы 472ПИ,
Куприянов Максим Сергеевич
Научный руководитель:
к.т.н., профессор каф. УРПО,
Авдошин

Сергей Михайлович

Отделение программной инженерии
Выпускная Квалификационная Работа

Кафедра УРПО, НИУ-ВШЭ, Москва, 2014ПРОГРАММА МОДЕЛИРОВАНИЯ ДИСКРЕТНО- СОБЫТИЙНЫХ СИСТЕМ ВРЕМЕННЫМИ СЕТЯМИ ПЕТРИВыполнил:Студент группы 472ПИ,Куприянов Максим СергеевичНаучный руководитель:к.т.н.,

Слайд 2План
Формулировки из предметной области;
Краткий обзор существующих решений;
Особенности разработанного решения;
Демонстрация программы.
Кафедра

УРПО, НИУ-ВШЭ, Москва, 2014

ПланФормулировки из предметной области;Краткий обзор существующих решений;Особенности разработанного решения;Демонстрация программы.Кафедра УРПО, НИУ-ВШЭ, Москва, 2014

Слайд 3Предметная область
Кафедра УРПО, НИУ-ВШЭ, Москва, 2014

Предметная областьКафедра УРПО, НИУ-ВШЭ, Москва, 2014

Слайд 4Сеть Петри
Сеть Петри — двудольный направленный граф с маркировкой, ребра

которого задают причинно-следственные отношения «события-условия» и именуются дугами.

Типы вершин:
Позиции —

представляют условия и обозначаются кружками;
Переходы — представляют события, обозначаются прямоугольниками.

Кафедра УРПО, НИУ-ВШЭ, Москва, 2014

Сеть Петри Сеть Петри — двудольный направленный граф с маркировкой, ребра которого задают причинно-следственные отношения «события-условия» и именуются

Слайд 5Сеть Петри
Динамика сетей задаётся при помощи маркировки позиций фишками.
Переход

срабатывает только тогда, когда во всех входящих позициях есть минимум

одна фишка.

Кафедра УРПО, НИУ-ВШЭ, Москва, 2014

Сеть Петри Динамика сетей задаётся при помощи маркировки позиций фишками. Переход срабатывает только тогда, когда во всех входящих

Слайд 6Временные сети Петри
Подкласс сетей Петри, в которых допустимо маркировать вершины

параметром временной задержки (holding time).

Кафедра УРПО, НИУ-ВШЭ, Москва, 2014

Временные сети Петри Подкласс сетей Петри, в которых допустимо маркировать вершины параметром временной задержки (holding time). Кафедра УРПО,

Слайд 7Временные графы синхронизации
Timed Event Graphs (TEG) — подкласс временных сетей

Петри, предназначенный для моделирования именно явлений синхронизации в системе.

У каждой

позиции ровно одна входящая дуга и ровно одна исходящая (принцип SISO), следовательно модель исключает возможность конфликтов и тупиков.

Кафедра УРПО, НИУ-ВШЭ, Москва, 2014

Временные графы синхронизации Timed Event Graphs (TEG) — подкласс временных сетей Петри, предназначенный для моделирования именно явлений синхронизации

Слайд 8Существующие решения для построения сетей Петри
Кафедра УРПО, НИУ-ВШЭ, Москва, 2014

Существующие решения для построения сетей ПетриКафедра УРПО, НИУ-ВШЭ, Москва, 2014

Слайд 9Petri Net Toolbox
Кафедра УРПО, НИУ-ВШЭ, Москва, 2014
Плюсы:
Поддержка различных наборов правил

(типов сетей);
Есть интеграция с математическим аппаратом max-plus.

Минусы:
Плагин является платным, исходный

код недоступен;
MATLAB платный и громоздкий;
Интерфейс программы всё равно нуждается в переработке.
Petri Net ToolboxКафедра УРПО, НИУ-ВШЭ, Москва, 2014Плюсы:Поддержка различных наборов правил (типов сетей);Есть интеграция с математическим аппаратом max-plus.Минусы:Плагин

Слайд 10Petri Net Toolbox
Кафедра УРПО, НИУ-ВШЭ, Москва, 2014

Petri Net ToolboxКафедра УРПО, НИУ-ВШЭ, Москва, 2014

Слайд 11PIPE v4.3
Кафедра УРПО, НИУ-ВШЭ, Москва, 2014
Плюсы:
Выполнена качественно, работает стабильно;

Минусы:
Редактирование сети

исключительно с помощью мыши (10 позиций, 10 переходов, 10 дуг

= 120 нажатий мыши);
Общий подход, нет различных наборов правил — например, всегда доступна опция указания “веса” дуги;
Каждый элемент явно и автоматически снабжается меткой, которые в большинстве случаев не требуются;
У программы падает производительность на относительно небольших сетях.
PIPE v4.3Кафедра УРПО, НИУ-ВШЭ, Москва, 2014Плюсы:Выполнена качественно, работает стабильно;Минусы:Редактирование сети исключительно с помощью мыши (10 позиций, 10

Слайд 12PIPE v4.3
Кафедра УРПО, НИУ-ВШЭ, Москва, 2014

PIPE v4.3Кафедра УРПО, НИУ-ВШЭ, Москва, 2014

Слайд 13Romeo
Кафедра УРПО, НИУ-ВШЭ, Москва, 2014
Плюсы:
Хорошая поддержка сообщества и имеется интеграция

с различными вычислительными инструментами;
Есть возможность копировать структуру участков сети.

Минусы:
Нестабильна;
Написана с

применением французского, используется устаревший инструментарий Tk/Tcl;
Осложнена навигация по полотну.

RomeoКафедра УРПО, НИУ-ВШЭ, Москва, 2014Плюсы:Хорошая поддержка сообщества и имеется интеграция с различными вычислительными инструментами;Есть возможность копировать структуру

Слайд 14Romeo
Кафедра УРПО, НИУ-ВШЭ, Москва, 2014

RomeoКафедра УРПО, НИУ-ВШЭ, Москва, 2014

Слайд 15Особенности реализации
Кафедра УРПО, НИУ-ВШЭ, Москва, 2014

Особенности реализацииКафедра УРПО, НИУ-ВШЭ, Москва, 2014

Слайд 16Технологии
Основные факторы, влияющие на выбор стека технологий:
Кроссплатформенность;
Поддержка взаимодействия с нативными

библиотеками (C/C++);
Наличие средств для создания графических интерфейсов пользователя с поддержкой

аппаратного ускорения отрисовки;
Наличие хорошей документации

Кафедра УРПО, НИУ-ВШЭ, Москва, 2014

Технологии Основные факторы, влияющие на выбор стека технологий:Кроссплатформенность;Поддержка взаимодействия с нативными библиотеками (C/C++);Наличие средств для создания графических интерфейсов

Слайд 17Технологии
Выбранный стек:
Go-lang // Google;
Qt Framework // Digia;
Go-QML // Gustavo Niemeyer.
Кафедра УРПО,

НИУ-ВШЭ, Москва, 2014

ТехнологииВыбранный стек:Go-lang // Google;Qt Framework // Digia;Go-QML // Gustavo Niemeyer.Кафедра УРПО, НИУ-ВШЭ, Москва, 2014

Слайд 18Model-View-Presenter
Кафедра УРПО, НИУ-ВШЭ, Москва, 2014

Model-View-PresenterКафедра УРПО, НИУ-ВШЭ, Москва, 2014

Слайд 19Примеры
Кафедра УРПО, НИУ-ВШЭ, Москва, 2014
Изменение маркировки
Выделение элементов

ПримерыКафедра УРПО, НИУ-ВШЭ, Москва, 2014Изменение маркировкиВыделение элементов

Слайд 20Примеры
Кафедра УРПО, НИУ-ВШЭ, Москва, 2014
Создание дуг
Удаление дуг

ПримерыКафедра УРПО, НИУ-ВШЭ, Москва, 2014Создание дугУдаление дуг

Слайд 21Примеры
Кафедра УРПО, НИУ-ВШЭ, Москва, 2014
Вспомогательные линии

ПримерыКафедра УРПО, НИУ-ВШЭ, Москва, 2014Вспомогательные линии

Слайд 22Примеры
Кафедра УРПО, НИУ-ВШЭ, Москва, 2014
Ориентация перехода
Порядок дуг

ПримерыКафедра УРПО, НИУ-ВШЭ, Москва, 2014Ориентация переходаПорядок дуг

Слайд 23Примеры
Кафедра УРПО, НИУ-ВШЭ, Москва, 2014
Настройка дуг
Именование элементов

ПримерыКафедра УРПО, НИУ-ВШЭ, Москва, 2014Настройка дугИменование элементов

Слайд 24Примеры
Кафедра УРПО, НИУ-ВШЭ, Москва, 2014
Создание группы, свёртка-развёртка

ПримерыКафедра УРПО, НИУ-ВШЭ, Москва, 2014Создание группы, свёртка-развёртка

Слайд 25Примеры
Кафедра УРПО, НИУ-ВШЭ, Москва, 2014
Соединение внешних элементов с входами группы;
разгруппировка

с сохранением связей.

ПримерыКафедра УРПО, НИУ-ВШЭ, Москва, 2014Соединение внешних элементов с входами группы;разгруппировка с сохранением связей.

Слайд 26Примеры
Кафедра УРПО, НИУ-ВШЭ, Москва, 2014
Клонирование фрагментов с сохранением настроек

ПримерыКафедра УРПО, НИУ-ВШЭ, Москва, 2014Клонирование фрагментов с сохранением настроек

Слайд 27Примеры
Кафедра УРПО, НИУ-ВШЭ, Москва, 2014
Клонирование группы с сохранением внешних соединений

ПримерыКафедра УРПО, НИУ-ВШЭ, Москва, 2014Клонирование группы с сохранением внешних соединений

Слайд 28Демонстрация программы
Кафедра УРПО, НИУ-ВШЭ, Москва, 2014

Демонстрация программыКафедра УРПО, НИУ-ВШЭ, Москва, 2014

Слайд 29Систолические структуры ВС
В основе систолических структур вычислительных систем лежит принцип

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

вычислений в память.

Кафедра УРПО, НИУ-ВШЭ, Москва, 2014

Фон-неймановская
структура

Систолическая структура

Систолические структуры ВС В основе систолических структур вычислительных систем лежит принцип пропускания данных через большое количество процессорных элементов,

Слайд 30Матричные процессоры волнового фронта
Wavefront array processor — разновидность систолической структуры, обладает

возможностью самосинхронизации отдельных процессорных элементов.

Время начала работы отдельных процессорных элементов

(ПЭ) определяется готовностью входных данных, имеющих асинхронный характер.

Кафедра УРПО, НИУ-ВШЭ, Москва, 2014

Матричные процессоры волнового фронта Wavefront array processor — разновидность систолической структуры, обладает возможностью самосинхронизации отдельных процессорных элементов. Время начала

Слайд 31Умножение матриц
Кафедра УРПО, НИУ-ВШЭ, Москва, 2014

Умножение матрицКафедра УРПО, НИУ-ВШЭ, Москва, 2014

Слайд 32Умножение матриц
Кафедра УРПО, НИУ-ВШЭ, Москва, 2014
0
0
0
0
ПЭ
ПЭ
ПЭ
ПЭ
c a
d b

0
f
e
h
g
0
Такт 0

Умножение матрицКафедра УРПО, НИУ-ВШЭ, Москва, 20140000ПЭПЭПЭПЭc ad b 0fehg0Такт 0

Слайд 33Умножение матриц
Кафедра УРПО, НИУ-ВШЭ, Москва, 2014
0
0
0
0
c
d b
f
h
g
Такт 1
a
e

Умножение матрицКафедра УРПО, НИУ-ВШЭ, Москва, 20140000c d bfhgТакт 1ae

Слайд 34Умножение матриц
Кафедра УРПО, НИУ-ВШЭ, Москва, 2014
ae
0
0
0
d
h
Такт 2
c
f
g
a
e
b

Умножение матрицКафедра УРПО, НИУ-ВШЭ, Москва, 2014ae000d hТакт 2cfgaeb

Слайд 35Умножение матриц
Кафедра УРПО, НИУ-ВШЭ, Москва, 2014
ae+cf
ag
0
be
Такт 3
h
c
f
d
b
g

Умножение матрицКафедра УРПО, НИУ-ВШЭ, Москва, 2014ae+cfag0beТакт 3hcfdbg

Слайд 36Умножение матриц
Кафедра УРПО, НИУ-ВШЭ, Москва, 2014
ae+cf
ag+ch
bg
be+df
Такт 4
d
h

Умножение матрицКафедра УРПО, НИУ-ВШЭ, Москва, 2014ae+cfag+chbgbe+dfТакт 4dh

Слайд 37Умножение матриц
Кафедра УРПО, НИУ-ВШЭ, Москва, 2014
ae+cf
ag+ch
bg+dh
be+df
Такт 5

Умножение матрицКафедра УРПО, НИУ-ВШЭ, Москва, 2014ae+cfag+chbg+dhbe+dfТакт 5

Слайд 38Масштабирование
Кафедра УРПО, НИУ-ВШЭ, Москва, 2014

МасштабированиеКафедра УРПО, НИУ-ВШЭ, Москва, 2014

Слайд 39Демонстрация программы (настоящая)
Кафедра УРПО, НИУ-ВШЭ, Москва, 2014

Демонстрация программы (настоящая)Кафедра УРПО, НИУ-ВШЭ, Москва, 2014

Слайд 40Спасибо за внимание. (вопросы?)
Кафедра УРПО, НИУ-ВШЭ, Москва, 2014
Максим Куприянов
472ПИ
max@kc.vc

Спасибо за внимание. (вопросы?)Кафедра УРПО, НИУ-ВШЭ, Москва, 2014Максим Куприянов472ПИmax@kc.vc

Похожие презентации

Психология труда, инженерная психология и эргономика Психология труда, инженерная психология и эргономика 394
Спортивны й массаж Спортивны й массаж 262
Лекция 8.ppt Лекция 8.ppt 294
Самосознание и социальное поведение Самосознание и социальное поведение 263
студентки 4 курса по направлению подготовки: 39.03.01 Социология Чумаченко студентки 4 курса по направлению подготовки: 39.03.01 Социология Чумаченко 174
Крещение Руси Крещение Руси 195
HTML_3-2 HTML_3-2 349
Правовые основы военной службы Правовые основы военной службы 185
Картина И. А. Тихого Аисты Картина И. А. Тихого Аисты 267
НОВИНКИ IV КВАРТАЛА 2011 ГОДА НОВИНКИ IV КВАРТАЛА 2011 ГОДА 175
ПРЕЗЕНТАЦИЯ 87-ПОЖАРНОЙ ЧАСТИ ФГКУ 22-ОФПС ПО ПЕРМСКОМУ КРАЮ ПРЕЗЕНТАЦИЯ 87-ПОЖАРНОЙ ЧАСТИ ФГКУ 22-ОФПС ПО ПЕРМСКОМУ КРАЮ 265
Сборні сл Сборні сл 514
Перечень вопросов по БЖД(17 ч. лекций).ppt Перечень вопросов по БЖД(17 ч. лекций).ppt 293
Исследование современной сферы дизайна в России и значения в ней деятельности Исследование современной сферы дизайна в России и значения в ней деятельности 244
Тема 5. Обслуживание посетителей. Встреча посетителей и прием заказа. Подача Тема 5. Обслуживание посетителей. Встреча посетителей и прием заказа. Подача 174
ЛЕКЦИЯ №5 ЛЕКЦИЯ №5 220
МЫ ВМЕСТЕ МЫ ВМЕСТЕ 207
Использование тестов как способа мониторинга знаний при обучении математике в начальных классах Использование тестов как способа мониторинга знаний при обучении математике в начальных классах 466
Арт-живопись Педагог Бабаина Валентина Анатольевна Творческое объединение Арт-живопись Педагог Бабаина Валентина Анатольевна Творческое объединение 158
статистика трудовых ресурсов статистика трудовых ресурсов 607

Обратная связь

Если не удалось найти и скачать доклад-презентацию, Вы можете заказать его на нашем сайте. Мы постараемся найти нужный Вам материал и отправим по электронной почте. Не стесняйтесь обращаться к нам, если у вас возникли вопросы или пожелания:

Email: Нажмите что бы посмотреть 

Что такое TheSlide.ru?

Это сайт презентации, докладов, проектов в PowerPoint. Здесь удобно  хранить и делиться своими презентациями с другими пользователями.

Для правообладателей

Яндекс.Метрика