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


 

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

59734. Інсценівка для дітей. На лісовій галявині 40.5 KB
  На сцені розкладені вирізані з паперу квіти, на кожній квіточці — цукерка. Це галявина. На галявину вибігає дівчинка, одягнена в одяг жовто-брунатного кольору, на голові великий жовтий бант. Це — Бджілка. В руці кошик. Вона побачила квіти і (почала збирати цукерки-нектар).
59735. Олександр Олесь «Печенізька облога Києва» 34.5 KB
  Олександр Олесь Печенізька облога Києва. Виразне читання поезії Олександра Олеся Печенізька облога Києва. Розкажіть про становище Києва в облозі.
59736. Разработка приложения, поддерживающего диагностику электрических линий и устройств для легковых автомобилей 8.07 MB
  При современном развитии техники и технологии идет непрерывный процесс совершенствования как самой продукции, так и средств ее производства. Появляются новые системы САПР и модернизируются старые, максимально упрощая путь от идеи до готового изделия
59737. Сценарій до свята Святого Миколая 46 KB
  Ангел: Як же Миколай святий Знайде стежку до дітей Вітер вбігає з метлою: Не турбуйтесь слуги Божі Вітер радо вам поможе. Виходять з санчатами Яринка та Тарасик Яринка: Чом Тарасе не видати Ні одного агеляти Ні дзвіночків не чувати Може Миколай Святий...
59738. Свято Миколая – вірші, оповідання, пісні, народні звичаї та прикмети 45.5 KB
  Листопад Біла молитва братика Хто він той святий Миколай гість з неба на которого так чекають діти Легенда опівадає що у дитинстві а ріс Миколай у заможній родині горнувся хлопчик до бідних нужденних скривджених голодних та калік. Святий Миколай лужком бережком.
59739. Новела М.Хвильового Я (Романтика) 46 KB
  Дослідити образну систему новели, проблематику, стилістичні особливості та ідейний зміст для досягнення розуміння учнями світоглядних позицій автора та ствердження гуманістичних ідей твору на противагу антигуманним.
59740. Основные типы отношений в системе: иерархические и синтагматические, парадигматические 23.5 KB
  Синтагматические отношения – отношения сочетаемости, устанавливающиеся между однотипными единицами в речевой цепи, отношения, в кот. вступает яз. единица при совпадении ее признаков с аналогичными ед.; отношения линейной связи.
59741. Сценарій уроку: Свято Матері 42.5 KB
  Шановні гості Дорогі діти батьки Вітаємо Вас з Святом Матері Мати. ВЕДУЧА II: У травні коли прокидається від сну природа коли дзвенить у блакиті пташиний спів коли травами і квітами замаїться земля теплий весняний вітер приносить до нас Свято Матері.
59742. Сценарій уроку Масляна 38.5 KB
  Тиждень перед Великоднім постом називається Масляна. Щодня жінки, молодь і діти гуляли, пригощались варениками з сиром. Набиралися сил перед довгим постом. Молодь збиралась на вечорниці і гуляла до ранку (досвітки).