Студопедия

Главная страница Случайная страница

КАТЕГОРИИ:

АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника






Библиографический список. Учебники и монографии




Учебники и монографии

1. Советов Б.Я., Яковлев С.А. Моделирование систем.- М: Высшая школа, 1985.. - 350 с.

2. Бенькович Е., Колесов Ю.Б., Сениченков Ю.Ь. Практическое моделирование динамических систем.- СПб.; Б*В-Петербург, 2002. - 464 с.

3. Б. Кудрявцев. GPSS World. Основы имитационного моделирования различных систем. М: ДМК, 2003. - 320 с.

4. $аулер М., Скотт К. UML в кратком изложении. Применение стандартного языка моделирования.-М.:Мир, 1999.- 191 с.

5. Калянов Г.Н. CASE-технологии. Консалтинг в автоматизации бизнес-процессов. - 3-е изд. - М.: Горячая линия-Телеком, 2002. - 320 с.

6. Доррер Г.А. Методы анализа вычислительных систем. Учебное пособиегКрасноярск, СибГТУ, 2000. - 143 с.

7. Основы теории вычислительных систем / Под, ред. проф. С.А. Майорова.-М.: Высшая школа, 1978. -408 с.

8. Питерсон Дж. Теория сетей Петри и моделирование систем. "М.; Мир, 1984.

9. Котов В.Е. Сети Петри.-М.: Наука, 1984. - 158с.

10. Jensen К. Coloured Petti Nets: Basic Concepts, Analysis Methods and Practical Use. Berlin, Spingler. Vol.1 - 1996, Viol.2- 1997, Vol.3- 1997.

11. Калман Р., Фалб П.. Арбиб М. Очерки по математической теории систем.-М.: Мир, 1971. - 400 с.

12. Вероятностные методы в вычислительной технике / СЬд ред. А.Н. Лебедева и Е.А. Чернявского. - М.: Высшая школа, 1986,-312 с.

13. Кемени Дж., Снелл Дж. Конечные цепи Маркова." М.: Наука, 1970.-450 с.

14. Гантмахер Ф.Р. Теория матриц.-М.: Наука, 1966. -576 с.

 

15. Информатика. Базовый курс / СВ. Симонович и др. - СПб.: Изд-во «Питер», 1999. -640 с.

16. Королюк B.C., Турбин А.Ф. Полумарковские процессы и их приложения.-Киев; Наукова думка, 1976. -290 с.

Статьи

17. Никонов В.В., Подгубский Ю.Е. Применение сетей Петри. //Зарубежная радиоэлектроника.-1986.-№11.-С.17-37.

18. Бадман О.Л. Поведенческие свойства сетей Петри. //Техническая кибернетика.-1987.-№5.-С. 134-150.

19. Кириллов В.Ю., Нижник В.В. Пакет программ работы с сетями Петри для персональных ЭВМ. //Управляющие системы и машины.-1989.-№4.-С.48-51.

20. Кириллов В JO. Об автоматной интерпретации сетей Петри. //Управляющие системы и машины.-1989.-№4.-С.151-163.

21. Беликов В.К., Руш Я.Ф. Матричные задания и анализ раскрашенных сетей Петри. //Управляющие системы и машины.-1989.-№4,-СЛ64-167.

22. Таль А. А. Юзицкий С. А. Иерархия и параллелизм в сетях Петри. //Автоматика ителемеханика.-1982.-№7,№9.

23. Разенблюм Л.Я. Сети Петри. //Техническая кибернетика. №6.Л983.-С.12-40.

24. Никонов В.В., Подгубский Ю.Е. Сети Петри. Теория, приме­нение. //Зарубежная радиоэлектроника.-1984.~№4.-С.28-59.



25. Ayache I-M., Courtiat J.-P., Dias M. REBUS, A Fault Tolerant Distributed System for bdustrial Real - Time Control. - ]EEE Trans, on Computers. 1982, v. C- 31, no. 7, pp 637 - 647.

