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

задачи. Начнем с общей формулировки задачи.

4.2.2.1. Формализация исходных данных

Пусть задано множество объектов или явлений

W ={w1 , w2 ,....,wl };

(например, W=самолеты, а w1 -пассажирский самолет Ту-154 , w2 -

военно-транспортный самолет АН-12, w3 - истребитель МИГ-29 и т.д.).

Введем множество из r возможных вариантов разбиения этих объектов W

на классы (варианты алфавита классов)

A ={A1, A2, ..., Ar}

(например, A1 - 2 класса - пассажирские, военные (m1 =2); A2 -5

классов - истребители, бомбардировщики, штурмовики, пассажирские, военно-

транспортные (m2 =5) )

Таким образом, с учетом возможного отказа от решений в каждом

варианте множество объектов W подразделяется на свое число классов:

в варианте A1 - на (m1 +1) классов;

в варианте A2 - на (m2 +1) классов;

...........................................................

в варианте Ar - на (mr +1) классов.

Иными словами здесь мы располагаем r алфавитами классов.

В соответствии с вариантом алфавита классов (As) исходные объекты

(явления) разбиваются на ms "решающих" классов

W = {W(1/As ), W(2/As ), W(3/As ),....... , W(ms /As )},

где естественно "1", "2",..... - номера классов; As - вариант

алфавита классов, где s=1,2,....,r.

Например:

W(1/As ) = {W1 ,W2 ,..Wk }; W(2/As ) = { Wk+1 ,Wk+2 ,..,Wl }

и т.д.

Таким образом, мы располагаем подмножествами классифицированных

объектов.

Если при этом располагаем априорным словарем признаков

_

X = { x1 , x2 , ..., xn },

и притом размеры указанных подмножеств классифицированных объектов таковы,

что соответствующие выборки признаков представительны (в каждом классе

достаточное в статистическом смысле число объектов),то тогда тем или иным

способом может быть проведено описание каждого из классов на языке этого

словаря.

В детерминированном случае это достаточно просто. Каждый класс имеет

свои эталоны со своими характеристиками как наборами параметров,

представляющих собой признаки распознавания:

Xik [W(j/As )],

__

где i = 1,n - число признаков распознавания;

__

j = 1,m - число классов;

___

k = 1,Nэj - число эталонов в j-том классе.

При статистическом подходе (вероятностные признаки и вероятностная

СР) описание это:

- априорные вероятности классов P[W(i/As )];

_

- функции условных ПРВ f{X/[W(i/As )]};

Если же объем выборок объектов по подмножествам недостаточен для

непосредственного описания классов, то эти описания, как мы знаем, могут

быть получены с помощью процедуры обучения.

Наличие описаний классов уже позволяет определять решающие правила

(решающие границы), использование которых обеспечивает минимизацию ошибок

при распознавании неизвестных объектов.

Если бы не было ограничений на величину ресурсов, ассигнуемых на

построение СР, а именно на создание измерительных средств, предназначенных

для определения признаков, то можно было бы считать, что как алфавит

классов, так и словарь признаков определены и можно приступать к

построению системы.

Реально при создании сложных систем не бывает без указанных

ограничений. При этом, когда речь идет об ограничениях, это не

обязательно финансовые ограничения. Достаточно часто в качестве таковых

могут выступать ограничения на быстродействие, память и т.п.

4.2.2.2.Выигрыш распознавания и оптимизация алфавита классов и словаря

признаков в условиях ограничений

В условиях ограничений на создание или использование средств

измерений (а равно - средств получения признаков распознавания) оказывается

естественной невозможность использования всех признаков. Поэтому для

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

мощности с вектором признаков X:

_

V ={v1 ,v2 ,...,vn },

компоненты которого vj равны 1, если данный признак априорного словаря

используется в рабочем и 0 в противном случае. Этот вектор носит название

вектора отбора.

Располагая стоимостями измерения каждого j-го признака Сj , имеем

общие затраты на реализацию априорного словаря признаков

Сапр =[pic]

Для рабочего словаря будем иметь

Сраб =[pic]

При наличии конкретной величины ассигнованных ресурсов (C0 ) на

создание СР ограничения, о которых идет речь, формализуются в виде

следующего неравенства

С0 >=[pic]

Если в конечном итоге интересоваться вектором отбора, то возникает

следующая экстремальная задача:

в пределах выделенных ассигнований на создание СР (C0) еобходимо

найти такое пространство признаков, при котором обеспечивается

максимальное значение некоторого критерия эффективности СР.

Здесь речь идет не только о словаре признаков, но и об алфавите,

учитывая выясненную связь между ними. Действительно, если мы будем

уменьшать число признаков, то придется уменьшить и число классов.

Обращая внимание на тот факт, что без критерия эффективности такая

задача не решается, введем его.

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

следует руководствоваться при выборе показателя эффективности:

1) показатель эффективности должен характеризовать систему как

единое целое.

2) показатель эффективности должен обеспечивать возможность

получения количественной оценки с требуемой достоверностью.

