67243

Формализация и алгоритмизация информационных процессов

Лекция

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

Сущность машинного моделирования системы состоит в проведении на ЭВМ эксперимента с моделью которая представляет собой некоторый программный комплекс описывающий формально и или алгоритмически поведение элементов системы S в процессе ее функционирования т.

Русский

2014-09-06

89.5 KB

7 чел.

Лекция № 9

Формализация и алгоритмизация информационных процессов

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

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

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

Требованиями пользователя к модели M процесса функцинирования системы S являются:

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

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

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

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

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

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

7. Должно быть реализовано проведение целенаправленных (планируемых) машинных экспериментов с моделью системы с использованием аналитико-имитационного подхода при наличии ограниченных вычислительных ресурсов.

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

1.1 Концептуальные модели

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

Наиболее рационально строить модель функционирования системы по блочному принципу. Могут выделяться три автономные группы блоков такой модели:

1 группа: представляют собой имитатор воздействий внешней среды Е на систему S;

2 группа: является собственно моделью процесса функционирования исследуемой системы S; 

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

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

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

Последовательность построения концептуальной модели М, системы и ее формализации:

1. Постановка задачи машинного моделирования системы.

2. Анализ задачи моделирования системы.

3. Определение требований к исходной информации об объекте моделирования и организация ее сбора.

4. Выдвижение гипотез и принятие предположений.

5. Определение параметров и переменных модели.

6. Установление основного содержания модели.

7. Обоснование критериев оценки эффективности системы.

8. Определение процедур аппроксимации;

9. Описание концептуальной модели системы.

10. Проверка достоверности концептуальной модели.

11. Составление технической документации по первому этапу.

2. Алгоритмизация моделей

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

Процесс функционирования системы S можно рассматривать как последовательную смену ее состояний  в k-мерном пространстве. Задачей моделирования процесса функционирования исследуемой системы S является построение функций z, на основе которых можно провести вычисление интересующих характеристик процесса функционирования системы. Для этого необходимы соотношения, связывающие функции z с переменными, параметрами и временем, а также начальные условиями   в момент времени t=t0.

Существуют два типа состояний системы:

1) особые, присущие процессу функционирования системы только в некоторые моменты времени;

2) неособые, в которых процесс находится все остальное время. В этом случае функция состояния zi(t) могут изменяться скачкообразно, а между особыми – плавно.

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

«Принцип z» дает возможность для ряда систем существенно уменьшить затраты машинного времени на реализацию моделирующих алгоритмов.

Удобной формой представления логической структуры моделей процессов функционирования систем и машинных программ является схема. На различных этапах моделирования составляются следующие схемы моделирующих алгоритмов и программ:

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

Детальная схема моделирующего алгоритма содержит уточнения, отсутствующие в обобщенной схеме.

Логическая схема моделирующего алгоритма представляет собо логическую структуру модели процесса функционирования систем S.

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

Этапы алгоритмизации модели и ее машинной реализации:

1. Построение логической схемы модели.

2. Получение математических соотношении.

3. Проверка достоверности модели системы.

4. Выбор инструментальных средств для моделирования.

5. Составление плана выполнения работ по программированию.

6. Спецификация и построение схемы программы.

7. Верификация и проверка достоверности схемы программы.

8. Проведение программирования модели.

9. Проверка достоверности программы.

10. Составление технической документации по второму этапу.

3. Общая характеристика метода статистического моделирования

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

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

Метод применяется:

1) для изучения стохастических систем;

2) для решения детерминированных задач.

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

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

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

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

- входное воздействие;

- воздействие внешней среды;

и - случайные величины, для которых известны функции распределения.

Целью моделирования является оценка математического ожидания М[у] величины

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

где yi случайное значение величины у; N — число реализации мат. ожиданий, которое достаточно для статистической устойчивости результатов.

Структурная схема системы SR показана на рис. 1.

Рис. 1. Структурная схема системы SR

Здесь элементы выполняют следующие функции:

вычисление

В1, В2 на выходе

K1 и K2:

суммирование С:

извлечение квадратного корня И

Схема алгоритма, реализующего метод статистического моделирования для оценки М[у]  системы SR, приведена на рис. 2.

Здесь LA и FI функции распределения случайных величин и ;

N — заданное число реализации;

I=i — номер текущей   реализации;   

LAT = I;

FII = I;

EXP = e;

MY = М[у] ;

SY =

