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