Моделирование процессов и систем (каф. 17) / Вопросы_Экз 2004

2

Экзаменационные вопросы по курсу "Моделирование процессов и систем" для К8-171, 172

преподаватель Кирюхин Владимир Михайлович, весна 2004

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. Формализация процессов и систем на основе сетей Петри. Основные понятия и определения сетей Петри.

26. Формализация динамики сетей Петри. Уравнение состояния сети Петри. Условие достижимости заданной разметки сети Петри.

27. Методы исследования сетей Петри.

28. Временные сети Петри. Особенности формализации процессов и систем на основе временных сетей Петри. Связь обычных и временных сетей Петри.

29. Циклические процессы в сетях Петри.

30. Обобщенная методика построения моделей с использованием сетей Петри. Примеры построения моделей на основе сетей Петри.

31. Связь структурированной и агрегативной спецификаций.

32. Схемы сопряжения агрегатов по каналам связи и по сигналам.

33. Описание времени в моделях. Особенности отображения реального времени в моделях. Методы формирования и продвижения модельного времени.

34. Использование принципов структуризации и агрегирования систем в процессе построения моделей.

35. Алгоритмическое описание моделей. Понятие моделирующего алгоритма.

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

37. Алгоритмизация механизмов продвижения времени в моделях.

38. Локальное и глобальное время. Алгоритмы продвижения локального и глобального времени в моделях.

39. Понятие календаря событий в имитационных моделях. Основные типы информационных структур календаря событий. Методы управления календарем событий.

40. Выделение инвариантных функций в имитационных моделях. Особенности реализации функций продвижения времени и управления процессом моделирования как инвариантных компонентов имитационных моделей.

41. Основные типы управления процессом моделирования и особенности их реализации в моделях.

42. Факторы, определяющие эффективность имитационных моделей. Пути повышения эффективности имитационных моделей.

43. Сущность процесса структуризации при построении моделей. Особенности структуризации при использовании концепции событий и процессов.

44. Понятия реального, модельного и машинного времени. Методы формирования множества значений модельного времени в имитационных моделях. Сущность оператора времени.