Министерство образования и науки российской федерации федеральное агентство по образованиюСодержаниеМагистерская диссертацияЕгоров К.В.Васильев в.н.По магистерской диссертацииКраткое содержание магистерской диссертацииВерификация применяется на стадиях вычисления функции приспособленности, мутации и скрещивания.Результат верификации используется в процессе вычисления функции приспособленности, мутации и скрещивании особей генетического аЭкономическая часть (какие использованы методики, экономическая эффективность результатов)Является ли работа продолжением курсовых проектов (работ), есть ли публикацииПрактическая ценность работы. Рекомендации по внедрениюГЛАВА 1.Верификация автоматных программModel CheckingModel CheckingLinear Temporal Logic, LTL1.1.Язык логики линейного времени1.2.Алгоритм верификацииLTL формулы на автомате Бюхи будем проверять, что пересечение верифицируемого автомата Бюхи и автомата Бюхи, соответствующего отDepth-first search, DFS1.3.Программная реализация верификатораВыводы по главе 1ГЛАВА 2.Описание предлагаемого метода2.1.Представление конечного автомата в виде хромосомы генетического алгоритма2.1.1.Обработка входных переменных2.2.Вычисление функции приспособленностиLTL формулы можно только примерно. Если n2.2.1.Учет результата верификации при вычислении функции приспособленности2.3.Операция мутации2.4.Операция скрещивания2.4.1.Скрещивание с учетом результата верификации2.5.Методика построения автоматных программВыводы по главе 2ГЛАВА 3.Программная реализация метода и экспериментальное исследование3.1.Программная реализацияUniMod xml описания модели. В результате, созданную автоматную модель можно сразу запускать в инструментальном средстве UniMod3.2.Построение конечного автомата управления часами с будильником3.2.1.Система тестовых примеров и темпоральных свойств3.2.2.Результаты применения генетического алгоритма3.3.Построение конечного автомата управления дверьми лифта3.3.1.Система тестовых примеров3.3.2.Результаты экспериментаВыводы по главе 3База данных защищена авторским правом ©ДуГендокс 2000-2014 При копировании материала укажите ссылку DoGendocs.ru Разработка сайта — Веб студия Адаманов