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

32.1. МЕТОД ПОСТРОЕНИЯ УПРАВЛЯЮЩИХ КОНЕЧНЫХ АВТОМАТОВ ПООБУЧАЮЩИМ ПРИМЕРАМ НА ОСНОВЕ ЭВОЛЮЦИОННЫХ АЛГОРИТМОВ ................ 772.1.1. Входные данные ............................................................................. 772.1.2. Выходные данные........................................................................... 792.1.3. Представление управляющего конечного автомата в видеособи в эволюционных алгоритмах ................................................................... 802.1.4. Алгоритм расстановки выходных воздействий ......................... 812.1.5. Вычисление функции приспособленности ................................... 842.1.6. Операция мутации, использующаяся в методе спуска на основеслучайных мутаций и в генетическом алгоритме .......................................... 852.1.7. Операция удаления дублированных и противоречивыхпереходов ............................................................................................................. 862.1.8. Операция мутации, использующаяся в эволюционнойстратегии ............................................................................................................ 862.1.9. Генетический алгоритм ................................................................ 872.1.10. Операция скрещивания ................................................................ 882.1.11. Совместное использование генетического алгоритма,эволюционной стратегии и метода спуска на основе случайных мутаций . 892.2. МЕТОД ВЫПОЛНЕНИЯ ОПЕРАЦИИ СКРЕЩИВАНИЯ С УЧЕТОМПОВЕДЕНИЯ АВТОМАТОВ НА ОБУЧАЮЩИХ ПРИМЕРАХ ........................................... 902.3. ЭКСПЕРИМЕНТАЛЬНОЕ ИССЛЕДОВАНИЕ МЕТОДОВ ПОСТРОЕНИЯУПРАВЛЯЮЩИХ АВТОМАТОВ ПО ОБУЧАЮЩИМ ПРИМЕРАМ НА ОСНОВЕЭВОЛЮЦИОННЫХ АЛГОРИТМОВ ............................................................................... 912.3.1. Построение автомата управления часами с будильником ...... 912.3.2. Тесты, сгенерированные случайным образом .......................... 1042.4. МЕТОД ПОСТРОЕНИЯ АВТОМАТОВ ПО ОБУЧАЮЩИМ ПРИМЕРАМ ИТЕМПОРАЛЬНЫМ ФОРМУЛАМ НА ОСНОВЕ ЭВОЛЮЦИОННЫХ АЛГОРИТМОВ ИВЕРИФИКАЦИИ ........................................................................................................ 1072.4.1. Входные данные ........................................................................... 1082.4.2. Выходные данные......................................................................... 1082.4.3. Представление конечного автомата в виде хромосомыэволюционного алгоритма ............................................................................... 108