26. Доррер Е.А. Параллельные вычисления при моделировании сложных дискретных систем. //Труды семинара «Распределенные и кластерные вычисления».- Красноярск: ИВМ СО PAR 2001.-С.50 - 64.

27. Доррер Е.А., Доррер М.Е. Структурный подход к моделированию систем на основе сетей Петри. /.'Мате­риалы 8 Всероссийской научно-практической конферен­ции ПИР-2003, Красноярск, 2003.-Том 1.-С.139- 144.


Оглавление

Введение..................................................................................... 3

Глава 1.Основные понятия теории моделирования.................. 5

1.1. Классификация видов моделирования............................ g

1.2. Жизненный цикл компьютерной модели........................ 9

1.3. Вычислительный эксперимент....................................... Ю

1.4. Наиболее известные методологии и системы
компьютерного моделирования..................................... 12

1.5.0 моделировании вычислительных систем................... 16

Глава 2 Введение в сети Петри.................................................. 21

2.1. Обыкновенные сети Петри............................................. 22

2.1.1. Формальное определение...................... ................. 22

2.1.2. Графы сетей Петри.................. ................................ 25

2.1.3. Пространство состояний сети Петри..................... 27



2.1.4. Основные свойства сетей Петри............................ 29

2.1.5. Некоторые обобщения сетей Петри....................... 31

2.1.6. Инварианты сетей Петри........................................ 36

2.2. Раскрашенные (цветные) сети Петри............................ 41

2.2.1. Мультимножества..................................................... 41

2.2.2. Формальное определение CPN................................ 43

2.2.3. Функционирование CPN......................................... 47

2.2.4. Расширения CPN....................................................... 51

2.2.5. Сравнение формализмов обыкновенных и
раскрашенных сетей Петри..................................... 54

2.2.6. О моделирующих возможностях сетей Петри...... 54

2.3. Моделирование дискретных систем.............................. 56

2.3.1. Моделирование вычислительных систем............ .57

2.3.2. Моделирование программ....................................... 67

2.3.3. Моделирование протоколов передачи данных..... 19

2.3.4. Об исследовании сетей Петри с помощью ЭВМ...84
Глава 3. Моделирование вычислительных процессов с

помощью цепей Маркова............................................. 89

3.1, Определение цепи Маркова........................................... 90


3.2. Модель вычислительной системы как цепь

Маркова............................................................................. 92

3.3. Классификация состояний цепей Маркова................... 99

3.4. Оценка длительности пребывания процесса в
множестве невозвратных состояний........................... 102

3.5. Исследование динамики цепей Маркова при
большом числе шагов.................................................... 117

3.6. Цепи Маркова с непрерывным временем................... 123

3.7. Моделирование надежности вычислительных

систем.............................................................................. 131

3.8. Структурный подход к моделированию систем на
основе сетей Петри........................................................ 139

3.8.1. Основные понятия событийных моделей и их
отображение в сетях Петри........................................... 140

3.8.2. Диаграммы условий и событий............................ 141

3.8.3. Пример построения модели.................................. 144

Глава 4. Задания для самостоятельной работы....................... 148

4.1. Задачи и упражнения по главе 2.................................. 148

4.2. Задачи и упражнения по главе 3.................................. 152

Глава 5. Лабораторный практикум.......................................... 162

Лабораторная работа №1...................................................... 163

Лабораторная работа №2...................................................... 168

Лабораторная работа №3...................................................... 170

Лабораторная работа №4...................................................... 175

Лабораторная работа №5...................................................... 179

Лабораторная работа №6...................................................... 185

Лабораторная работа №7...................................................... 187

Лабораторная работа №8...................................................... 189

Приложение. Краткая инструкция по созданию сетей

Петри в системе CPN Tools........................................... 192

Библиографический список......................... …......................... 198

 

 


mylektsii.ru - Мои Лекции - 2015-2019 год. (0.012 сек.)Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав Пожаловаться на материал