Журнал
ИЗВЕСТИЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ «ПРИБОРОСТРОЕНИЕ»
УДК:658.512.011.56
Номер:10 (53)
Скачать PDF324 Кбайт
МЕТОД РАЗРАБОТКИ WEB-ПРИЛОЖЕНИЙ НА ОСНОВЕ СИСТЕМ ИЕРАРХИЧЕСКИХ КОНЕЧНЫХ АВТОМАТОВ
Аннотация:
Предлагается метод разработки web-приложений, позволяющий на основе задания формально верифицируемой модели иерархическими конечными автома- тами обеспечить однозначное соответствие ей работающего приложения.
Ключевые слова:
Постоянный URL
Статьи в номере
- МАРКИРОВАНИЕ ЦИФРОВЫХ ИЗОБРАЖЕНИЙ ПУТЕМ СПЕКТРАЛЬНЫХ ПРЕОБРАЗОВАНИЙ
- НЕЛИНЕЙНЫЙ РЕГРЕССИОННО-ТЕНЗОРНЫЙ АНАЛИЗ ОПТИМАЛЬНОЙ УСТАНОВКИ ЭЛЕКТРОМАГНИТНОГО ИСТОЧНИКА ИЗЛУЧЕНИЯ ПРИ НЕСАНКЦИОНИРОВАННОМ СКАНИРОВАНИИ ЕГО ЭЛЕКТРОМАГНИТНОГО ПОЛЯ
- СИНТЕЗ СИСТЕМ АВТОМАТИЧЕСКОГО УПРАВЛЕНИЯ ЛЕТАТЕЛЬНЫМИ АППАРАТАМИ С АВТОМАТАМИ ОГРАНИЧЕНИЙ ПРЕДЕЛЬНЫХ ПАРАМЕТРОВ
- ОСОБЕННОСТИ ДВИЖЕНИЯ ЛЕТАТЕЛЬНОГО АППАРАТА В ВЕРТИКАЛЬНОЙ ПЛОСКОСТИ В НЕРАВНОВЕСНОМ РЕЖИМЕ С УЧЕТОМ ОГРАНИЧЕННОГО РЕСУРСА УПРАВЛЕНИЯ
- ПРОЦЕДУРА РАСПРЕДЕЛЕННОЙ ПАРАЛЛЕЛЬНО-КОНВЕЙЕРНОЙ БАРЬЕРНОЙ СИНХРОНИЗАЦИИ, ИНВАРИАНТНАЯ К СПОСОБУ РАЗМЕЩЕНИЯ СИНХРОНИЗИРУЕМЫХ ПРОЦЕССОВ
- ПРИМЕНЕНИЕ РЕЛЯЦИОННЫХ ОПЕРАЦИЙ ДЛЯ ЛОГИЧЕСКОГО ВЫВОДА В ПРОДУКЦИОННЫХ СИСТЕМАХ
- МЕТОДИКА ОЦЕНКИ НАДЕЖНОСТИ ВСТРОЕННЫХ ПРОГРАММНЫХ СРЕДСТВ ПРИ РЕДКИХ ОТКАЗАХ
- ПОГРЕШНОСТИ БЕСКАРДАННОГО ГИРОГОРИЗОНТКОМПАСА НА ЭЛЕКТРОСТАТИЧЕСКОМ ГИРОСКОПЕ И МИКРОМЕХАНИЧЕСКИХ ДАТЧИКАХ
- ИСПОЛЬЗОВАНИЕ ПОСЛЕДОВАТЕЛЬНЫХ МЕТОДОВ МОНТЕ-КАРЛО В ЗАДАЧЕ КОРРЕЛЯЦИОННО-ЭКСТРЕМАЛЬНОЙ НАВИГАЦИИ
- ТОЧНОСТЬ ОПРЕДЕЛЕНИЯ ПАРАМЕТРОВ ДЕМОДУЛЯТОРА В СИСТЕМАХ С КВАДРАТУРНОЙ АМПЛИТУДНО-ФАЗОВОЙ МОДУЛЯЦИЕЙ
- МЕТОДЫ И СРЕДСТВА ТЕХНИЧЕСКОЙ ДИАГНОСТИКИ ПЬЕЗОКЕРАМИЧЕСКИХ ЭЛЕМЕНТОВ
- УСТРОЙСТВО ДЛЯ ИМПУЛЬСНОГО ФОТОЛИЗА В СПЕКТРОМЕТРАХ ЯДЕРНОГО МАГНИТНОГО РЕЗОНАНСА
- ОСОБЕННОСТИ РАСЧЕТА ОПТИКО-ЭЛЕКТРОННЫХ СИСТЕМ ПОЗИЦИОНИРОВАНИЯ НА ОСНОВЕ ГОТОВЫХ ТЕЛЕВИЗИОННЫХ МОДУЛЕЙ
- ОСОБЕННОСТИ КОМПЬЮТЕРНОГО МОДЕЛИРОВАНИЯ МНОГОДИАПАЗОННЫХ ОПТИКО-ЭЛЕКТРОННЫХ СИСТЕМ ОБНАРУЖЕНИЯ
- ОПТИЧЕСКАЯ СИСТЕМА С ВЫСОКОЙ РАЗРЕШАЮЩЕЙ СПОСОБНОСТЬЮ ДЛЯ МАЛОГАБАРИТНОГО СПЕКТРАЛЬНОГО ПРИБОРА
- ОПРЕДЕЛЕНИЕ ЭФФЕКТИВНОЙ ТЕМПЕРАТУРОПРОВОДНОСТИ ПСЕВДООЖИЖЕННОГО СЛОЯ
- СЕНСОРНЫЙ ЭЛЕМЕНТ ЛЮМИНЕСЦЕНТНОГО КИСЛОРОДНОГО ДАТЧИК