Классификация видов моделирования систем. Системное моделирование

Лекция 9: Классификация видов моделирования систем

Классификация видов моделирования может быть проведена по разным основаниям. Один из вариантов классификации приведен на рисунке.

Рис. — Пример классификации видов моделирования

В соответствии с классификационным признаком полноты моделирование делится на: полное, неполное, приближенное.

При полном моделировании модели идентичны объекту во времени и пространстве.

Для неполного моделирования эта идентичность не сохраняется.

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

В зависимости от типа носителя и сигнатуры модели различаются следующие виды моделирования: детерминированное и стохастическое, статическое и динамическое, дискретное, непрерывное и дискретно-непрерывное.

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

Стохастическое моделирование учитывает вероятностные процессы и события.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

В имитационном моделировании различают метод статистических испытаний (Монте-Карло) и метод статистического моделирования.

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

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

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

Комбинированное (аналитико-имитационное ) моделирование позволяет объединить достоинства аналитического и имитационного моделирования. При построении комбинированных моделей производится предварительная декомпозиция процесса Функционирования объекта на составляющие подпроцессы, и для тех из них, где это возможно, используются аналитические модели, а для остальных подпроцессов строятся имитационные модели. Такой подход дает возможность охватить качественно новые классы систем, которые не могут быть исследованы с использованием аналитического или имитационного моделирования в отдельности.

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

Структурное моделирование системного анализа базируется на некоторых специфических особенностях структур определенного вида, которые используются как средство исследования систем или служат для разработки на их основе специфических подходов к моделированию с применением других методов формализованного представления систем (теоретико-множественных, лингвистических, кибернетических и т.п.). Развитием структурного моделирования является объектно-ориентированное моделирование.

Структурное моделирование системного анализа включает:

  • методы сетевого моделирования;
  • сочетание методов структуризации с лингвистическими;
  • структурный подход в направлении формализации построения и исследования структур разного типа (иерархических, матричных, произвольных графов) на основе теоретико-множественных представлений и понятия номинальной шкалы теории измерений.

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

В структурном моделировании за последнее десятилетие сформировалась новая технология CASE. Аббревиатура CASE имеет двоякое толкование, соответствующее двум направлениям использования CASE-систем. Первое из них — Computer-Aided Software Engineering — переводится как автоматизированное проектирование программного обеспечения. Соответствующие CASE-системы часто называют инструментальными средами быстрой разработки программного обеспечения (RAD — Rapid Application Development). Второе — Computer-Aided System Engineering — подчеркивает направленность на поддержку концептуального моделирования сложных систем, преимущественно слабоструктурированных. Такие CASE-системы часто называют системами BPR (Business Process Reengineering). В целом CASE-технология представляет собой совокупность методологий анализа, проектирования, разработки и сопровождения сложных автоматизированных систем, поддерживаемую комплексом взаимосвязанных средств автоматизации. CASE — это инструментарий для системных аналитиков, разработчиков и программистов, позволяющий автоматизировать процесс проектирования и разработки сложных систем, в том числе и программного обеспечения.

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

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

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

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

Принципы и подходы к построению математических моделей

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

Принципы определяют те общие требования, которым должна удовлетворять правильно построенная модель. Рассмотрим эти принципы.

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

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

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

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

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

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

    Многовариантность реализаций элементов модели. Разнообразие реализаций одного и того же элемента, отличающихся по точности (а следовательно, и по сложности), обеспечивает регулирование соотношения «точность/сложность».

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

В зависимости от конкретной ситуации возможны следующие подходы к построению моделей:

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

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

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

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

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

Разработчики моделей находятся под действием двух взаимно противоречивых тенденций: стремления к полноте описания и стремления к получению требуемых результатов возможно более простыми средствами. Достижение компромисса ведется обычно по пути построения серии моделей, начинающихся с предельно простых и восходящих до высокой сложности (существует известное правило: начинай с простых моделей, а далее усложняй). Простые модели помогают глубже понять исследуемую проблему. Усложненные модели используются для анализа влияния различных факторов на результаты моделирования. Такой анализ позволяет исключать некоторые факторы из рассмотрения.

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

Рассмотрим один конкретный пример — модель развития экономики (модель Харрода). Эта упрощенная модель развития экономики страны предложена английским экономистом Р. Харродом. В модели учитывается один определяемый фактор — капитальные вложения, а состояние экономики оценивается через размер национального дохода.

