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