about icon-addNote android4 Answer apple4 icon-appStoreEN icon-appStoreES icon-appStorePT icon-appStoreRU Imported Layers Copy 7 icon-arrow-spined icon-ask icon-attention icon-bubble-blue icon-bubble-red ButtonError ButtonLoader ButtonOk icon-cake icon-camera icon-card-add icon-card-calendar icon-card-remove icon-card-sort chrome-extension-ru chrome-extension-es-mx chrome-extension-pt-br chrome-extension-ru comment comment icon-cop-cut icon-cop-star Cross Dislike icon-editPen icon-entrance icon-errorBig facebook flag flag_vector icon-globe icon-googlePlayEN icon-googlePlayRU icon-greyLoader icon-cake Heart 4EB021E9-B441-4209-A542-9E882D3252DE Created with sketchtool. Info Kebab icon-lamp icon-lampBig icon-learnHat icon-learning-hat Dislike Loup Loup icon-more icon-note icon-notifications icon-pen Pencil icon-play icon-plus-light icon-plus icon-rosie-cut Rune scrollUp Share-icon Shevron-Down Shevron Left Shevron Right sound sound1 sound2 sound3 sound4 sound2 icon-star Swap icon-translate Trash icon-tutor-ellipsis icon-tutor-flip Tutor folder icon icon-tutor-learned icon-twoWayArrow Mezhdunarodny_logotip_VK vk icon-word pen_icon Logo Logo Logo
без примеровНайдено в 1 словаре

Вычислительная техника и программирование
  • Настоящее издание существенно дополнено терминами из области проектирования и моделирования логических устройств, систем представления знаний, компьютеризации производства, систем искусственного интеллекта, вычислительных сетей, цифровой обработки сигналов, параллельных и конвейерных вычислений, системного анализа, интернет-технологий.

проверка состояния

status test

Примеры из текстов

Проверка состояния пунктов медицинского обслуживания в пяти миссиях.
5 on-site re-assessments of mission medical facilities
© United Nations 2010
© Организация Объединенных Наций, 2010 год
Рассмотрим пример проверки с учетом состояния.
You might want to add stateful inspection to an existing rule.
Смит, Родерик В. / Сетевые средства LinuxSmith, Roderick W. / Advanced Linux Networking
Advanced Linux Networking
Smith, Roderick W.
© 2002 by Pearson Education, Inc.
Сетевые средства Linux
Смит, Родерик В.
© Издательский дом "Вильямс", 2003
© 2002 by Pearson Education, Inc.
Верификация модели представляет собой метод анализа пространства состояния системы для проверки некоторых свойств, обычно называемых «утверждениями».
Model checking is a technique that explores the state space of a system to ensure that certain properties, typically specified as “assertions,” are true.
Максфилд, Клайв / Проектирование на ПЛИС. Архитектура, средства и методы. Курс молодого бойцаMaxfield, Clive / The design warrior's guide to FPGAs: Devices, Tools and Flows
The design warrior's guide to FPGAs: Devices, Tools and Flows
Maxfield, Clive
© 2004, Mentor Graphics Corporation and Xilinx, Inc.
Проектирование на ПЛИС. Архитектура, средства и методы. Курс молодого бойца
Максфилд, Клайв
© Издательский дом «Додэка-XXI», 2007
Это составляет серьезную проблему для банковского обслуживания МСП, поскольку, в отличие от крупных корпораций, МСП часто не в состоянии представить поддающуюся проверке финансовую информацию.
It is an important concern in SME banking because unlike larger corporations, SMEs often cannot provide verifiable financial information.
© 2010 IFC
© 2009 International Finance Corporation (IFC)
© 2010 IFC
© Международная финансовая корпорация, 2009

Добавить в мой словарь

проверка состояния
status test

Переводы пользователей

Часть речи не указана

  1. 1.

    stateful

    Перевод добавил Grigory
    0

Словосочетания

проверка состояния сбыта
sales control
проверка состояния системы
system check-out
проверка состояния кредитов
loan review
проверка состояния запасов
stock check
проверка состояния систем
systems check
проверка состояния деревьев
tree survey
проверка состояния окружающей среды
environmental baseline study
проверка состояния управления
control state checking
проверка состояния системы
system status check
приспособление для проверки состояния вкладышей подшипников скольжения
bearing oil leak detector
схема проверки состояния флага
flag-testing circuit
служебный вагон для проверки состояния пути
observation car
модель с фиксированными моментами проверки состояния запасов
fixed-review-times model