Для математической постановки задачи введем следующие обозначения:

  • Y t — национальный доход в год t;
  • K t — производственные фонды в год t;
  • K t — объем потребления в год t;
  • K t — объем накопления в год t;
  • K t — капитальные вложения в год t.

Будем предполагать, что функционирование экономики происходит при выполнении следующих условий:

    условие баланса доходов и расходов за каждый год

    условие исключения пролеживания капитала

    условие пропорционального деления национального годового дохода

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

Капитальные вложения в год t могут рассматриваться как прирост производственных фондов или производная от функции производственные фонды принимается как капитальные годовые вложения:

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

Соединяя условия задачи, можно получить следующее соотношение:

Y t = V t /a = dK/(a⋅dt) = b/a⋅dY/dt

Отсюда следует итоговое уравнение Харрода:

Y t = b⋅dY/dt = a⋅Y

Его решением является экспоненциальное изменение национального дохода по годовым интервалам:

Y t = Y 0 ⋅e a⋅t/b

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

Этапы построения математической модели

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

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

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

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

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

    В целом замена содержательного описания формальным — это итеративный процесс.

    Проверка адекватности модели. Требование адекватности находится в противоречии с требованием простоты, и это нужно учитывать при проверке модели на адекватность. Исходный вариант модели предварительно проверяется по следующим основным аспектам:

    • Все ли существенные параметры включены в модель?
    • Нет ли в модели несущественных параметров?
    • Правильно ли отражены функциональные связи между параметрами?
    • Правильно ли определены ограничения на значения параметров?

    Для проверки рекомендуется привлекать специалистов, которые не принимали участия в разработке модели. Они могут более объективно рассмотреть модель и заметить ее слабые стороны, чем ее разработчики. Такая предварительная проверка модели позволяет выявить грубые ошибки. После этого приступают к реализации модели и проведению исследований. Полученные результаты моделирования подвергаются анализу на соответствие известным свойствам исследуемого объекта. Для установления соответствия создаваемой модели оригиналу используются следующие пути:

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

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

    По результатам проверки модели на адекватность принимается решение о возможности ее практического использования или о проведении корректировки.

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

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

Определение модели. Общая классификация основных видов моделирования.

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

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

Итак, в процессе моделирования всегда существует оригинал (объект) и модель , которая воспроизводит (моделирует, описывает, имитирует) некоторые черты объекта.

Стадии познания объекта, а также формы соответствия модели и оригинала могут быть различными:

1) моделирование как познавательный процесс, содержащий пе­реработку информации, поступающей из внешней среды, о проис­ходящих в ней явлениях, в результате чего в сознании появляются образы, соответствующие объектам;

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

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

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

Классификация видов моделирования систем

Приведем общую классификацию основных видов моделирования :

· концептуальное моделирование – представление системы с помощью специальных знаков, символов, операций над ними или с помощью естественных или искусственных языков,

· физическое моделирование – моделируемый объект или процесс воспроизводится исходя из соотношения подобия, вытекающего из схожести физических явлений;

· структурно – функциональное – моделями являются схемы (блок-схемы), графики, диаграммы, таблицы, рисунки со специальными правилами их объединения и преобразования;

· математическое (логико-математическое) моделирование – построение модели осуществляется средствами математики и логики;

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

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

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

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

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

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

Структурно-системное моделирование включает:

методы сетевого моделирования;

сочетание методов структуризации с лингвистическими (язы­ковыми);

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

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


Похожая информация.



1.2.Прикладные аспекты моделирования 13

1.3.Основные свойства модели и моделирования 18

2.Математическое и компьютерное моделирование 22

2.1. Классификация видов моделирования 22

2.2. Математическое моделирование сложных систем 24

2.3. Имитация случайных величин и процессов 27

2.4.Основы математического моделирования 28

2.5.Компьютерное моделирование 34

3.Эволюционное моделирование и генетические алгоритмы 41

3.1.Основные атрибуты эволюционного моделирования 41

3.2.Основные исследования эволюции систем 42

3.3. Генетические алгоритмы 50

4.Основы принятия решений и ситуационного моделирования 53

4.1. Основы принятия решений 53

4.2. Формализуемые решения 56

Литература 63

^

  1. Основы моделирования систем

    1. Модели и моделирование

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

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

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

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

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

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

Пример. Рассмотрим физическую систему: тело массой m скатывающееся по наклонной плоскости с ускорением a , на которое воздействует сила F .

