Методы построения конечных автоматов на основе ...
Методы построения конечных автоматов на основе ...
Методы построения конечных автоматов на основе ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
751.4. ЗАДАЧИ, РЕШАЕМЫЕ В ДИССЕРТАЦИОННОЙ РАБОТЕИз выполненного обзора следует, что существующие методы<strong>построения</strong> управляющих <strong>конечных</strong> <strong>автоматов</strong> используют вычислениефункции приспособленности <strong>на</strong> <strong>основе</strong> моделирования и обладаютследующими недостатками: для решения новой задачи необходимо заново писатьпрограмму моделирования для вычисления функцииприспособленности, что может быть весьма трудоемким; каждое вычисление функции приспособленности можеттребовать з<strong>на</strong>чительного времени, так как связано смоделированием поведения автомата в некоторой внешнейсреде.На основании проведенного обзора сформулируем задачи, решаемыев диссертационной работе:1. Разработать метод <strong>построения</strong> управляющих <strong>конечных</strong><strong>автоматов</strong> по обучающим примерам <strong>на</strong> <strong>основе</strong> эволюционныхалгоритмов.2. Разработать метод выполнения операции скрещивания длягенетических алгоритмов, учитывающий поведение <strong>автоматов</strong><strong>на</strong> обучающих примерах.3. Разработать метод <strong>построения</strong> управляющих <strong>конечных</strong><strong>автоматов</strong> по обучающим примерам и темпоральнымформулам <strong>на</strong> <strong>основе</strong> эволюционных алгоритмов иверификации.4. Разработать технологию <strong>построения</strong> управляющих <strong>конечных</strong><strong>автоматов</strong> по обучающим примерам и темпоральнымформулам.5. Разработать инструментальное средство для автоматизации<strong>построения</strong> управляющих <strong>конечных</strong> <strong>автоматов</strong>.