Журнал
Научно-технический вестник информационных технологий, механики и оптики
УДК:004.4'242
Номер:4 (86)
Скачать PDF0 Кбайт
ПРИМЕНЕНИЕ МЕТОДОВ РЕШЕНИЯ ЗАДАЧИ О ВЫПОЛНИМОСТИ КВАНТИФИЦИРОВАННОЙ БУЛЕВОЙ ФУНКЦИИ ДЛЯ ПОСТРОЕНИЯ УПРАВЛЯЮЩИХ КОНЕЧНЫХ АВТОМАТОВ ПО СЦЕНАРИЯМ РАБОТЫ И ТЕМПОРАЛЬНЫМ СВОЙСТВАМ
Аннотация:
Рассматривается вопрос о применении управляющих автоматов при построении систем со сложным поведением. Предложен метод построения управляющего конечного автомата по заданному множеству сценариев работы и темпоральным свойствам, которые должны выполняться в результирующем автомате. Метод основан на сведении к задаче выполнимости квантифицированной булевой функции. Описан алгоритм построения данной функции и основные составляющие полученной булевой формулы.
Ключевые слова:
Постоянный URL
Статьи в номере
- МИКРОЛИНЗОВЫЕ РЕШЕТКИ С ЭФФЕКТОМ «ПЛАВАЮЩЕГО» ИЗОБРАЖЕНИЯ
- ИЗГОТОВЛЕНИЕ И ЭКСПЕРИМЕНТАЛЬНОЕ ИССЛЕДОВАНИЕ МЕТАЛЛИЧЕСКИХ НАНОАНТЕНН, ПРЕДНАЗНАЧЕННЫХ ДЛЯ ПОВЫШЕНИЯ ФОТОПОГЛОЩЕНИЯ В АКТИВНОМ СЛОЕ ТОНКОПЛЕНОЧНОЙ СОЛНЕЧНОЙ БАТАРЕИ
- ПУЛЬСАЦИИ МОМЕНТА УНИПОЛЯРНОГО МНОГОПОЛЮСНОГО ЭЛЕКТРОДВИГАТЕЛЯ С ПОСТОЯННЫМИ МАГНИТАМИ
- УПРАВЛЕНИЕ ДВИЖЕНИЕМ КВАДРОКОПТЕРА ПО ЗАРАНЕЕ ЗАДАННОЙ ТРАЕКТОРИИ
- ИССЛЕДОВАНИЕ ПРОЦЕССОВ В НЕПРЕРЫВНЫХ СИСТЕМАХ С КРАТНЫМИ КОМПЛЕКСНО-СОПРЯЖЕННЫМИ СОБСТВЕННЫМИ ЧИСЛАМИ ИХ МАТРИЦ СОСТОЯНИЯ
- ПОСТРОЕНИЕ ОПТИМАЛЬНОЙ СТРАТЕГИИ В ПОВТОРЯЮЩЕЙСЯ ДИЛЕММЕ ЗАКЛЮЧЕННОГО ПРОТИВ ФИКСИРОВАННОГО МНОЖЕСТВА ПРОТИВНИКОВ
- ПОТОКОВАЯ МОДЕЛЬ МАРШРУТИЗАЦИИ С БАЛАНСИРОВКОЙ НАГРУЗКИ ПО ДЛИНЕ ОЧЕРЕДИ В ПРОГРАММНО-КОНФИГУРИРУЕМЫХ СЕТЯХ
- ВЫБОР ВАРИАНТОВ ПОДКЛЮЧЕНИЯ ДАТЧИКОВ В ДУБЛИРОВАННОМ ВЫЧИСЛИТЕЛЬНОМ КОМПЛЕКСЕ
- СИНХРОНИЗАЦИЯ ФИЗИОЛОГИЧЕСКИХ СИГНАЛОВ ИНТЕЛЛЕКТУАЛЬНОЙ ДЕЯТЕЛЬНОСТИ ЧЕЛОВЕКА С ПОМОЩЬЮ МНОГОФУНКЦИОНАЛЬНОГО ИЗМЕРИТЕЛЬНОГО КОМПЛЕКСА
- ВОЗДЕЙСТВИЕ ИЗЛУЧЕНИЯ ДИАПАЗОНА 0,05-1,2 ТГЦ НА МЕМБРАННЫЙ ПОТЕНЦИАЛ МИТОХОНДРИЙ
- ИССЛЕДОВАНИЕ ЭНТРОПИЙНЫХ ПРОЦЕССОВ В ОРГАНИЗМЕ ЧЕЛОВЕКА ПО ЕГО ФИЗИОЛОГИЧЕСКИМ РИТМАМ
- НЕЛИНЕЙНОЕ ДИНАМИЧЕСКОЕ МОДЕЛИРОВАНИЕ ВЗАИМОСВЯЗИ ПРОЦЕССОВ ДЫХАНИЯ И СЕРДЦЕБИЕНИЯ ЧЕЛОВЕКА НА ОСНОВЕ ПРОВЕДЕННЫХ ИЗМЕРЕНИЙ
- АНАЛИЗ ВЛИЯНИЯ НИЗКОИНТЕНСИВНОГО ТЕРАГЕРЦОВОГО ИЗЛУЧЕНИЯ НА МАРКЕРЫ РАННЕЙ АКТИВАЦИИ ЛИМФОЦИТОВ
- ФОТОСТИМУЛИРОВАННАЯ МОДИФИКАЦИЯ СТРУКТУРЫ НАНОМЕТРОВЫХ СЛОЕВ МОЛЕКУЛ ПОЛИМЕТИНОВЫХ КРАСИТЕЛЕЙ
- ЭКСПЕРИМЕНТАЛЬНЫЕ ИССЛЕДОВАНИЯ ФОРМИРОВАНИЯ КАРБИДА МОЛИБДЕНА В ИМПУЛЬСНОМ ЭЛЕКТРОЭРОЗИОННОМ РАЗРЯДЕ
МАЛОГАБАРИТНЫЙ ЯДЕРНО-МАГНИТНЫЙ СПЕКТРОМЕТР ДЛЯ ЭКСПРЕСС-АНАЛИЗА ЖИДКИХ СРЕД
- ПОЛИМЕРНЫЕ НАНОКОМПОЗИТЫ НА ОСНОВЕ ПОЛИАМИДА 12, МОДИФИЦИРОВАННОГО НАНОЧАСТИЦАМИ НИКЕЛЯ
- КИНЕТИКА ОКИСЛИТЕЛЬНОЙ ПОЛИМЕРИЗАЦИИ АНИЛИНА. СТАТИСТИЧЕСКИЙ АНАЛИЗ РОСТА НАНОСТРУКТУРЫ ПОЛИАНИЛИНА
- ИСПОЛЬЗОВАНИЕ ДАННЫХ СЕНСОРА LANDSAT 5 (TM) ДЛЯ ОЦЕНКИ УРОВНЯ ОБЩЕГО ФОСФОРА В РЕКЕ ЛУГА, ФИНСКИЙ ЗАЛИВ
- ПРИМЕНЕНИЕ ЛАЗЕРНО-УЛЬТРАЗВУКОВОГО ГЕНЕРАТОРА ДЛЯ ОПРЕДЕЛЕНИЯ НАПРЯЖЕННО-ДЕФОРМИРОВАННОГО СОСТОЯНИЯ СПЕЦИАЛЬНЫХ МАТЕРИАЛОВ ИЗДЕЛИЙ
- ПРИМЕНЕНИЕ ГЕНЕТИЧЕСКОГО АЛГОРИТМА ДЛЯ ПРОВЕДЕНИЯ ПАРАМЕТРИЧЕСКОГО СИНТЕЗА КОНСТРУКЦИИ ЭКСТРУДЕРА
- РАЗРАБОТКА ТЕХНОЛОГИИ ФОРМИРОВАНИЯ ФУНКЦИОНАЛЬНЫХ ЭЛЕМЕНТОВ НА ПОВЕРХНОСТИ УЗЛОВ ГИРОПРИБОРОВ
- МЕТОД ПОВЫШЕНИЯ ТОЧНОСТИ АВТОМАТИЧЕСКОГО ОПРЕДЕЛЕНИЯ ЧАСТЕЙ РЕЧИ СЛОВ ПРЕДЛОЖЕНИЯ В МОРФОЛОГИЧЕСКИХ АНАЛИЗА ТОРАХDLP-СИСТЕМ
- МУЛЬТИАГЕНТНАЯ ИНФОРМАЦИОННО-АНАЛИТИЧЕСКАЯ СРЕДА ПОДДЕРЖКИ УПРАВЛЕНИЯ РЕГИОНАЛЬНОЙ БЕЗОПАСНОСТЬЮ «БЕЗОПАСНЫЙ ВИРТУАЛЬНЫЙ РЕГИОН»
- ПРЕДСТАВЛЕНИЕ ИНФОРМАЦИОННЫХ УГРОЗ НА ОСНОВЕ МОДЕЛИ ОТКРЫТОЙ СРЕДЫ
- КОНЦЕПЦИЯ ОБЕСПЕЧЕНИЯ БЕЗОПАСНОГО ДОСТУПА ДЕТЕЙ К ИНФОРМАЦИИ В ОБЩЕОБРАЗОВАТЕЛЬНЫХ УЧРЕЖДЕНИЯХ С ИСПОЛЬЗОВАНИЕМ РАДИОЧАСТОТНОЙ ИДЕНТИФИКАЦИИ
- ОПТИМАЛЬНОЕ РЕЗЕРВИРОВАНИЕ АГРЕГИРОВАННЫХ РАДИАЛЬНЫХ КАНАЛОВ
- ФУНКЦИОНАЛЬНАЯ НАДЕЖНОСТЬ СИСТЕМ РЕАЛЬНОГО ВРЕМЕНИ
- ОБЩАЯ МОДЕЛЬ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ РОБОТОТЕХНИЧЕСКИХ СИСТЕМ