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

117дверьми лифта утверждение можнозаписать следующим образом: неверно, что после поломки лифтабудут поступать события «Нажатакнопка «Открыть двери», «Нажатакнопка «Закрыть двери», «Двериуспешно открыты или закрыты»,«Препятствие мешает закрытиюдверей».2.5.1.2. Описание вычислительных экспериментовВ вычислительных алгоритмах использовался генетическийалгоритм, использующий операцию скрещивания с учетом поведенияавтоматов на тестах. Рассматривались два варианта входных данных –первый содержал только тесты, а второй – и тесты, и темпоральныеформулы.Для каждого набора входных данных было проведено 1000 запусковсо следующими параметрами алгоритма: размер поколения – 2000 особей; доля «элиты» – наиболее приспособленных особей, напрямуюпереходящих в следующее поколение, – 10 %; число поколений до малой «мутации поколения» – 100поколений; число поколений до большой «мутации поколения» – 150поколений.Для каждого запуска записывалось число вычислений функцииприспособленности.