Вітаю Вас Гость | RSS Вівторок, 21 Листопад 2017, 09:54
Переключить язык на Головна | Реєстрація | Вхід
Меню сайта
Останній номер

Меню журнала
Пошук
Теги
Опитування
Який критерій при формулюванні вимог до опублікування результатів дисертацій є першочерговим?
Всього відповідей: 229
Корисні посилання
Головна » 2015 » Вересень » 3 » Видавництво IGI-Global (США) випустило в продаж відео-лекцію професора Зайцева Д.А. "Сіті Петрі для моделювання та обчислень"
10:48
Видавництво IGI-Global (США) випустило в продаж відео-лекцію професора Зайцева Д.А. "Сіті Петрі для моделювання та обчислень"

Видавництво IGI-Global (США) випустило в продаж відео-лекцію професора Зайцева Д.А. "Сіті Петрі для моделювання та обчислень"

http://www.igi-global.com/video/petri-nets-modeling-computing/135018

Зміст відео-лекції:

Коротка біографія та вступ

Урок 1: Часові сети Петрі з багатоканальними переходами

- Модуль 1 – Рівняння станів сітей з багатоканальними переходами

- Модуль 2 – Еквівалентні перетворення часових сітей Петрі

- Модуль 3 – Синтез функцій нечіткої логіки

Урок 2: Клани сітей Петрі

- Модуль 1 – Декомпозиція на клани

- Модуль 2 – Композиційний аналіз сітей Петрі

- Модуль 3 – Оптимальний колапс зваженого графа

Урок 3: Сіті Петрі для виробництва та комп’ютерних мереж

- Модуль 1 – Автоматизоване управління та менеджмент

- Модуль 2 – Верифікація комунікаційних протоколів

- Модуль 3 – Оцінка продуктивності комп’ютерних мереж

Урок 4: Моделювання нескінченими сітями Петрі

- Модуль 1 – Модель квадратної обчислювальної грати та гіперкуба

- Модуль 2 – Методи аналізу нескінченних сітей Петрі

- Модуль 3 – Програмні генератори моделей в формі сітей Петрі

Урок 5: Організація обчислень на сітях Петрі

- Модуль 1 – Універсальні сіті Петрі

- Модуль 2 – Архітектура комп’ютера на основі сітей Пери

- Модуль 3 – Технологія програмування в сітях Петрі

 

Основні джерела:

Zaitsev D.A. Paradigm of Computations on the Petri Nets, Automation and Remote Control, 2014, Vol. 75, No. 8, 1369–1383, DOI: 10.1134/S0005117914080025

Zaitsev D.A. Toward the Minimal Universal Petri Net, IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2014, Vol. 44, No. 1, 47-58, DOI: 10.1109/TSMC.2012.2237549

Zaitsev D.A., Zaitsev I.D., Shmeleva T.R. Infinite Petri Nets as Models of Grids (pp. 187-204). Chapter 19 in Mehdi Khosrow-Pour (Ed.) Encyclopedia of Information Science and Technology, Third Edition (10 Volumes). IGI-Global: USA, 2014.

Zaitsev D.A. Clans of Petri Nets: Verification of protocols and performance evaluation of networks, LAP LAMBERT Academic Publishing, 2013, 292 p.

Zaitsev D.A. Composition of Functional Petri Nets (pp. 404-465). Chapter 17 in Z.W. Li and A.M. Al-Ahmari (Ed.), Formal Methods in Manufacturing Systems: Recent Advances. IGI-Global: USA, 2013.

Zaitsev D.A., Sarbei V.G., Sleptsov A.I., Synthesis of continuous-valued logic functions defined in tabular form, Cybernetics and Systems Analysis, Volume 34, Number 2 (1998), 190-195, DOI: 10.1007/BF02742068

Zaitsev D.A., Sleptsov A.I. State equations and equivalent transformations for timed Petri nets, Cybernetics and Systems Analysis, Volume 33, Number 5 (1997), 659-672, DOI: 10.1007/BF02667189

Zaitsev D.A., Sleptsov A.I. Visualization of production processes in tool system of dispatcher in machine-building enterprise, Avtometriya, no. 4, 1990, p.90-93.

 

Щоб рекомендувати лекцію бібліотекарям та колегам в Інтернет використовуйте наступну адресу:

http://www.igi-global.com/forms/recommend-to-librarian/135018

Контактна інформація про автора: Дмитро Анатолійович Зайцев

http://daze.ho.ua

 

Англійською мовою:

USA, IGI-Global released a video-lecture of Prof. Dmitry Zaitsev

"Petri Nets for Modeling and Computing"

http://www.igi-global.com/video/petri-nets-modeling-computing/135018

