Анализ аналитических и имитационных моделей. Понятие модели и моделирования

Традиционно математические модели разделяют на аналитические и имитационные модели. Аналитические модели представляют собой уравнения или системы уравнений, записанные в виде алгебраических, интегральных, дифференциальных, конечно-разностных и иных соотношений и логических условий. Они записаны и решены в буквенном виде. Отсюда и происходит их название. Аналитическая модель, как правило, статическая. Аналитическое представление подходит лишь для очень простых и сильно идеализированных задач и объектов, которые, как правило, имеют мало общего с реальной (сложной) действительностью, но обладают высокой общностью. Данный тип моделей обычно применяют для описания фундаментальных свойств объектов, так как фундамент прост по своей сути. Сложные объекты редко удаётся описать аналитически.

Альтернативой аналитическим моделям являются имитационные модели (динамические). Основное отличие имитационных моделей от аналитических состоит в том, что вместо аналитического описания взаимосвязей между входами и выходами исследуемой системы строят алгоритм, отображающий последовательность развития процессов внутри исследуемого объекта, а затем «проигрывают» поведение объекта на

компьютере. К имитационным моделям прибегают тогда, когда объект моделирования настолько сложен, что адекватно описать его поведение математическими уравнениями невозможно или затруднительно. Имитационное моделирование позволяет разлагать большую модель на части (объекты, «кусочки»), которыми можно оперировать по отдельности, создавая другие, более простые или, наоборот, более сложные модели.

Таким образом, основным преимуществом имитационного моделирования по сравнению с аналитическим является возможность решения более сложных задач, так как имитационную модель можно постепенно усложнять, при этом результативность модели не падает.

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

такие факторы, как наличие дискретных и непрерывных элементов, нелинейные характеристики элементов системы, многочисленные случайные воздействия и другие, которые часто создают трудности при аналитических исследованиях. Имитационное моделирование тяготеет к объектно-ориентированному представлению, которое естественным образом описывает объекты, их состояние, поведение, а также взаимодействие

между ними.

Имитационная модель в отличие от аналитической представляет собой не законченную систему уравнений, а развернутую схему с детально описанной структурой и поведением изучаемого объекта. Для имитационного моделирования характерно воспроизведение явлений, описываемых моделью, с сохранением их логической структуры, последовательности чередования во времени, взаимосвязей между параметрами и переменными исследуемой системы.

В аналитических моделях можно использовать широкий арсенал математических методов, что часто позволяет найти оптимальное решение и иногда провести анализ чувствительности. Однако, к сожалению, аналитические решения не всегда существуют, а существующие не всегда просто найти.

Что касается имитационных моделей, то оптимальность решения не гарантирована, и даже более того – часто трудно получить решение, хотя бы в какой-то степени близкое к оптимальному. Иногда требуется провести много испытаний имитационной модели, чтобы получить приемлемую достоверность «добротности» какого-либо решения.

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

Рис. 3. Модели поддержки принятия решений

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

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

Еще в недалеком прошлом имитационные модели считались методом «второго сорта», которые применялись только тогда, когда было невозможно применять аналитические. И действительно, если уже построена аналитическая модель, то обычно с помощью того или иного метода оптимизации можно найти оптимальное детерминированное решение. Однако на сегодняшний день многие аналитические модели (в частно-

сти, модели математического программирования) имеют ограниченное применение на практике. В том случае, когда аналитические модели невозможно применять, аналитики применяют имитационные модели. Имитационные модели считаются одними из наиболее перспективных при решении задач управления экономическими объектами. В общем случае, для сложных проблем, где время и динамика важны, имитационное мо-

дели считаются одним из самых популярных и полезных методов количественного анализа :

1 . Аналитические модели часто трудны для формализации и построения, а иногда их вообще невозможно построить. Любая аналитическая модель имеет свои «затрудняющие» факторы, которые зависят от специфики данной модели.

2. Аналитические модели обычно дают среднестатистические или стационарные (долговременные) решения. На практике часто важно именно нестационарное поведение системы или ее характеристики на коротком временном интервале, что не дает возможности получить «средние» значения.

3. Для имитационного моделирования можно использовать широкий круг программного обеспечения специально разработанных для создания имитационных моделей.

Как аналитические, так и имитационные модели можно использовать для решения задач, включающих случайные события. При этом часто аналитические модели предпочтительнее имитационных по следующим причинам:

Ø Имитационное моделирование требует проведения большого числа испытаний, чтобы получить хорошую оценку значения целевой функции для каждого отдельного решения.

Ø С помощью аналитической модели можно получить оптимальное решение.

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

К достоинствам имитационного моделирования по сравнению с аналитическими моделями можно отнести:

1)Возможность многократного измерения интересующих нас параметров мо-

2)Возможность исследования сложных сценариев поведения системы.

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

