PETROV / ____. ____ ____. _______ _ ______ [2013 _ 2014]
.pdfВопросы к зачету по курсу «Методы исследования и моделирования информационных процессов и технологий» (10-й семестр)
1.Моделирование как метод научного познания мира. Свойства моделей, цели и содержание моделирования.
2.Идеальное и материальное, научное и интуитивное моделирование. Когнитивные, концептуальные, формальные и знаковые модели.
3.Математическая модель и математическое моделирование. Входные и выходные параметры и состояние модели. Неопределенность параметров.
4.Модели сложных систем. Статические и динамические, структурные и имитационные модели.
5.Непрерывные и дискретные модели и модельное время. Модели систем, управляемых временем и событиями.
6.Системы с дискретным временем, дискретными состояниями и событиями (DES).
7.Моделирование в инженерной деятельности. Структурные и поведенческие модели.
8.Моделеориентированная системная и программная инженерия (MDSE). Методологии PLM / ALM и CAx. Моделеориентированная разработка (MDD).
9.Инициатива OMG MDA. Платформенно-зависимые и платформенно-независимые модели. Языки трансформации моделей и проблемно-ориентированные языки.
10.Логические (языковые) модели DES со счетным множеством состояний. Множество состояний и событий. Языки, распознаваемые моделью.
11.Языки и автоматы как логические модели DES. Моделирование DES детерминированными автоматами общего вида и машинами Мили.
12.Языки и автоматы как логические модели DES. Моделирование DES недетерминированными автоматами с -переходами.
13.Частные, общие события и композиция автоматов. Синхронизация событий: мягкий и жесткий параллелизм. Тупики в DES и устойчивость к блокировкам.
14.Анализ автоматных моделей DES. Безопасность DES и неопределенность в моделях. Конечные автоматы и регулярные языки. Канонические распознаватели.
15.Моделирование распределенных систем, автомат наблюдателя полностью и частично наблюдаемой DES. Диагностирующий автомат.
16.Сети Петри и алгебраическое описание их динамики. Разметка переходов и языки сетей. Петрисетевые модели СМО. Структурные и поведенческие свойства сетей. Граф достижимости и дерево покрываемости.
17.Время и временные модели DES. Модельные часы (счетчики времени). Учет времени жизни событий. Временные автоматы и сети Петри.
18.Архитектура ИС в стандарте ISO/IEC/IEEE 42010:2011. Архитектурное описание и языки описания архитектуры (ADL). Диаграммные ADL.
19.Унифицированный язык моделирования (UML) в концептуальном моделировании и описании архитектуры ИС. Пространство UML-диаграмм.
20.Концептуальное моделирование онтологий и проблемно-ориентированное проектирование ИС. Предметные области, модели и языки. Состав концептуальной модели.
21.Корпоративные ИС. Эволюция представлений о комплексной автоматизации.
22.Методологии разработки и внедрения сложных ИС.
23.Унифицированный процесс: IBM RUP и его производные. Модель жизненного цикла разработки ИС в Унифицированном процессе.
24.Социотехнические системы, нотации и методологии описания их архитектуры и моделирования:
BPMN, IDEF0, IDEF1X, IDEF3.
Билеты к экзамену по курсу «Методы исследования и моделирования информационных процессов и технологий» (10-й семестр)
Билет 1
1.Инициатива OMG MDA. Платформенно-зависимые и платформенно-независимые модели. Языки трансформации моделей и проблемно-ориентированные языки.
2.Методологии разработки и внедрения сложных ИС.
Билет 2
1.Время и временные модели DES. Модельные часы (счетчики времени). Учет времени жизни событий. Временные автоматы и сети Петри.
2.Унифицированный процесс: IBM RUP и его производные. Модель жизненного цикла разработки ИС в Унифицированном процессе.
Билет 3
1.Моделирование распределенных систем, автомат наблюдателя полностью и частично наблюдаемой DES. Диагностирующий автомат.
2.Корпоративные ИС. Эволюция представлений о комплексной автоматизации.
Билет 4
1.Моделирование как метод научного познания мира. Свойства моделей, цели и содержание моделирования.
2.Архитектура ИС в стандарте ISO/IEC/IEEE 42010:2011. Архитектурное описание и языки описания архитектуры (ADL). Диаграммные ADL.
Билет 5
1. Моделирование в инженерной деятельности. Структурные и поведенческие модели.
2.Социотехнические системы, нотации и методологии описания их архитектуры и моделирования:
BPMN, IDEF0, IDEF1X, IDEF3.
Билет 6
1.Идеальное и материальное, научное и интуитивное моделирование. Когнитивные, концептуальные, формальные и знаковые модели.
2.Анализ автоматных моделей DES. Безопасность DES и неопределенность в моделях. Конечные автоматы и регулярные языки. Канонические распознаватели.
Билет 7
1.Моделеориентированная системная и программная инженерия (MDSE). Методологии PLM / ALM и CAx. Моделеориентированная разработка (MDD).
2.Языки и автоматы как логические модели DES. Моделирование DES детерминированными автоматами общего вида и машинами Мили.
Билет 8
1.Модели сложных систем. Статические и динамические, структурные и имитационные модели.
2.Логические (языковые) модели DES со счетным множеством состояний. Множество состояний и событий. Языки, распознаваемые моделью.
Билет 9
1.Математическая модель и математическое моделирование. Входные и выходные параметры и состояние модели. Неопределенность параметров.
2.Концептуальное моделирование онтологий и проблемно-ориентированное проектирование ИС. Предметные области, модели и языки. Состав концептуальной модели.
Билет 10
1.Непрерывные и дискретные модели и модельное время. Модели систем, управляемых временем и событиями.
2.Сети Петри и алгебраическое описание их динамики. Разметка переходов и языки сетей. Петрисетевые модели СМО. Структурные и поведенческие свойства сетей. Граф достижимости и дерево покрываемости.
Билет 11
1.Системы с дискретным временем, дискретными состояниями и событиями (DES).
2.Языки и автоматы как логические модели DES. Моделирование DES недетерминированными автоматами с -переходами.
Билет 12
1.Частные, общие события и композиция автоматов. Синхронизация событий: мягкий и жесткий параллелизм. Тупики в DES и устойчивость к блокировкам.
2.Унифицированный язык моделирования (UML) в концептуальном моделировании и описании архитектуры ИС. Пространство UML-диаграмм.