Журнал
Научно-технический вестник информационных технологий, механики и оптики
УДК:004.4'242
Номер:6 (70)
Скачать PDF0 Кбайт
FINITE AUTOMATA VALIDATION WITH VARIABLES IN FUNCTIONAL PROGRAMMING LANGUAGES
Аннотация:
This article describes a domain-specific language (eDSL) for automata-based programming embedded into the Haskell programming language. Proposed eDSL supports extensive code reuse and validation of state-transition functions. This is achieved through developed representation of logical formula that is free from both fixed set of input variables and fixed set of predicates. This allows combination of states in automata even if they were designed for different sets of input variables.
Ключевые слова:
Постоянный URL
Статьи в номере
- АНАЛИЗ РАСПРЕДЕЛЕНИЯ ИНТЕРВАЛОВ МЕЖДУ ВЫБРОСАМИ СЛУЧАЙНОГО ПРОЦЕССА И ВОЗМОЖНОСТЬ ПОСТРОЕНИЯ СИСТЕМ БЛИЖНЕЙ ЛОКАЦИИ С ШУМОВОЙ СИНХРОНИЗАЦИЕЙ
- РАСЧЕТ ПЕРЕСТРАИВАЕМОГО ЗЕРКАЛЬНОГО ОБЪЕКТИВА ДЛЯ ИМПУЛЬСНОГО ТЕРАГЕРЦОВОГО РЕФЛЕКТОМЕТРИЧЕСКОГО СПЕКТРОГРАФА-ИНТРАВИЗОРА
- ТРЕХКООРДИНАТНЫЙ ОПТИКО-ЭЛЕКТРОННЫЙ АВТОКОЛЛИМАТОР С УВЕЛИЧЕННОЙ ЧУВСТВИТЕЛЬНОСТЬЮ ИЗМЕРЕНИЯ УГЛА СКРУЧИВАНИЯ
- ИССЛЕДОВАНИЕ ВЛИЯНИЯ ФОРМЫ СФЕРИЧЕСКОГО ОТРАЖАТЕЛЯ НА ТОЧНОСТЬ ИЗМЕРЕНИЯ ПЕРЕМЕЩЕНИЙ ПОРШНЯ В ЦИЛИНДРЕ КЛАПАНА
- СТАТИСТИЧЕСКИЕ СВОЙСТВА ГИПОТЕЗ, ПОРОЖДАЕМЫХ НЕЙРОННОЙ СЕТЬЮ СО СВЯЗЯМИ, РЕАЛИЗУЕМЫМИ МЕТОДОМ ГОЛОГРАФИИ ФУРЬЕ
- ФОКУСИРУЮЩИЕ СВОЙСТВА ФРАКТАЛЬНЫХ ЗОННЫХ ПЛАСТИНОК
- ВОЛНОВОДНЫЕ НАНОСТРУКТУРЫ ВО ВНЕШНЕМ ЭЛЕКТРИЧЕСКОМ ПОЛЕ
- ФОРМИРОВАНИЕ ИНТЕРВАЛЬНЫХ ВЕКТОРНО-МАТРИЧНЫХ МОДЕЛЬНЫХ ПРЕДСТАВЛЕНИЙ АНТРОПОКОМПОНЕНТОВ-ОПЕРАТОРОВ В СОСТАВЕ СЛОЖНЫХ ДИНАМИЧЕСКИХ СИСТЕМ
- ВЫДЕЛЕНИЕ ИНФОРМАТИВНЫХ ПРИЗНАКОВ СИГНАЛОВ СЕЙСМИЧЕСКИХ СЕНСОРОВ ПАССИВНОЙ ЛОКАЦИИ
- ТОЧЕЧНЫЙ СПЕКТР ОПЕРАТОРА ШРЕДИНГЕРА ДЛЯ ДВУХ СОЕДИНЕННЫХ ПОЛУКРИСТАЛЛОВ C ПОТЕНЦИАЛАМИ КРОНИГА-ПЕННИ
- ОСОБЕННОСТИ ПРОЦЕССА ИЗГОТОВЛЕНИЯ ПРЕЦИЗИОННЫХ УЗЛОВ ГИРОПРИБОРОВ
- РЕШЕНИЕ ЗАДАЧ ЭКОЛОГИЧЕСКОГО НОРМИРОВАНИЯ С ПРИМЕНЕНИЕМ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ
- АЛГОРИТМ АНАЛИЗА ГЕОФИЗИЧЕСКОЙ ОБСТАНОВКИ
- РЕАЛИСТИЧНОЕ МОДЕЛИРОВАНИЕ СВОБОДНОЙ ВОДНОЙ ПОВЕРХНОСТИ НА АДАПТИВНЫХ СЕТКАХ ТИПА «ВОСЬМЕРИЧНОЕ ДЕРЕВО»
- МЕТОДЫ МАРКИРОВАНИЯ ЦИФРОВЫХ ИЗОБРАЖЕНИЙ В ЧАСТОТНОЙ ОБЛАСТИ
- ИНСТРУМЕНТАЛЬНЫЙ КОМПЛЕКС ДЛЯ ПРОЕКТИРОВАНИЯ ПАРАЛЛЕЛЬНЫХ МАСШТАБИРУЕМЫХ ПРОГРАММ ЧИСЛЕННЫХ РАСЧЕТОВ
- ВАЛИДАЦИЯ АВТОМАТОВ С ПЕРЕМЕННЫМИ НА ФУНКЦИОНАЛЬНЫХ ЯЗЫКАХ ПРОГРАММИРОВАНИЯ
- СИСТЕМА ПОРОЖДЕНИЯ ДОКУМЕНТОВ В ФОРМАТАХ HTML, MHT И WordProcessingML
- РАЗРАБОТКА ПРОБЛЕМНО-ОРИЕНТИРОВАННЫХ ПРОЦЕССОРОВ
- МЕТОД КОЛИЧЕСТВЕННОЙ ОЦЕНКИ КОНТРАСТА ЦИФРОВОГО ИЗОБРАЖЕНИЯ
- АЛГОРИТМ ВЫЧИСЛЕНИЯ ПОРОГОВЫХ ЗНАЧЕНИЙ ДЛЯ ПОВЫШЕНИЯ АВТОМАТИЗМА СИСТЕМ РАСПОЗНАВАНИЯ ГРАФИЧЕСКИХ ОБРАЗОВ
- ИССЛЕДОВАНИЕ ВЛИЯНИЯ ПАРАМЕТРОВ ЗОНДОВ СКАНИРУЮЩЕГО ЗОНДОВОГО МИКРОСКОПА НА ВИЗУАЛИЗАЦИЮ РЕЛЬЕФА ПОВЕРХНОСТИ БИОЛОГИЧЕСКИХ ОБЪЕКТОВ
- ПОДХОДЫ К ОБЕСПЕЧЕНИЮ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ В ОТКРЫТЫХ РАСПРЕДЕЛЕННЫХ МУЛЬТИАГЕНТНЫХ ВИРТУАЛЬНЫХ БИЗНЕС-СРЕДАХ
- АВТОМАТИЗАЦИЯ СИСТЕМЫ УПРАВЛЕНИЯ ВИРТУАЛЬНОЙ ОБРАЗОВАТЕЛЬНОЙ СРЕДОЙ
- КОНКУРЕНТОСПОСОБНОСТЬ МАЛОГО БИЗНЕСА СМОЛЕНСКОЙ ОБЛАСТИ: ОТРАСЛЕВОЙ И КЛАСТЕРНЫЙ АНАЛИЗ
- РОЛЬ СТРАТЕГИЧЕСКИХ РЕШЕНИЙ В СИСТЕМЕ УПРАВЛЕНИЯ КОММЕРЧЕСКОЙ ОРГАНИЗАЦИЕЙ
- КОНЦЕПТУАЛЬНЫЕ ОСНОВЫ ОБЕСПЕЧЕНИЯ КОНКУРЕНТОСПОСОБНОСТИ ПРЕДПРИЯТИЯ
- ОПТИМИЗАЦИЯ РАСПОЛОЖЕНИЯ ПУЧКА ОСЕЙ ПРИ ЭКСПЕРИМЕНТАЛЬНОМ ОПРЕДЕЛЕНИИ ЭЛЕМЕНТОВ ТЕНЗОРА ИНЕРЦИИ
- ПАРАМЕТРИЧЕСКАЯ ОПТИМИЗАЦИЯ СЛОЖНЫХ ТЕХНОЛОГИЧЕСКИХ ПРОЦЕССОВ ОПТИЧЕСКОГО ПРОИЗВОДСТВА С ИСПОЛЬЗОВАНИЕМ ТЕХНОЛОГИЙ ИСКУССТВЕННЫХ НЕЙРОННЫХ СЕТЕЙ
- ОЦЕНКА УЩЕРБА ОТ ВОЗДЕЙСТВИЯ КОМПЬЮТЕРНЫХ АТАК НА ТЕРРИТОРИАЛЬНО-РАСПРЕДЕЛЕННЫЕ СЕТИ, ИСПОЛЬЗУЮЩИЕ ЗАЩИЩЕННЫЕ МОБИЛЬНЫЕ АВТОМАТИЗИРОВАННЫЕ РАБОЧИЕ МЕСТА
- ИНТЕЛЛЕКТУАЛЬНЫЕ ТЕХНОЛОГИИ РАСПРЕДЕЛЕННЫХ ВЫЧИСЛЕНИЙ ДЛЯ МОДЕЛИРОВАНИЯ СЛОЖНЫХ СИСТЕМ
- ВЫСОКОПРОИЗВОДИТЕЛЬНЫЙ ПРОГРАММНЫЙ КОМПЛЕКС МОДЕЛИРОВАНИЯ ДИНАМИКИ МОРСКИХ ОБЪЕКТОВ В ЭКСТРЕМАЛЬНЫХ УСЛОВИЯХ ЭКСПЛУАТАЦИИ