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

119основе эволюционных алгоритмов и верификации на задаче построенияавтомата управления дверьми лифта оказалось примерно в 10 раз больше,чем для метода построения автоматов по тестам на основе эволюционныхалгоритмов. Однако применение верификации оправдывает себя, так какпри ее использовании при каждом из 1000 запусков был построен автомат,удовлетворяющий не только тестам, но и всем темпоральным формулам.ВЫВОДЫ ПО ГЛАВЕ 21. Разработан метод построения управляющих автоматов пообучающим примерам на основе эволюционных алгоритмов. Егоосновное отличие от известных состоит в том, что в предлагаемыеалгоритмы добавлен новый шаг «Расстановка выходныхвоздействий», который выполняется перед вычислением функцииприспособленности.2. Разработан метод выполнения операции скрещивания длягенетических алгоритмов, учитывающий поведение автоматов наобучающих примерах. Показано, что генетический алгоритм,использующий разработанный метод выполнения операциискрещивания, осуществляет построение управляющих автоматовпо обучающим примерам быстрее, чем генетический алгоритм,использующий традиционный метод выполнения операциискрещивания, эволюционная стратегия или метод спуска наоснове случайных мутаций.3. Разработан метод построения автоматов по обучающимпримерам и темпоральным формулам на основе эволюционныхалгоритмов и верификации. Его основное отличие от известныхсостоит в том, что для вычисления функции приспособленностисовместно применяются обучающие примеры и метод ModelChecking.