Табл.1.Сравнительные характеристики имитационных и аналитических моделей

ЗАКЛЮЧЕНИЕ

Еще в недалеком прошлом имитационные модели считались методом «второго сорта», которые применялись только тогда, когда было невозможно применять аналитические. И действительно, если уже построена аналитическая модель, то обычно с помощью того или иного метода оптимизации можно найти оптимальное детерминированное решение.

В настоящее время имитационное моделирование – наиболее эффективный метод исследования систем, а часто и единственный практически доступный метод получения информации о поведении системы, особенно на этапе ее проектирования.

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

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

Литература

1. Борщев А. В. Практическое агентное моделирование и его место в арсенале аналитика // www.anylogic.com

Аналитические модели (англ. analytical models) - один из классов математического моделирования, широко используемый в экологии. При построении таких моделей исследователь сознательно отказывается от детального описания экосистемы, оставляя лишь наиболее существенные, с его точки зрения, компоненты и связи между ними, и использует достаточно малое число правдоподобных гипотез о характере взаимодействия компонентов и структуры экосистемы. Аналитические модели служат, в основном, целям выявления, математического описания, анализа и объяснения свойств или наблюдаемых феноменов, присущих максимально широкому кругу экосистем. Так, например, широко известная модель конкуренции Лотки-Вольтерра позволяет указать условия взаимного сосуществования видов в рамках различных сообществ.

Одной из основных задач системной динамики является оценка устойчивости экосистем и описание качественных перестроек их поведения под воздействием внешних факторов. Наиболее адекватным математическим аппаратом построения и анализа таких аналитических моделей служит качественная теория дифференциальных уравнений и теория бифуркаций. Особую роль играют стохастические модели потенциальной эффективности экосистем Б.С. Флейшмана.

При моделировании экосистем возникает также необходимость в исследовании диссипативных структур, энтропийных характеристик и процессов самоорганизации. А.Дж. Вильсоном излагается общая теория энтропийных моделей многокомпонентных экосистем, где взаимодействия на микроуровне описываются статистикой Больцмана. Г. Шустер приводит примеры моделей динамики популяций в открытых системах, полученные на основе теории стохастического поведения динамических диссипативных структур. Работа Дж. Николиса относится к области синергетики и исследует процессы самоорганизации открытых иерархических экосистем в ходе диссипации новой информации.

В качестве примера аналитической модели гидробиологических процессов "цветения водохранилищ" укажем на работы С.В. Крестина и Г.С. Розенберга, где в рамках взаимодействий систем конкуренции видов и "хищник - жертва" дано возможное объяснение феномена вспышек численности сине-зеленых водорослей и более сложного процесса "волны цветения" по профилю водохранилища.

Имитационные модели (англ. simulation models) - один из основных классов математического моделирования. Целью построения имитаций является максимальное приближение модели к конкретному (чаще всего уникальному) экологическому объекту и достижение максимальной точности его описания. Имитационные модели претендуют на выполнение как объяснительных, так и прогнозных функций, хотя выполнение первых для больших и сложных имитаций проблематично (для удачных имитационных моделей можно говорить лишь о косвенном подтверждении непротиворечивости положенных в их основу гипотез).

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

Методы построения имитационных моделей чаще всего основываются на классических принципах системной динамики Дж. Форрестера. Создание имитационных моделей сопряжено с большими затратами. Так, модель ELM (злаковниковой экосистемы, используемой под пастбище) строилась 7 лет с годовым бюджетом программы в 1,5 млн. долл. около 100 научными сотрудниками из более 30 научных учреждений США, Австралии и Канады (Розенберг).

Построение имитационной модели может служить организующим началом любого серьезного экологического исследования. Хотя частная экосистема реки или озера и является элементарной ячейкой биосферы, ее математическая модель описывается системами уравнений того же порядка сложности, что и вся биосфера в целом, поскольку требует учета такого же большого количества переменных и параметров, описывающих функционирование отдельных подсистем и элементов (только на ином масштабном уровне). Поэтому исследователи ищут разумный компромисс: при составлении моделей многие параметры берутся агрегировано, допускаются разного рода аппроксимации и гипотезы, многие коэффициенты принимаются "по аналогии" с другими объектами и т.д. Поскольку среди допущений и предположений трудно выбрать наилучшее, снижается точность и познавательная ценность моделей, а, следовательно, их практическая применимость.

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

Приведем краткий обзор развития моделей этого класса, воспользовавшись материалами Л.Я. Ащепковой.

Попытки моделирования динамики популяций предпринимаются давно. Модель конкуренции (уравнения Лотки-Вольтера, 1925-26 гг.) - классический пример аналитической модели, позволяющей объяснить и проанализировать возможные исходы межвидовой конкуренции. Однако, если модели типа "хищник-жертва" в частных случаях обнаруживали совпадение с данными натурных наблюдений, то значительно хуже обстояло дело с взаимодействием организмов и окружающей среды. Сначала появились частные модели взаимодействия биоты с такими отдельными факторами, как солнечная радиация, температура, потом - модели взаимодействия организмов с абстрактными "ресурсами".

