Выписка из протокола заседания диссертационного совета (1148254), страница 2
Текст из файла (страница 2)
Практическая значимость результатов диссертационного исследования заключается в их применении при решении задач организации отказоустойчивых распределенных систем на базе оборудования, характерного для сферы Интернета вешей, внедрении результатов в виде компонента российской операционной системы реального времени МАКС, использовании в серийно производящемся оборудовании, а также потенциале для создания учебных программ в области основ организации распределенных систем и вычислений. В работе Бойко Павла Валентиновича представлены следующие результаты, 1.
Предложена модель консистентности, позволяюшая добиться лучших характеристик в заданной предметной области по сравнению с моделями, взятыми за основу. 2. Разработан алгоритм ролей и переходов для узлов МАС, обеспечивающий устойчивость системы к сбоям отдельных узлов. 3. Представлена концепция и интерфейс прикладного взаимодействия с 1)БМ системой, упрощаюшие ей использование и перенос на альтернативные аппаратные платформы, а также обеспечивающие более высокий уровень зашиты от ошибок прикладного программиста.
4. Модель, алгоритм и концепция воплощены в программном решении МАКС 08М, произведены измерения характеристик решения на специально созданном оборудовании и программной имитационной модели. Все полученные результаты являются новыми и достоверньлии. Комиссия считает, что диссертация Бойко Павла Валентиновича соответствует критериям, которым должна отвечать диссертация на соискание ученой степени кандидата наук (пп.9-11, 13,14 «Положения о присуждении ученых степеней»). Комиссия рекомендует принять к защите на диссертационном совете Д212.23251 кандидатскую диссертацию Бойко Павла Валентиновича на тему «МАКС 1)БМ: Система распределенной общей памяти для мультиагентных систем в 1оТ» по специальности 05.13.11 — «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей». Комиссия рекомендует утвердить официальными оппонентами компетентных в соответствующей отрасли науки ученых, имеющих публикации в областях самоорганизации вычислительных ресурсов, распределенной обработки данных„многоагентных технологий: 2.
Кандидата технических наук, доцента кафедры информатики Федерального государственного бюджетного образовательного учреждения высшего образования «Уфимский государственный авиационный технический университет» Ковтуненко Алексея Сергеевича. Комиссия рекомендует утвердить в качестве ведущей организации широко известный своими достижениями в области информатики и языков программирования и способный определить научную ценность диссертации математический институт: Федеральное государственное бюджетное учреждение науки Санкт-Петербургский институт информатики и автоматизации Российской академии наук, Председатель комиссии: д 1 Терехов Андрей Николаевич у' 4.Ф-~-- " Веремей Евгений Игоревич Члены комиссии: Граничин Олег Николаевич У- б 2018 г.
1. Доктора технических наук, профессора, директора Лаборатории информационных технологий ОИЯИ, заведующего кафедрой распределенных информационно-вычислительных систем Международного университета «Дубна» Коренькова Владимира Васильевича. .