БДД. Над ИВК лр 8 (4). Лабораторная работа 8 Логические методы распознавания. Метод сокращённого базиса Цель работы
Скачать 50.38 Kb.
|
Аргументы идут в порядке следования, в первой строке имеются перестановки чисел 0 и 1, во второй — перестановки пар чисел, в третьей — четвёрок чисел. Число одинаковых цифр в перестановке равно 2' *, где / — номер строки. Каждую строку базиса можно рассматривать как двоичное число, которое называется изображающим числом аргумента и обозначается знаком #. Каждый столбец базиса также представляет собой двоичное число, равное номеру столбца (от 0 до 7). Изображающее число переменной Л в базисе (А, В, С): А =01010101 Для изображающих чисел справедливы операции «И», «ИЛИ» и «НЕ», совершаемые поразрядно. Например, А л#Я=(01010101)л(00110011) = 00010001; А v#B = (01010101) v (00110011) = 01110111. Изображающее число булевской функции образуется с помощью соответствующих операций над изображающими числами аргументов. Например, если Е = АуВлС = А + ВС, (17) то, учитывая (табл. 4), найдём £ = 01010101 v(00110011) (00001 111) = 01010101 + 00000011 = 010101 И Операция отрицания («НЕ») для изображающего числа означает замену 0 на 1 и наоборот. Например, если = 01010101, то #А = 10101010. Использование булевских функций для задач распознавания Метод сокращённого базиса. Задача распознавания при использовании булевских функций формулируется следующим образом: известны логические связи признаков и состояний в виде булевской диагностической функции F(kt,k2,...,km,DvD2,...,D„) = \ Иными словами, по функции признаков следует определить функцию состояний при условии истинности диагностической функции. Ниже приводится пример решения подобной задачи. Пример 2 Пусть в случае двух признаков и двух состояний логические связи таковы: При состоянии Di появляется признак kt. Обнаружение признака к2 свидетельствует об отсутствии состояния Dt. При состоянии D2 появляются оба признака. На основании этих сведений булевская диагностическая функция запишется так: F(A1,A2,D1,D2) = (D1 -+A,)a(A2 ->Ц)л(О2 лА2) (18) Пусть при обследовании обнаружено наличие признака kt и отсутствие признака к2. Тогда булевская функция признаков: G = к{ лк2 (19) Воспользуемся общим методом отыскания булевской функции состояния — методом сокращенного базиса. Для этого сначала выписываем полный базис: Таблица 5. Полный базис булевской диагностической функции четырёх аргументов
Далее находим изображающее число для булевской диагностической функции: В изображающем числе для функции F, полученном в соответствии с формулой (18), единицы стоят в столбцах, отражающих возможные (не противоречащие F) сочетания признаков и диагнозов. По булевской функции признаков G (19) А, = 1, к2 = 0. Такое сочетание признаков при F = 1 имеется только в столбцах 1 и 5 (для столбцов 9 и 13 с таким же сочетанием значений А/ и к2 значение F = 0 , следовательно, эти столбцы противоречат диагностической функции и исключаются из рассмотрения). Для столбца 1 D, = 0 и О2 = 0, а для столбца 5 Z), = 1 и D2 =0. Таким образом, булевская функция диагнозов: / = (d'1a'D2)s/(D1a'D2) = d'2 (20) Преобразование равенства (20) можно получить из формул поглощения (16), но его легко найти с помощью изображающих чисел. Так как рассмотрение относится к двум булевским величинам, то базис £>,0101 £>2001 1 Далее находим: а£^1000 aD^OIOO #(£\ a^)v(£), a£Q1100 = #^ В общем случае функциям G и F не противоречат несколько возможных состояний, поэтому имеющихся сведений недостаточно для однозначного решения. В подобной ситуации для выбора решения используются другие методы распознавания, например, метод Байеса. Порядок выполнения работы: Записать булевскую диагностическую функцию |