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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

3.2.4. Установление управляющих связей между компонентами модели. Составление схемы управляющих связей между компонентами модели. Такая схема обычно представляет собой ориентированный граф, в котором вершинами являются элементы модели, а связи показывают направление воздействия элементов друг на друга и условия появления этого воздействия. Объем работы по составлению схемы зависит от принятого способа имитации.

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