Russian | English |
в определении временного автомата мы допускали использование временных ограничений в качестве инвариантов позиций и предохранителей переходов, содержащих произвольные рациональные константы | in the definition of timed automaton, we allowed the clock constraints that serve as the invariants of locations and the guards of transitions to contain arbitrary rational constants (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
временное ограничение | temporary constraint (ssn) |
временное ограничение | clock constraint (ssn) |
временное ограничение инварианта позиции или предохранителя перехода | clock constraint in the invariant of a location or in the guard of a transition (ssn) |
временные ограничения | time bounds (ssn) |
временные ограничения | timing requirements (напр., в теории планирования в реальном времени рассматриваются вопросы приоритетного планирования параллельных задач с жесткими временными ограничениями ssn) |
временные ограничения | clock constraints (ssn) |
временные ограничения | constraints (ssn) |
временные ограничения на уровне системы | system-level timing constraints (ssn) |
вычислительная задача без жёстких временных ограничений | non-time-critical computationally intensive task (ssn) |
вычислительная система с временными ограничениями | computer system with timing constraints (ssn) |
длина записи временных ограничений | length of the encodings of the clock constraints (ssn) |
допускать использование временных ограничений | allow the clock constraints (ssn) |
жёсткие временные ограничения | tight timing constraints (ssn) |
заданные временные ограничения | given constraints (ssn) |
квадратичное увеличение длины записи временных ограничений | quadratic blowup in the length of the encodings of the clock constraints (ssn) |
компьютерная система с временными ограничениями | computer system with timing constraints (ssn) |
любые временные ограничения | any time constraints (ssn) |
множество временных ограничений | set of clock constraints (ssn) |
моделируемые подсистемы вместе с их основными временными ограничениями | subsystems being modeled, as well as their major timing requirements (ssn) |
ограничения во временной области | time domain constraints (ssn) |
определённые операции на временных ограничениях | certain operations on clock constraints (ssn) |
основные временные ограничения | major timing requirements (ssn) |
отображение позиций во временные ограничения | mapping from locations to clock constraints (ssn) |
отображение позиций во временные ограничения, называемое инвариантом позиций | mapping from locations to clock constraints, called the location invariant (ssn) |
Оценка функциональной безопасности программного обеспечения формирует ясное утверждение о степени найденного соответствия, сделанных обоснованиях, мерах по устранению недостатков с рекомендуемыми сроками их устранения, полученные выводы и рекомендации по их принятию, квалифицированному принятию, или отклонению с указанием любых временных ограничений для этих рекомендаций | the software functional safety assessment produces a clear statement on the extent of compliance found, the judgements made, remedial actions and timescales recommended, the conclusions reached and the recommendations arising for acceptance, qualified acceptance, or rejection and for any time constraints placed on these recommendations (см. IEC 61508-7: 2010) |
параллельная система с временными ограничениями | concurrent system with timing constraints (ssn) |
Переход может быть совершен, только если текущие показания часов удовлетворяют временному ограничению | the transition can be taken only if the current values of the clocks satisfy the clock constraint (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
полученные выводы и рекомендации по их принятию, квалифицированному принятию, или отклонению с указанием любых временных ограничений для этих рекомендаций | the conclusions reached and the recommendations arising for acceptance, qualified acceptance, or rejection and for any time constraints placed on these recommendations (ssn) |
пространственно-временные ограничения | space constraints (ssn) |
система со сложными временными ограничениями | system with complex timing constraints (ssn) |
Системы реального времени-это параллельные системы с временными ограничениями | Real-time systems are concurrent systems with timing constraints (см. Software Modeling and Design by Hassan Gomaa ssn) |
сложные временные ограничения | complex timing constraints (ssn) |
точное определение временных ограничений | precise definition of clock constraints (ssn) |
установленные временные ограничения | given constraints (ssn) |