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

2ОГЛАВЛЕНИЕВВЕДЕНИЕ ........................................................................................................ 6ГЛАВА 1. АВТОМАТНОЕ ПРОГРАММИРОВАНИЕ ИПОИСКОВАЯ ИНЖЕНЕРИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ .......... 191.1. АВТОМАТНОЕ ПРОГРАММИРОВАНИЕ ..................................................... 191.1.1. Сущности со сложным поведением ............................................ 191.1.2. Парадигма автоматного программирования ............................ 211.1.3. Управляющий конечный автомат ............................................... 261.1.4. Верификация автоматных программ на основе метода ModelChecking ............................................................................................................... 301.2. ПОИСКОВАЯ ИНЖЕНЕРИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ................... 351.2.1. Основные понятия ......................................................................... 351.2.2. Метод спуска ................................................................................. 371.2.3. Эволюционная стратегия ............................................................. 391.2.4. Генетические алгоритмы ............................................................. 411.3. ПРИМЕНЕНИЕ ЭВОЛЮЦИОННЫХ АЛГОРИТМОВ ДЛЯ ПОСТРОЕНИЯКОНЕЧНЫХ АВТОМАТОВ ........................................................................................... 431.3.1. Методы, использующие моделирование при вычислениифункции приспособленности ............................................................................. 441.3.2. Методы, использующие обучающие примеры при вычислениифункции приспособленности ............................................................................. 581.3.3. Методы, использующие верификацию при вычислении функцииприспособленности ............................................................................................. 681.3.4. Анализ эволюционных алгоритмов построения автоматов .... 701.4. ЗАДАЧИ, РЕШАЕМЫЕ В ДИССЕРТАЦИОННОЙ РАБОТЕ............................. 75ВЫВОДЫ ПО ГЛАВЕ 1 ..................................................................................... 76ГЛАВА 2. МЕТОДЫ ПОСТРОЕНИЯ УПРАВЛЯЮЩИХКОНЕЧНЫХ АВТОМАТОВ НА ОСНОВЕ ЭВОЛЮЦИОННЫХАЛГОРИТМОВ ПО ОБУЧАЮЩИМ ПРИМЕРАМ И ТЕМПОРАЛЬНЫМФОРМУЛАМ .............................................................................................................. 77