ВИД [...], ГЕН [...], ВРМ[...]—процедуры ввода исходных данных, генерации псевдослучайных последовательностей и выдачи результатов моделирования соответственно.

Таким образом, данная модель позволяет получить методом статистического моделирования на ЭВМ статистическую оценку математического ожидания выходной характеристики М[у]  рассмотренной стохастической системы SR. Точность и достоверность результатов взаимодействия в основном будут определяться числом реализации N.

Рис. 2. Схема моделирующего алгоритма системы SR


 

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

12574. ОПРЕДЕЛЕНИЕ КРИТИЧЕСКИХ ПАРАМЕТРОВ ДВУОКИСИ УГЛЕРОДА 342 KB
  ОПРЕДЕЛЕНИЕ КРИТИЧЕСКИХ ПАРАМЕТРОВ ДВУОКИСИ УГЛЕРОДА Отчет по лабораторной работе № 1Т ВВЕДЕНИЕ Исследование критического состояния вещества необходимо не только с прикладной точки зрения но имеет и большое теоретическое значение. Особенности поведения вещества...
12575. Измерение коэффициента гидравлического сопротивления при течении воздуха в цилиндрической трубке 228.5 KB
  ОТЧЕТ по лабораторной работе № 4м измерение коэффициента гидравлического сопротивления при течении воздуха в цилиндрической трубке введение Целью данной лабораторной работы является ознакомление с основными положениями теории подобия применительно к механик...
12576. Научный метод Ньютона и его механистическая картина мира 33.6 KB
  реферат Научный метод Ньютона и его механистическая картина мира Содержание Введение3 Сущность и причины появления механистической картины мира 4 Законы механики Ньютона их место в механистической картине мира...6 Успехи и трудности МКМ...
12577. ЗАКОН ОМА И ПРАВИЛА КИРХГОФА ДЛЯ РАЗВЕТВЛЕННЫХ ЦЕПЕЙ 342.31 KB
  Лабораторная работа №22;24. ЗАКОН ОМА И ПРАВИЛА КИРХГОФА ДЛЯ РАЗВЕТВЛЕННЫХ ЦЕПЕЙ ОПРЕДЕЛЕНИЕ УДЕЛЬНОГО ЗАРЯДА ЭЛЕКТРОНА ЛАБОРАТОРНАЯ РАБОТА № 2.2ЗАКОН ОМА И ПРАВИЛА КИРХГОФА ДЛЯ РАЗВЕТВЛЕННЫХ ЦЕПЕЙ Цель работы: изучение закона Ома и закрепление навыков ра
12578. Організація системи мерчандайзингу у виробничій/збутовій компанії 34.66 KB
  Через загострення конкуренції на ринку як продовольчих, так і непродовольчих товарів і прискоренням товарообігу кожна виробнича/збутова компанія так чи інакше замислюється про мерчандайзинг своєї продукції. Мерчандайзинг перетворюється з додаткової конкурентної переваги в обовязкову функцію служби продажу.
12579. Метод определения критической температуры Тк давления Рк для СО2 по появлению и исчезновению мениска 106.06 KB
  ВВЕДЕНИЕ Исследование критического состояния вещества необходимо не только с прикладной точки зрения но имеет и большое теоретическое значение. Особенности поведения вещества вблизи критической точки системы жидкостьпар определенным образом характеризуют структу
12580. Фармацевтический холокост - концлагерь для человечества 503.5 KB
  Прима Андрей Фармацевтический холокост концлагерь для человечества Смертельные болезни и препаратыубийцы АЗТ 2007г. Поводом к написанию этой книги послужили реальные события недавнего времени произошедшие с её и автором. Жизненная ситуация с которой он ст
12581. ИССЛЕДОВАНИЕ ХОЛОКОСТА. Глобальное видение 2.15 MB
  ИССЛЕДОВАНИЕ ХОЛОКОСТА. Глобальное видение. Материалы международной Тегеранской конференции 1112 декабря 2006 года. Минск ЗАО Христианская инициатива 2007 Исследование холокоста Глобальное видение. Материалы международной Тегеранской к
12582. Холокост. Общие сведения 402 KB
  ХОЛОКОСТ Реферат Холоко́ст англ. holocaust термин под которым сионистская пропаганда понимает систематическое уничтожение по заранее разработанному плану Германией и её союзниками в ходе Второй Мировой войны всех евреев только за то что они евреи. Теория холокост