Исследуя такие системы, Ньютон получил математическое соотношение: F = m*a. Это физико-математическая модель системы или математическая модель физической системы.

При описании этой системы приняты следующие гипотезы:


  • поверхность идеальна (т.е. коэффициент трения равен нулю);

  • тело находится в вакууме (т.е. сопротивление воздуха равно нулю);

  • масса тела неизменна;

  • тело движется с одинаковым постоянным ускорением в любой точке.
Пример. Физиологическая система (система кровообращения человека) - подчиняется некоторым законам термодинамики. Описывая эту систему на физическом (термодинамическом) языке балансовых законов, получим физическую, термодинамическую модель физиологической системы. Если записать эти законы на математическом языке, т.е. соответствующие термодинамические уравнения, то уже получаем математическую модель системы кровообращения.

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

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

Слово "модель " (лат. modelium) означает "мера", "способ", "сходство с какой-то вещью".

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

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

По уровню, "глубине" моделирования модели бывают:


  • эмпирические - на основе эмпирических фактов, зависимостей;

  • теоретические - на основе математических описаний;

  • смешанные, полуэмпирические - на основе эмпирических зависимостей и математических описаний.
Проблема моделирования состоит из трех задач:

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

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

  • использование модели (конструктивная и конкретизируемая задача).
Модель М, описывающая систему S(x 1 , x 2 , ..., x n ; R), имеет вид: М = (z 1 , z 2 , ..., z m ; Q), где z i Z, i = 1, 2, ..., n, Q, R - множества отношений над X - множеством входных, выходных сигналов и состояний системы, Z - множество описаний, представлений элементов и подмножеств X.

Схема построения модели М системы S с входными сигналами X и выходными сигналами Y изображена на рис. 1.1.

Рис. 1.1. Схема построения модели

Если на вход М поступают сигналы из X и на входе появляются сигналы Y, то задан закон (правило f функционирования модели) системы.

Моделирование - это универсальный метод получения описания функционирования объекта и использования знаний о нем. Моделирование используется в любой профессиональной деятельности

Классификацию моделей проводят по различным критериям.

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

Пример. Закон Ньютона F=a*m - это статическая модель движущейся с ускорением a материальной точки массой m . Эта модель не учитывает изменение ускорения от одной точки к другой.

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

Пример. Динамическая модель закона Ньютона будет иметь вид:

F(t)=a(t)*m(t).

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

Пример. Если рассматривать только t=0, 1, 2, …, 10 (сек), то модель S t =gt 2 /2 или числовая последовательность S 0 =0, S 1 =g/2, S 2 =2g, S 3 =9g/2, :, S 10 =50g может служить дискретной моделью движения свободно падающего тела.

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

Пример. Модель S=gt 2 /2, 0 < t < 100 непрерывна на промежутке времени (0;100).

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

Пример. Пусть модель экономической системы производства товаров двух видов 1 и 2, в количестве x 1 и x 2 единиц и стоимостью каждой единицы товара a 1 и a 2 на предприятии описана в виде соотношения:

A 1 x 1 + a 2 x 2 = S,

Где S - общая стоимость произведенной предприятием всей продукции (вида 1 и 2). Можно ее использовать в качестве имитационной модели , по которой можно определять (варьировать) общую стоимость S в зависимости от тех или иных значений объемов производимых товаров.

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

Пример. Приведенные выше физические модели - детерминированные. Если в модели S = gt 2 / 2, 0 < t < 100 мы учли бы случайный параметр - порыв ветра с силой p при падении тела:

S(p) = g(p) t 2 / 2, 0 < t < 100,

То мы получили бы стохастическую модель (уже не свободного!) падения.

Модель функциональная , если она представима в виде системы каких- либо функциональных соотношений.

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

Пример . Пусть задано множество X = {Николай, Петр, Николаев, Петров, Елена, Екатерина, Михаил, Татьяна} и отношения: Николай - супруг Елены, Екатерина - супруга Петра, Татьяна - дочь Николая и Елены, Михаил - сын Петра и Екатерины, семьи Михаила и Петра дружат друг с другом. Тогда множество X и множество перечисленных отношений Y могут служить теоретико-множественной моделью двух дружественных семей.

Модель логическая , если она представима предикатами, логическими функциями.

Например, совокупность двух логических функций вида:

Z = x y x y, p = x y

