Лекция 4. Метод разделения в пространстве признаков. Логические методы
Вопрос 1. Метод разделения в пространстве признаков
Одними из наиболее важных методов диагностики являются методы разделения в пространстве признаков. Эти методы основаны на естественной «гипотезе компактности», в соответствии с которой точки, отображающие одно и то же состояние (диагноз), группируются в одной области пространства признаков.
Как и в метрических методах распознавания, состояние изделия характеризуется точкой в пространстве признаков. Предполагается, что области диагнозов не пересекаются и поэтому возможно построить разделяющую поверхность.
Рассмотрим распознавание двух состоянии: 
и 
(дифференциальная диагностика или дихотомия).
При наличии нескольких диагнозов распознавание может быть сведено к последовательному применению рассматриваемой процедуры.
В основе методов разделения лежит построение скалярной функции параметров (признаков)
,
принимающей различные знаки в двух областях диагноза. Такую функцию называют разделяющей, и тогда
Таким образом, разделяющая функция с положительным значением для всех изделий, имеющих состояние , и отрицательное значение в противоположном случае.
Условие образует решающее правило для разделения в пространстве признаков.
Если для предъявленного для распознавания объекта, характеризующегося вектором 
, значение 
положительно, объект считают принадлежащим состоянию , при отрицательном значении – состоянию .
Уравнение
будет составлять уравнение разделяющей поверхности (поверхности, разделяющей области диагнозов).
Наиболее простой вид имеет линейная разделяющая функция
,
где 
– число признаков (размерность пространства);
– «весовые» коэффициенты.
Разделяющая поверхность будет гиперплоскостью («плоскостью» в многомерном пространстве)
.
Для случая двух признаков (параметров) разделяющая плоскость будет разделяющей прямой (рис.7).
Рис.7. Линия, разделяющая функции для двух диагнозов
Для удобства геометрической интерпретации введем формально еще один параметр
.
Разделяющаяфункция может быть теперь представлена в виде скалярного произведения
,
где 
– «весовой» вектор
.
Решающее правило будет таким:
Уравнение разделяющей гиперплоскости
.
Из последнего равенства следует, что разделяющая гиперповерхность перпендикулярна «весовому» вектору и проходит через начало координат (в дополненном пространстве признаков размерности 
).
Чтобы осуществить диагностику с помощью линейной разделяющей функции, достаточно знать компоненты весового вектора.
Примем, что разделяющая плоскость проходит через точку, находящуюся на середине прямой, соединяющей точки эталонов (точку А, рис. 8), перпендикулярную этой прямой.
Рис.8. Приближенный способ построения разделяющей гиперплоскости
Так как точка А характеризуется вектором 
, то уравнение разделяющей плоскости будет
.
Скалярное произведение вектора, лежащего в разделяющей плоскости, и вектора, нормального к ней, обращается в нуль.
Развертывая уравнение, находим
,
где 
и 
– квадраты длины векторов 
и 
.
Сопоставляя последние два равенства, находим составляющие весового вектора:
; 
;
; 
.
Последние соотношения устанавливают приближенные значения компонентов весового вектора.
Вопрос 2. Логические методы
Логические методы основаны на установлении логических связей между признаками и состояниями объектов, поэтому будут рассмотрены только простые (качественные) признаки, для которых возможны лишь два значения (например 0 и 1). Точно также и состояния технической системы (диагнозы) в рассматриваемых методах могут иметь только два значения (наличие и отсутствие). Два значения признака или состояния системы могут быть выражены любыми двумя символами («да» – «нет», «ложь» – «истина», 0 – 1).
Переменные величины или функции, принимающие только два значения (0 и 1), называются логическими или булевскими. Исследованием таких переменных и функций занимается математическая логика, имеющая обширные приложения во многих технических проблемах (релейные системы, теория ЭВМ и автоматов и др.). Применительно к задачам распознавания (диагностике) методы математической логики стали использоваться после работ Р. Ледла. Детерминистское описание с помощью двоичных переменных, характерное для логических методов распознавания, является приближенной моделью реальной ситуации. Однако во многих задачах логические методы пригодны для начальных этапов распознавания. Весьма перспективны методы математической логики для второго направления технической диагностики – поиска и локализации неисправностей технических систем
ЛИТЕРАТУРА
1. И.А.Биргер. Техническая диагностика. – М.: Машиностроение, 1978.
2. В.А. Пивоваров. Повреждаемость и диагностирование авиационных конструкций. – М.: Транспорт, 1994
******************************************************************
TEMA 3