Агрегативные модели функционирования БСУ.

Общая модель функционирования

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

Множество моментов времени t, в которые рассматривается функционирование системы, обозначим Т. Множество Т является подмножеством множества действительных чисел и может быть непрерывным, дискретным (конечным или счётным) или дискретно-непрерывным.Функционирование системы во времени рассматривается как процесс перехода системы из состояния в состояние. Прежде необходимо определить множество состояний Z. Возможны различные способы определения состояний:

A. Состояние системы определяется как совокупность состояний элементов системы. Если элементы системы могут находиться в 2-х состояниях, то система из n элементов может находиться в одном из состояний. Так определяется состояние дискретных автоматов в ВТ, сложных систем при анализе надёжностных характеристик, кодирующих и декодирующих преобразователей в технике передачи данных и др. Таким образом, , где z-дискоетно.

B. Состояние системы характеризуется некоторым целым неотрицательным числом z (z =0, 1, 2, 3, …). Так определяется состояние при анализе сложных информационных систем с одной фазой обслуживания.

-- число задач, запросов, находящихся в системе (на обслуживании либо в очереди).

Состояние системы описывается набором целых неотрицательных чисел:

,

где -- число требований в -й фазе; -- число фаз.

Описание динамики многофазных, многоэтапных систем типа телеавтоматических систем массового обслуживания.

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

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

Состояние рассматриваемой БСУ описывается некоторым набором характеристик , где -- заданные множества, а множество возможных состояний БСУ определяется как прямое произведение множеств :

-- пространство состояний системы.

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

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

-- входной сигнал,

-- дискретное или непрерывное множество.

-- пространство входных сигналов,

входной сигнал -- точка пространства с координатами .

Множество входных сигналов ; при этом -- означает отсутствие сигнала в момент .

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

Система способна выдавать выходные сигналы , где -- множество сигналов.

Выходной сигнал в момент обозначим .

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

Аналогично -- выходной процесс.

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

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

Различают 2 класса БСУ без последействия:

Детерминистические

Стохастические

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

Оператор переходов определяет динамику переходов системы из состояния в состояние:

, где

-- начальное состояние, ;

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

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

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

Траектория системы является проекцией фазовой траектории на пространство . Оператор переходов должен удовлетворять следующим двум основным условиям:

;

, где и есть результат сочленения входных процессов и .

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

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

.

Оператор из ставит в соответствие определенный элемент (пространства состояний).

Однако, на выходе может быть (отсутствие выходного сигнала в момент ).

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

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

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

;

,

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

При этом, если и фиксированы, то стохастическая система называется системой со случайными начальными состояниями;

Если и фиксированы, то стохастическая система называется системой со случайными переходами;

Если и фиксированы, то стохастическая система называется системой со случайными выходами;

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

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

Такой подход во построении моделей функционирования систем разработан А.П. Бусленко (агрегативный подход).

Лекция 1. Управление в больших системах