PETROV / ____. ____ ____. ______ No.2 [2013-2014]

ПЕТРОВ

АЛЕКСЕЙ ВЛАДИМИРОВИЧ

каф. ИУ-3

ap{AT}isdk.ru

apetrov{AT}bmstu.ru

Версия 1.0. Январь 2014

Методы исследования и моделирования информационных процессов и технологий (10 семестр )

Основная литература (1 / 1)

Алиев Т.И. Основы моделирования дискретных систем: Учеб. пособие. — СПб.: СПбГУ ИТМО, 2009. — 363 с.

Введение в математическое моделирование: Учеб. пособие/ Под ред. П.В. Трусова. — М.: Логос, 2005. — 440 с.

Engelbrecht, A.P. Computational Intelligence: An Introduction, 2nd ed. (John Wiley & Sons, 2007).

Savoia, A. Pretotype It (2nd Pretotype Ed., 2011). URL: http://www.pretotyping.org/pretotype-it—the-book

2

Методы исследования и моделирования информационных процессов и технологий (10 семестр )

Дополнительная литература (1 / 4)

Девятков В.В. Методология и технология имитационных исследований сложных систем: Монография. — М.: Вузовский учебник: ИНФРА-М, 2014. – 448 с.

Хопкрофт Дж., Мотвани Р., Ульман Дж. Введение в теорию автоматов, языков и вычислений / Пер. с англ. — 2-е изд. — М.: Издательский дом «Вильямс», 2002. — 528 с.: ил.

(Имеется 3-е англ. изд.: Hopcroft, J.E., R. Motwani, and J.D. Ullman, Introduction to Automata Theory, Languages, and Computation, 3/E, Addison-Wesley, Reading, MA, 2007.)

Cassandras, C.G., Lafortune, S. Introduction to Discrete Event Systems (Springer Science + Business Media, New York, 2008).

3

Методы исследования и моделирования информационных процессов и технологий (10 семестр )

Дополнительная литература (2 / 4)

Fokkink, W. Introduction to Process Algebra (2nd ed., SpringerVerlag, 2007). URL: http://www.few.vu.nl/~wanf/BOOKS/ procalg.pdf

Goldberg, D. What Every Computer Scientist Should Know About Floating-Point Arithmetic. ACM Computing Surveys. 23 (1): 5–48 (March 1991).

IEEE Std. 754-2008. IEEE Standard for Floating-Point Arithmetic.

ISO/IEC 12207:2008. Systems and Software Engineering— Software life cycle processes.

4

Методы исследования и моделирования информационных процессов и технологий (10 семестр )

Дополнительная литература (3 / 4)

ISO/IEC 42010:2007. Systems and Software Engineering— Recommended practice for architectural description of softwareintensive systems.

ISO/IEC/IEEE 60559:2011. Information Technology— Microprocessor Systems—Floating-point arithmetic.

Kleene, S.C. Introduction to Metamathematics (North-Holland Publishing Co., Amsterdam, 1952).

Rosenblueth, A., Wiener, N. The Role of Models in Science. Philosophy of Science, Vol. 12, No. 4 (Oct. 1945), pp. 316–321.

5

Методы исследования и моделирования информационных процессов и технологий (10 семестр )

Дополнительная литература (4 / 4)

Varzi, A.C. Spatial Reasoning and Ontology: Parts, Wholes, and Locations. In: Aiello, M., Pratt-Hartmann, I., and Benthem, J. van (eds.), Handbook of Spatial Logics (Berlin, Springer-Verlag, 2007, pp. 945-1038).

6

Методы исследования и моделирования информационных процессов и технологий (10 семестр )

Web-ресурсы

Имитационное моделирование систем. URL: http://gpss.ru/

IEEE Control Systems Society. URL: http://www.ieeecss.org/

7

Методы исследования и моделирования информационных процессов и технологий (10 семестр )

Принятые сокращения (1 / 2)

ИС — информационная система

ИСПТ — информационные системы, процессы и

технологии

ИМ — имитационная модель

ММ — математическая модель, математическое

моделирование

ОДУ — обыкновенное дифференциальное уравнение

ОМ — объект моделирования

ПИ — программная инженерия

8

Методы исследования и моделирования информационных процессов и технологий (10 семестр )

Принятые сокращения (2 / 2)

СеМО — сеть массового обслуживания

СИ — системная инженерия

СМО — система массового обслуживания

т. т. тогда — тогда и только когда

CVDS — continuous-variable dynamic system

DEDS — discrete-event dynamic system

DES — discrete event system

SSADM — Structured Systems Analysis and Design Method

9