DictionaryForumContacts

   English
Terms containing allowed time | all forms | exact matches only | in specified order only
SubjectEnglishRussian
progr.A simple and effective way to allow the verification of time bounded properties is to introduce bounds in the CTL temporal operatorsПростой и эффективный способ, позволяющий верифицировать свойства с ограничениями по времени, состоит в том, чтобы внести эти ограничения в темпоральные операторы CTL (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn)
footb.allow a stoppage-time goalпропустить гол в добавленное время (VadZ)
gen.allow someone enough timeдавать кому-либо достаточно времени (Ремедиос_П)
avia.allow in the shortest possible time calculate optimum flight planпозволяющая в кратчайшие сроки рассчитывать оптимальные планы полётов (tina.uchevatkina)
gen.allow people time for restдавать людям время на отдых (the actors an hour for dressing, the university academic freedom, the faculty the right to decide, etc., и т.д.)
gen.allow people time for restпредоставлять людям время на отдых (the actors an hour for dressing, the university academic freedom, the faculty the right to decide, etc., и т.д.)
gen.allow plenty of time forотводить достаточно времени на (источник dimock)
gen.allow plenty of time forотвести достаточно времени на (источник dimock)
Makarov.allow the receiver an ample warm-up timeпрогревать радиоприёмник
progr.allow the verification of time bounded propertiesпозволять верифицировать свойства с ограничениями по времени (ssn)
gen.allow someone timeвыделить достаточное количество времени (контекстуальный вариант Rori)
dipl.allow someone timeвыделить время
econ.allow someone timeпредоставлять срок
dipl.allow someone timeпредоставить время
gen.allow someone timeдать время (Gri85)
math.allow time forдать время
gen.allow time for questionsотводить время на вопросы
tech.allowable outage time, allowed outage timeдопустимая продолжительность отключения
energ.ind.allowed outage timeдопустимая продолжительность отключения (напр., ответственного оборудования ТЭС, АЭС)
energ.ind.allowed outage timeразрешённая продолжительность планового останова
textileallowed timeпринятое в расчёт
labor.org.allowed timeдопустимое время (нормативное время плюс резерв для компенсации потерь вследствие усталости и перерывов в работе)
textileallowed timeучтённое время
textileallowed timeрасчётное время
tech.allowed timeдопустимая продолжительность
construct.allowed timeнормативы затрат времени
tech.allowed timeзаданное время
gen.allowed time windowдопустимый временной интервал (tania_mouse)
gen.allowed time windowдопустимый промежуток времени (tania_mouse)
progr.an important benefit of this approach is that the information produced allows the user to check whether the model satisfies various real-time constraintsВажным достоинством этого подхода является то, что полученная информация позволяет пользователю проверять, удовлетворяет ли эта модель различным ограничениям реального времени (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn)
gen.as time allowsпо мере высвобождения времени (Alexander Demidov)
gen.his speech overran the time allowedон превысил регламент
gen.his speech overran the time allowedон говорил сверх положенного времени
gen.how much time we are allowed to spend doing thatсколько времени мы можем на это потратить (Alex_Odeychuk)
nautic.inability of the Vessel's facilities to load or discharge cargo within the time allowedнепригодность судового оборудования для производства погрузки или выгрузки в течение предоставленного времени (Leonid Dzhepko)
logist.length of time allowed for filing a claimисковая давность
lawlength of time allowed for filling a claimисковая давность
ITlogin allowed time mapрасписание разрешения регистрации
progr.login allowed time mapграфик предоставления доступа (ssn)
progr.maximum allowed delay timeмаксимально допустимое время задержки (ssn)
progr.maximum allowed delay timeмаксимально допустимая выдержка времени (ssn)
Makarov.the chairman stopped speaking to allow time for the meaning of his remark to seep inпредседатель сделал паузу, чтобы смысл его замечания дошёл до собравшихся
Makarov.the library allows you to check out six books at a timeпо правилам этой библиотеки вы можете взять за один раз не больше шести книг
insur.the time allowed by charter for the dual operation of loading and discharging the cargoвремя, предоставляемое чартером для операций по погрузке и выгрузке груза
gen.this work allows me no free timeэта работа совсем не оставляет мне свободного времени
progr.Thus, assertions/properties allow you to describe the behavior of a time-based system in a formal and rigorous mannerТаким образом, утверждения / свойства позволяют описывать поведение контролируемой по времени системы в формальной и строгой форме (см. 'The Design Warrior's Guide to FPGAs' by Clive "Max" Maxfield 2004)
sport.time allowedнорма времени (ssn)
sport.time allowedнорма
progr.time allowedдопустимое время (ssn)
mil.time allowedпредельный срок исполнения
sport.time allowedконтрольное время (ssn)
gen.time allowedотведённое время (the time allowed for the rally – время, отведённое на митинг ART Vancouver)
lawtime allowed for claimsисковая давность (MichaelBurov)
busin.time allowed for claimsсрок исковой давности
busin.time allowed for claimsсрок подачи рекламаций
O&Gtime allowed for considerationсрок рассмотрения (Yeldar Azanbayev)
progr.time allowed for each step of the pipeвремя, отпущенное на выполнение каждого шага конвейера (ssn)
progr.time allowed for each step of the pipe is a fixed constant time tвремя, отпущенное на выполнение каждого шага конвейера t, постоянно и фиксированно (см. "Petri Net Theory And The Modeling Of Systems" by James L. Peterson 1981 ssn)
dipl.time allowed to speakersрегламент для выступающих
scient.time does not allow us to describe... in detailвремя не позволяет нам описать... подробно
math.two implementations of the library selectable at program execution time runtime allow optimized use ofво время исполнения программы
lawwithin the time allowed by lawв установленные законом сроки (Alexander Matytsin)
lawwithin the time allowed by lawв установленные по закону сроки (Alexander Matytsin)
med.within time allowedдо истечения отведённого времени (olga don)