Алгоритмическое и программное обеспечение автоматизированной консультативной системы медико-криминалистической экспертизы воздействия химических факторов

• Автор: Даценко, Наталия Валерьевна
• Шифр специальности: 05.13.18
• Научная степень: Кандидатская
• Год защиты: 2005
• Место защиты: Москва
• Количество страниц: 229 с. : ил.

СОДЕРЖАНИЕ
ВВЕДЕНИЕ.
1. АНАЛИЗ ПРОБЛЕМЫ АВТОМАТИЗАЦИИ ПРОЦЕССА ПРОИЗВОДСТВА МЕДИКОКРИМИНАЛИСТИЧЕСКОЙ ЭКСПЕРТИЗЫ ВОЗДЕЙСТВИЯ ХИМИЧЕСКИХ ФАКТОРОВ.
1.1 Анализ состояния проблемы автоматизации экспертных криминалистических исследований.
1.2 Особенности криминалистических исследований при экспертизе воздействия химических факторов.

1.3 Цель работы и задачи исследования.

2. ИЕРАРХИЧЕСКАЯ ИНФОРМАЦИОННАЯ БАЗА МЕДИКОКРИМИИАЛИСТИЧЕСКОЙ ЭКСПЕРТИЗЫ ОТРАВЛЕНИЙ

2.1 Синтез структуры иерархической информационной базы

2.2 Алгоритмы формирования иерархической информационной базы

2.3 Автоматизированная процедура повышения точности значений

степеней принадлежности.

Выводы второй главы.
3. РАЗРАБОТКА АЛГОРИТМИЧЕСКОГО ОБЕСПЕЧЕНИЯ АВТОМАТИЗИРОВАННОЙ КОНСУЛЬТАТИВНОЙ СИСТЕМЫ МЕДИКОКРИМИНАЛИСТИЧЕСКОЙ ЭКСПЕРТИЗЫ ВОЗДЕЙСТВИЯ ХИМИЧЕСКИХ ФАКТОРОВ.
3.1 Алгоритмическая процедура неточного вывода экспертных заключений
3.2 Алгоритмы разрешения конфликтов логического вывода
3.3 Алгоритмы формирования логического вывода при производстве
медикокриминалистической экспертизы
Выводы третьей главы.
4. РАЗРАБОТКА И ВНЕДРЕНИЕ КОМПЛЕКСА ПРОГРАММ АВТОМАТИЗИРОВАННОЙ КОНСУЛЬТАТИВНОЙ СИСТЕМЫ МЕДИКО
КРИМИНАЛИСТИЧЕСКОЙ ЭКСПЕРТИЗЫ ВОЗДЕЙСТВИЯ ХИМИЧЕСКИХ ФАКТОРОВ.
4.1 Структура и принципы функционирования автоматизированного банка данных комплекса программ.
4.2 Организация программных средств автоматизированной консультативной системы медикокриминалистической экспертизы воздействия химических факторов.
4.3 Результаты вычислительного эксперимента.
4.4 Результаты внедрения автоматизированной консультативной системы.
ЗАКЛЮЧЕНИЕ
ЛИТЕРАТУРА


Для каждого типа объектов нужно выявить совокупность свойств, посредством которых будут описываться конкретные объекты этого типа и виды отношений между этими объектами. Для реализации процесса ввода и модификации данных и знании необходимо разработать алгоритмы формирования ИИБ, в состав которых нужно включить механизм преобразования описания предметной области на ограниченном естественном языке в адекватные формализмы. Судебно-медицинские эксперты нередко выражают свои знания с использованием нечетких понятий типа «большая доза», «высокая концентрация», «обильное кровотечение» и т. МКЭ. Эта проблема решается путем построения функции принадлежности (ФП) [], причем одним из условий формирования достоверного экспертного заключения является необходимость использования таких методов формализации нечеткой информации, которые обеспечивают высокую достоверность полученных данных, что исключает возможность искажения входной информации и, как следствие, получения неверных логических конструкций. Одним из таких методов является метод групповой экспертизы, достоинством которого является то, что организованное взаимодействие между специалистами позволяет компенсировать смещение оценок отдельных членов группы. Групповая оценка представляет собой результат объединения индивидуальных мнений экспертов, высказываемых в процессе формализации нечетких следственных данных, в единое «коллективное» мнение. В этой связи использование метода групповой экспертизы для формализации нечетких данных предметной области представляется наиболее целесообразным. Для применения этого метода формируется группа экспертов, состоящая из специалистов и ученых, имеющих большой практический опыт в области расстройства здоровья и смерти, наступающих в результате воздействия химических факторов. Однако необходимо учитывать тот факт, что формирование функции принадлежности - это довольно сложная задача, и у экспертов возникают затруднения при необходимости определения значений степеней принадлежности с высокой точностью. При этом точность вычисления степеней принадлежности очень важна при диагностике отравлений, особенно при построении выводов на основе неполной информации. В связи с этим возникает проблема повышения точности формализации следственной информации. Предлагается решить эту задачу путем подключения к существующим экспертным методам дополнительной автоматизированной процедуры уточнения значений функции принадлежности []. При этом целесообразно предусмотреть возможность интерактивного диалога экспертов и ЭВМ с целью объяснения результатов, полученных программой проверки. Логические модели представляют собой описание предметной области, выполненное на логическом языке, например, на языке исчисления предикатов. Достоинство логических моделей состоит в принципиально отличном от традиционных подходе к описанию способа решения задачи: описание предметной области дается в виде некоторых фактов относительно свойств предметной области и отношений между этими свойствами, а также правил вывода новых свойств и отношений из уже заданных; не используются предписания последовательности шагов, выполняя которые можно решить задачу. Недостатком логической модели является трудность (неоднозначность) перевода предложений естественного языка в конструируемые формулы, тогда как особенностью моделирования процесса производства медико-криминалистической экспертизы отравлений является необходимость получения информации от экспертов, которые выражают свои знания с помощью естественного языка. Семантические сети представляют собой мультиграф, вершины которого отождествляются с объектами, действиями, свойствами и т. Разновидностью семантических сетей являются фреймы, в которых информация хранится в виде совокупности определенным образом структурированных данных, воспроизводящих стереотипные ситуации. В случае возникновения конкретной ситуации должен быть выбран фрейм, соответствующий данному классу ситуаций, и согласован с рассматриваемой конкретной ситуацией. Согласование осуществляется путем изменения подробностей, т.