Для построения формальных моделей отдельных подсистем, а иногда и системы в целом, средствами подсистемы моделирования должна быть решена определенная последовательность задач обработки различной информации.
На первом этапе осуществляется изучение ЛПР исследуемой системы как объекта системного анализа. При этом решаются задачи сбора, обработки и оценивания количественной и семантической информации об ИС, а также технологические и информационные воздействия как на процессы получения информации, так и на ИС. В результате намечаются пути построения формальной модели объекта, организации процесса сбора и обработки количественной и семантической информации, т.е. апостериорной информации, которая будет основой для анализа его функционирования и оценки близости формальной модели исследуемому объекту.
Сбор количественной и качественной информации направлен на получение наиболее информативных выборок измеряемых переменных и параметров ИС. Сбор семантической информации направлен на получение субъективной информации от экспертов, имеющих большой практический опыт изучения ИС. В некоторых случаях с целью повышения качества апостериорной информации на объект выдаются специальные воздействия, которые реализуются в виде управляющих воздействий на объект и процесс сбора количественной и семантической информации об ИС.
На втором этапе решаются задачи количественного и семантического анализа, подготовки принятия решений по целенаправленному управлению системой натурных испытаний. Полученные в результате анализа данные являются исходными для решения комплекса задач моделирования и управления различными подсистемами ИС.
Задачи семантического анализа предназначены для повышения ценности семантической информации либо путем сопоставления с нею известных нечетких подмножеств, либо путем нахождения предикатов, которые становились бы истинными при данных семантических значениях. Существующая количественная информация, преобразованная в семантический вид путем "размывания" или приведения к предикатному виду, может служить, наряду с неформализованной семантической информацией и информацией о состоянии технологических составляющих, основой для решения задач моделирования и управления подсистемами ИС. Определяющей при этом является формальная модель, являющаяся частью модели знаний, построенной по результатам изучения информации об ИС и хранимая в базе знаний (БЗ).
В рамках семантического анализа должны решаться такие задачи: нечеткого, логического или лингвистического, качественного моделирования и оценивания; размывания неточной количественной информации; перевода количественной информации в предикатную форму; перевода семантической информации в лингвистическую форму и др.
Основными задачами количественного анализа и управления являются следующие: размещение источников экспериментальной информации (наблюдений за поведением процессов); управление измерениями; оценивание параметров; моделирование, оценивание и прогнозирование состояний параметров и процессов. Результаты решения таких задач используются в качестве исходной информации другими задачами либо имеют самостоятельное значение.
На третьем этапе осуществляется согласование разнородной информации (количественной и семантической), извлекаются знания и данные, строятся формальные модели. Согласование разнотипной информации может быть осуществлено двумя путями.
Первый путь заключается в построении многоуровневой, формальной модели, каждый уровень которой определяется одним типом информации, а число уровней - числом типов информации. В общем случае модель может быть трехуровневой: первый уровень составляет продукционная (лингвистическая) модель, отражающая поведение моделируемой системы в среде семантической информации; второй уровень - логические модели, отражающие поведение системы в среде количественных, неточно измеряемых (в шкалах интервалов, порядков и т.п.) переменных и некоторых качественных переменных; третий уровень - функциональные модели, отражающие поведение системы в среде количественных переменных, измеряемых с достаточной точностью в количественных шкалах (абсолютной, разностной, отношений и т.п.).
Второй путь заключается в увязывании указанной разнородной информации и приведении ее к одному виду. Для решения этой задачи должно осуществляться ее представление в некоторой универсальной форме с применением лингвистических переменных либо предикатов.
Таким образом, процесс системного анализа ИС средствами подсистемы моделирования заключается в последовательном выполнении следующих операций:
- предварительная обработка наблюдаемой информации о ИС;
- моделирование процессов, имеющихся в ИС;
- адаптирование полученных моделей к реальным условиям функционирования ИС.
В результате в базе знаний размещается модель функционирования исследуемой системы, которая в общем виде представляет собой кортеж
,
(14)
где
Т=[t0,
tf]
- интервал наблюдения, -
пространство входных воздействий
xj(t),
такое, что любой их набор (вектор), реализуемый в момент времени
tÎT,
задается точкой x(t)
в пространстве Xm;
-
пространство выходных воздействий
yi(t),
набор которых в момент времени
tÎT
отображается точкой
y(t)
в пространстве Yn;
XT
и YT
– входной и выходной процессы, соответственно:
,
;
-
пространство состояний g(t)
системы;
-
процесс изменения состояния системы в пространстве
Gv;
P,
S
– операторы выхода и перехода, соответственно.
По своему смыслу состояние g(t0) представляет собой совокупность существенных свойств (характеристик) системы, знание которых в настоящем ( в момент t0 ) позволяет определить ее поведение в будущем (в момент времени t>t0). В общем случае состояние задается набором характеристик, не обязательно количественных. Состояние пациента поликлиники, например, описывается набором числовых данных (температура, артериальное давление, частота пульса и др.) и качественных характеристик (утомляемость, одышка, головокружение и др.). Для технических систем состояние может включать скорость, ускорение в пространстве Gv, характеристики сырья (цвет, прозрачность и др.). Включение состояний в модель (14) вызывается необходимостью достижения требуемой точности отображения функционирования системы. Приближенные модели типа “вход-выход” не содержат вектора состояний:
,
(15)
в отличие от них модели типа “вход-выход-состояние” имеют вид:
(16)
Обычно вектор
x(t)
может быть разбит на два вектора
меньшей размерности
x(t)
=[w(t),
u(t)],
где
w(t)=[w1(t),
…, wp(t)]
– вектор неуправляемых входных
воздействий; u(t)=[u1(t),…,
uq(t)]
– вектор управляемых входных
воздействий, с помощью которых можно целенаправленно изменять состояние
системы. То есть -
пространства неуправляемых и управляемых входных воздействий.
Операторы
P,
S
должны удовлетворять основному требованию: они должны давать
возможность определять как траектории
GT и
YT
целиком, так и любые фрагменты
этих траекторий. То есть они должны обладать
способностью определять выходное воздействие
y(t1)
в конечный момент времени произвольного интервала
[t0,t1]ÎT.
Обычно для этого интервал [t0,t1]
разбивается точкой
t
на два
подынтервала [t0,t]
и
[t,t1].
Подынтервал
[t0,t]
используется для нахождения
g(t)
по начальному состоянию
g(t0)
и фрагменту входного процесса .
Затем на интервале [t,t1]
по состоянию
g(t)
и фрагменту
определяется
искомое значение
y(t1).
Аналогично определяется и состояние
g(t1)
системы в конечной точке интервала
[t0,t1].
Модель функционирования ИС должна обеспечивать прогнозирование процесса функционирования на всем интервале времени Т по заданному вектору начального состояния g(t0) и входному процессу ХТ. Для решения этой задачи достаточно задать множества T,X,Y,G, пространства Xm,Yn,Gv, операторы выхода P и перехода S. Если все составляющие в (14) известны, модель полностью определена и может быть использована для принятия решения. Никаких ограничений на характер или природу процессов XT,YT,GT модель (14) не накладывает и потому может использоваться для формализации систем без предыстории произвольной природы и назначения.
Таким образом, в результате обработки имеющейся информации методами системного анализа подсистемой моделирования вырабатываются:
- знания об ИС, используемые в качестве основы ИСППР и для синтеза управляющих подсистем;
- рекомендации по применению различных методов для разных условий функционирования ИС;
- рекомендации по выбору структуры подсистем и по проектированию их элементов;
- рекомендации по количественным, качественным и временным характеристикам принимаемых решений.