Полная версия

Главная arrow Информатика arrow Имитационное моделирование

  • Увеличить шрифт
  • Уменьшить шрифт


<<   СОДЕРЖАНИЕ ПОСМОТРЕТЬ ОРИГИНАЛ   >>

Проверка достоверности модели при разработке логической блок-схемы

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

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

  • 1. Позволяет ли замысел модели решить поставленную задачу?
  • 2. Точно ли отражен этот замысел в логической блок-схеме?
  • 3. Полна ли предложенная логическая блок-схема и обладает ли она необходимой последовательностью?
  • 4. Правильны ли используемые математические уравнения?

На все эти вопросы должен быть получен утвердительный

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

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

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

Проверка достоверности на этом этапе создания модели весьма важна для дальнейшей работы. Бессмысленно продолжать ее, пока не будет полной уверенности, что на все вопросы дан утвердительный ответ. В работе [21] рекомендуется примерная последовательность действий при контроле достоверности логической блок-схемы. Необходимо в следующем порядке проверить:

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

Проверка достоверности модели продолжается и на последующих этапах ее разработки.

Контрольные вопросы и задания

  • 1. Автомат продает шоколадки стоимостью 20 руб. и принимает монеты номиналом в 5 и 10 руб.; автомат возвращает сдачу, если это необходимо. Составьте граф переходов автомата.
  • 2. Постройте два варианта сетей Петри, представляющих СМО с тремя источниками заявок, одной ограниченной очередью и одним обрабатывающим устройством. В первом варианте приоритет относительный, во втором — абсолютный.
  • 3. Найдите аналитические соотношения, описывающие некоторые марковские процессы специального вида, которые применяются при исследовании ИВС:
    • а) процесс «гибели — размножения». Марковская цепь называется процессом «гибели — размножения», если граф ее состояний имеет вид, представленный на рис. 2.14;

Рис. 2.14

б) циклический процесс. Марковский процесс называется циклическим, если все состояния связаны в кольцо (рис. 2.15).

Рис. 2.15

  • 4. Представьте в виде агрегата (опишите процесс смены состояний) систему массового обслуживания п. 1.
  • 5. Представьте алгоритм моделирования агрегата в форме графической блок-схемы.
 
<<   СОДЕРЖАНИЕ ПОСМОТРЕТЬ ОРИГИНАЛ   >>