ГЕНЕРИРОВАНИЕ УСЛОВИЙ ВЕРИФИКАЦИИ

Русско-английский перевод ГЕНЕРИРОВАНИЕ УСЛОВИЙ ВЕРИФИКАЦИИ

verification condition generation

Большой Русско-Английский словарь. New big Russian-English dictionary. 2012

ГЕНЕРИРОВАНИЕ — ср. child, generation, origination, procreation, little boy
Русско-Английский словарь общей тематики
УСЛОВИЙ — Conditions
Russian Learner's Dictionary
УСЛОВИЙ — condition, provision имитатор внешних условий: environment simulator
Russian-English Edic
ГЕНЕРИРОВАНИЕ — generation, oscillation
Russian-English Edic
ГЕНЕРИРОВАНИЕ — generation
Русско-Английский словарь по машиностроению и автоматизации производства
ГЕНЕРИРОВАНИЕ — generation
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
УСЛОВИЙ — n см. условие
Большой Русско-Английский словарь
ГЕНЕРИРОВАНИЕ — ср. child, generation, origination, procreation, little boy
Большой Русско-Английский словарь
УСЛОВИЙ — условий nсм. также условие
Русско-Английский словарь Сократ
VERIFICATION CONDITION GENERATION — генерирование условий верификации (при доказательстве правильности программ)
Большой Англо-Русский словарь
VERIFIER — контрольник; устройство верификации, верификатор artwork verifier design verifier key verifier mechanical verifier patchboard verifier punched card verifier signature verifier tape …
Большой Англо-Русский словарь
VERIFICATION PRINCIPLE — принцип верификации прогноза
Большой Англо-Русский словарь
VERIFICATION ALGORITHM — алгоритм верификации
Большой Англо-Русский словарь
VALIDATION RULES — правила верификации (множество функций, обеспечивающих проверку (dialog data verification) данных, получаемых от диалоговых элементов управления)
Большой Англо-Русский словарь
STIMULI GENERATION — генерирование входных векторов, генерирование входных сигналов (при тестировании логических схем)
Большой Англо-Русский словарь
SDG — сокр. [back surface damage gettering] генерирование (дефектов) обратной стороной полупроводниковой пластины
Большой Англо-Русский словарь
SDG — сокр. [back surface damage gettering] генерирование (дефектов) обратной стороной полупроводниковой пластины
Большой Англо-Русский словарь
SANITATION — сущ. 1) оздоровление, улучшение санитарных условий 2) санитария 3) канализация; ассенизация sanitation man ≈ мусорщик; ассенизатор 4) обеспечение санузлом оздоровление; …
Большой Англо-Русский словарь
REPORT GENERATION — генерирование отчетов или документов
Большой Англо-Русский словарь
RANDOM VARIATE GENERATION — генерирование случайных переменных (в моделировании)
Большой Англо-Русский словарь
PULSING — I генерирование [генерация] импульсов II пульсация генерирование импульсов пульсация, пульсирование, подача импульсов (радиотехника) импульсная модуляция
Большой Англо-Русский словарь
PRODUCTION — сущ. 1) производство, получение; изготовление; добыча; выработка to decrease, roll back production ≈ уменьшить объемы производства to increase, speed up, …
Большой Англо-Русский словарь
NEGOTIATION — сущ. 1) часто мн. переговоры; обсуждение условий negotiations are under way ≈ ведутся переговоры break off negotiations conduct negotiations carry …
Большой Англо-Русский словарь
LOGIC OF VERIFICATION — мат. логика верификации
Большой Англо-Русский словарь
IMPULSING — 1. генерирование импульсов 2. ударное возбуждение (колебаний)
Большой Англо-Русский словарь
HOLD
Большой Англо-Русский словарь
GRIDDING — 1. географическая (координатная) привязка 2. полигр. генерирование сетки (на экране дисплея)
Большой Англо-Русский словарь
GIVE-AND-TAKE — сущ. 1) тактика взаимных уступок, компромисса There must be more of the give-and-take system in legislation. ≈Законадательная система должна предусматривать …
Большой Англо-Русский словарь
GENERATION — сущ. 1) поколение а) все представители одной из ступеней семейного генеалогического древа A family party, consisting of three generations; the …
Большой Англо-Русский словарь
FAULT POPULATION — множество неисправностей (рассматриваемое при верификации теста)
Большой Англо-Русский словарь
DESIGN VERIFICATION SIMULATION — моделирование для проверки [верификации] пректных решений
Большой Англо-Русский словарь
DESIGN GENERATION — генерирование проектных решений
Большой Англо-Русский словарь
DESIGN-VERIFICATION SYSTEM — система верификации проектных решений
Большой Англо-Русский словарь
CHECKER — I = chequer II сущ.; амер. шашка (в игре в шашки) контролер, учетчик; счетчик - *'s count учет, проводимый учетчиком …
Большой Англо-Русский словарь
CASEWORK — сущ. изучение условий жизни неблагополучных семей и лиц, нуждающихся в материальной или моральной поддержке (социология) изучение условий жизни неблагополучных семей …
Большой Англо-Русский словарь
BSAG — сокр. [back surface abrasion gettering] генерирование обратной стороны пластины полупроводника
Большой Англо-Русский словарь
BSAG — сокр. [back surface abrasion gettering] генерирование обратной стороны пластины полупроводника
Большой Англо-Русский словарь
ALGORITHM — сущ.; мат. алгоритм algorithm validation ≈ проверка правильности алгоритма (специальное) алгоритм - * validation проверка /доказательство/ правильности алгоритма ad hoc …
Большой Англо-Русский словарь
ADHERENCE — сущ. 1) приверженность; верность Syn : devotion, fidelity attachment 2) строгое соблюдение (правил, принципов и т. п.) close, strict adherence …
Большой Англо-Русский словарь
ACOUSTIC BLANKETING — генерирование мощных звуковых полей для маскировки собственного звукового излучения цели
Большой Англо-Русский словарь
ACCEPTANCE — сущ. 1) получение, прием, принятие letter of acceptance ≈ письмо с выражением согласия The Party is being degraded by its …
Большой Англо-Русский словарь
PULSING — n 1. генерирование импульсов 2. пульсация, пульсирование, подача импульсов 3. радио импульсная модуляция
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
PRODUCTION — production.ogg prəʹdʌkʃ(ə)n n 1. производство, изготовление; выработка; добыча mass /quantity, high-volume/ production, production in bulk - массовое производство batch /lot/ …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
GENERATION — generation.ogg ͵dʒenəʹreıʃ(ə)n n 1. 1> поколение the postwar generation - послевоенное поколение first generation Americans - американцы в первом поколении …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
VERIFIER — 1) поверочное устройство 2) вчт. контрольник 3) программа верификации, проф. верификатор • - card verifier - key verifier - tape …
Большой Англо-Русский политехнический словарь
SDG — сокр. от back surface damage gettering генерирование (дефектов) обратной стороной полупроводниковой пластины
Большой Англо-Русский политехнический словарь
PULSING — 1) генерация [генерирование] импульсов 2) работа в импульсном режиме; посылка импульсов • - dial pulsing - key pulsing - staggered …
Большой Англо-Русский политехнический словарь
INITIALIZATION — 1) установка (приведение) в исходное состояние или в исходное положение 2) определение начальных условий; задание начальных условий 3) вчт. присваивание …
Большой Англо-Русский политехнический словарь
VERIFIER — 1) поверочное устройство 2) вчт. контрольник 3) программа верификации, проф. верификатор • - card verifier - key verifier - tape verifier
Большой Англо-Русский политехнический словарь - РУССО
INITIALIZATION — 1) установка (приведение) в исходное состояние или в исходное положение 2) определение начальных условий; задание начальных условий 3) вчт. присваивание начального значения, …
Большой Англо-Русский политехнический словарь - РУССО
TREATMENT — 1) активирование 2) обработка 3) обращение 4) очистка 5) машиностр. пропитка 6) решение 7) трактовка • between treatment combinations — стат. между комбинациями условий between treatment sum of squares …
Англо-Русский научно-технический словарь
LOGIC OF VERIFICATION — матем. логика верификации
Англо-Русский научно-технический словарь
CONDITIONS — 1) обстановка, условия 2) режим • imposition of boundary conditions — матем. наложение граничных условий optimum set of conditions — оптимальный набор условий other conditions …
Англо-Русский научно-технический словарь
ASSERTION CHECKER — программа верификации, верификатор условий программа, анализирующая текст программы, снабженный условиями и операторами контроля (assertion), которые должны выполняться в определенных ее …
Англо-Русский словарь Tiger
ASSERT STATEMENT — оператор контроля. оператор языка программирования, указывающий условие, которое должно выполняться в данной точке программы. оператор контроля обрабатывается статически при трансляции …
Англо-Русский словарь Tiger
VERIFYING ATTACHMENT — вчт. контрольное устройство, устройство для верификации
Англо-Русский словарь по машиностроению и автоматизации производства 2
VERIFIER — контрольное устройство, контрольник; устройство верификации, верификатор - numerical verifier
Англо-Русский словарь по машиностроению и автоматизации производства 2
NC-VERIFICATION SOFTWARE — программное обеспечение для верификации УП
Англо-Русский словарь по машиностроению и автоматизации производства 2
NC VERIFICATION PROGRAM — программа верификации УП
Англо-Русский словарь по машиностроению и автоматизации производства 2
VERIFYING ATTACHMENT — вчт. контрольное устройство, устройство для верификации
Англо-Русский словарь по машиностроению и автоматизации производства
VERIFIER — контрольное устройство, контрольник; устройство верификации, верификатор - numerical verifier
Англо-Русский словарь по машиностроению и автоматизации производства
NC-VERIFICATION SOFTWARE — программное обеспечение для верификации УП
Англо-Русский словарь по машиностроению и автоматизации производства
NC VERIFICATION PROGRAM — программа верификации УП
Англо-Русский словарь по машиностроению и автоматизации производства
ASSERTION CHECKER — программа верификации, верификатор условий программа, анализирующая текст программы, снабженный условиями и операторами контроля (assertion), которые должны выполняться в определенных ее точках, и доказывающая их истинность или …
Англо-Русский дополнительный словарь

Большой Русско-Английский словарь

← ГЕНЕРИРОВАНИЕ СЛУЧАЙНЫХ ПЕРЕМЕННЫХ ГЕНЕРИРОВАННАЯ ПАРА→