Принципы использования моделирования

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

и ,

где в момент

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

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

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

моделирование математический познание

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

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

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

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

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

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

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

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

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

Основные соотношения

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

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

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

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

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

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

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

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

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

Аналогично, процессы в электрическом колебательном контуре описываются обыкновенным дифференциальным уравнением

где - индуктивность и емкость конденсатора; - заряд конденсатора в момент времени

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

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

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

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

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

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

Дискретно-детерминированные модели

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

Основные соотношения

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

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

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

Таким образом, работа конечного автомата происходит по следующей

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

для автомата второго рода

Автомат второго рода, для которого

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

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

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

.

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

3. Дискретно-стохастические модели

Основные соотношения

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

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

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