• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
ФИО студента
Название работы
Руководитель
Факультет
Программа
Оценка
Год защиты
Книжникова Илона Олеговна
Программа анализа поведенческих свойств временных вложенных сетей Петри
10
2015
Сложность современных вычислительных систем высока и продолжает расти, проек- тирование и отладка таких систем требует большого количества усилий. Для облегчения этой задачи создаются средства для моделирования таких систем и их автоматической верификации. Существует ряд формализмов, позволяющих моделировать распределённые системы, в числе этих формализмов - сети Петри и множество расширений сетей Петри. Но на данный момент среди них нет формализма, непосредственно предназначенного для моделирования мульти-агентных зависимых от времени систем, тогда как такие системы распространены повсеместно. Мульти-агентные системы - системы, включающие в себя автономных агентов, имеющих собственное индивидуальное поведение и взаимодействующих между собой и с основной системой при помощи механизмов синхронизации. Мульти-агентные системы имеют высокую степень параллельности, так как агенты действуют автономно. В качестве примера мульти-агентных зависимых от времени систем можно привести web-сервисы, обеспечивающие обработку запросов за определённое время. Цель данной работы - разработать формализм, предназначенный для моделирования таких систем, расширить и адаптировать некоторые существующие методы анализа для нового формализма и создать приложение, позволяющее моделировать и анализировать мульти-агентные зависимые от времени системы. В процессе работы был создан новый формализм - вложенные временные сети Петри, выработана стратегия разрешения либо избегания противоречий, расширены и адаптированы алгоритмы ключевых состояний и проверки модели, и было разработано программное приложение, реализующее новые формализм и алгоритмы. 36 страниц, 4 главы, 4 рисунка, 12 источников, 5 приложений.
Текст работы (работа добавлена 30 мая 2015г.)

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

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

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

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

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

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