CC BY
96
ального проектирования, разработанной на кафедре САПР и ПК ВолгГТУ и показавшей свою эффективность в создании прототипов ряда программных продуктов.
Таким образом, в статье представлена методика проектирования новых информационных систем, позволяющая создавать нетривиальные проекты. Показано, что на основе имеющейся потребности эти технологии позволяют сформулировать требования к функциональной структуре будущей системы, определить ее принципы действия и представить варианты технического и параметрического решений.
На основании изложенной технологии концептуального проектирования создается программный продукт в качестве инструмента для решения задачи проведения объективной психосемантической экспертизы аудиопродукции. Получен-
ный концептуальный проект информационной системы универсален и может использоваться как в онлайновых сервисах, так и в мобильных устройствах, например, в портативных медиаплеерах, смартфонах и прочих подобных устройствах для психосемантического анализа прошедшего разговора или проигранной мелодии.
Литература
1. Бачило И.Л., Лопатин В.Н., Федотов М.А. Информационное право. СПб: Юридический центр «Пресс», 2001. 789 с.
2. Бухтояров А.А., Степанов А.М. Третий Эон. Уфа: Информреклама, 2006. 348 с.
3. Концептуальное проектирование. Развитие и совершенствование методов: монография / В.А. Камаев [и др.]. М.: Машиностроение-1, 2005. 360 с.
4. Ананьев А.С., Попов К.В. Автоматизация способа психосемантической идентификации звука // «Новые информационные технологии»: тез. докл. XIX Междунар. студ. конф.-шк.-семинара. М.: МИЭМ, 2011. 316 с.
УДК 004.4'24:891.3
МОДЕЛИ ВЫВОДА В ЭКСПЕРТНЫХ СИСТЕМАХ ПСИХОФИЗИОЛОГИЧЕСКОЙ ДИАГНОСТИКИ
А.Е. Ермаков, к.т.н.
(Военно-медицинская академия им. С.М. Кирова, г. Санкт-Петербург, [email protected])
Описаны различные модели прямого вывода диагностического заключения в классе экспертных систем психологической и физиологической диагностики, создаваемых в рамках проблемно-ориентированной автоматизированной технологии, а также особенности организации вычислений в этих экспертных системах при использовании рассматриваемых моделей вывода.
Ключевые слова: экспертная диагностическая система, автоматизированное создание экспертных систем, программное инструментальное средство, интерпретатор описаний экспертных систем, диагностическое заключение, модель вывода диагностического заключения, вычислительная процедура, диагностическая ценность правила, вычисляемый показатель, формирующий показатель.
Существует большое количество отечественных и зарубежных публикаций, посвященных созданию и практическому применению экспертных систем (ЭС) различного назначения, в том числе созданию ЭС с помощью разнообразных автоматизированных технологий, систем и оболочек, формированию баз знаний (БЗ) ЭС, моделям описания и способам извлечения знаний в различных предметных областях, реализации вывода и организации вычислений в ЭС [1-3]. При этом создание ЭС для психологической и физиологической диагностики (ПФД), а тем более технологии их автоматизированной разработки, требует от авторов формирования собственного подхода, соединяющего традиционные научные и прикладные результаты, специфику решаемых задач и индивидуальный взгляд на проблему.
В статье рассматриваются модели вывода диагностического заключения и организации вычислений в БЗ широкого класса ЭС ПФД, создавае-
мых при помощи авторской технологии (АТ) их автоматизированной разработки [1]. Некоторые из этих моделей вывода в течение ряда лет успешно используются в составе АТ, другие пока апробируются либо планируются к включению в АТ в перспективе. Включение в состав АТ дополнительных моделей вывода осуществляется по мере возникновения потребности в решении новых типов практических задач ПФД и апробации новых подходов к их решению.
Технология автоматизированного создания ЭС
Данная технология [4] предназначена для создания без программирования широкого класса ЭС ПФД и их практического использования психологами и врачами. АТ включает в себя:
- проблемно-ориентированное программное инструментальное средство, обеспечивающее
пользователю возможность автоматизированного создания ЭС через пошаговую спецификацию ее параметров;
- программную систему - интерпретатор описаний ЭС, реализующую процедуру обследования, обработку полученных диагностических результатов и их представление в удобной пользователю форме;
- расширяемый банк диагностических средств (баз описаний психологических тестов, вопросников, процедур ввода в ЭС различных параметров обследуемого, имеющих стандартизованный на уровне АТ интерфейс обмена данными с внешней средой);
- БЗ (описаний) ЭС ПФД.
(Технология разработана автором совместно с К.А. Найдёновой и зарегистрирована в Роспатенте.)
При формировании БЗ ЭС инструментальное средство предоставляет пользователю возможность пошаговой спецификации ее объектов в порядке, определяемом их семантикой и существующими между ними отношениями. Сначала эксперт задает список диагностических задач. Затем для каждой задачи формируется список диагностических показателей (ДП), которые могут быть измеряемыми и вычисляемыми, а также формируемыми и формирующими. Для измеряемых ДП задаются измерительные шкалы (основная и, если необходимо, дополнительные), затем определяются структурные связи между ДП, далее в порядке возрастания уровня структурной иерархии для каждого вычисляемого ДП задается вычислительная процедура, допустим, взвешенное сложение формирующих ДП с весовыми коэффициентами, порождающая основную измерительную шкалу этого вычисляемого ДП. Примером основной шкалы в психодиагностике является шкала сырых баллов при ответе на тестовые вопросы, а в физиологии - шкала непосредственно измеряемых значений ДП (уровень глюкозы в крови, систолическое и диастолическое артериальное давление, частота сердечных сокращений, уровень холестерина в крови и т.д.). Дополнительными в психодиагностике являются стандартизованные (стенов, станайнов, Т-баллов) и квантильные шкалы (процентилей и др.), а в медицинской диагностике - качественные шкалы со значениями «ниже нормы», «норма», «выше нормы», выдаваемые многими современными приборами, используемыми для исследования состава крови и других физиологических параметров. Далее, если необходимо, для вычисляемых ДП задаются дополнительные измерительные шкалы и отношения между ними. Если ДП имеет дополнительную качественную измерительную шкалу, множество ее значений содержит формулировки диагнозов, итоговых и промежуточных заключений в виде: «вероятен респираторный ацидоз»,
«имеется склонность к девиантным формам поведения» и т.п.
В инструментальном средстве, кроме прямой экспертной спецификации знаний, имеются программные средства индуктивного вывода знаний из данных, которые работают на основе специальных обучающих выборок, предоставляемых пользователем. Эти индуктивно сформированные знания (правила вычисления значений ДП, структурные связи между ДП, весовые коэффициенты формирующих ДП в формулах и др.) затем включаются в БЗ создаваемых ЭС ПФД.
Интерпретатор описаний - программная система, обеспечивающая практическое использование созданных ЭС: ведение БД по обследуемым, реализацию диагностических процедур, описанных в ее БЗ, пошаговую обработку полученных данных, управление ходом обследования, формирование диагностического заключения и отображение для специалистов результатов обследования в табличной и графической формах.
Рассматриваемый класс ЭС
При создании рассматриваемого класса ЭС используется формализованная модель предметной области, описывающая структурные и функциональные параметры решаемых задач ПФД [5]. В рамках этой модели задача ПФД представляется в виде ветвящейся процедуры с детерминированными структурными и функциональными связями между ДП, коэффициентами истинности промежуточных и окончательных заключений, возможностью производства вычислений с полностью и частично определенными значениями операндов (предусловий), использованием разнотипных вычислительных процедур и развитых средств управления выводом диагностического заключения, основанных на анализе результатов, полученных на каждом его шаге. Вычисляемые ДП конструируются на основе формирующих ДП (измеряемых ДП и вычисляемых ДП более низкого уровня структурной иерархии). ДП связаны между собой и с другими объектами модели различными отношениями, в том числе структурными связями (нисходящими - от формируемых ДП к формирующим и восходящими - от формирующих ДП к формируемым). Все ДП имеют атрибут «уровень структурной иерархии», который у вычисляемых ДП на единицу превышает наивысший уровень структурной иерархии формирующих его ДП, а все измеряемые ДП имеют уровень структурной иерархии, равный 0. Если вычисляемый ДП р3 строится на основе формирующих ДП р1 и р2, а уровни структурной иерархии ^=1 и р2=3, то уровень структурной иерархии ^3=4. В инструментальном средстве реализован алгоритм расчета уровней структурной иерархии рассматриваемых ДП, используемый при формировании БЗ.
БЗ ЭС, создаваемых в рамках АТ, включают в себя базу правил и базу формул, предназначенных для вывода значений вычисляемых ДП на основе значений формирующих ДП, но база формул может и отсутствовать. В БЗ ЭС также содержатся правила, управляющие структурой диагностической процедуры - пошаговым выбором и запуском диагностических средств (ДС), пошаговым анализом полученных данных и формированием диагностического заключения.
Правила вывода диагностического заключения
В ЭС ПФД, созданных при помощи АТ [4], для организации вычислений используются четкие и нечеткие продукционные утверждающие правила. Четкие правила имеют вид: «если ДП р=1ъ или ре[/'ь ¡2] &Рп=п 1 (р„е[иь П2]) & ... &Рк=к (р*е[кь к2]), то вычисляемый ДП рт=тъ», а нечеткие правила - вид: «если р=1ъ (р,е[/1, ¡2]) & ... & р=къ (рке[кь к2]), то рт=тъ с некоторым коэффициентом истинности кипр=а, 0<а<1». Коэффициенты истинности правил (кипр) являются количественной мерой достоверности описываемых ими закономерностей в контексте рассматриваемой задачи ПФД. Они могут напрямую задаваться экспертом на основе справочной литературы и личного опыта или алгоритмически вычисляться интерпретатором описаний в ходе вывода. Значения ¡ь пъ, къ, тъ и интервалы значений формирующих ДП могут быть числовыми и нечисловыми величинами. Постусловие нечеткого правила (значение вычисляемого ДП) при этом будет ложным с некоторой числовой мерой - коэффициентом ложности у=1-а, 0<у<1.
Наряду с утверждающими правилами в ЭС ПФД могут использоваться четкие правила, отвергающие некоторые значения вычисляемых ДП, также продукционные. Отвергающие правила имеют вид: «если р,=11 (р,е[/1, ¡2]) & ...& р=къ (рке[кь к2]), то вычисляемый ДП ртФт2». Нечеткие отвергающие правила в рассматриваемых далее моделях вывода не используются, поскольку являются инверсией соответствующих нечетких утверждающих правил.
Классификация моделей прямого вывода в ЭС ПФД
Модели прямого вывода диагностического заключения, используемые в рассматриваемом классе ЭС ПФД, можно классифицировать по следующим параметрам.
1. Количество значений вычисляемых ДП, формируемых на каждом шаге вывода:
- одновариантные модели вывода (на каждом шаге вывода ищется единственное значение вычисляемого ДП);
- многовариантные модели вывода (хотя бы на одном шаге вывода ищется несколько значений вычисляемого ДП).
2. Степень истинности (диагностической ценности) выводимых значений ДП:
- вывод значений вычисляемых ДП осуществляется с использованием четких правил со 100 %-ной истинностью; коэффициенты истинности диагностических правил и значений формирующих ДП не используются;
- вывод значений вычисляемых ДП производится с использованием нечетких правил; значения вычисляемых ДП и диагностические правила обладают истинностью а, 0<а < 1; коэффициенты истинности правил задаются экспертом при формировании БЗ ЭС, коэффициенты истинности значений вычисляемых ДП рассчитываются экспертной системой в процессе вывода.
3. Типы диагностических правил, используемых при выводе:
- только утверждающие правила, свидетельствующие об абсолютной или частичной достоверности выводимых значений вычисляемых ДП;
- как утверждающие, так и отвергающие правила, в результате чего решения на каждом шаге вывода формируются на основе утверждающих правил при отсутствии правил, отвергающих эти значения, а при наличии отвергающих правил значения вычисляемых ДП отвергаются.
4. Степень определенности операндов (формирующих ДП), используемых при выводе:
- на каждом шаге вывода расчет значений вычисляемых ДП проводится при условии, что значения всех формирующих ДП в формулах и значения всех предусловий в используемых правилах измерены и вычислены;
- при выводе допускаются производство вычислений и с не определенными на данном его этапе (шаге) значениями части операндов (в процедурах на основе формул) и использование правил с сокращенным набором формирующих ДП в предусловиях (при их наличии в БЗ ЭС).
Под сокращенным набором формирующих ДП понимаются ситуации, когда некий ДП р4 структурно формируется, к примеру, на основе ДП р1, р2, р3, но в некоторых правилах БЗ для его вычисления используются значения лишь части из этих ДП, например, ръ и р2 , или р2 и р3, или только ръ.
5. Структура диагностической процедуры:
- линейная, в которой все ДС независимо от полученных с их помощью диагностических результатов применяются (предъявляются обследуемому) в одном априори заданном порядке;
- ветвящаяся (древовидная), в которой по окончании работы некоторых или каждого ДС модулем вывода анализируются полученные данные для определения дальнейших действий - запуска того или иного ДС или окончания обследования и формирования диагностического заключения.
Модели вывода диагностического заключения в ЭС ПФД
В рассматриваемом классе экспертных систем вывод значений вычисляемых ДП осуществляется в порядке возрастания их уровней структурной иерархии. При использовании моделей вывода с полностью определенными операндами расчет значений вычисляемых ДП производится однократно, а в моделях с не полностью определенными операндами значения вычисляемых ДП могут пересчитываться многократно.
Введем обозначения: Одновар (одновариант-ная модель вывода) - для всех вычисляемых ДП ищется единственное значение; Многовар (многовариантная модель вывода) - хотя бы для одного вычисляемого ДП ищется несколько значений; ПолОпр - для всех вычисляемых ДП вычисления производятся с полностью определенными операндами; НепОпр - хотя бы для одного ДП вычисления производятся с не полностью означенными операндами; УтвПрав - для нахождения значений всех вычисляемых ДП используются только утверждающие правила; Утв&Отв - для нахождения значений хотя бы одного вычисляемого ДП используются утверждающие и отвергающие правила; НечПрав - при выводе значений вычисляемых ДП используются нечеткие правила, коэффициенты истинности значений ДП и правил; ЧетПрав - при выводе используются четкие правила, коэффициенты истинности значений ДП и правил не используются. Тогда с учетом особенностей формализованной модели предметной области в рамках АТ [5] теоретически могут использоваться модели вывода, описываемые следующими параметрами:
Одновар - ПолОпр - УтвПрав - НечПрав, Одновар - ПолОпр - УтвПрав - ЧетПрав, Одновар - ПолОпр - Утв&Отв - НечПрав, Одновар - ПолОпр - Утв&Отв - ЧетПрав, Одновар - НепОпр - УтвПрав - НечПрав, Одновар - НепОпр - УтвПрав - ЧетПрав, Одновар - НепОпр - Утв&Отв - НечПрав, Одновар - НепОпр - Утв&Отв - ЧетПрав, Многовар - ПолОпр - УтвПрав - НечПрав, Многовар - ПолОпр - УтвПрав - ЧетПрав, Многовар - ПолОпр - Утв&Отв - НечПрав, Многовар - ПолОпр - Утв&Отв - ЧетПрав, Многовар - НепОпр - УтвПрав - НечПрав, Многовар - НепОпр - УтвПрав - ЧетПрав, Многовар - НепОпр - Утв&Отв - НечПрав, Многовар - НепОпр - Утв&Отв - ЧетПрав.
Далее рассмотрим модели, представляющие наибольший практический интерес.
1. Одновариантная модель вывода на основе четких утверждающих правил с полностью определенными значениями операндов.
В этой модели вывод значений вычисляемых ДП осуществляется в порядке возрастания их уровней структурной иерархии. При этом на каж-
дом шаге вывода рассчитываются значения только тех вычисляемых ДП, у которых на момент просмотра найдены значения всех операндов, то есть эти значения имеют индикатор вычисленности. Коэффициенты истинности значений формирующих ДП и правил при выводе не используются, поэтому значения всех вычисляемых ДП выводятся со 100 %-ной достоверностью. При этом заранее отсортированные правила нахождения значений вычисляемых ДП последовательно просматриваются до удовлетворения их предусловий поступившими в модуль вывода значениями формирующих ДП обследуемого, взятыми из БД ЭС. В результате вычисляемому ДП присваиваются значение постусловия (правой части правила) и индикатор вычисленности, поиск правил для данного вычисляемого ДП завершается, и модуль вывода переходит к поиску значения следующего вычисляемого ДП этого же уровня структурной иерархии. Если все вычисляемые ДП данного уровня иерархии означены, модуль вывода переходит к нахождению значений вычисляемых ДП следующего уровня. Формулы для расчета значений вычисляемых ДП в ходе вывода также используются при условии, что все операнды в них означены. Если на некотором шаге вывода хотя бы один операнд в правилах или формулах не означен, этот показатель модулем вывода пропускается и предпринимается попытка означить следующий вычисляемый ДП этого же или более высокого уровня структурной иерархии. В рамках модели процесс формирования диагностического заключения может иногда прерываться из-за невозможности означить значения некоторых вычисляемых ДП, если значения каких-либо формирующих ДП, непосредственно связанных с ними, не определены.
2. Одновариантная модель вывода на основе четких утверждающих правил с не полностью определенными значениями операндов.
Данная модель вывода обладает большей гибкостью в сравнении с предыдущей и обеспечивает пользователю получение одновариантного диагностического заключения в большем проценте случаев, чем предыдущая, но также без оценки надежности полученного результата. Как и в модели 1, расчет значений вычисляемых ДП производится в порядке возрастания их уровней структурной иерархии. При выводе значения вычисляемого ДП в БЗ ищется правило, предусловия которого содержат только означенные формирующие ДП при том, что структурно этот вычисляемый ДП может быть связан и с другими, пока еще не означенными формирующими ДП. В вычислительных процедурах, использующих формулы, на каждом шаге вывода расчет значений вычисляемых ДП также производится и в случаях, когда значения части формирующих ДП не определены. При этом значения неозначенных операн-
дов в формулах, использующих арифметическое сложение и вычитание, полагаются равными нулю, а в формулах на основе умножения и деления операндов - единице. В отличие от модели 1 в данной модели используются индикаторы предварительной и окончательной вычисленности значений ДП. С учетом некоторого упрощения реализованного в модели алгоритма индикатор предварительной вычисленности присваивается ДП, если его значение найдено на основе сокращенного множества операндов и свидетельствует о том, что при возможности значение этого ДП следует пересчитать на основе значений расширенного или полного множества формирующих ДП. В последнем случае вычисляемый ДП получает индикатор окончательной вычисленности и его значение больше не пересчитывается. В этой модели после нахождения значения очередного вычисляемого ДП и перед началом поиска значения следующего вычисляемого ДП делается попытка пересчета значений вычисляемых ДП более высоких уровней структурной иерархии, имеющих индикатор предварительной вычисленности.
3. Одновариантная модель вывода на основе нечетких утверждающих правил с полностью определенными значениями операндов.
Данная модель строится на базе модели 1 с добавлением к ней коэффициентов истинности ДП и правил вывода. В БЗ ЭС для вывода значения вычисляемого ДП ищется диагностическое правило с удовлетворенным предусловием или формула. Обозначим ру, п-е значение ДП рь; ки1<„ - коэффициент истинности этого значения. Допустим, при выводе ищется значение вычисляемого ДП рх, определяемое с помощью нескольких диагностических правил, одним из которых является правило:
«если Р1=Р1а & Р2=Р2в & • • • & Р=Ру, то Рх=Рхт» (1) с коэффициентом истинности кипр, содержащее значения {р1а, р2Р, • ••, Рк,} формирующих ДП {рь р2, •..,рь}. Для этого модуль вывода из БД ЭС запрашивает пары величин {(р1а, ки1а), ..., (р^, ки¡¡у)}. Если этими данными предусловия правила (1) удовлетворены, то значение вычисляемого ДП рх станет равным его постусловию рхт, а коэффициент истинности кихт значения рхт ищем по формуле
кихт=Ш1П(ки1а, ки2р, •.., ки^р кипр). (2)
Есть и другие способы нахождения коэффициентов истинности значений вычисляемых ДП, однако в АТ используется этот в связи с его простотой и адекватностью задачам ПФД. Для значений вычисляемых ДП рх, рассчитываемых по арифметическим формулам рх=Лр1, ..., рь) и логическим выражениям вида рх=р1 &... & рь, киху=тт(ки1а, ..., кикр киф), а для ДП, рассчитываемых по логическим выражениям вида рх=р1 V ... V р, киху=тт(тах(ки1а, ..., ки^), киф); где / - обозначение формулы; & - операция конъюнкции; V -
дизъюнкция; киф - коэффициент истинности формулы. Во многих случаях коэффициенты истинности значений измеряемых ДП и формул киф равны 1, а кипр, задаваемые разработчиком ЭС, удовлетворяют условиям 0<кипр < 1. Поэтому (2) может приобретать вид кихт=ш1п(1, ..., 1, кипрт)=кипрт, кихт=тхп(ки1а, ..., кикр 1)=тт(ки1а, ..., ки^), а киху=тт(тах(ки1а ,..., ки^), киф) - вид тт(тах(ки1а, ..., ки^), 1)=тах(ки1а, ..., киkf) или кихxy=min(max(1, ..., 1), киф)=киф, поскольку коэффициенты истинности некоторых эмпирических аналитических выражений могут быть не равны 1.
При использовании нечетких правил вывода возникает проблема экспертного задания их коэффициентов истинности при формировании БЗ ЭС. Существуют два основных подхода:
- полагаются на личный профессиональный опыт эксперта, участвующего в создании ЭС, и опыт других специалистов, с некоторой надежностью гарантирующий достоверность задаваемых коэффициентов истинности;
- применяются различные технологии, методы и способы извлечения нечетких знаний из их носителя (специалиста) и формализации нечетких рассуждений эксперта, описанные в том числе
в [1, 2].
В настоящее время в АТ [4] используется 1-й подход как достаточно хорошо зарекомендовавший себя на практике.
4. Одновариантная модель вывода на основе нечетких утверждающих правил с не полностью определенными значениями операндов.
Данная модель объединяет в себе черты и принципы функционирования моделей 2 и 3. При этом вычисления с не полностью определенными значениями операндов в ней производятся, как в модели 2, а расчет коэффициентов истинности значений вычисляемых ДП выполняется подобно модели 3.
5. Одновариантная модель вывода на основе четких утверждающих и отвергающих правил с полностью определенными значениями операндов.
Основное отличие данной модели от модели 1 заключается в использовании отвергающих правил, имеющих более высокий приоритет по сравнению с утверждающими. Если значение pim вычисляемого ДП р, модулем вывода найдено при помощи некоторого утверждающего правила, то в базе отвергающих правил ищется правило с удовлетворенным предусловием и постусловием pim. В случае, если такое правило найдено, значение pim признается недопустимым. Затем модулем вывода в БЗ ЭС ищется правило, порождающее другое допустимое значение pik вычисляемого ДП р, которое также проверяется по базе отвергающих правил. Если отвергающее правило для значения pik отсутствует, это значение вносится в БД ЭС, индикатор его вычисленности становится true и модуль вывода переходит к означиванию сле-
дующего вычисляемого ДП. Если другое допустимое значение у pi отсутствует, в данной модели вывода вычисляемый ДП pi остается неозначенным, его индикатор вычисленности сохраняет значение false, а модуль вывода переходит к поиску значения следующего вычисляемого ДП.
6. Одновариантная модель вывода на основе нечетких утверждающих правил и четких отвергающих правил с полностью определенными значениями операндов.
Модель вывода объединяет в себе принципы функционирования моделей 3 и 5. Коэффициенты истинности значений вычисляемых ДП рассчитываются, как в модели 3, а алгоритм вывода значений ДП реализуется, как в модели 5.
7. Одновариантная модель вывода на основе нечетких утверждающих правил и четких отвергающих правил с не полностью определенными значениями операндов.
Модель объединяет в себе принципы функционирования моделей 2 и 6 или моделей 2, 3 и 5. Алгоритм вывода значений вычисляемых ДП в ней реализуется, как в моделях 5 и 6, с учетом принципов вычислений при не полностью определенных значениях операндов из модели 2. Коэффициенты истинности значений вычисляемых ДП рассчитываются, как в моделях 3 и 6.
8. Многовариантная модель вывода на основе нечетких утверждающих правил с полностью определенными значениями операндов.
В рамках модели для нахождения значений вычисляемых ДП могут использоваться как правила, так и формулы. При поиске значений {p^} вычисляемого ДП pk элементы прямого произведения значений формирующих ДП поочередно подставляются в правила или формулы. Поиск {p¿у} производится перебором сначала правил, а для каждого правила - сочетаний значений формирующих ДП. Допустим, значения некоторого вычисляемого ДП p4 находятся с помощью правил «еслиp\=a &p2=b, тоp4i=d», ки^ =0,7, «еслиp2=h & p3=c, то _р42=е», кипр2=0,6, (3)
«если p3>f, то p43=g», кипр3=0,5.
Допустим, ранее были найдены следующие значения ДП pb p2, p3, хранящиеся в БД ЭС: Pi={(Pii=a; кмц=0,35), (pi2=2a; kui2=0,65)}, p2={(p2l=b; ки21=0,56), (p22=h; ки22=0,68)}, (4) P3={(p3i=c; киз1=0,83), (p32=2f; киз2=0,79)}, c<f
Как и в модели 3, в данной модели коэффициенты истинности значений вычисляемых ДП рассчитываются как минимум коэффициентов истинности всех формирующих ДП и правила. Тогда при подстановке данных (4) в правила (3) будут получены следующие результаты:
p4i=d, Ku4i=min(Kuib ки2\, Kunpi)=min(0,35; 0,56; 0,7)=0,35;
р42=е, Ku42=min(Ku22, ku3i, Kunp2)=min(0,68; 0,83; 0,6)=0,6;
p43=g, Ku43=min(Ku32, Kunp3)=min(0,79; 0,5)=0,5.
При использовании для расчета значения рх выражений вида рх=/(ръ, ..., рк) или рх=ръ &... & рк в них последовательно подставляются значения {ръъ, ..., ръа}, ..., (ри, р/ф} формирующих ДП ръ, ..., рк, в результате чего потенциально для ДП рх может быть сформировано множество значений вида (рГ!, у=1, ..., ах ... хр} с коэффициентами истинности ки^тт^и^, ..., кикп, киф), те{1, ..., а} ,..., пе{1, ..., Р}. Еслирх вычисляется как дизъюнкция формирующих ДП, то кuxy=min(max(кu1m, ..., кикп), киф). Например, пусть на предыдущих шагах вывода были найдены величины ((ри, кии), ¡=1, ..., т1} и {(ру, ки2),j=1, ..., т2}, а на данном его шаге значение ДП р3 находится по формуле р3=р1+р2. Пусть коэффициент истинности формулы киф=1. Тогда для нахождения значений ДП р3 модуль вывода сформирует пары величин {(рзп=р1;+р2/, кизп=тт(киь, киу, 1)), п=1, ..., т1хт2, ¡=1, ..., т1, j=1, ..., т2}, которые будут сохранены в БД ЭС полностью или частично, например, 5<т1хт2 пар с большими коэффициентами истинности.
9. Многовариантная модель вывода на основе нечетких утверждающих правил и четких отвергающих правил с полностью определенными значениями операндов.
Модель объединяет в себе принципы функционирования моделей 6 и 8 или моделей 3, 5 и 8. Коэффициенты истинности значений вычисляемых ДП рассчитываются, как в модели 3, а алгоритм вывода значений ДП - как в моделях 5 и 8. При этом используются:
- комплекс утверждающих правил, содержащий правила вывода значений вычисляемых ДП;
- комплекс отвергающих правил - запретов для значений вычисляемых ДП, описывающих значения формирующих ДП, при которых значения вычисляемых ДП недопустимы.
Решение о допустимости найденного значения рп вычисляемого ДП рп принимается по принципу: в БЗ есть утверждающее правило с удовлетворенными предусловиями, подтверждающее истинность значения рп,, а правило, отвергающее это значение, отсутствует. В противном случае значение р„ ДП рп отвергается.
Подытоживая, следует отметить, что определить наиболее адекватные модели трудно. Все зависит от специфики задачи ПФД. Многие задачи ПФД можно решать с помощью нескольких различных моделей вывода, хотя для каждой задачи наиболее адекватной все же является какая-то одна из них.
Модели вывода 1 и 2 успешно использовались для создания ЭС ПФД в рамках АТ [4]. В настоящее время запрограммированы и проходят практическую апробацию модели вывода диагностического заключения 3, 5, 6 и 8.
Целью статьи являлось рассмотрение в систематизированном виде различных моделей вывода
диагностического заключения применительно к описанному классу ЭС ПФД, создаваемых в рамках АТ, в том числе для определения направлений дальнейшего развития этой технологии.
Литература
1. Приобретение знаний; [пер. с япон.; под ред. С. Осуги, Ю. Саэки]. М.: Мир, 1990. 304 с.
2. Асаи К., Ватада Д., Иваи С. Прикладные нечеткие системы; [пер. с япон.; под ред. Т. Тэрано, К. Асаи, М. Сугэно]. М.: Мир, 1993. 368 с.
3. Таунсенд К., Фохт Д. Проектирование и программная реализация экспертных систем на персональных ЭВМ; [пер. с англ.]. М.: Финансы и статистика, 1990. 320 с.
4. Найденова К.А., Ермаков А.Е. Технология автоматизированной разработки адаптивных компьютерных систем психологической и физиологической диагностики // Автоматизация проектирования дискретных систем: матер. 3-й Междунар. конф. Минск, 1999. Т. 3. С. 72-79.
5. Модель знаний для автоматизированного проектирования экспертных психодиагностических систем / К.А. Найденова [и др.] / Искусственный интеллект-96: сб. науч. тр. 5-й На-цион. конф. с междунар. участ. Казань, 1996. Т. 2. С. 275-279.
УДК 004.658.6:042
ВРЕМЕННОЙ АНАЛИЗ ОБРАБОТКИ КОНФЛИКТНЫХ ТРАНЗАКЦИЙ В ORACLE ENTERPRISE MANAGER И ERRMANAGER
Е.В. Базилевский
(Сургутский государственный университет Ханты-Мансийского автономного округа - Югры,
chester91 [email protected])
Временные оценки обработки конфликтных транзакций в Oracle Enterprise Manager и разработанном приложении EnManager показали, что последнее позволяет существенно повысить эффективность разрешения конфликтов репликации и сократить затраты не только на обслуживание промышленной БД, но и на решение проблем, возникающих из-за простоев и отказов информационных систем предприятия.
Ключевые слова: БД, репликация данных, конфликты репликации, Oracle.
Одним из лидеров в разработке корпоративных СУБД является компания «Oracle», предоставляющая наиболее гибкое и законченное решение для создания распределенных БД, обеспечивающих различные механизмы репликации данных между узлами, включая множественные обновления [1]. СУБД Oracle также включает механизмы обнаружения и устранения конфликтов репликации. Однако для управления процессом репликации и разрешения конфликтных транзакций администратору предлагается продукт Oracle Enterprise Manager (OEM), который не позволяет использовать все возможности СУБД Oracle, а принципы его реализации делают работу неэффективной и неустойчивой, что приводит к нарушению производственного процесса и дополнительным затратам из-за длительной блокировки объектов БД [2].
Недостатки OEM обусловили необходимость поиска альтернативных средств для разрешения конфликтов репликации и разработки автором специального программного продукта ErrManager [3]. Актуальной задачей является оценка адекватности полученного решения и его эффективности по сравнению с OEM посредством выполнения тестовых заданий для обоих программных продуктов.
Для определения временных затрат обработки конфликтных транзакций в Oracle Enterprise Manager и ErrManager проведен временной анализ
обработки конфликтов по каждому продукту в отдельности. На двух узлах распределенной БД, между которыми настроено реплицирование данных, одновременно сформировано 20 транзакций по 20 вызовов в каждой. Все 20 транзакций содержат по одному конфликтному вызову. Операции произведены над объектом БД «таблица», имеющим 7 полей. В результате на каждом узле вся группа транзакций попадет в очередь конфликтных транзакций, нарушив таким образом бесперебойное реплицирование данных между узлами.
Приведем системные и программные требования к рабочим местам пользователей обеих систем, а также технические характеристики серверов, на которых расположены узлы БД, участвовавших в эксперименте.
Минимальные требования к рабочему месту администраторов OEM и ErrManager:
- ОС Microsoft Windows 2000/XP;
- клиентское приложение: СУБД Oracle 9i для OEM, Oracle 8 для ErrManager;
- Internet Explorer 6.0;
- процессор Intel Pentium III, 800 МГц;
- оперативная память 512 Мб;
- сетевой адаптер Ethernet, 100 Мбит/сек.;
- накопитель на жестком диске с доступной емкостью: 1 Гб для OEM, 800 Мб для ErrManager;
- дисплей с разрешением 1024x768 точек (цветной);
