ПОСТРОЕНИЕ АВТОМАТНЫХ ПРОГРАММ ПО СПЕЦИФИКАЦИИ С ПОМОЩЬЮ МУРАВЬИНОГО АЛГОРИТМА НА ОСНОВЕ ГРАФА МУТАЦИЙ
Аннотация:
Традиционный в области разработки программ процесс тестирования не может гарантировать их корректности, поэтому при повышенных требованиях к надежности программ прибегают к верификации. Верификация позволяет проверять некоторые свойства программы во всех возможных ее состояниях, однако сам процесс верификации сложен. В методе проверки моделей (model checking) строится модель программы (обычно вручную), а требования к ней записываются на языке темпоральной логики. Выполнение или невыполнение этих требований к модели может быть проверено автоматически. Основной проблемой такого подхода является разрыв между программой и ее моделью. Парадигма автоматного программирования позволяет устранить указанный разрыв. В автоматном программировании логика работы программ описывается управляющими конечными автоматами, модели которых могут быть построены автоматически. В работе рассматривается применение муравьиного алгоритма на основе графа мутаций для решения задач построения автоматных программ по их спецификации, заданной сценариями работы и темпоральными свойствами. Апробация предложенного подхода проведена на примере задачи построения автомата управления дверьми лифта, а также на случайных данных. Полученные результаты показывают, что муравьиный алгоритм в два–три раза эффективнее ранее применявшегося генетического. Предложенный подход может быть рекомендован для автоматизированного построения управляющих программ для ответственных систем.
Ключевые слова:
Постоянный URL
Статьи в номере
- ПРОШЛОЕ И БУДУЩЕЕ 3-D ТЕХНОЛОГИЙ ВИРТУАЛЬНОЙ РЕАЛЬНОСТИ
- ЭФФЕКТ ПЁРСЕЛЛА В ПРЕДЕЛЬНО АНИЗОТРОПНЫХ ЭЛЛИПТИЧЕСКИХ МЕТАМАТЕРИАЛАХ
- ИССЛЕДОВАНИЕ ОБЪЕМА С ВЫСОКОЙ ПЛОТНОСТЬЮ ЧАСТИЦ НА ОСНОВЕ КОНТУРНОГО И КОРРЕЛЯЦИОННОГО АНАЛИЗА ИЗОБРАЖЕНИЙ
- САМООРГАНИЗАЦИЯ КВАНТОВЫХ ТОЧЕК СУЛЬФИДА СВИНЦА В СУПЕРСТРУКТУРЫ
- ПРОСТРАНСТВЕННО-СЕЛЕКТИВНАЯ СПЕКЛ-КОРРЕЛОМЕТРИЯ СЛУЧАЙНО-НЕОДНОРОДНЫХ СРЕД: РЕЗУЛЬТАТЫ МОДЕЛИРОВАНИЯ
- АНАЛИЗ ВЫЧИСЛИТЕЛЬНОЙ СЛОЖНОСТИ РЕКУРРЕНТНЫХ АЛГОРИТМОВ ОБРАБОТКИ ДАННЫХ В ОПТИЧЕСКОЙ КОГЕРЕНТНОЙ ТОМОГРАФИИ
- МЕТОДЫ ФОРМИРОВАНИЯ ИЗОБРАЖЕНИЙ СТЕРЕОПАРЫ С ЗАДАННЫМ ЗНАЧЕНИЕМ ПАРАЛЛАКСА
- МЕТОД ОПРЕДЕЛЕНИЯ ПРОСТРАНСТВЕННЫХ КООРДИНАТ В АКТИВНОЙ СТЕРЕОСКОПИЧЕСКОЙ СИСТЕМЕ
- СИСТЕМА УПРАВЛЕНИЯ БЕСПИЛОТНЫМ ЛЕТАТЕЛЬНЫМ АППАРАТОМ, ОСНАЩЕННЫМ РОБОТОТЕХНИЧЕСКИМ МАНИПУЛЯТОРОМ
- АДАПТИВНОЕ УПРАВЛЕНИЕ ПО ВЫХОДУ МНОГОКАНАЛЬНЫМИ ЛИНЕЙНЫМИ СТАЦИОНАРНЫМИ ПАРАМЕТРИЧЕСКИ НЕОПРЕДЕЛЕННЫМИ СИСТЕМАМИ
- ЧАСТОТНЫЕ ХАРАКТЕРИСТИКИ СОВРЕМЕННЫХ СВЕТОДИОДНЫХ ЛЮМИНОФОРНЫХ МАТЕРИАЛОВ
- СПЕКТРАЛЬНО-ЛЮМИНЕСЦЕНТНЫЕ ХАРАКТЕРИСТИКИ ФТОРОФОСФАТНЫХ СТЕКОЛ, АКТИВИРОВАННЫХ МАРГАНЦЕМ И КВАНТОВЫМИ ТОЧКАМИ СУЛЬФИДА КАДМИЯ
- МЕТОД ПОВЫШЕНИЯ РЕЗКОСТИ ЦИФРОВЫХ ИЗОБРАЖЕНИЙ
- ДИСЦИПЛИНЫ ОБСЛУЖИВАНИЯ НА ОСНОВЕ МАТРИЦЫ ПРИОРИТЕТОВ
- СРАВНИТЕЛЬНЫЙ АНАЛИЗ ЭФФЕКТИВНОСТИ ИСПОЛЬЗОВАНИЯ ОРТОГОНАЛЬНЫХ ПРЕОБРАЗОВАНИЙ В ЧАСТОТНЫХ АЛГОРИТМАХ МАРКИРОВАНИЯ ЦИФРОВЫХ ИЗОБРАЖЕНИЙ
- ФИЗИЧЕСКИЕ РЕСУРСЫ ИНФОРМАЦИОННЫХ ПРОЦЕССОВ И ТЕХНОЛОГИЙ
- ПОИСК ЛЮДЕЙ ПО ФОТОРОБОТАМ: СОСТОЯНИЕ ПРОБЛЕМЫ И ТЕХНОЛОГИИ
- РАСПОЗНАВАНИЕ И ПРОГНОЗИРОВАНИЕ ДЛИТЕЛЬНЫХ ЭМОЦИЙ В РЕЧИ (на англ. языке)
- РАЗРАБОТКА РЕЗЕРВИРОВАННОГО БЛОКА УПРАВЛЕНИЯ ЭЛЕКТРОПРИВОДОМ НА ОСНОВЕ АВТОМАТНОГО ПОДХОДА
- ПРИМЕНЕНИЕ И РЕАЛИЗАЦИЯ РАЗНОСТНЫХ СХЕМ ВЫСОКОЙ РАЗРЕШАЮЩЕЙ СПОСОБНОСТИ ДЛЯ РЕШЕНИЯ ЗАДАЧ ГАЗОВОЙ ДИНАМИКИ НА НЕСТРУКТУРИРОВАННЫХ СЕТКАХ
- МНОГОУРОВНЕВАЯ РЕКУРРЕНТНАЯ МОДЕЛЬ ИЕРАРХИЧЕСКОГО УПРАВЛЕНИЯ КОМПЛЕКСНОЙ БЕЗОПАСНОСТЬЮ РЕГИОНА
- МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ ПОГРЕШНОСТЕЙ ИЗГОТОВЛЕНИЯ ЭЛЕМЕНТОВ ЦЕВОЧНОЙ ПЕРЕДАЧИ ПЛАНЕТАРНОГО РЕДУКТОРА
- ПРОБЛЕМА ПОДДЕРЖКИ КОГНИТИВНЫХ ФУНКЦИЙ В ПРОЦЕССЕ ЭЛЕКТРОННОГО ОБУЧЕНИЯ
- УПРАВЛЕНИЕ МОДОВЫМ СОСТАВОМ ИЗЛУЧЕНИЯ НА ВЫХОДЕ ОПТИЧЕСКОГО ЖГУТА