Верификация программных систем геопространственного обеспечения ВМФ
Аннотация:
Приводится обоснование необходимости функциональной верификации программных систем навигационно-гидрографического и гидрометеорологического обеспечения (НГГМО).
Ключевые слова:
Постоянный URL
Статьи в номере
- Полвека русской космонавтики: подводя итоги
- Активный экспертный подход в системе информационного обеспечения процесса создания космических аппаратов связи
- Бортовая вычислительная система микроспутника «Союз-Сат-О» и ее программное обеспечение
- Бионический метод построения бортовой аппаратуры анализа оптоэлектронных или радиолокационных изображений
- Анализ и оптимизация сигналов оптических дальномеров
- Оценка пропускной способности системы радиодоступа при реализации гибридного автоматического запроса повторной передачи
- Предсказание очередного события в редеющем потоке времени
- Оценка информативности радиолокационных изображений при их совмещении с цифровыми картами местности
- Сравнительный анализ и перспективы развития обеспечения ограничения доступа к навигационной информации в спутниковых навигационных системах «ГЛОНАСС» и GPS
- О критерии электромагнитной совместимости в локальных группировках радиоэлектронных средств
- Этапы предлагаемого генетического алгоритма для решения задачи назначения частот радиоэлектронным средствам связи
- Метод измерения параметров кратковременных сигналов на основе распределения Алексеева
- Автоматизация процесса формирования комплектов технической документации на основе онтологического подхода
- Постановка задачи формирования группового ключа по открытым каналам связи с ошибками