| English | Russian |
| a constraint on response time | некоторое ограничение на время реакции (ssn) |
| a constraint on response time for some operation | некоторое ограничение на время реакции для той или иной операции (ssn) |
| Certainly, most of the research on continuous-time model checking is based on this model | Бесспорно, большая часть исследований по верификации с непрерывным временем основана на этой модели (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| changes in configuration of network structures during evolution on a specific time horizon | изменение конфигураций в процессах развития сетевых структур на заданном временном горизонте (ssn) |
| Continuous time, on the other hand, is the natural model for asynchronous systems, because the separation of events can be arbitrarily small | Непрерывное время, с другой стороны, является естественной моделью для асинхронных систем, поскольку промежуток времени, разделяющий события, может быть сколь угодно мал (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| current date and time on the server's clock | текущая дата и время по часам на сервере (ssn) |
| current time on the server's clock | текущее время по часам на сервере (ssn) |
| Events take variable amounts of time in real life, and this variability is reflected in the Petri net model by not depending on a notion of time to control the sequence of events | в реальной жизни различные события укладываются в различные интервалы времени, и это отражено в модели сети Петри независимостью от времени управления последовательностью событий (ssn) |
| flow of time on a computer system | течение времени в компьютерной системе (ssn) |
| graphic display of Timer On Delay behaviour over time | временная диаграмма работы таймера с задержкой включения (ssn) |
| more complex verification techniques based on continuous time | более сложные методы верификации, основанные на непрерывном времени (ssn) |
| most of the research on continuous-time model checking | большая часть исследований по верификации с непрерывным временем (ssn) |
| not depending on a notion of time to control the sequence of events | независимость от времени управления последовательностью событий (ssn) |
| object: A run-time entity that packages both data and the procedures that operate on that data | объект: имеющаяся во время выполнения сущность, в которой хранятся данные и процедуры для работы с ними (см. Design Patterns: Elements of Reusable Object-Oriented Software by Erich Gamma, Richard Helm, Ralph Johnson, John M. Vlissides ssn) |
| on expiration of character delay time | по истечении времени задержки символа (ssn) |
| On-line transaction systems, airline reservation systems are soft real-time systems | Примерами систем мягкого реального времени являются системы резервирования авиабилетов и онлайновые системы обработки транзакций (Kanaka Juvva ssn) |
| parameter may be constant or depend on the time or on the value of some system variables | параметр может быть неизменным или зависеть от времени или значения нескольких переменных системы (ssn) |
| parameter may be constant or depend on the time or on the value of some system variables | параметр может быть неизменным или зависеть от времени или значения некоторых переменных системы (ssn) |
| real-time systems that control power plants, spacecraft, and so on | системы реального времени, управляющие электростанциями, космическими аппаратами и т.д. (ssn) |
| reports and book on real-time scheduling | технические отчёты и книги по планированию в реальном времени (ssn) |
| reports and book on real-time scheduling produced at the Software Engineering Institute | технические отчёты и книги по планированию в реальном времени, выпущенные институтом технологий разработки ПО (ssn) |
| switch-on time | время включения (ssn) |
| system parameter may be constant or depend on the time or on the value of some system variables | параметр системы может быть неизменным или зависеть от времени или значения нескольких переменных системы (ssn) |
| system parameter may be constant or depend on the time or on the value of some system variables | параметр системы может быть неизменным или зависеть от времени или значения некоторых переменных системы (ssn) |
| system time is the time spent executing system calls in kernel space on the process' behalf | системное время – это время, потраченное на выполнение процессом системных вызовов в пространстве ядра (ssn) |
| system time is the time spent executing system calls in kernel space on the process' behalf | системное время это время, потраченное на выполнение процессом системных вызовов в пространстве ядра (ssn) |
| techniques based on discrete time | методы, основанные на дискретном времени (ssn) |
| the conclusions reached and the recommendations arising for acceptance, qualified acceptance, or rejection and for any time constraints placed on these recommendations | полученные выводы и рекомендации по их принятию, квалифицированному принятию, или отклонению с указанием любых временных ограничений для этих рекомендаций (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) |
| this is a POSIX thing – POSIX says that on different platforms you can have multiple time bases, but that every platform must support at least the CLOCK_REALTIME time base | это вещь из области POSIX – стандарт утверждает, что на различных платформах вы можете использовать различные типы временных базисов, но любая платформа должна, по меньшей мере, поддерживать базис CLOCK_REALTIME (см. "Getting Started with QNX Neutrino. A Guide for Realtime Programmers" by Rob Krten 2009 ssn) |
| this is a POSIX thing POSIX says that on different platforms you can have multiple time bases, but that every platform must support at least the CLOCK_REALTIME time base | это вещь из области POSIX стандарт утверждает, что на различных платформах вы можете использовать различные типы временных базисов, но любая платформа должна, по меньшей мере, поддерживать базис CLOCK_REALTIME (см. "Getting Started with QNX Neutrino. A Guide for Realtime Programmers" by Rob Krten 2009 ssn) |
| time on the processor | время процессора (ssn) |
| time sources that are based on power management activities | источники времени, основанные на управлении питанием (ssn) |
| time spent executing system calls in kernel space on the process' behalf | время, потраченное на выполнение процессом системных вызовов в пространстве ядра (ssn) |
| time-slicing on a single CPU | квантование времени выполнения в системе с одним процессором (ssn) |
| Typically, the designer provides a constraint on response time for some operation, and the verifier automatically determines if it is satisfied or not | Обычно разработчик предусматривает некоторое ограничение на время реакции для той или иной операции, а верификатор автоматически проверяет, выполняется оно или нет (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| verification techniques based on continuous time | методы верификации, основанные на непрерывном времени (ssn) |
| with this context, the compucentric nature of modern mechanical systems designs becomes clearer. Computational capabilities and limitations must be considered at all stages of the design and implementation process. In particular, the effectiveness of the final production system will depend very heavily on the quality of the real time software that controls the machine | Учитывая это, природа компьютеризации проектов современных механических систем становится более понятной. Вычислительные способности и ограничения должны рассматриваться на всех стадиях процесса проектирования и реализации. В частности, эффективность окончательной промышленной системы будет существенно зависеть от качества функционирования программного обеспечения в реальном масштабе времени, которое управляет механизмом (см. Auslander D.M., Ridgely J.R., Ringgenberg J.D. Control Software for Mechanical Systems. Object-Oriented Design in a Real-Time World) |
