Russian | English |
Бесспорно, большая часть исследований по верификации с непрерывным временем основана на этой модели | 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) |
блокирование на время ввода / вывода | blocking on input/output (при вызове операции блокирования на время ввода/вывода (blocking on input/output) управление потоку не возвращается до тех пор, пока не будут завершены операции ввода/вывода) |
блокировка на время чтения | bracket read lock (общая блокировка, которая устанавливается на время операции и по её окончании снимается. Этот тип блокировки гарантирует, что будут прочитаны только зафиксированные данные. Она не гарантирует, что последующие операции чтения дадут тот же результат, так как по окончании чтения блокировка снимается и данные могут изменяться ssn) |
время, затрачиваемое на выполнение действия | duration of an action (напр., конечным автоматом, кот. программировался на языке SFC (стандарт IEC 61131-3) ssn) |
время и трудозатраты на первоначальное написание кода | time and effort put into writing the code in the first place (ssn) |
время и трудозатраты на сопровождение кода | time and effort put into the code maintenance (ssn) |
время на исправление | fixing time (ssn) |
время на кодирование | coding time (ssn) |
время на обработку ошибок | error handling time (ssn) |
время на планирование | planning time (ssn) |
время, отпущенное на выполнение каждого шага конвейера | time allowed for each step of the pipe (ssn) |
время, отпущенное на выполнение каждого шага конвейера t, постоянно и фиксированно | time allowed for each step of the pipe is a fixed constant time t (см. "Petri Net Theory And The Modeling Of Systems" by James L. Peterson 1981 ssn) |
время, потраченное на выполнение процессом системных вызовов в пространстве ядра | time spent executing system calls in kernel space on the process' behalf (ssn) |
время реакции на прерывание | interrupt response (задержка между аппаратным прерыванием (hardware interrupt) и реальной обработкой этого прерывания ssn) |
время реакции системы на прерывание | interrupt latency (ssn) |
время реакции на события | reaction times to events (ssn) |
диаграмма объекта: диаграмма, на которой изображена структура конкретного объекта во время выполнения | object diagram: A diagram that depicts a particular object structure at run-time (см. Design Patterns: Elements of Reusable Object-Oriented Software by Erich Gamma, Richard Helm, Ralph Johnson, John M. Vlissides ssn) |
дополнительное время на исправление | more fixing time (ssn) |
задержка на заданное время | delay for the specified time (ssn) |
значительное влияние на время реакции | big impact on response times (ssn) |
измерять время, затраченное на выполнение метода | measure the time spent in the method execution (англ. термин взят из кн.: Shukla A. Building Web Apps with Spring 5 and Angular Alex_Odeychuk) |
источник данных на время разработки | development-time datasource (Alex_Odeychuk) |
на всё время вызова | for the duration of the call |
на всё время существования объекта | for the duration of the lifetime of an object |
некоторое ограничение на время реакции | a constraint on response time (ssn) |
некоторое ограничение на время реакции для той или иной операции | a constraint on response time for some operation (ssn) |
общее время, затраченное на редактирование документа | total time spent editing the document (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) |
оптимальное время влияния на надёжную разработку проекта | optimal time to influence a project's trustworthy design (ssn) |
откладывание на неопределённое время | shelving (ssn) |
относительный таймер, который обеспечивает задержку на заданное время | relative timer that will delay for the specified time (ssn) |
Подсказка для элемента управления появляется, если пользователь некоторое время удерживает указатель мыши на элементе управления | the control tip appears when the user briefly holds the mouse pointer over a control |
поправка на время запаздывания | dead time correction (ssn) |
приостанавливаться на время выполнения ожидаемой операции | be suspended while the operation being awaited is executed (Alex_Odeychuk) |
проверки на возникновение ошибок во время выполнения наиболее часто вызываемых методов | error checking during the execution of the most frequently called members (ssn) |
проверять на наличие всех возможных ошибок во время выполнения | test for all potential run-time errors (корпорации AdaCore Alex_Odeychuk) |
проверяться на корректность во время компиляции | be checked compile-time for correctness (Alex_Odeychuk) |
размещаемый в памяти на короткое время | allocated in a short period of time (Microsoft Alex_Odeychuk) |
решаемая за полиномиальное время на недетерминированной машине Тьюринга задача | nondeterministic polynomial time problem (о принятии решения ssn) |
решаемая за полиномиальное время на недетерминированной машине Тьюринга задача | nondeterministic polynomial time hard problem (поиска ssn) |
решаемая за полиномиальное время на недетерминированной машине Тьюринга задача | nondeterministic polynomial time complete problem (поиска и принятия решения ssn) |
Система выводит на экран выбранное значение, а также время его измерения | the system displays the selected value, together with its time of occurrence (см. Object-Oriented Analysis and Design with Applications 3rd Edition by Grady Booch) |
системное время – это время, потраченное на выполнение процессом системных вызовов в пространстве ядра | 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) |
создаваться на всё время выполнения приложения | be created for the whole application lifetime (англ. термин взят из кн.: De Sanctis V. ASP.NET Core and Angular 2 Alex_Odeychuk) |
текущая дата и время по часам на сервере | current date and time on the server's clock (ssn) |
текущее время по часам на сервере | current time on the server's clock (ssn) |
указатель на информацию о типе во время выполнения | pointer to run-time type information (Alex_Odeychuk) |
чтобы сделать главный шаг в направлении абстракции данных, нужно стать на противоположную точку зрения: забыть на некоторое время о конкретном представлении и взять в качестве определения структуры данных операции сами по себе | the key step towards data abstraction is to reverse the viewpoint: forget for the moment about the representation, take the operations themselves as defining the data structure (см. Object-Oriented Software Construction second edition by Bertrand Meyer) |