Сайт в помощь студенту Грамоте учиться – всегда пригодится


Скачать реферат полностью

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

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

3.1. Математические модели элементов

            Математические модели широкого класса детерминированных объектов (при описании которых влияние случайных факторов не учитывается), функционирующих в непрерывном времени, описываются чаще всего дифференциальными уравнениями в обыкновенных или частных производных.
Детерминированные объекты, функционирующие в дискретном времени, описываются математическими моделями, сводящимися к различным типам конечных автоматов.
Автомат можно представить как некоторое  устройство (черный ящик), на которое подаются дискретные входные воздействия (сигналы) и с которого снимаются дискретные выходные воздействия; оно имеет также некоторые внутренние состояния. Автомат функционирует в дискретном автоматном времени, моментами которого являются такты, т.е. примыкающие друг к другу равные интервалы времени, каждому из которых соответствуют постоянные значения входного и выходного сигналов и внутренние состояния. Обозначим состояние, а также входной и выходной сигналы, соответствующие t-тому такту при t = 0,1,2,… через z(t), x(t), y(t). При этом, по условию z(0) = z0, az(t)Z, x(t)X, y(t)Y. Абстрактный конечный автомат имеет один входной и один выходной каналы. В каждый момент t = 0,1,2,…дискретного времени автомат находится в определенном состоянии z(t) из множества Z состояний автомата, причем в начальный момент времени t = 0 он всегда находится в начальном состоянии z(0) = z0. Конечным автоматом называется такой автомат, у которого множества входных сигналов, состояний и выходных сигналов являются конечными множествами. Абстрактно конечный автомат представляет собой математическую схему, характеризующуюся 6 элементами:

  1. конечным множеством Xвходных сигналов (входной алфавит);
  2. конечным множеством Zвнутренних состояний (алфавитом состояний);
  3. конечным множеством Y (выходным алфавитом);
  4. начальным состоянием z0;
  5. функцией переходов ? (x,z);
  6. функцией выходов (z,y).

В момент t, будучи в состоянии z(t-1), автомат способен воспринять на входном канале сигнал x(t)X  и выдать на выходном канале сигнал y(t) = [z(t-1),x(t)], переходя в состояние z(t) = [z(t-1),x(t)], z(t)Z, y(t)Y. Сказанное выше можно описать следующими уравнениями: для автомата, называемого автоматом Мили