Сведения о результатах публичной защиты (1149711), страница 2
Текст из файла (страница 2)
А. Яепай1чгу яайа6са1 еяйшагеа о1 !оса! рояепог 1п1егепсе тагпх-,ес1ог ег!найопз !и а1аеЬга1С Вауеяап пеЬюгка оп цпапга ргороя6опа / А. А. УО1обп. А. 1. Тп)прус~ // Чсагп1к. Я. РС1егзЬпгд 11п1~егзпу: Майеша6ся— — 2018. — Ъ'о1. 51, по. 1. — Р. 42 — 48. 4. УО1ойп„А. А.
Ма1Т1х-~ес1аг а1яопйша ОГ 1оса1 роагег1ог1 «Ыегепсе 1п а!де)зга)с Вауеяап пемог1:х оп Ыеа! О1' Йя)ш1С1з / А. А. 7О1огш, Е. А. Ма!С)зе~з)аи // Ргосеегйп я ОГ г)зе 19Й 1п!егпа6опа1 СОНГегепсе оп Бой Сошрцйпя апд Меаьпгешеп1а (5СМ-2016). — 51. РегегзЬпгд, Впзяа, 2016. — С. 3! — 34. 5. 7а1ойп. А. А. Ап АрргоасЬ 1о Яепя6й1у Апа!уяз о1' 1п1егепсе Ециайопв и А1яеЬга!с Вауезип МС1жогй» / А. А. ХО1О6п, Е. А. Ма1СЬехз1сауа, А. 1.. Ти!пруе~:. А. У. %го!к1п // Ргосеес)1пяя О1' Йе Яесопд 1п!епи6опа! ЯС1еп611С Соп1егепсс "1п1е!1!аеш 1п1огпзайап Тес)шо1оя!ея 1ог 1пдпЯгу" Д1ТГ17), Т. 679. — Уагпа, Вп!Оаги. 2017. — С.
34 — 42. — (Ад ~апсез ш 1пгеП!яеп! Яуяепь апд Сотарпбпд). рассматривает только скалярные оценки вероятностей. оставляя случай с ~~~~~н~ми оценками в области ~~~~~~ного вывода. Интересно узнать ~о~но ли построи~ь ~налогичн~е задачи линейного программирования для случая глобального распространения свидетельства. 2) Говоря о задачах линейного программирования, сгнило упомянуть с использованием какого пакета или библиотеки решал ись задачи л и нейного программирования; 5. От Уткина Льва Владимировича, доктора технических наук, профессора. заместителя проректора по научной работе, заведующего кафедрой телематики ФГАОУ ВО «Санкт-Петербургский политехнический университет Петра Великого».
Отзыв содержит следующее замечание: Четвертая глава диссертационного исследования, судя по автореферату„ посвящена комплексу программ реализующему алгоритмы логиковероятностного вывода. При разраоотке программного обеспечения хорошим тоном является размещение указанного ПО в открытом доступе, но по автореферату соискателя неясно был ли размещен указанный программный код где-либо; 6. От Курзенева Владимира Анатольевича, доктора технических наук„ профессора, профессора кафедры бизнес-информатики, математических и статистических методов Северо-Западного института управления — филиала ФГБОУ ВО "Российская академия народного хозяйства и государственной службы при Президенте РФ".
Отзыв содержит замечания редакционного ХараКтсра„' 7, От Ярушкиной Надежды Глебовны, доктора технических наук, профессора. первого проректора — проректора по научной работе, заведующей кафедрой .Информационные системы» ФГБОУ ВО «Ульяновский государственный технический университет». Отзыв содержит замечания редакционного характера; 8. От Осипова Геннадия Семеновича, доктора физико-математических наук, профессора, заместителя директора по научной работе Федерального нсследокпельского центра "Информатика и управление'" института системного анализа РАН.
Отзыв содержит следующее критическое замечание: Поскольку соискагель рассматривает математические фрагменты знаний с тремя различными носителями было бы интересно сравнить 1где достижимО и ВОзмОжнО) получсцошиеся оценки чуВствительности, чтОбы ответить на вопрос о том.
как на них влияет выбор такого носителя„ 9. От Егорова Антона Юрьевича, доктора физико-математических наук, член-корреспонде1па РАН, технического директора ООО «Коннектор Оптикс» Отзыв содержит следующее критическое замечание: Можно ли разработанный комплекс программ интегрировать в сторонние решения? Какими ограничениями будет обладать результирующий продукт? 10.
От Калитеевского Михаила Алексеевича, доктора физикоматематических наук, главного научного сотрудника лаборатории физики наноструктур ФГБУ высшего образования и науки «Санкт-Петербургский национальный исследоват~льский Академический университет Российской академии наук». Отзыв содержит следующее замечание: В третьей теореме автор предлагает способ передачи виртуального свидетельства между фрагмен яами знаний, описывая этот процесс матрично-векторным уравнением. Однако опускает вопрос поддержания согласованности во ВТОром фрагменте знаний; 11.
От Михайлова Дмитрия Владимировича, доктора физикоматематических наук. Доцента. доцента кафедры Информационных технологий и систем (ИТИС) Федерального государственного бюджетного образователыюго учреждения вьюшего образования "Новгородский государственный университет имени Ярослава Мудрого".
Отзыв содержит следуюшес критическое замечание: в автореферате недостаточно внимания уделе~~ экспериментальным исследованиям разр~бота~~ы~ теоретических положений, имеются только ссылки на свидетельства о государственной регистрации программ для ЭВМ, краткое описание назначения и особенностей реализации созданных программных продуктов. Ответы на замечания в отзывах на автореферат даны в ходе защиты, Выбор ведущей организации обосновывается тем, что она имеет значительный Опыт ~с~~ед~ваний, непосредстве~но соответствующих тематике данной диссертационной работы, и способна определить научную и практическую ценность диссертации. Выбор в качестве официального оппонента Махортова СД. Обусловлен тем, что он является ведущим ученым РФ В Области искусственного интеллекта и управления базами знаний, а также является а~тор~м многочисленных публикаций по указанноЙ тематике.
Выбор в качестве официального оппонента Солдатенко И.С. обусловлен тем, что он является признанным в России экспертом в теории не ~еткости, технологий искусственного интеллекта, а также в области теоретического программирования и информатики, активно пуоликуется и Выступает с докладами Б этих Областях. Диссертационный совет отмечает, что на основании выполненных соискателем исследований: е сформулированы н доказаны теоремы о матрично-векторных уравнениях локального апостериорного вывода для различных видов фрагментов знаний и типов оценок вероятностей истинности элементов; е описан алгоритм Выражения новых векторов, используемых в нормируюших множителях уравнений апостериорного вывода (вектора Г~'~~, ВП П, д "~~), Перез вектора малой размерности; а исследована модель фрагмента знаний„построенная над идеалом дизъюнктов и предложены матрицы перехода От Вектора Вероятностей элементов идеала дизъюнктов к векторам вероятностей элементов идеала конък~н ктов и набора г1ропози пий-квантов; разработан а и"Оритм покомпонентиого ~ы~ислени~ векторов, участвующих в расчете нормирующих множителей в алгоритмах апостериорного вывода; е сформулированы.
с учетом новой матрично-векторной формализации, ограничения и построены задачи линейного программирования для первой и второй задач агюстериорного Вь~вода в случае неточного свидетельства или интерв1зьпых оценок вероятностей истинности элементов фрагмента знаний; э предложен способ. ОП11сываюший распространение 1пропагацик>) виртуального свидетельства между двумя фрагментами знаний алгебраической байесовской сети, основу которого составляет матрица, укзззн1ьая В пункте" итОГОВ исследоВания; Ф разработаны методы Оценки чуВстВительности и дана Оценка чувствительности п~р~ОЙ задачи уравнений дока~~ного апостериорного вывода для фрагментов знаний над идеалом конъюнктов, идеалом дизъюнктов и набором пропозиций-квантов; спроектирован н 11азработан кОмплекс программ на языке СФ, резлизую1ций локзльньге структуры и алГоритмы лОГико-ВероятностнОГО вывода, Вклк>чая априорный вывод, зпостериорный вывод, проверку и поддержание нспротиворечиВОсти для проВедения Вь1числительных ЭКСПЕРИМЕН'1ОВ; е разработан графический пользовательский интерфейс, даю1ций доступ ко Всем функциям комплекса программ, а также веб-интерфейс, дакнций возможн~ст~ коллаборативной рзооты с рассматриваемыми структурамн и их визуализациями.
Теоретическая значимость исследования обоснована тем, что: е результаты развиваюг Область искусственного интеллекта в целом и вероятностных Графических моделей В частности„ е материалы исследования могут быть использованы при подготовке обц1их и специальн~х дисциплин для студентов математических и технических специальностей «Алгебрзи11еские байесовские сети», «Теория вероятностей и М11гемзт11 1ескзя статистика», «Теория байесовских сетей», «Вероятностные Графические модели>>.
«Интеллектуальный анализ данных: инструментарий и жизненный цикл проекта», «Е)аида Ос1епсе: комплексы программ». «В>на У>с1епсе: основы обработки и анализа данных» и др.; е полученные матрично-векторные уравнения апостериорного вывода и алгоритмы синтеза множества вторичных структур алгебраической байесовской сети могут быть применены при разработке комплексов программ с байесовской интеллектуальной компонентой.
Значение полученных соискателем результатов исследовании дли практики нодтвер"кдается тем, что: е сформирован комплекс программ, поддерживающих локальный апостериорный вывод ~таким образом завершая автоматизацию этого вида логнко-вероятностнога вывода в алгебраических байесовских сетях), Ф алгеооаические ОайесОВские сети мОжнО применить как промежуточный этап обугения байесовских сетей доверия по неполным, неточным, нсчислОВым данным'„ ° развиваемая вероятностная графическая модель дает возможность исследовать последствия ослабления ~релаксации) предположения независимости событий в ряде моделей, применяющихся в оценке надежности систем, эпидемиологии и анализе защищенности от социОинженерных атак.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
