• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
ФИО студента
Название работы
Руководитель
Факультет
Программа
Оценка
Год защиты
Михайлов Владимир Евгеньевич
Программа поведенческого анализа вполне структурированных систем переходов
2017
Модель вполне структурированных систем переходов все более широко используется в качестве инструмента исследования параллельных и распределенных систем. С помощью данного класса систем могут быть исследованы следующие проблемы: ограниченности, достижимости, покрытия, неизбежности, поддержки управляющего состояния, останова, – и другие семантические свойства. Несмотря на то, что модель вполне структурированных систем переходов известна и изучается уже несколько десятков лет, было замечено отсутствие практических результатов применения алгоритмов их анализа.

Целью данной работы – является разработка программы для анализа поведенческих свойств вполне структурированных систем переходов.

В работе рассматриваются два наиболее популярных алгоритма, используемых для изучения поведенческих свойств вполне структурированных систем переходов: Метод насыщения и Покрывающее дерево системы переходов. Для описания исследуемых формализмов и запуска указанных алгоритмов вводится язык программирования WSTSL, являющийся расширением языка SETL, который ориентирован на работу с множествами. Применимость подхода была продемонстрирована на примере эксперимента, в ходе которого была исследована производительность алгоритма построения Покрывающего дерева для сетей Петри, описывающих задачу об обедающих философах разного размера, и на основе которого было выявлено одно из потенциальных направлений для усовершенствования данного алгоритма.

Ключевые слова: формальная верификация, системы переходов, правильные квазипорядки, сети Петри.

Выпускные квалификационные работы (ВКР) в НИУ ВШЭ выполняют все студенты в соответствии с университетским Положением и Правилами, определенными каждой образовательной программой.

Аннотации всех ВКР в обязательном порядке публикуются в свободном доступе на корпоративном портале НИУ ВШЭ.

Полный текст ВКР размещается в свободном доступе на портале НИУ ВШЭ только при наличии согласия студента – автора (правообладателя) работы либо, в случае выполнения работы коллективом студентов, при наличии согласия всех соавторов (правообладателей) работы. ВКР после размещения на портале НИУ ВШЭ приобретает статус электронной публикации.

ВКР являются объектами авторских прав, на их использование распространяются ограничения, предусмотренные законодательством Российской Федерации об интеллектуальной собственности.

В случае использования ВКР, в том числе путем цитирования, указание имени автора и источника заимствования обязательно.

Расширенный поиск ВКР