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

Глава 2. Математические схемы моделирования  систем

 

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

2.1 Основные подходы к построению математических моделей систем

 

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

2.1.1 Математические схемы

 

       Математическую  схему можно обусловить как звено при переходе от содержательного к формальному описанию процесса функционирования системы с учетом воздействия внешней среды, т.е. имеет место цепочка «описательная модель – математическая схема – математическая [аналитическая или (и) имитационная] модель».

       Каждая  конкретная система S характеризуется  набором свойств. Под которыми понимаются величины, отражающие поведение моделируемого объекта (реальной системы). Учитывающие условия ее функционирования во взаимодействии с внешней средой (системой) Е. При построении математической модели системы необходимо решить вопрос об ее полноте. Полнота модели регулируется в основном выбором границы «система S — среда Е». Также должна быть решена задача упрощения модели, которая помогает выделить основные свойства системы, отбросив второстепенные. Причем отнесение свойств системы к основным или второстепенным существенно зависит от цели моделирования системы (например, анализ вероятностно-временных характеристик процесса функционирования системы, синтез структуры системы и т. д.).

2.1.2 Формальная модель объекта

 

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

       

совокупность  воздействий внешней среды

совокупность  внутренних (собственных) параметров системы

совокупность  выходных характеристик системы

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

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

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

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

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

       Для статических моделей математическая модель представляет собой отображение между двумя подмножествами свойств моделируемого объекта Y и {X, V, H}, что в векторной форме может быть записано как

       

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

       

 и  ,

где в момент

…, в момент и т.д.,

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

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

       

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

       

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

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

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

       

       Очевидно, что детерминированная модель является частным случаем стохастической модели.

2.1.3 Типовые схемы

 

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

2.2 Непрерывно-детерминированные модели

 

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

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

       

Где и - n-мерные векторы; - вектор-функция, которая определена на некотором -мерном множество и является непрерывной.

       Так как математические схемы такого вида отражают динамику изучаемой системы, т.е. её поведение во времени, то они  называются D-схемами ( англ.  dynamic ).

       В простейшем случае обыкновенное дифференциальное уравнение имеет вид

       

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

                            

       Рис. 1.0. Элементарные системы

       Процесс малых колебаний маятника описывается  обыкновенным дифференциальным уровнем

       

где - масса и длинна подвеса маятника; g – ускорение свободного падения; - угол отклонения маятника в момент времени

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