Отзыв на автореферат (1148264)

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла

Закрьпое акаиьвер~юе об1пес1 Во 194044 С.-1! стербтрг Ул. Тобо.жкая, р.!2 ° Тел. (812) 640-02-02 та®а.йьоноп.го Кому: УЧЕНОМУ СЕКРЕТАРЮ ДИССИ.ГАЦИОННО1 О СОВЕТА ДС 212.232.51 Демьяновичу Ю.К. Адрес: 198504, Санкт-Петербург, Старый Петергоф, Университетский пр, 28 Исх. № 18-'1'5/313 от 14.03.2018 СКБ Орион" Е. ВАСИЛЬЕВ О~~и~ на автореферат диссертационной работы БОЙКО Павла Валентиновича на тему «МАКС В5М Система распределенной оби1ей 22амяти для ирльтийееитиых еис22жы 6 2ОУ>>, пРелставленной на соискание Ученой степени кандидата технических наук по специальности 05.13.11— «Матсматнческое н программное обеспечение вычислительных машин, комплексов и компьютерных сетей».

Диссертационная работа Бойко П.В. посвящена вопросу коммуникации в мультиагентных системах, а именно -- системах, состоящих из устройств, характерных для сферы Интернета вещей, использующих радиоканал для обмена информацией. Актуальность данной темы определяется возрастающей ролью систем, действующих как совокупность относительно автономных агентов, что обеспечивает легкость администрирования таких систем, а также их способность динамически подстраиваться к изменению окружающей среды — в частности, к количеству агентов в системе. Возрастание популярности подобных систем сталкивается с повышенной сложностью разработки соответствующего программного обеспечения 1ПО). В работе Бойко П,В. предлагается модель, алгоритм и программное средство, позволяющие снизить сложность разработки распределенного ПО для таких систем, что потенциально положительно скажется на динамике их распространения.

В автореферате приведены результаты диссертационной работы, обладающие научной новизной. Разработана усиленная модель консистентности по выходу. Базовая модель консистентости по выходу была дополнена такими свойствами, как наличие связи между общими и синхронизационными переменными, а также разделение захватов синхронизационной переменной на эксклюзивные и неэксклюзивные. Данные свойства усилили базовую модель в аспектах повышения устойчивости потенциальных реализаций модели к ошибкам прикладного программиста и производительности (благодаря возникающей возможности одновременного нахождения в одной и той же секции нескольких параллельно выполняющихся задач). Разработан алгоритм ролей и переходов, сочетающий концептуальную простоту с возможностью поддержки высокодинамичных систем с непостоянным количеством узлов. Разработаны концепция и интерфейс прикладного взаимодействия с ЕЬМ системой.

Учтены такие потребности прикладного разработчика, как возможность портирования на альтернативные аппаратные платформы, простота в использовании, независимость От дополнительных инструментальных средств и высокая надежность в плане обнаружения несоответствия прикладного ПО требованиям модели на этапе компиляции. Сочетание свойств обеспечено ранее не применявшимся в подобных системах подходе комбинирования стандартного языка программирования с надстройкой в виде макроподстановок, образующих лаконичное расширение над языком, оставаясь при этом в рамках его стандарта. Научная ценность работы определяется, в первую очередь, предложенными в ней моделью и алгоритмом, эффективность которых подтверждена теоретически и экспериментально, и которые могут служить основой для дальнейших исследований и разработок в данной области.

Практическую ценность представляет программное решение МАКС 0БМ, что подтверждается внедрением в коммерческие продукты. Имеются следующие замечания по содержанию автореферата 1. Отсутствует какай-либо фрагмент ПО, разработанного с помощью МАКС ВЯМ, упоминается лишь наличие примера в основном тексте диссертации. 2. Отсутствует сравнение с альтернативнь~ми подходами к созданию распределенного ПО.

Был бы уместен, по крайней мере, пример, демонстрирующий фрагмент ПО с использованием МАКС ВБМ и без использования данного решения, 3. Отсутствует упоминание наиболее популярного стандарта в области межпроцессного взаимодействия — МР1, Указанные выше замечания выше не являются существенными и не влияют на положительную оценку работы. Анализ автореферата Бойко П.В, позволяет сделать вывод о том, что ~р~д~~а~~е~~а~ диссертация явке~~~ ~а~о~~е~~ой научно-исследовательской работой на актуальную тему, соответствует паспорту специальности 05.13.11— «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», обладает научной новизной и имеет ценность для науки и практики. Работа соответствует требованиям «Положения о присуждении ученых степеней» в действующей редакции, предъявляемым к диссертациям на соискание ученой степени кандидата наук. Таким образом, Бойко Павел Валентинович заслуживает присуждения ему искомой степени кандидата технических наук по указанной специальности.

ного конструктора ЗАО «СКБ Орион» их наук, профессор М,1О. Охтилев Ведущий инженер-программист ЗАО «СКБ Орион» кайдида~ технических наук, доцент Яф О.П. Ничнпорович граммист ЗАО «СКБ Орион» И.В, Березов .

Характеристики

Тип файла PDF

PDF-формат наиболее широко используется для просмотра любого типа файлов на любом устройстве. В него можно сохранить документ, таблицы, презентацию, текст, чертежи, вычисления, графики и всё остальное, что можно показать на экране любого устройства. Именно его лучше всего использовать для печати.

Например, если Вам нужно распечатать чертёж из автокада, Вы сохраните чертёж на флешку, но будет ли автокад в пункте печати? А если будет, то нужная версия с нужными библиотеками? Именно для этого и нужен формат PDF - в нём точно будет показано верно вне зависимости от того, в какой программе создали PDF-файл и есть ли нужная программа для его просмотра.

Список файлов диссертации