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

135. Разработать инструментальное средство для автоматизациипостроения автоматов.6. Внедрить разработанные методы при построении автоматауправления моделью беспилотного самолета и в учебныйпроцесс.Научная новизна. В работе получены следующие новые научныерезультаты, которые выносятся на защиту:1. Метод построения автоматов по обучающим примерам наоснове эволюционных алгоритмов. Его основное отличие отизвестных состоит в том, что в предлагаемые алгоритмыдобавлен новый шаг «Расстановка выходных воздействий»,который выполняется перед вычислением функцииприспособленности.2. Метод выполнения операции скрещивания для генетическихалгоритмов, учитывающий поведение автоматов наобучающих примерах. Показано, что генетический алгоритм,использующий разработанный метод выполнения операциискрещивания, осуществляет построение автоматов пообучающим примерам быстрее, чем генетический алгоритм,использующий традиционный метод выполнения операциискрещивания, эволюционная стратегия и метод спуска наоснове случайных мутаций.3. Метод построения автоматов по обучающим примерам итемпоральным формулам на основе эволюционных алгоритмови верификации. Его основное отличие от известных состоит втом, что для вычисления функции приспособленностисовместно применяются обучающие примеры и метод ModelChecking.