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