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

163ЗАКЛЮЧЕНИЕВ результате диссертационного исследования получены следующиерезультаты:1. Разработан метод построения управляющих конечных автоматовпо обучающим примерам на основе эволюционных алгоритмов.Его основное отличие от известных состоит в том, что вэволюционные алгоритмы добавлен новый шаг «Расстановкавыходных воздействий», который выполняется передвычислением функции приспособленности.2. Разработан метод выполнения операции скрещивания длягенетических алгоритмов, учитывающий поведение автоматов наобучающих примерах. Показано, что генетический алгоритм,использующий разработанный метод выполнения операциискрещивания, осуществляет построение автоматов по обучающимпримерам быстрее, чем генетический алгоритм, использующийтрадиционный метод выполнения операции скрещивания,эволюционная стратегия и метод спуска на основе случайныхмутаций.3. Разработан метод построения автоматов по обучающим примерами темпоральным формулам на основе эволюционных алгоритмов иверификации. Его основное отличие от известных методов состоитв том, что для вычисления функции приспособленности совместноприменяются обучающие примеры и верификация.4. Разработана технология построения автоматов по обучающимпримерам и темпоральным формулам.5. Разработано инструментальное средство для автоматизациипостроения автоматов.6. Разработанные методы использованы при построении автоматауправления моделью беспилотного самолета и внедрены в