40824

Получение и интерпретация результатов моделирования систем

Лекция

Информатика, кибернетика и программирование

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

Русский

2013-10-22

160 KB

26 чел.

Лекция 13. Подэтапы второго этапа моделирования. Получение и интерпретация результатов моделирования систем. Особенности получения результатов моделирования

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

Рассмотрим подэтапы алгоритмизации модели системы и её машинной реализации.

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

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

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

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

2.4. Выбор инструментальных средств моделирования. На этом подэтапе необходимо окончательно решить вопрос о том, какую вычислительную машину (ЭВМ, АВМ, ГВК) и какое программное обеспечение целесообразно использовать для реализации модели системы S. Вопрос о выборе ЭВМ сводится к обеспечению следующих требований:
а) наличие необходимых программных и технических средств; б) доступность выбранной ЭВМ для разработчика модели; в) обеспечение всех этапов реализации модели; г) возможность своевременного получения результатов.

2.5. Составление плана выполнения работ по программированию. План при использовании универсальной ЭВМ должен включать в себя:
а) выбор языка (системы) программирования модели; б) указание типа ЭВМ и необходимых для моделирования устройств; в) оценку примерного объема необходимой оперативной и внешней памяти; г) ориентировочные затраты машинного времени на моделирование; д) предполагаемые затраты времени на программирование и отладку программы на ЭВМ.

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

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

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

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

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

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

3.4. Получение и интерпретация результатов моделирования систем

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

Особенности получения результатов моделирования

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

Часто используют более простые критерии оценки, например, вероятность определенного состояния системы в заданный момент времени t*[0, Т], отсутствие отказов и сбоев в системе на интервале [0, Т] и т.д. При интерпретации результатов моделирования вычисляются различные статистические характеристики закона распределения критерия оценки.

Рассмотрим общую схему фиксации и обработки результатов моделирования системы, которая приведена на рис. 3.4, на интервале времени [0, Т].

Рис. 3.4. Алгоритм фиксации и обработки результатов моделирования системы

В общем случае критерием интерпретации результатов моделирования является нестационарный случайный n-мерный процесс . Состояние модели проверяется каждые  временных единиц, т.е. используется «принцип ». При этом вычисляют значения . О свойствах случайного процесса  судят по свойствам случайной последовательности , или, иначе говоря, по свойствам m-мерного вектора вида

Процесс функционирования системы S на интервале [0, Т] моделируется N-кратно с получением независимых реализаций  вектора . Работа модели на интервале [0, T] называется прогоном модели.

На схеме, изображенной на рис. 3.4, обозначено: Ii; Jj; Kk; NN; Tt; DTt; Qq.

В общем случае алгоритмы фиксации и статистической обработки данных моделирования содержат три цикла.

Внутренний цикл (блоки 5 – 8) позволяет получить последовательность , в моменты времени . Основной блок 7 реализует процедуру вычисления последовательности : ВЫЧ[QI/(T)]. Именно в этом блоке имитируется процесс функционирования моделируемой системы S на интервале времени [0, Т].

Промежуточный цикл (блоки 310), в котором организуется N-кратное повторение прогона модели, позволяющее после соответствующей статистической обработки результатов судить об оценках характеристик моделируемого варианта системы. Окончание моделирования варианта системы S может определяться не только заданным числом реализации (блок 10), как это показано на схеме, но и заданной точностью результатов моделирования. В этом цикле содержится блок 9, реализующий процедуру фиксации результатов моделирования по -му прогону модели  ФРМ[QI/(T)].

Внешний цикл (блок 1-12) охватывает оба предшествующих цикла и дополнительно включает блоки 1, 2, 11, 12, управляющие последовательностью моделирования вариантов системы S. Здесь организуется поиск оптимальных структур, алгоритмов и параметров системы S, то есть блок 11 обрабатывает результаты моделирования исследуемого k-го варианта системы OPM[QK], блок 12 проверяет удовлетворительность полученных оценок характеристик процесса функционирования системы  требуемым (ведёт поиск оптимального варианта системы ПОВ[]), блок 1 изменяет структуру, алгоритмы и параметры системы S на уровне ввода исходных данных для очередного -го варианта системы ВИД[]. Блок 13 реализует функцию выдачи результатов моделирования по каждому k-му варианту модели системы , т.e. BPM[QK].

Рассмотренная система позволяет вести статистическую обработку результатов моделирования в наиболее общем случае при нестационарном критерии . 