На примере модели динамики планктона Северного моря, Дж. Стил, используя простые представления о трофических цепях, описал модели комбинирования различных гипотез о пищевом поведении, оставляя минимум внимания особенностям пространственного распределения организмов. Дж. Дюбо для того же Северного моря фокусировал внимание на причинах формирования пространственной неоднородности, учитывая два фактора: трофические отношения между фито- и зоопланктоном и скорость перемещения потоков воды в процессе диффузии.

Одной из первых математических моделей водных экосистем, в основе которых лежал энергетический принцип, была модель, созданная Г.Г. Винбергом и С.А. Анисимовым. В.В. Меншуткин и А.А. Умнов развили идеи Г.Г. Винберга, введя в рассмотрение цикл биогенных элементов. Модель экосистемы в каждый момент времени определялась следующим набором переменных: концентрации фито- и зоопланктона, рыб-плантофагов, бактерий и растворенного в воде органического вещества, а внешними факторами явились солнечная энергия, кислородно-углекислотный обмен с атмосферой и поступление аллохтонных веществ. Выходными параметрами модели были вылов рыбы, отложение в ил и вынос органических и неорганических ингредиентов, а также рассеянная энергия как результат трат на обмен.

Первые модели Винберга-Анисимова и Меншуткина-Умнова рассматривали экосистему в ее стационарном состоянии при постоянстве температуры среды и без учета сезонной динамики. Переменный характер внешней среды был учтен А.А. Умновым в модели озерной пелагической системы, а впоследствии - для небольшой экосистемы участка Днепра. В последней модели, записанной в виде системы обыкновенных дифференциальных уравнений, автор самым подробным образом отразил процессы питания, отмирания, метаболизма роста и т.д.

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

Значительный опыт создания имитационной модели водоема большой сложности был накоплен в процессе создания портретной модели экосистемы Азовского моря.

Аналитические математические модели представляют собой явные математические выражения выходных параметров как функций от параметров входных и внутренних. Это, например, выражения для сил резания:

; ; .

Аналитическое моделирование основано на косвенном описании моделируемого объекта с помощью набора математических формул. Язык аналитического описания содержит следующие основные группы семантических элементов: критерий (критерии), неизвестные, данные, математические операции, ограничения. Наиболее существенная характеристика аналитических моделей заключается в том, что модель не является структурно подобной объекту моделирования. Под структурным подобием здесь понимается однозначное соответствие элементов и связей модели элементам и связям моделируемого объекта. К аналитическим относятся модели, построенные на основе аппарата математического программирования, корреляционного, регрессионного анализа.

Аналитическая модель всегда представляет собой конструкцию, которую можно проанализировать и решить математическими средствами. Так, если используется аппарат математического программирования, то модель состоит в основе своей из целевой функции и системы ограничений на переменные. Целевая функция, как правило, выражает ту характеристику объекта (системы), которую требуется вычислить или оптимизировать. В частности, это может быть производительность технологической системы. Переменные выражают технические характеристики объекта (системы), в том числе варьируемые, ограничения – их допустимые предельные значения.

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

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

Для повышения вычислительной эффективности в этом случае используют различные приемы.


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

Алгоритмические математические модели выражают связи между выходными параметрами и параметрами входными и внутренними в виде алгоритма.

Имитационные математические модели – это алгоритмические модели, отражающие развитие процесса (поведение исследуемого объекта) во времени при задании внешних воздействий на процесс (объект). Например, это модели систем массового обслуживания, заданные в алгоритмической форме.

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

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

Ценным качеством имитации является возможность управлять масштабом времени. Динамический процесс в имитационной модели протекает в так называемом системном времени. Системное время имитирует реальное время. При этом пересчет системного времени в модели можно выполнять двумя способами:

· первый способ заключается в «движении» по времени с некоторым постоянным шагом;

· второй способ заключается в «движении» по времени от события к событию, при этом считается, что в промежутках времени между событиями в модели изменений не происходит.

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

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

В связи с этим определим словосочетание «компьютерное моделирование », которое все чаще используется в литературе. Будем полагать, что компьютерное моделирование - это математическое моделирование с использованием средств вычислительной техники. Соответственно, технология компьютерного моделирования предполагает выполнение следующих действий :

1) определение цели моделирования;

2) разработка концептуальной модели;

3) формализация модели;

4) программная реализация модели;

5) планирование модельных экспериментов;

6) реализация плана эксперимента;

7) анализ и интерпретация результатов моделирования.

