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

12 каждое вычисление функции приспособленности можеттребовать значительного времени, так как связано смоделированием поведения управляющего конечного автоматав некоторой внешней среде.Поэтому исследования, направленные на разработку лишенныхуказанных недостатков эволюционных алгоритмов для построенияуправляющих конечных автоматов, являются актуальными.В соответствии с паспортом специальности 05.13.11 –«Математическое обеспечение вычислительных машин, комплексов икомпьютерных сетей» областями исследования, к которым относитсянастоящая диссертация, в частности, являются «5. Теория построенияпрограмм, пакетов прикладных программ (ППП), программныхкомплексов (ПК), а также сетевых программ (СП), в том числе,поддерживающих сетевые протоколы» и «9. Модели и методы разработкипрограммных средств обработки данных и знаний в ВМ, ВК и КС».Цель диссертационной работы – разработка методов построенияуправляющих конечных автоматов (в дальнейшем автоматов) на основеэволюционных алгоритмов.Основные задачи диссертационной работы состоят в следующем:1. Разработать метод построения автоматов по обучающимпримерам на основе эволюционных алгоритмов.2. Разработать метод выполнения операции скрещивания длягенетических алгоритмов, учитывающий поведение автоматовна обучающих примерах.3. Разработать метод построения автоматов по обучающимпримерам и темпоральным формулам на основе эволюционныхалгоритмов и верификации.4. Разработать технологию построения автоматов по обучающимпримерам и темпоральным формулам.