Russian | English |
барабан с дискретными выходами и переходом между шагами по времени и по событию | time and event drum with discrete outputs (ssn) |
барабанные командоаппараты с переходом по времени / событию | timer/event drums |
барабанный командоаппарат с дискретными выходами и переходом между шагами по времени и по событию | time and event drum with discrete outputs (ssn) |
барабанный командоаппарат с дискретными выходами и переходом по времени и по событию | time and event drum with discrete outputs (ssn) |
барабанный командоаппарат с переходом по времени / событию | timer/event drum |
близкие по времени сигналы объединяются в один | signals close together merge into one (ssn) |
вложенность друг в друга экземпляров блоков по времени жизни | lifetimes of block instances are nested (ssn) |
высокоприоритетная критическая по времени задача | high-priority time-critical task (ssn) |
высокоприоритетные критические по времени задачи | high-priority time-critical tasks (ssn) |
контролируемая по времени система | time-based system (ssn) |
контролируемое по времени развёртывание | timed deployment (ssn) |
контролируемое по времени событие | timed event (ssn) |
критическая по времени задача | time-critical task (ssn) |
критические по времени задачи | time-critical tasks (ssn) |
критический по времени выполнения код | time-critical code (oracle.com Alex_Odeychuk) |
критичный по времени доступа файл | volatile file (ssn) |
лимитированный по времени обработки данных | time-critical (Alex_Odeychuk) |
некритическая по времени расчётная задача | non-time-critical computationally intensive task (ssn) |
некритические по времени расчётные задачи | non-time-critical computationally intensive tasks (ssn) |
ограничение по времени отклика | response timing constraint (корпорации AdaCore Alex_Odeychuk) |
ограничения по времени отклика и объёму памяти | response timing and memory constraints (Alex_Odeychuk) |
ограниченное по времени действие | time limited action (ssn) |
оптимизация по времени и стоимости | time-cost option (ssn) |
переходы по времени и по событию | timer and event transitions (ssn) |
поведение контролируемой по времени системы | behavior of a time-based system (ssn) |
прерывание по времени суток | time-of-day interrupt (ssn) |
прерывания по времени суток | time-of-day interrupts (ssn) |
пример некритической по времени расчётной задачи | example of a non-time-critical computationally intensive task (ssn) |
Простой и эффективный способ, позволяющий верифицировать свойства с ограничениями по времени, состоит в том, чтобы внести эти ограничения в темпоральные операторы CTL | A simple and effective way to allow the verification of time bounded properties is to introduce bounds in the CTL temporal operators (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
реакция на сдвинутый по времени вход | response to a time translated input (говорят, что система инвариантна по времени, если реакция на сдвинутый по времени вход просто является сдвинутой по времени исходной реакцией ssn) |
сдвинутая по времени исходная реакция | time translation of the original response (говорят, что система инвариантна по времени, если реакция на сдвинутый по времени вход просто является сдвинутой по времени исходной реакцией ssn) |
сдвинутый по времени вход | time translated input (говорят, что система инвариантна по времени, если реакция на сдвинутый по времени вход просто является сдвинутой по времени исходной реакцией ssn) |
система, лимитированная по времени обработки данных | time-critical system (Alex_Odeychuk) |
сохраняемое и ограниченное по времени действие | stored and time limited action (ssn) |
средний по времени затор | medium-term congestion (сети ssn) |
Таким образом, утверждения / свойства позволяют описывать поведение контролируемой по времени системы в формальной и строгой форме | 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) |
Тщательно разработанные в ALGOL 60 правила языка направлены на обеспечение вложенности друг в друга экземпляров блоков по времени жизни в том смысле, что экземпляры блоков, активированные последними, первыми заканчивают своё существование | in ALGOL 60, the rules of the language have been carefully designed to ensure that the lifetimes of block instances are nested, in the sense that those instances that are latest activated are the first to go out of existence |
упорядоченная по времени последовательность выполнения | time-ordered execution sequence (задач ssn) |
упорядоченная по времени последовательность выполнения группы задач | time-ordered execution sequence of a group of concurrent objects (ssn) |
управляемые по времени события | time-triggered events (ssn) |