Может служить математической моделью одноразрядного сумматора.

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

Пример. Пусть игрок 1 - добросовестный налоговый инспектор, а игрок 2 - недобросовестный налогоплательщик. Идет процесс (игра) по уклонению от налогов (с одной стороны) и по выявлению сокрытия уплаты налогов (с другой стороны). Игроки выбирают натуральные числа i и j (i, j n), которые можно отождествить, соответственно, со штрафом игрока 2 за неуплату налогов при обнаружении факта неуплаты игроком 1 и с временной выгодой игрока 2 от сокрытия налогов. Рассмотрим матричную игру с матрицей выигрышей порядка n. Каждый элемент этой матрицы A определяется по правилу a ij = |i - j|. Модель игры описывается этой матрицей и стратегией уклонения и поимки. Эта игра - антагонистическая.

Модель алгоритмическая , если она описана некоторым алгоритмом или комплексом алгоритмов, определяющим ее функционирование, развитие.

Нужно помнить, что не все модели могут быть исследованы или реализованы алгоритмически.

Пример. Моделью вычисления суммы бесконечного убывающего ряда чисел может служить алгоритм вычисления конечной суммы ряда до некоторой заданной степени точности. Алгоритмической моделью корня квадратного из числа x может служить алгоритм вычисления его приближенного сколь угодно точного значения по известной рекуррентной формуле.

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

Например, структурной моделью может служить описание (табличное, графическое, функциональное или другое) структуры экосистемы.

^ Модель графовая , если она представима графом или графами и отношениями между ними.

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

Пример. Для решения задачи нахождения маршрута в дереве поиска можно построить, например, древовидную модель (рис. 1.2 ):

Рис. 1.2. Модель иерархической структуры

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

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


^ Таблица работ при строительстве дома

№
Операция

Время выполнения (дни)

^ Предшествующие операции

Дуги графа

1
Расчистка участка
1
нет
-

2
Закладка фундамента
4
Расчистка участка (1)
1-2

3
Возведение стен
4
Закладка фундамента (2)
2-3

4
Монтаж электропроводки
3
Возведение стен (3)
3-4

5
Штукатурные работы
4
Монтаж электропроводки (4)
4-5

6
Благоустройство территории
6
Возведение стен (3)
3-6

7
Отделочные работы
4
Штукатурные работы (5)
5-7

8
Настил крыши
5
Возведение стен (3)
3-8

Сетевая модель (сетевой график) строительства дома дана на рис. 1.3.

Рис. 1.3. Сетевой график строительства работ

Две работы, соответствующие дуге 4-5, параллельны, их можно либо заменить одной, представляющей совместную операцию (монтаж электропроводки и настил крыши) с новой операцией длительностью 3+5=8, либо ввести на одной дуге фиктивное событие.

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

Иногда такие модели называют вербальными, синтаксическими.

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

Пусть B - множество производящих основ существительных, C - множество суффиксов, P - прилагательных, "+" - операция конкатенации слов, ":=" - операция присваивания, "=>" - операция вывода (выводимости новых слов), Z - множество значений (смысловых) прилагательных. Языковая модель M словообразования:

= + <с i >. При b i - "рыб(а)", с i - "н(ый)", получаем по этой модели p i - "рыбный", z i - "приготовленный из рыбы".

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

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

^ Модель натурная , если она есть материальная копия объекта моделирования .

Например, глобус - натурная географическая модель земного шара.

^ Модель геометрическая , графическая, если она представима геометрическими образами и объектами.

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

^ Модель клеточно-автоматная , если она представляет систему с помощью клеточного автомата или системы клеточных автоматов.

Клеточный автомат - дискретная динамическая система, аналог физического (непрерывного) поля. Клеточно-автоматная геометрия - аналог евклидовой геометрии. Неделимый элемент евклидовой геометрии - точка, на основе ее строятся отрезки, прямые, плоскости и т.д.

Неделимый элемент клеточно-автоматного поля - клетка, на основе её строятся кластеры клеток и различные конфигурации клеточных структур. Представляется клеточный автомат равномерной сетью клеток ("ячеек") этого поля. Эволюция клеточного автомата разворачивается в дискретном пространстве - клеточном поле.

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

В последнее время они широко используются при моделировании не только физических, но и социально-экономических процессов.

