Формальные основы системы поддержки формирования частных методик производства компьютерно-технической экспертизы

Аннотация

Введение: из-за быстрого устаревания методик, большого количества объектов исследования и широкого круга вопросов компьютерно-технической экспертизы значительную часть времени эксперты тратят на адаптацию и доработку общих методик под частные задачи экспертизы, что делает актуальной задачу автоматизации формирования частных методик производства компьютерно-технических экспертиз. Цель исследования: разработка подхода, позволяющего автоматизировать и упростить процесс формирования частных методик производства компьютерно-технических экспертиз. Результаты: разработан формализованный подход, основанный на теории графов, позволяющий автоматизировать и упростить процесс формирования частных методик производства компьютерно-технических экспертиз. В основе подхода лежит определение последовательности методов производства компьютерно-технической экспертизы, учитывающее две группы входных параметров: предмет экспертизы (категории задач, вопросы экспертизы, объекты исследования) и условия проведения экспертизы (временные, финансовые, человеческие ресурсы и т. д.). Практическая значимость: в результате внедрения предложенного авторами подхода в двух экспертных организациях Томской области отмечен следующий положительный эффект: сокращение сроков производства экспертизы от 15 до 25 %; сокращение сроков разработки частной методики компьютерно-технической экспертизы на 38 %; уменьшение затрат на производство экспертизы от 20 до 22 %, что однозначно свидетельствует о действенности такого подхода.