Аннотация:Среди дискретных методов распознавания образов выделяют методы, основанные на применении двоичных решающих деревьев (Binary Decision Trees, BDT). В задачах логического синтеза управляющих систем используются обобщения BDT двоичные решающие диаграммы (Binary Decision Diagrams, BDD). Естественным обобщением понятия BDD являются многозначные решающие диаграммы, или программы (МРП). Один из возможных вариантов применения МРП – в распознавании образов в задачах с конечным числом классов и конечным числом значений, принимаемых признаками, или в задачах, которые без значительной потери информации могут быть сведены к указанным выше. Следует отметить, что первоначальный вариант метода, предложенный отечественными исследователями, назывался методом граф-схем.
Дипломная работа А.В. Парфёнова повещена указанной проблеме. В ней разработан алгоритм решения задач распознавания образов, базирующийся на многозначные решающих программах и решена практическая задача, иллюстрирующая возможности рассматриваемого подхода. Кроме того, в дипломной работе решена интересная теоретическая проблема получена нижняя оценка минимального числа строк программы, необходимых для реализации любой функции k-значной логики МРП. Оценка близка к полученной О. Касим-Заде для сходного класса дискретных управляющих систем.
Полученный алгоритм распознавания реализован в виде программы на языке С++ для ПК.
Научный руководитель отмечает единственный недостаток дипломной работы А.В. Парфёнова: с целью демонстрации способностей разработанного метода следовало бы, решив с его помощью некоторое количество практических задач, сравнить результаты с полученными при помощи традиционных алгоритмов. Понятно, однако, что потребовало значительных ресурсов и, прежде всего, времени.
По результатам работы над темой дипломного проекта А.В. Парфёнов сделал доклад на конференции «Ломоносов-2005» и подготовил статью в сборник работ молодых учёных ф-та ВМиК МГУ. При работе над дипломом А.В. Парфёнов проявил себя способным молодым исследователем. Учёным советом ВМиК он рекомендован в аспирантуру факультета.
На основании вышеизложенного считаю, что диплом А.В. Парфёнова заслуживает оценки «отлично» и ему может быть присвоена квалификация «математик, системный программист» по специальности «прикладная математика и информатика» (специализация «математическое моделирование»).
Доцент каф. «Математические методы прогнозирования» ф-та ВМиК МГУ им. М.В. Ломоносова, ст.н.с., к.ф.-м.н. _____________ С.И. Гуров
15 мая 2005 г.