Почему мы не моделируем свою жизнь? Ведь моделируют же самолеты, гоночные болиды и космические аппараты… Во всех областях, где присутствует фактор неизвестности, риск гибели большой ценности присутствует предварительное моделирование. Разве наша жизнь не самая большая наша ценность? Да! Но…как моделировать жизнь?

Для того, чтобы эффективно моделировать жизнь и получать нужные изменения Александр Зелинский объединил многие знания в один очень эффективный и понятный в освоении и использовании инструмент Системное моделирование.

Что такое Системное Моделирование?

Системное моделирование — это новейший метод анализа и моделирования человеческих систем, аналога которому не существует; это сплав трёх мощных инструментов: системной феноменологии, теории решения изобретательских задач и нейро-лингвистического программирования.

В основу метода легли работы таких ученых, как Эдмунд Гуссерль, Жиль Делез, Якоб Леви Морено, Берт Хеллингер, Милтон Эриксон, Ричард Бендлер, Джон Гриндер, Генрих Альтшуллер, Авенир Уемов и могих других.

Александр Васильевич Зелинский в течении почти 15 лет собирал воедино то, что сегодня называем методом Системного Моделирования энерго-информационных процессов.

Моделируя те или иные ситуации и аспекты своей жизни Вы узнаете:

    Как понять свою уникальность, таланты и предназначение?

    Как получить быструю и полную информацию о причинах возникновения проблем и событий вашей жизни?

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

Основы системного моделирования, основные постулаты

Александр Зелинский

Системное моделирование обладает:

— универсальностью, т.е. может быть применен к любым системам;

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

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

Классификация моделей.

Определенная. М. строится из элементов имеющих определенное значение. Например — папа, мама, брат, сестра и тд и тп. Семейные расстановки.

Неопределенная. М. строится из неопределенных элементов. Например — «чудо», «цель», «препятствие». То есть, некое «чудо» как то,что для разных людей имеет собственное представление, значение. Структурные расстановки, кармические, астрологические, именные, симптомные и все множество моделей состоящие из «неопределенных» элементов. В СМ все «модальные триады».

Произвольная. М. строится из элементов «произвольного» значения. Например — модель «да — нет», «без запроса», назначение без определения.

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

1. Каждый элемент (объект) Системной Модели содержит всю полноту информации (содержания) (смысла), является абстрактным элементом, преобразователем симметрии, обозначающим некую вещь, отношение, состояние, процесс перемен, переход. То есть, любую категорию. (что такое преобразователь симметрии? Определение, описание).

Понятие симметрии в СМ. (Есть два элемента и связь между ними — симметрия в равноправии обоих. Полярность в разности точек восприятия, описания. Симетрия — все элементы одной категории, например «гнев», полярность — каждый элемент некий свой процесс преобразования «гнева»)

2. Универсальность. Конструктивность. Модель состоит (собирается) из разных элементов. Например различные виды расстановок это модель из элементов одной категории. Семейная — элементы род, семья, люди. Выбор элементов определяется «темой», задачей моделирования.

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

4. Иерархичность системы определяется первоночальным элементом где полностью отсутствует информация или полностью есть вся информация непроявленная — пространство где еще не развернута модель. Не проявленны элементы как объекты. Пространство без элемента. Один элемент — проявление состояния и связи с пространством.

5. Разворачивание (распаковка) модели как переход от одного состояния симметрии-полярности к другому. в результате воздействия элементов (процессов, вещей, состояний) самих на себя, а значит имеет нелинейный характер. И описывается (читается) как спонтанное раскрытие Смысла. Каждое значение имеет двойственное преобразование (значение) с одной стороны — развивается (изменяется), с другой стороны — сохраняется (стабилизируется). Ничто в нечто и нечто в ничто.

6. Идентификация каждого знака (обьекта) в модели осуществляется через контекст. «Чтение» как люди, отношения, действия, способности, убеждения.

7. Модель не является «строгой» системой и «читается» как текст и поэтому допускает вольное оброщение с понятиями. То есть свободный переход между контекстами и уровнями описание смысла.

8. Первое в модели проявляется информация не имеющая пространственных и временных критериев. Информация как Смысл «вообще».

9. Пространство и время проявленны в модели одномоментно, но если мы «читаем» пространство, то модель распаковывается, описывается через объекты. Если мы рассматриваем модель как время, то мы разворачиваем стратегию как смену состояний. как течение времени. Если есть пространство, то нет времени и наоборот, если есть время нет пространства. Пространство протяженно и одномоментно. Время дискретно и последовательно.

