Метод сокращенных таблиц для генерации автоматов с большим числом входных воздействий на основе генетического программирования



© 2008 В.Н. Точилин
Научный руководитель - докт. техн. наук, профессор А. А. Шалыто

Санкт-Петербургский государственный университет информационных технологий, механики и оптики

Магистерская диссертация
Исходные коды на языке Eiffel
Исполняемая программа
Файлы настройки
Презентация

Аннотация

Эффективность известных методов автоматической генерации конечных автоматов на основе генетического программирования экспоненциально снижается с ростом числа входных воздействий автомата. В работе предложен метод, в котором этот недостаток устранен. Предпочтительность применения предложенного метода при большом числе входных воздействий обоснована теоретически. Метод был применен в форме инструментального программного средства для автоматизации разработки системы управления самолетом. В качестве языка программирования использовался Eiffel.

Для использования инструментального программного средства потребуется авиа-симулятор X-Plane 8.64 (www.x-plane.com). После установки симулятора необходимо скопировать файлы настроек в соответствующую директорию ([X-Plane dir]\Resources\preferences). После каждого запуска X-Plane требуется задавать точку захода на посадку аэропорта назначения, нажав на кнопку "INT" приемника GPS. В случае используемого в работе маршрута задается точка "FLIPO". После задания точки можно выбрать любой режим работы приемника GPS.