Автореферат (Разработка метода проектирования многоагентных имитационных моделей на основе формализма машин абстрактных состояний), страница 4
Описание файла
Файл "Автореферат" внутри архива находится в папке "Разработка метода проектирования многоагентных имитационных моделей на основе формализма машин абстрактных состояний". PDF-файл из архива "Разработка метода проектирования многоагентных имитационных моделей на основе формализма машин абстрактных состояний", который расположен в категории "". Всё это находится в предмете "технические науки" из Аспирантура и докторантура, которые можно найти в файловом архиве НИУ ВШЭ. Не смотря на прямую связь этого архива с НИУ ВШЭ, его также можно найти и в других разделах. , а ещё этот архив представляет собой кандидатскую диссертацию, поэтому ещё представлен в разделе всех диссертаций на соискание учёной степени кандидата технических наук.
Просмотр PDF-файла онлайн
Текст 4 страницы из PDF
На (рис. 3) представлен фрагмент графасостояний спецификации, полученный в результате автоматическогоисследования.Рисунок 3. Исследование исполняемой спецификацииНа (рис. 3) состояния исполняемой спецификации, в которых возможноисполнение контролируемых действий, представлены овалами, а состояния, вкоторых возможны только наблюдаемые действия - ромбами, ребра графапомечены действиями, связанными с конкретным набором аргументов.Полный граф состояний бесконечен, поэтому для исследованияиспользуются типовые сценарии, написанные на языке Cord, ограничивающиекак последовательность вызова действий, так и аргументы действий.Разработанный прототип позволяет визуализировать многоагентнуюмодель, основываясь на значениях параметров как отдельных агентов, так ихсообществ.
Построение различных графиков и распределений реализовано спомощью перехвата сообщений на общей системной шине и не требуетвнесения изменений в программный код модели.В заключении приводятся список основных научных и практическихрезультатов диссертационной работы, а также перспективы развития методаASF и программного каркаса ASF.Core.18III.Основные результаты диссертационной работыОсновным результатом диссертационной работы является разработканового метода формальной спецификации многоагентных имитационныхкомплексов и алгоритмы автоматической верификации, основанные наиспользовании исполняемых спецификаций (машин действий). Поведенческиеспецификации позволяют абстрагироваться от деталей реализации ипроектировать логику приложения в высокоуровневой среде и при этом ненакладывают ограничений на реализацию.
Возможность автоматическойверификации позволяет создавать сложные программные комплексы нанизкоуровневых языках, не жертвуя производительностью.В рамках работы было проведено исследование программных архитектурраспределенных программных комплексов для проведения имитационныхэкспериментов на основе технологии программных агентов. На основанииэтого исследования предложена оригинальная программная архитектура длявысокопроизводительногокомплексаимитационногомоделирования,поддерживающая разработанный метод. В работе обоснованы принимаемыеавтором решения для структурной организации таких систем, построенияалгоритмов взаимодействия и интеграции программных компонентов, созданияинструментальных средств и методов моделирования.Созданпрограммныйпрототип,обладающийследующимихарактеристиками:– размер исходных кодов: 625 Kb;– количество строк кода: ~ 23.000;– количество классов: 247.Достигнута высокая производительность вычислений.
В случае моделиHeatBugs (100 агентов) на компьютере с характеристиками:TurionMK-32, 4GB,WinXPx64, моделирование идет со скоростью 50 шагов в секунду, при этомгенерируется и обрабатывается ~ 50000 сообщений.С использованием разработанного метода и прототипа была создана иверифицирована многоагентная программная реализация известной моделитеории коллективных действий. Разработанная программная реализацияпрошла апробацию в рамках проекта РГНФ-08-02-00231. Работа выполнена приподдержке Лаборатории ТАПРАДЕСС НФ ГУ-ВШЭ.19IV.Список публикаций по теме диссертацииРаботы, опубликованные автором в ведущих рецензируемых научныхжурналах и журналах рекомендованных ВАК Министерстваобразования и науки России:1.
Набиуллин О.Р. Использование Spec Explorer 2007 и ASF для разработкимногоагентных имитационных моделей // Естественные и технические науки, 2009. № 3. ISSN 1684-2626.C. 398-402.Другие работы, опубликованные автором по теме кандидатскойдиссертации:2. Набиуллин О.Р., Бабкин Э.А. Методы гармонизации информационныхмоделей на основе технологии Rational Software Architect // Кограф 2007:материалы международной научно-практической конференции по графическиминформационным технологиям и системам.
- Нижний Новгород: ТипографияНГТУ, 2008. УДК 002.53:520.63:681.3.106. С. 126-127.3. Набиуллин О.Р., Бабкин Э.А. Проблемы производительности фрейморковдля создания агентных систем //Современные проблемы в области экономики,менеджмента, социологии, бизнес-информатики и юриспруденции: материалы5-й научно-практической конференции студентов и преподавателей.- НижнийНовгород: Типография НГТУ,2007.ISBN: 978-5-93272-450-7.С. 292-293.4. Набиуллин О.Р., Норкин В.М.
Архитектура высокопроизводительнойсистемы многоагентного моделирования // Бизнес-Информатика. - 2008, №2(04). ISSN: 1998-0663.C. 48-60.5. Набиуллин О.Р., Бабкин Э.А. Моделирование и автоматическая проверкапо AsmL // Бизнес-Информатика.– 2008. № 4(06).ISSN: 1998-0663.С. 56-63.6. Набиуллин О.Р. Разработка многоагентной модели на основе теорииколлективного действия // 14-я Нижегородская сессия молодых ученых(математические науки): сборник тезисов.
Нижний Новгород, 2009.20Лицензия ЛР № 020832 от 15 октября 1993 г.Подписано в печать “ ”_________ 2010 г. Формат 60x84/16Бумага офсетная. Печать офсетная.Усл. печ. л. 1,0.Тираж 100 экз. Заказ №____Типография издательства ГУ-ВШЭ125319, г. Москва, Кочновский пр-д, д. 321.