Классы моделей (по аналогии с Г.С.Розенбергом)

Вербальная

Пример: Спецификация требований

Имитационная

Пример: Прототипирование ПО

Структурная

Пример: Диаграмма потоков данных (DFD)

Математическая

Пример: Критический путь

Некоторые классы знаковых моделей, используемых в программной инженерии

1.Модели состава

2.Структурные модели

3.Функциональные модели

4.Потоковые модели

5.Модели состояний

Системная модель объекта моделирования

E

X- Входные данные

Y- Выходные данные

E - Воздействие окружающей среды

S - Внутреннее состояние системы

Классы задач моделирования

1.Построение дескриптивных моделей X,Y,E,S

2.Прогностические задачи: А: {Х,S,E} Y

A: {Х,S} S

A: {Х} {Х} и т.д.

3.Оптимизационные задачи

4.Информационная поддержка управления в условиях неопределенности

Некоторые сведения о моделях

1.Модель как отображение объекта

2.Соотношение понятий «эффективность» и «область адекватности»

3.Основные этапы системного моделирования

Технология проверки правильности математической модели

•Контроль размерностей

•Контроль порядков

•Контроль экстремальных ситуаций

•Контроль граничных условий, (включающий проверку того, что граничные условия действительно наложены)

•Контроль физического смысла

•Контроль математической замкнутости, (состоящий в проверке того, что выписанная система математических соотношений дает возможность, притом однозначно, решить поставленную математическую задачу)

Методы моделирования

•Аналитические методы

•Численные методы

Классы погрешностей при численном моделировании

•неустранимая погрешность, связанная с неточным заданием исходных данных (начальные и граничные условия, коэффициенты и правые части уравнений);

•погрешность метода, связанная с переходом к дискретному аналогу исходной задачи (например, заменяя производную разностным аналогом , получаем погрешность дискретизации, имеющую при ∆x→0 порядок ∆x);

•ошибка округления, связанная с конечной разрядностью чисел, представляемых в ЭВМ.