Пространство показывает какие состояния объект чувствует когда окружение чувствует «свои» состояния. С большим количеством заместителей мы можем видеть какое состояние элемента есть результирующая состояний всех остальных элементов. Модель показывает пределы преобразований доступных моделируемому пространству. Категория «счастье» смоделированная из 5 элементов может показать 5 состояний системы как процесс, как стратегия. Но как пространство состояние любы х4 элементов проявляются как состояние 5 -того. Когда Х переживает С3 то в его окружении есть объекты в состояниях с1, с2, с4 и с5. И тогда это его понимание и представление о «счастье». То есть для Х счастье с одной стороны многообразно, а с другой только в этих жестких рамках окружающего пространства. Счастье как пять возможных состояний, но при условии что есть четыре объекта в своих «правильных» состояниях. Четыре состояния это то что случилось, а пятое это то что произошло!

10. Смена состояний есть событие, то есть Промежуток между двумя состояниями — действие.

11. Смысл это взаимосвязь двух и более элементов. Прямая связь, от Х к У, описывает смысл как процесс то, что порождает систему. Рождение, время, запуск. Обратная связь от У к Х описывает противоположный смысл (анти-смысл) как результат, как анти-систему. Смерть, пространство, сохранение.

Проблемама проявляется когда процесс воспринимается (превращается в) как результат. Номинализация.

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

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

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

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

Системное моделирование, как инструмент исследующий процесс преобразований.

Моделирование систем преобразования позволяет видеть время как процесс и пространство как окружение. (источник www.srez.info)

Основным методом изучения сложных систем и процессов, лежащим в основе системного анализа, является метод моделирования. Сущность метода заключается в том, что создается модель
исследуемой системы, с помощью которой и изучается процесс функционирования реальной системы. Заметим, что термин “модель” в настоящее время широко используется как в научном языке, так и в житейской практике, причем в разных ситуациях в него вкладывается различный смысл.

Неоднозначную трактовку имеет понятие модели и в научной практике, вследствие чего общее определение этого понятия опять-таки (как и в случае определения термина “система”) дать, в сущности, невозможно. В данном случае моделирование интересует нас только как метод научного познания, а модель соответственно - как средство научного познания. В связи с этим сделаем следующие замечания.

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

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

Метод моделирования как метод научного познания имеет историю, исчисляемую тысячелетиями. Академик Н.Н. Моисеев в связи с этим замечает: “Есть одно обстоятельство, которое лежит в основе любого процесса познания: мы можем оперировать только с моделями, изучать только модели, независимо от того, какой язык мы используем - русский, французский или язык математики.

Наши знания всегда относительны, всегда являются отражением тех или иных черт реальной действительности, всегда являются ее моделью” (Моисеев Н.Н. Математика ставит эксперимент. - М.: Наука, 1979. -С.33.).

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

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

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

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

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


Рис. 1.1. Классификация моделей

Идеальные модели связаны с использованием каких-либо символических схем (графических, логических, математических и др.). Для нас наиболее важны математические модели,
отображающие исследуемые объекты с помощью логико-матема-тических символов и соотношений. Существуют определения математических моделей, использующие понятия изоморфизма и гомоморфизма. Мы их здесь приводить не будем.

Математические модели имеют свою классификацию.

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

Имитационное моделирование, начиная с 60-х гг., широко применяется в научных исследованиях как в нашей стране, так и за рубежом (в нашей стране такие исследования впервые стали проводить в Вычислительном центре Российской Академии наук). В 1972 г. академиком Н.Н. Моисеевым и его сотрудниками было введено понятие имитационной системы, под которой понимается совокупность системы моделей (основной и вспомогательных), банка данных (общего источника информации) и средств проведения имитационных экспериментов, включающих в свой состав соответствующее математическое обеспечение всего процесса имитационного экспериментирования.

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

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

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

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

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

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

В заключение рассмотрим некоторые вопросы, связанные с моделированием сложных процессов. Существует еще одно определение этого понятия: сложным процессом считают процесс, модельное описание которого недоступно технологии математического моделирования (аналитического) при современном уровне ее развития. Здесь единственно возможным методом изучения таких процессов является имитационное моделирование.

Рис. 1.2. Схема построения математических моделей

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

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

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

Все сказанное мы будем использовать при изучении процессов функционирования ГПС и РСЧС.