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