БИБЛИОГРАФИЧЕСКИЙ СПИСОК

1. Советов Б.Я. Моделирование систем : учеб. для вузов / Б.Я. Советов, С.А. Яковлев. М. : Высш. шк., 2001. 343 с.

2. Советов Б.Я. Моделирование систем : учеб. для вузов / Б.Я. Советов, С.А. Яковлев. 2-е изд. М.: Высшая школа, 1998. 319 с.

3. Тарасик В.П. Математическое моделирование технических систем: учеб. для вузов / В.П. Тарасик. М.: Наука, 1997. 600 с.

4. Введение в математическое моделирование: учеб. пособие для вузов/ под ред. П.В.Тарасова. М.: Интермет Инжиниринг, 2000. 200 с.

5. Ивченко Г.И. Математическая статистика: учебное пособие для втузов / Г.И. Ивченко, Ю.И. Медведев. М.: Высш. шк., 1984. 248 с.

6. Альянах И.Н. Моделирование вычислительных систем / И.Н. Альянах. Л.: Машиностроение, 1988. 233 с.

7. Шеннон Р. Имитационное моделирование систем – искусство и наука / Р. Шеннон. М.: Мир, 1978. 308 с.

5

Пуск

Останов

ВИД [S(K)]

I=0

I=I+1

J= – 1

J=J+1

T=J*DT

ВЫЧ [QI (T)]

J ≥ K

ФРМ [QI (T)]

OPM [QK]

ПОВ [S(K)]

BPM [OK]

I ≥ N

1

2

3

4

5

6

7

8

9

10

11

12

13


 

А также другие работы, которые могут Вас заинтересовать

5407. Основы Windows. Копирование. Буфер обмена Программы Проводник и Мой компьютер 73 KB
  Основы Windows. Копирование. Буфер обмена Программы Проводник и Мой компьютер Корзина. Поиск файлов и папок 1.Выделение группы объектов 2.Определение объема памяти дисков, размера копируемых объектов 1.Копирование с помощью Буф...
5408. Введение в Microsoft NET 143 KB
  Введение в Microsoft .NET Любому современному программисту, который желает идти в ногу с последними веяниями, каждые несколько лет приходится переучиваться. Языки (C++, VisualBasic, Java), библиотеки (MFC, ATL, STL), архитектуры (COM, CORBA), ...
5409. Система упражнений для обучения аудированию 19.28 KB
  Система упражнений для обучения аудированию. При обучении аудированию, как и др. видам Р.Д., используются два вида упражнений: подготовительные и речевые. Цель подготовительных упражнений - до слушания текста снять трудности лингвистического или психол...
5410. Понятие, предмет и метод экономического анализа 119 KB
  Понятие, предмет и метод экономического анализа. Понятие экономического анализа Экономический анализ как наука представляет собой систему специальных знаний, базирующихся на законах развития и функционирования систем и направленных на познание м...
5411. Облік грошових коштів на рахунках у банку 29.77 KB
  Облік грошових коштів на рахунках у банку Порядок відкриття рахунків, вибір банку. Закриття рахунків клієнтів банків. Документальне оформлення банківських операцій. Синтетичний та аналітичний облік операцій на поточному рахун...
5412. Статические характеристики транзистора 684.5 KB
  Статические характеристики транзистора 1. Краткое содержание лекции Статическим называется режим, при котором в схеме отсутствуют источник сигнала и нагрузка, а присутствуют только источники питания. Входная характеристика - зависимость входн...
5413. Створення та редагування математичних та економічних формул у Word. Друк документів у WORD 44.51 KB
  Створення та редагування математичних та економічних формул у Word. Друк документів у WORD Мета: Ознайомлення із способами створення та редагування формул у Word. План лекції: MicrosoftEquation 3.0 - редактор формул. Вирівнюва...
5414. Загальна характеристика технічних засобів навчання 72.5 KB
  Загальна характеристика технічних засобів навчання. План. 1. Загальна характеристика технічних засобів статичної проекції. 2. Характеристика носіїв інформації статичної проекції. 3. Характеристика апаратури статичної проекції. 4. Методика використан...
5415. Культура на українських землях у найдавніші часи 219.5 KB
  Культура на українських землях у найдавніші часи План Культура первісного суспільства як історичний тип. Культурний розвиток первісного суспільства. Культура найдавніших державних утворень на українських землях. ...