При имитационном моделировании используемая ММ воспроизводит алгоритм («логику») функционирования исследуемой системы во времени при различных сочетаниях значений параметров системы и внешней среды. Примером простейшей аналитической модели может служить уравнение прямолинейного равномерного движения. При исследовании такого процесса с помощью имитационной модели должно быть реализовано наблюдение за изменением пройденного пути с течением времени.

Очевидно, в одних случаях более предпочтительным является аналитическое моделирование, в других - имитационное (или сочетание того и другого). Чтобы выбор был удачным, необходимо ответить на два вопроса.

С какой целью проводится моделирование?

К какому классу может быть отнесено моделируемое явление?

Ответы на оба эти вопроса могут быть получены в ходе выполнения двух первых этапов моделирования.

Имитационные модели не только по свойствам, но и по структуре соответствуют моделируемому объекту. При этом имеется однозначное и явное соответствие между процессами, получаемыми на модели, и процессами, протекающими на объекте. Недостатком имитационного моделирования является большое время решения задачи для получения хорошей точности.

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

Заключительный этап статистического моделирования основан на математической обработке полученных результатов. Здесь используют методы математической статистики (параметрическое и непараметрическое оценивание, проверку гипотез) . Примером параметрической оценки является выборочное среднее показателя эффективности. Среди непараметрических методов большое распространение получил метод гистограмм .

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

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

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


Имитационное моделирование используется в тех случаях, когда др. способы невозможны.

К имитационным моделям прибегают тогда, когда объект моделирования настолько сложен, что адекватно описать его поведение математическими уравнениями невозможно или затруднительно.

Им. моделирование позволяет разлагать большие модели на части, которые можно моделировать по отдельности, создав др. более сложные модели.

Основные различия аналитических и имитационных моделей

Ан. модели – ур-я или системы ур-й, записанные в виде алгебраич., интегральн., конечно-разностных, диф. и др. соотношений и лог. условий.

Им. модели – вместо аналитического описания взаимосвязей между входами и выходами исследуемой системы строят алгоритм, отображение, последовательность развития процессов внутри исследуемого объекта, а затем «проигрывают» поведение объекта на ПК.

Им. модель в отличие от аналитической представляют не законченную систему уравнений, а развернутую схему с детально описанной структурой и поведением изучаемого объекта.

Ан. модели Им. модели
Виды моделирования по отношению ко времени динамическое/статическое динамическое
Форма записи модели ур-я, системы ур-й алгоритмы функционир. об.
Формализация и построение модели трудны более легки
Способы решения модели алгоритмы оптимизации эвристический анализ, эксперимен-ый анализ
Кол-во испытаний для решения одно много
Решения точное значение вероятностные хар-ки
Нахождение оптимального решения в случае построения модели гарантировано не гарантировано
Исследование сложности системы затруднено возможно
Применимость на практике ограниченная не ограниченная
Степень близости модели к изучаемому объекту сильно упрощена макс. приближена
Класс изуч. объектов сужен расширен

Особенности имитационных моделей:

1) при создании имитационной модели законы функционирования м.б. неизвестны (достаточно знать алгоритмы функционирования частей системы и связи между ними)

2) в имитационной модели связи между параметрами и харка-ми системы задаются, а значение исследуемых характеристик определяется в ходе имитационного эксперимента на ЭВМ.

Условия применения имитационных моделей – широкий класс систем практически любой сложности.

Достоинства им. моделирования:

1)Часто единственный метод исследования сложных систем

2)Им. модель дает возможность исследовать сложные системы на различных уровнях детализации.

3)Появляется возможность исследования динамики взаимодействия элементов системы



4)Имеется возможность оценки характеристик системы в нужный момент времени.

5)Существует достаточно много инструментальных средств

Недостатки им. моделирования:

1) Дороговизна

2)Меньшая степень общности результатов, не позволяет выявлять закономерности функционирования

3)Не существует надежных методов оценки адекватности

Составные части им. модели:

Компоненты – составные части, которые при соответствующем объединении образуют систему.

Параметры – определенные условия, в которых функционирует система. (не изменяются в процессе моделирования)

Переменные:

1)Экзогенные – входные переменные, порождаются вне системы или являются результатом воздействия внешних причин.

2)Эндогенные – переменные, возникающие в системе (состояния, выходы)

Функциональные зависимости – зависимости, которые описывают взаимодействие между переменными, а также компонентами системы.(детерминированные, стохастические)

Ограничения – пределы изменения значений переменных (искусственные, вводятся разработчиком или естественные, определяются законами среды)

Целевые функции – точки отображения целей или задач системы и необходимых правил оценки их выполнения. (цели сохранения и приобретения)

Метод имитационного моделирования заключается в имитации программными средствами процесса функционирования системы по известным алгоритмам, лог. и аналит. зависимостям, формализующим внешние воздействия, элементы системы и связи между ними.