Методы построения конечных автоматов на основе ...

17Публикации. По теме диссертации опубликованы 23 печатныеработы, в том числе шесть статей, из которых пять в журналах из перечняВАК.Свидетельства о регистрации программ для ЭВМ. В рамкахдиссертационной работы получены три свидетельства о регистрациипрограмм для ЭВМ: № 2010 614197 от 29.06.2010 г. «Программноесредство для построения управляющих конечных автоматов на основеобучающих примеров с использованием генетических алгоритмов»,№ 2011 615664 от 19.07.2011 г. «Программное средство для генерацииконечных автоматов с дискретными и непрерывными выходнымивоздействиями», № 2011 616977 от 08.09.2011 г. «Виртуальнаялаборатория для обучения методам искусственного интеллекта припостроении конечных автоматов».Структура диссертации. Диссертация изложена на 196 страницах исостоит из введения, четырех глав, заключения и двух приложений.Список источников содержит 170 наименований. Работапроиллюстрирована 41 рисунком и 14 таблицами.В первой главе приводится обзор работ, посвященных автоматномупрограммированию, поисковой инженерии ПО и применениюэволюционных алгоритмов для построения автоматов. На основерезультатов обзора формулируются задачи, решаемые в настоящейдиссертации.Вторая глава посвящена методам построения автоматов пообучающим примерам на основе эволюционных алгоритмов и выполненияоперации скрещивания с учетом поведения автоматов на обучающихпримерах, а также построения управляющих автоматов на основеэволюционных алгоритмов по обучающим примерам и темпоральнымформулам. Рассматриваются следующие эволюционные алгоритмы: методспуска на основе случайных мутаций, эволюционная стратегия,