Автоматический космический аппарат; АКА
космический аппарат, конструктивное исполнение которого не предусматривает в процессе его функционирования наличие космонавтов на борту.
требования, которые заявлены, например, в документе более высокого уровня.
В настоящее время, ввиду возросших требований к точности измерений, метр определяется как длина пути,...
Время t между двумя событиями в заданной точке пространства определяется как разность показаний часов...
При применении моля структурные элементы должны быть специфицированы и могут быть атомами, молекулами...
, ионами, электронами и другими частицами или специфицированными группами частиц.
Представлено программно-инструментальное средство VERMONT (VERifying MONiTor) для верификации в оперативном режиме программно-конфигурируемых сетей (ПКС) относительно формально специфицированных политик маршрутизации пакетов (ПМП). VERMONT может быть установлен в сети между контроллером и коммутаторами для наблюдения за сетью путем перехвата сообщений и команд, которыми обмениваются контроллер и коммутаторы, построения модели сети и проверки того, в какой мере изменения, происходящие в сети в результате выполнения команд реконфигурирования, подключения и отключения каналов связи и коммутационных устройств, согласуются с заданными требованиями ПМП. Перед тем как отправить команду реконфигурирования таблиц коммутации, VERMONT моделирует результат ее выполнения и проверяет выполнимость требований ПМП для модифицированной модели ПКС. Если VERMONT обнаруживает нарушениекакого-либо требования ПМП, он блокирует пересылку команды и оповещает об этом системногоадминистратора.Описана математи...
группа интегрированных программных средств, предназначенных для автоматизации решения множества задач, специфицированных...
в пределах заданного домена (проблемной области)....
Распределение требований: C требования - требования пользователя (Customer requirements); D требования...
Требования производительности (относят к нефункциональным требованиям).
3.4....
Другие требования.
космический аппарат, конструктивное исполнение которого не предусматривает в процессе его функционирования наличие космонавтов на борту.
система предупреждения столкновений воздушных судов, состоящая из бортового или бортового и наземного оборудования, в которой решение задачи предупреждения столкновений осуществляется бортовым оборудованием.
тренажный имитатор, воспроизводящий в кабине авиационного тренажера шум самолета (вертолета) и его силовой установки.
Наведи камеру телефона на QR-код — бот Автор24 откроется на вашем телефоне