3) область изменения показателя эффективности должна иметь четко

очерченные границы.

На поверхности понимания стоящей перед нами задачи в качестве

единого показателя для всей системы лежит вероятность правильного

распознавания.

Однако, такой выбор несколько расходится с пониманием цели создания СР

- выработкой управляющих решений. Поэтому и критерий должен

характеризовать выигрыш, достигаемый от принятия решения как ответных

действий на распознавание.

Составляющими такого выигрыша от применения СР являются частные

выигрыши от отнесения неизвестного объекта к тому или иному классу.

Обозначим такую составляющую в i-ом классе s-ого варианта алфавита

классов так:

Gs [W(i/As )].

Что же такое "выигрыш"? Что можно выиграть в управляющем решении?

Рассмотрим в общем виде два примера:

1) В экономике по результатам распознавания ситуации может

быть принято такое решение, которое обеспечит максимальную прибыль. А

может быть и такое решение, которое даст меньшую прибыль или вообще

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

величина выигрыша зависит от того, насколько не только правильно, но и

детально распознана ситуация. Если класс, к которому она отнесена

достаточно широк, то трудно ожидать большого выигрыша. Если же детализация

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

то можно ожидать большую отдачу от принятого решения.

2) В военном деле мы можем иметь дело с отнесением к классу

опасных не только боевых частей (БЧ) ракет, но и ложных целей (ЛЦ), их

имитирующих. При этом вынуждены будем обстрелять (а это и есть решение по

результатам распознавания) и БЧ и каждую ЛЦ. В этом случае мы имеем

проигрыш, измеряемый ценой ПР и затратами на их пуски. Если же мы все-

таки часть ЛЦ распознаем и отнесем к соответствующему классу, то сэкономим

часть противоракет ПР. Если же все ЛЦ отделим от БЧ баллистических ракет

(БР), то выигрыш будет максимальным.

Таким образом, в каждом конкретном случае выигрыш специфичен. Но чем

он больше, тем лучше.

При таких качественных рассуждениях, хотя и правильных, назначение и

подсчет выигрышей не поддается точным выводам и оценкам. Эта задача всегда

индивидуальная, носит эвристический характер и требует творчества

конструктора при максимальном учете факторов, влияющих на результат. Так

или иначе выигрыш для каждого класса, обеспечивающий соответствующее

решение, должен быть назначен.

Принимая во внимание зависимость выигрыша от ряда случайных факторов

распознавания, в качестве оценки эффективности необходимо использовать

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

[pic]

где -[pic]- апостериорная вероятность правильного отнесения объекта к Wi

-му классу (то есть, после измерения вектора признаков и их отбора).

Теперь сформулированная нами задача может быть формализована следующим

образом:

[pic]

при C0 >=[pic]

Здесь A0 ,v0 - искомое решение, обеспечивающее выбор варианта

разбиения на классы (алфавит классов) и определения рабочего словаря

признаков.

Таким образом, общая постановка проблемы создания СР объектов или

явлений заключается в определении оптимального алфавита классов и рабочего

словаря признаков при наилучшем решающем правиле в условиях ограничений на

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

Т е м а 5

Моделирование систем распознавания образов - методология их создания и

оптимизации

Л Е К Ц И Я 5.1

Введение в моделирование

5.1.1. История вопроса

История моделирования начинается фактически с истории математики, а

также с появления графического и пластического искусств, известных нам по

памятникам ранних цивилизаций. Так элементы математического моделирования

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

четко сформулированной математической модели является теорема Пифагора (VI

век до нашей эры).

Рассмотрим компьютерную реализацию теоремы Пифагора в ее наиболее

простой интерпретации

[pic]

Известно, что эта проверенная жизнью зависимость может использоваться

в расчетах как строительных конструкций, так и в машиностроении, так и в

определении кратчайшего пути по карте и на местности и т.п.

Если теперь на входе компьютерной программы задавать переменные X и Y

как катеты треугольника, например, реальной строительной конструкции, имея

желание получить интересующий разработчика размер гипотенузы этой

конструкции то в результате расчета будем иметь значения Z, найденные

фактически в результате моделирования указанной природной зависимости.

Теорема Пифагора возглавляет длинный список классических примеров

математических моделей, среди которых

-законы движения Ньютона (XVII в);

-полиномы Эйлера (XVIII в);

-волновые уравнения Максвелла (XIX в);

-теория относительности Эйнштейна (XX в).

Характеризуя существо математического моделирования, следует

определить математическую модель как абстрактное математическое

представление отображаемого объекта, явления, процесса .

Графические и пластические искусства в отличие от математики

возглавили ряд методов, получивших название аналогового моделирования.

Аналоговые модели следует определить как отображение предметов,

процессов, явлений посредством аналогичного представления.

Классическими примерами аналоговых моделей могут служить глобус,

рельефные карты, модели солнечной системы в виде тел на проволочных

орбитах, модели молекулярных соединений в виде атомных структур, а

также аэродинамические трубы, аналоговые модели систем автоматического

Страницы: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19