Методы и средства моделированмя процессов и систем

Инструментальная модель – является средством построения, исследования и/или использования прагматических и/или познавательных моделей.

Познавательные отражают существующие, а прагматические – хоть и не существующие, но желаемые и, возможно, исполнимые отношения и связи.

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

Основными требованиями к модели являются:

– наглядность построения;

– обозримость основных свойств и отношений;

– доступность ее для исследования или воспроизведения;

– простота исследования, воспроизведения;

– сохранение информации, содержавшиеся в оригинале (с точностью

рассматриваемых при построении модели гипотез) и получение новой информации.

 

2.1 Виды математических моделей. Жизненный цикл моделируемой системы.

 

Проблема моделирования состоит из трех задач:

– построение модели (эта задача менее формализуема и конструктивна, в том смысле, что нет алгоритма для построения моделей);

– исследование модели (эта задача более формализуема, имеются методы исследования различных классов моделей);

– использование модели (конструктивная и конкретизируемая задача).

Свойства модели:

– конечность: модель отображает оригинал лишь в конечном числе его отношений и, кроме того, ресурсы моделирования конечны;

– упрощенность: модель отображает только существенные стороны объекта;

– приблизительность: действительность отображается моделью грубо или приблизительно;

– адекватность: модель успешно описывает моделируемую систему;

– информативность: модель должна содержать достаточную информацию о системе

– в рамках гипотез, принятых при построении модели.

Математическая модель М описывающая систему S (x1, x2, ..., xn; R), имеет вид:

М = (z1, z2, ..., zm; Q), где zi ∈ Z, i = 1, 2, ..., n, Q, R – множества отношений над X – множеством входных, выходных сигналов и состояний системы и Z – множеством описаний, представлений элементов и подмножеств X, соответственно.

Модель включает в себя: объект О, субъект (не обязательный) А, задачу Z, ресурсы B, среду моделирования С.

Модель М называется статической, если среди xi нет временного параметра t.

Статическая модель в каждый момент времени дает лишь «фотографию» системы, ее срез.

Модель – динамическая, если среди xi есть временной параметр, т.е. она отображает систему (процессы в системе) во времени.

Модель является дискретной, если она описывает поведение системы только в дискретные моменты времени.

Модель – непрерывная, если она описывает поведение системы для всех моментов времени из некоторого промежутка времени.

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

Модель – детерминированная, если каждому входному набору параметров соответствует вполне определенный и однозначно определяемый набор выходных параметров; в противном случае – модель недетерминированная, стохастическая (вероятностная).

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

Жизненный цикл моделируемой системы

1. Сбор информации об  объекте, выдвижение гипотез, предмодельный анализ;

2. Проектирование структуры  и состава моделей (подмоделей);

3. Построение спецификаций  модели, разработка и отладка  отдельных подмоделей, сборка модели  в целом, идентификация (если это  нужно) параметров моделей;

4. Исследование модели  – выбор метода исследования и разработка алгоритма (программы) моделирования;

5. Исследование адекватности, устойчивости, чувствительности модели;

6. Оценка средств моделирования (затраченных ресурсов);

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

8. Генерация отчетов  и проектных (народно-хозяйственных) решений;

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

 

 

 

 

2.2 Операции над моделями.

 

Основными операциями используемыми над моделями являются:

1. Линеаризация. Пусть М = М(X, Y, A), где X – множество входов, Y – выходов, А – состояний системы. Схематически можно это изобразить: X ⇒ A ⇒ Y. Если X, Y, A – линейные пространства (множества), и, соответственно над ними определены линейные операторы, то система (модель) называется линейной. Другие системы (модели) – нелинейные. Нелинейные системы трудно поддаются исследованию, поэтому их часто линеаризуют – сводят к линейным каким-то образом.

2. Идентификация. Пусть М = М(X, Y, A), A = {ai}, ai = (ai1, ai2, ..., aik) – вектор состояния объекта (системы). Если вектор ai зависит от некоторых неизвестных параметров, то задача идентификации (модели, параметров модели) состоит в определении по некоторым дополнительным условиям, например, экспериментальным данным, характеризующим состояние системы в некоторых случаях. Идентификация – решение задачи построения по результатам наблюдений математических моделей, описывающих адекватно поведение реальной системы.

3. Агрегирование. Операция состоит в преобразовании (сведении) модели к модели (моделям) меньшей размерности (X, Y, A).

4. Декомпозиция. Операция состоит в разделении системы (модели) на подсистемы (подмодели) с сохранением структур и принадлежности одних элементов и подсистем другим.

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

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

7. Экспертиза, экспертное оценивание. Операция или процедура использования опыта, знаний, интуиции, интеллекта экспертов для исследования или моделирования плохо структурируемых, плохо формализуемых подсистем исследуемой системы.

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

 

 

 

 

 

3. Вычислительный эксперимент. Этапы вычислительного эксперимента.

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

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

 

3.1 Цикличность эксперимента.

 

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

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

 

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

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

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

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

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

 

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

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

 

Четвертый этап – собственно проведение расчетов на машине. На этом этапе проявляется сходство вычислительного эксперимента с реальным. Если в лаборатории экспериментатор с помощью специально построенной установки задает исследует реальную физическую модель, то специалисты по вычислительному эксперименту с помощью ЭВМ исследуют математическую. ЭВМ в процессе расчета может выдавать любую информацию, представляющую интерес для исследователя. Точность этой информации определяется достоверностью самой модели. По этой причине в серьезных прикладных исследованиях полномасштабным (или, как говорят, производственным) расчетам предшествуют тестовые расчеты. Они необходимы для того, чтобы «отладить» программу, т.е. отыскать и исправить все ошибки и опечатки, допущенные при создании алгоритма и его программной реализации. В предварительных расчетах тестируется также сама математическая модель, выясняется, насколько хорошо она описывает изучаемый класс явлений, ее адекватность реальности.