Video-lecture Content:

Brief Biography and Introduction

Lesson 1: Timed Petri Nets with Multichannel Transitions

- Module 1 – State Equation of Nets with Multichannel Transitions

- Module 2 – Equivalent Transformations of Timed Petri Nets

- Module 3 – Synthesis of a Fuzzy Logic Function

Lesson 2: Clans of Petri Nets

- Module 1 – Decomposition into Clans

- Module 2 – Compositional Analysis of Petri Nets

- Module 3 – Optimal Collapse of a Weighted Graph

Lesson 3: Petri Nets for Manufacture and Networking

- Module 1 – Automated Manufacture Control and Management

- Module 2 – Verification of Communication Protocols

- Module 3 – Performance Evaluation of Networks

Lesson 4: Modeling with Infinite Petri Nets

- Module 1 – Models of a Square Grid and Hypercube

- Module 2 – Methods of Infinite Petri Nets Analysis

- Module 3 – Software Generators of Petri Net Models

Lesson 5: Petri Net Computing

- Module 1 – Universal Petri Nets

- Module 2 – Architecture of a Petri Net Computer

- Module 3 – Technology of Programming in Petri Nets

Basic References:

Zaitsev D.A. Paradigm of Computations on the Petri Nets, Automation and Remote Control, 2014, Vol. 75, No. 8, 1369–1383, DOI: 10.1134/S0005117914080025

Zaitsev D.A. Toward the Minimal Universal Petri Net, IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2014, Vol. 44, No. 1, 47-58, DOI: 10.1109/TSMC.2012.2237549

Zaitsev D.A., Zaitsev I.D., Shmeleva T.R. Infinite Petri Nets as Models of Grids (pp. 187-204). Chapter 19 in Mehdi Khosrow-Pour (Ed.) Encyclopedia of Information Science and Technology, Third Edition (10 Volumes). IGI-Global: USA, 2014.

Zaitsev D.A. Clans of Petri Nets: Verification of protocols and performance evaluation of networks, LAP LAMBERT Academic Publishing, 2013, 292 p.

Zaitsev D.A. Composition of Functional Petri Nets (pp. 404-465). Chapter 17 in Z.W. Li and A.M. Al-Ahmari (Ed.), Formal Methods in Manufacturing Systems: Recent Advances. IGI-Global: USA, 2013.

Zaitsev D.A., Sarbei V.G., Sleptsov A.I., Synthesis of continuous-valued logic functions defined in tabular form, Cybernetics and Systems Analysis, Volume 34, Number 2 (1998), 190-195, DOI: 10.1007/BF02742068

Zaitsev D.A., Sleptsov A.I. State equations and equivalent transformations for timed Petri nets, Cybernetics and Systems Analysis, Volume 33, Number 5 (1997), 659-672, DOI: 10.1007/BF02667189

Zaitsev D.A., Sleptsov A.I. Visualization of production processes in tool system of dispatcher in machine-building enterprise, Avtometriya, no. 4, 1990, p.90-93.

 

To recommend the lecture to librarians and colleagues on Internet, please use the following reference

http://www.igi-global.com/forms/recommend-to-librarian/135018

Dmitry Zaitsev, http://daze.ho.ua

Dmitry A. Zaitsev (IEEE M’10–SM’11) received the Eng. degree in applied mathematics from Donetsk Polytechnic Institute, Donetsk, Ukraine, in 1986, the Ph.D. degree in automated control from the Kiev Institute of Cybernetics, Kiev, Ukraine, in 1991, and the Dr.Sc. degree in Telecommunications from the Odessa National Academy of Telecommunications, Ukraine, in 2006. Since 2009, he has been with International Humanitarian University, Odessa, where he is currently a Professor of Computer Engineering. He developed universal Petri nets, the analysis of infinite Petri nets with regular structure, the decomposition of Petri nets in clans, and the method of synthesis of fuzzy logic function given by tables. His current research interests include Petri net theory and its application in networking, production control, and computing.

Переглядів: 256 | Додав: avlem | Рейтинг: 5.0/1
Всього коментарів: 0
Додавати коментарі можуть лише зареєстровані користувачі.
[ Реєстрація | Вхід ]

Наукометричні бази
Календар
Прийом статей у 21-й номер: до 01.12.2017 р.
--------------------------------
«  Вересень 2015  »
ПнВтСрЧтПтСбНд
 123456
78910111213
14151617181920
21222324252627
282930
Ми в соц. мережах

Відвідувачі сайту
Час відвідування
Copyright MyCorp © 2017
Яндекс цитирования Page Rank Check
Онлайн всього: 1
Гостей: 1
Користувачів: 0