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

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

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

1. Позволяет ли замысел модели решить поставленную задачу?

2. Точно ли отражен этот замысел в логической блок-схеме?

3. Полна ли предложенная логическая блок-схема и обладает ли она необходимой последовательностью?

4. Правильны ли используемые математические уравнения?

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

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

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

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

· отражение каждой функции, перечисленной в содержательном описании, с ее реализацией в логической блок-схеме;

· нет ли в схеме непредвиденных циклов и нелогичных ветвей, просмотрев все ветви при движении по предусмотренным направ­лениям переходов;

· достаточно ли детально, точно и полно отражает существо моде­ли содержащаяся в блок-схеме информация;

· узловые точки принятия решений, правильность их описания, правильность связей и переходов;

· ясность и точность описания блоков, полноту описания блоков и подблоков, их входные и выходные величины;

· наличие «входа» и «выхода» в блок-схеме и в каждом логиче­ском цикле;                                                                     

· выходные величины модели, сравнив их с заданным критерием интерпретации результатов моделирования;

· правильность использования всех математических выражений, уравнений и размерности;

· источники входных величин и использование выходных вели­чин всех уравнений;                                                                

· правильность задания и получения всех констант, параметров и переменных;

· правильность употребления всех математических и логических символов, в том числе и индексов;

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

· правильность задания начальных значений всех параметров и переменных;

· полноту таблиц параметров;

· правильность реализации в блоках всех математических выра­жений.

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

Тема 4. Моделирование случайных процессов (метод Монте-Карло).