8. Документирование результатов формулировки концептуальной модели.

Содержание итогового документа этапа составления концептуальной модели.

• Подробная постановка задачи.

• Список параметров, переменных и критериев эффективности системы.

• Перечисление гипотез и предположений.

• Обоснование целесообразности построения модели.

• Описание концептуальной модели согласно принятому способу формализации.

3. Формализация объекта моделирования: реализация описания объекта в терминах математических понятий и алгоритмизация функционирования ее компонент.

Результат этапа: проверенное формальное описание исследуемой системы на выбранном языке формализации.

1. Выбор языка формализации.

Группы специализированных языков имитационного моделирования.

• Языки непрерывного имитационного моделирования.

• Языки моделирования дискретных систем.

• Языки, ориентированные на моделирование непрерывно-дискретных процессов.

Виды языков непрерывного имитационного моделирования.

• Языки аналогового моделирования. Используется компонентная эмуляция аналоговых и гибридных ЭВМ. Например, сумматор заменяется кодом операции суммирования, интегратор – кодом операции интегрирования и т.д. Взаимодействия между этими дополнениями функциональных компонент описываются с помощью блочно-ориентированного языка точно так же, как коммутационная панель аналоговой ЭВМ связывает компоненты аналоговой вычислительной программы. Эмулируются и структура, и элементы аналоговой или гибридной ЭВМ.

• Языки, которые применяются для решения систем дифференциальных уравнений, описывающих детерминированные замкнутые непрерывные системы.

Виды языков моделирования дискретных систем.

• Языки, ориентированные на просмотр активностей.

• Языки, составляющие расписание событий.

• Языки, управляющие процессами.

• Языки, организующие взаимодействие транзактов.

• Языки, ориентированные на взаимодействие агрегатов.

2. Составление формального описания системы. Результатом является формальное описание сложной системы, свободное от второстепенной информации (имеющейся в содержательном описании) и устанавливающее структуру алгоритмического представления объекта моделирования. Возможны возвраты к этапу содержательного описания для получения новых данных.

   1. Уточнение декомпозиции системы. Уточнение схемы взаимодействия компонент системы между собой и с управляющей программой модели.

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

Ключевые моменты этапа.

• Составление временных диаграмм функционирования компонент реальной системы.

• Уточнение состава глобальных характеристик модели, доступных всем элементам модели, и локальных переменных, используемых и располагаемых внутри алгоритма элемента модели.

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

3. Информационная стыковка алгоритмов модели. Определение мест использования и переработки информации компонентами модели.

Ключевые моменты этапа.

• Уточнение состава входной и выходной информации модели.

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

• Уточнение схемы информационных связей между компонентами модели.