Subject | English | Russian |
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 | давать кому-либо достаточно времени (Ремедиос_П) |
footb. | allow for extra 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) |
econ. | allow someone time | предоставлять срок |
gen. | allow someone time | выделить достаточное количество времени (контекстуальный вариант Rori) |
dipl. | allow someone time | предоставить время |
dipl. | allow someone time | выделить время |
mil., obs. | allow 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 | разрешённая продолжительность планового останова |
textile | allowed time | принятое в расчёт |
labor.org. | allowed time | допустимое время (нормативное время плюс резерв для компенсации потерь вследствие усталости и перерывов в работе) |
textile | allowed time | учтённое время |
textile | allowed 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 | исковая давность |
law | length of time allowed for filling a claim | исковая давность |
IT | login 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) |
law | time allowed for claims | исковая давность (MichaelBurov) |
busin. | time allowed for claims | срок исковой давности |
busin. | time allowed for claims | срок подачи рекламаций |
O&G | time 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 | во время исполнения программы |
law | within the time allowed by law | в установленные законом сроки (Alexander Matytsin) |
law | within the time allowed by law | в установленные по закону сроки (Alexander Matytsin) |
med. | within time allowed | до истечения отведённого времени (olga don) |