Понятие верификации моделирующих компьютерных программ

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

Особенности ИМ от моделирования

Всё время ИМ поделено на дискреты-временной шаг.

Исходные данные с последнего шага берутся с предыдущего

В течение текущего шага пр-ссы считаются замороженными.

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

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

2.Принцип осуществимости. Осуществимость заключается в том, что разрабатываемая модель должна достигнуть реализации цели исследования с отличной от нуля вероятностью за определённое время. То есть должно выполняться соотношениеР(Г0)>р0, где Р(/"0)-вероятность достижения цели моделирования за приемлемое время t0; Ро - заданная вероятность достижения цели моделирования.

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

4. Принцип агрегирования. Любая сложная система" может быть представлена набором некоторых подсистем (агрегатов), а для их математического описания можно использовать определённые математические схемы. Этот принцип даёт возможность довольно легко перестраивать модель в зависимости от возникающих проблем и задач исследования.

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

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

Методы верификации моделирующих компьютерных программ
1. Модульное написание и отладка компьютерной программы.
2. Для крупных ИМ желательно, чтобы компьютерную программу проверяли несколько человек. 3. Выполнение прогона модели с различными входными параметрами. 4. Трассировка — вывод состояния моделируемой системы после возникновения каждого события и сравнения с вычислениями, полученными вручную. 5. Прогон модели при упрощающихся допущениях, для которых известны или могут быть легко вычислены истинные характеристики модели.
6. Просмотр анимации выходных данных моделирования.
7. Вычисление выборочного среднего значения и дисперсии для каждого входного распределения вероятностей и сравнение их с известным (например, за прошлое время) средним значением и дисперсией.8. Использование коммерческого пакета имитационного моделирования.

Дата добавления: 2015-04-23