Russian | English |
автомат с ограничением по времени | reduced-time automaton (ssn) |
алгоритм, критичный по времени | time-critical algorithm (из кн.: Рихтер Дж. CLR via C#. – 4-е изд. – СПб.: Питер, 2013 Alex_Odeychuk) |
алгоритм с отсечением по времени | anytime algorithm (возвращает допустимое решение, даже если прерывается в любой момент времени sas_proz) |
архитектура системы, управляемой по времени | time-triggered architecture (ssn) |
базовая разрешающая способность по времени | base timing resolution (ssn) |
барабан с дискретными выходами и переходом между шагами по времени | timed drum with discrete outputs (ssn) |
барабан с дискретными выходами и переходом между шагами по времени и по событию | time and event drum with discrete outputs (ssn) |
барабанные командоаппараты с переходом по времени / событию | timer/event drums |
барабанный командоаппарат с дискретными выходами и переходом между шагами по времени | timed drum with discrete outputs (ssn) |
барабанный командоаппарат с дискретными выходами и переходом между шагами по времени и по событию | time and event drum with discrete outputs (ssn) |
барабанный командоаппарат с дискретными выходами и переходом по времени и по событию | time and event drum with discrete outputs (ssn) |
барабанный командоаппарат с переходом по времени / событию | timer/event drum |
Бесспорно, большая часть исследований по верификации с непрерывным временем основана на этой модели | 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) |
бит блокировки по времени | time-out bit (ssn) |
близкие по времени сигналы объединяются в один | signals close together merge into one (ssn) |
большая часть исследований по верификации с непрерывным временем | most of the research on continuous-time model checking (ssn) |
вложенность друг в друга экземпляров блоков по времени жизни | lifetimes of block instances are nested (ssn) |
время запаздывания воздействия по производной | time lag of the derivative action (ssn) |
Время запроса данных у монитора и ожидания ответа предполагается малым по сравнению с общим временем выполнения | the time to request data from a monitor task and wait for the response is assumed to be small compared to the total execution time (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
время обнаружения ошибки в системе ПО | software error detection time (ssn) |
время обнаружения ошибки ПО | software error detection time (ssn) |
время обнаружения повреждения в системе ПО | software fault detection time (ssn) |
время обнаружения повреждения / ошибки ПО | software fault/error detection time |
время обнаружения повреждения ПО | software fault detection time (ssn) |
время ожидания по другим причинам | other wait time (ssn) |
время определения ошибки в системе ПО | software error detection time (ssn) |
время определения повреждения в системе ПО | software fault detection time (ssn) |
время отклика по входу | input response time (ПЛК ssn) |
время простоя по внешним причинам | external idletime (ssn) |
время сквозного прохождения сигнала по сети | end-to-end propagation time through the network (ssn) |
высокоприоритетная критическая по времени задача | high-priority time-critical task (ssn) |
высокоприоритетные критические по времени задачи | high-priority time-critical tasks (ssn) |
данные по анализу производительности во время выполнения приложения | run-time analytics data (компании Embarcadero Technologies Alex_Odeychuk) |
дифференцирование по времени | differentiation according to time (ssn) |
запись параметров работы двигателя по времени | engine operating history (ssn) |
изменение изгибающего момента по времени | bending moment history (ssn) |
инвариантный по времени | time-invariant (ssn) |
инструментальные средства разработки и верификации систем жёсткого реального времени с особыми требованиями по технической безопасности | development and verification tools for safety- and mission-critical systems (корпорации AdaCore Alex_Odeychuk) |
интегрирование по времени | integration over time (ssn) |
интервал дискретизации по времени | sample spacing (ssn) |
исключение по задержке во время онлайн-выполнения | exception on timeout during online operations (ssn) |
каждые t единиц времени результат каждого блока перемещается по конвейеру, чтобы стать входом для следующего блока | every t time units, the result of each unit is shifted down the pipeline to become the input for the next unit (см. "Petri Net Theory And The Modeling Of Systems" by James L. Peterson 1981) |
контролируемая по времени система | time-based system (ssn) |
контролируемое по времени развёртывание | timed deployment (ssn) |
контролируемое по времени событие | timed event (ssn) |
контролируемый по времени | time-controlled (из кн.: Томас Д., Хэнссон Д.Х. Гибкая разработка веб-приложений в среде Rails Alex_Odeychuk) |
контролируемый по времени | timed (ssn) |
критическая по времени задача | time-critical task (ssn) |
критические по времени задачи | time-critical tasks (ssn) |
критический по времени | time critical (ssn) |
критический по времени выполнения код | time-critical code (oracle.com Alex_Odeychuk) |
критичный по времени доступа файл | volatile file (ssn) |
Кубическая кривая Безье определяет график хода анимации по времени | A cubic Bezier curve plots the progress of the animation over time (ssn) |
лимит по времени | time limit (ssn) |
лимитированный по времени обработки данных | time-critical (Alex_Odeychuk) |
маркер доступа с контролем по времени | timed token (в сетях FDDI ssn) |
маркер доступа с ограничением по времени | timed token (в сетях FDDI ssn) |
мультиплексирование с разделением по времени | time division multiplexing (см. LingvoComputer En-Ru к версии ABBYY Lingvo x6 ssn) |
мультиплексирование с разделением по времени | time division multiplexing (каналов ssn) |
набор средств компиляции с поддержкой профилирования по времени | time profiling grade (University of Melbourne, Австралия Alex_Odeychuk) |
нейронная сеть с обучением по алгоритму обратного распространения во времени | backpropagation through time (ssn) |
нейронная сеть с обучением по алгоритму обратного распространения ошибок во времени | backpropagation through time (ssn) |
некритическая по времени расчётная задача | non-time-critical computationally intensive task (ssn) |
некритические по времени расчётные задачи | non-time-critical computationally intensive tasks (ssn) |
новый лимит по времени | new time limit (ssn) |
обработка с оптимизацией по времени | time-optimized processing (ssn) |
ограничение по времени | time restriction (ssn) |
ограничение по времени | timebinding (ssn) |
ограничение по времени | time binding (ssn) |
ограничение по времени отклика | response timing constraint (корпорации AdaCore Alex_Odeychuk) |
ограничения по времени отклика и объёму памяти | response timing and memory constraints (Alex_Odeychuk) |
ограниченное по времени действие | time limited action (ssn) |
ограниченный по времени | time limited (ssn) |
ограниченный по времени | timeboxed (ssn) |
Одно популярное практическое правило состоит в том, чтобы заблаговременно определить около 80% требований, предусмотреть время для более позднего определения дополнительных требований и выполнять по мере работы систематичный контроль изменений, принимая только самые важные требования | one common rule of thumb is to plan to specify about 80 percent of the requirements up front, allocate time for additional requirements to be specified later, and then practice systematic change control to accept only the most valuable new requirements as the project progresses (см. Code Complete / Steve McConnell.-2nd ed. 2004) |
ожидание с ограничением по времени | timed wait (ssn) |
оптимизация по времени и стоимости | time-cost option (ssn) |
отказ из-за ограничения по времени | timelimit failure (ssn) |
отказ из-за ограничения по времени | time limit failure (ssn) |
параллельный процесс реального времени по таймеру | real-time parallel process by timer (Alex_Odeychuk) |
переключение по времени | time tagging (ssn) |
переход между шагами по времени | time-based step transition (ssn) |
переходы между шагами по времени | time-based step transitions (ssn) |
переходы по времени и по событию | timer and event transitions (ssn) |
переходы только по времени | timer-only transitions (ssn) |
переходы шагов только по времени | timer-only transitions (ssn) |
планирование процессов с квантованием по времени | time-sliced scheduling (режим многозадачной работы ssn) |
планирование с квантованием по времени | time-sliced scheduling (ssn) |
по величине шага модельного времени | sample-based (о способе формирования сигнала ssn) |
по времени | over time (ssn) |
по истечении времени задержки символа | on expiration of character delay time (ssn) |
по прошествии времени | eventually (ssn) |
по прошествии некоторого времени | eventually (ssn) |
по текущему времени | time-based (о способе формирования сигнала ssn) |
поведение контролируемой по времени системы | behavior of a time-based system (ssn) |
позволять верифицировать свойства с ограничениями по времени | allow the verification of time bounded properties (ssn) |
поиск по времени | temporal search (отвечает на вопрос "когда" – определение времени создания или обновления искомого Интернет-контента; при этом могут использоваться такие критерии, как "любое время", "конкретная дата", "период времени" или "время последнего обновления данных" ssn) |
прерывание по времени суток | time-of-day interrupt (ssn) |
прерывания по времени суток | time-of-day interrupts (ssn) |
пример некритической по времени расчётной задачи | example of a non-time-critical computationally intensive task (ssn) |
программирование с учётом требований по использованию памяти и обработке данных в реальном времени | programming with specific space and time requirements (Electronic Design Alex_Odeychuk) |
проект ПО реального времени | real-time software design (ssn) |
прореживание по времени | decimation in time (оригинальный алгоритм быстрого преобразования Фурье sas_proz) |
Простой и эффективный способ, позволяющий верифицировать свойства с ограничениями по времени, состоит в том, чтобы внести эти ограничения в темпоральные операторы 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) |
профилирование по времени | time profiling (University of Melbourne, Австралия Alex_Odeychuk) |
процесс реального времени по таймеру | real-time process by timer (Alex_Odeychuk) |
разделение по времени | time sharing (ssn) |
разовые таймеры, которые генерируют событие таймаута по истечении установленного времени | one-shot timers that generate a timeout event when they expire (ssn) |
разрешение по времени | timing resolution (ssn) |
реакция на сдвинутый по времени вход | response to a time translated input (говорят, что система инвариантна по времени, если реакция на сдвинутый по времени вход просто является сдвинутой по времени исходной реакцией ssn) |
с квантованием по времени | time-sliced (ssn) |
с оптимизацией по времени | time-optimized (ssn) |
с планированием по времени | timed (Alex_Odeychuk) |
с привязкой по времени | time-aware (Alex_Odeychuk) |
с регулированием по времени | timed (Alex_Odeychuk) |
с учётом требований по использованию памяти и обработке данных в реальном времени | with specific space and time requirements (Electronic Design; контекстуальный перевод на русс. язык Alex_Odeychuk) |
сброс по истечении времени ожидания | time-out reset (сторожевого таймера ssn) |
свойства с ограничениями по времени | time bounded properties (ssn) |
сдвиг по времени | time translation (ssn) |
сдвинутая по времени исходная реакция | time translation of the original response (говорят, что система инвариантна по времени, если реакция на сдвинутый по времени вход просто является сдвинутой по времени исходной реакцией ssn) |
сдвинутый по времени | time translated (ssn) |
сдвинутый по времени вход | time translated input (говорят, что система инвариантна по времени, если реакция на сдвинутый по времени вход просто является сдвинутой по времени исходной реакцией ssn) |
сервис, запускаемый по времени | time-triggered service (ssn) |
сервис, предоставляемый по времени | time-triggered service (ssn) |
синхронизация по сигналам службы всемирного времени | worldwide timing (ssn) |
синхронизация по сигналам службы гринвичского времени | worldwide timing (ssn) |
синхронизация по сигналам службы единого времени | universal timing (ssn) |
синхронизируемый по времени | time-triggered (один из возможных способов диспетчеризации задач в ОС реального времени. Ant: event-triggered ssn) |
система, лимитированная по времени обработки данных | time-critical system (Alex_Odeychuk) |
система управления машины по времени | time control system of a machine (система управления машины, обеспечивающая требуемую согласованность всех исполнительных органов в зависимости от времени ssn) |
система, управляемая по времени | time-triggered system (в такой системе (обычно встраиваемой) имеется только один уровень разрешённых прерываний, как правило, связанный с таймером, который генерирует отсчёты времени. Эти отсчёты служат основой работы обычно очень простой ОС ssn) |
системы с квантованием по времени | time-sliced systems (мультипрограммные ssn) |
системы управления машины по времени | time control systems of a machine (ssn) |
системы управления по времени | time control systems (ssn) |
совершенствование алгоритма по показателям времени выполнения и объёма используемой памяти | algorithm improvements in execution time or memory usage (Alex_Odeychuk) |
совместимая система с разделением по времени | compatible time-sharing system (ssn) |
совместимая система с разделением по времени | compatible time sharing system (ssn) |
согласованный по прошествии некоторого времени | eventually consistent (ssn) |
соглашения по разработке программ реального времени | real time programming conventions (ssn) |
сохраняемое и ограниченное по времени действие | stored and time limited action (ssn) |
сохраняемый и ограниченный по времени | stored and time limited (ssn) |
среднее по времени | time avg (ssn) |
средний по времени | medium-term (ssn) |
средний по времени затор | medium-term congestion (сети ssn) |
средства поддержки ПО в режиме реального времени | software on-line support tool (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) |
текущая дата и время по часам на сервере | current date and time on the server's clock (ssn) |
текущее время по часам на сервере | current time on the server's clock (ssn) |
технические отчёты и книги по планированию в реальном времени | reports and book on real-time scheduling (ssn) |
технические отчёты и книги по планированию в реальном времени, выпущенные институтом технологий разработки ПО | reports and book on real-time scheduling produced at the Software Engineering Institute (ssn) |
требования по работе в жёстком реальном времени | hard real-time requirements (Alex_Odeychuk) |
Тщательно разработанные в 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 |
убывать по времени | decrease over time (ssn) |
упорядочение по времени | ordering-by time (создания файла или последнего обращения к файлу ssn) |
упорядоченная по времени последовательность выполнения | time-ordered execution sequence (задач ssn) |
упорядоченная по времени последовательность выполнения группы задач | time-ordered execution sequence of a group of concurrent objects (ssn) |
управляемые по времени события | time-triggered events (ssn) |
управляемый по времени | time-triggered (ssn) |
условие гарантии с ограничением по времени | timebased warranty condition (ssn) |
условие с ограничением по времени | timebased condition (ssn) |
функция распределения выполнения анимации по времени | animation-timing-function (ssn) |
функция распределения по времени | timing function (ssn) |
функция распределения скорости анимации по времени | animation-timing-function (ssn) |
функция распределения скорости перехода по времени | transition-timing-function (ssn) |
функция распределения хода анимации по времени | animation-timing-function (ssn) |
ход анимации по времени | progress of the animation over time (ssn) |
чтобы сделать главный шаг в направлении абстракции данных, нужно стать на противоположную точку зрения: забыть на некоторое время о конкретном представлении и взять в качестве определения структуры данных операции сами по себе | 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) |
шаг дискретизации по времени | sample spacing (ssn) |
шаг квантования по времени | sample time (выходного сигнала ssn) |
шаговые переходы по времени | time-based step transitions (ssn) |
шаговый переход по времени | time-based step transition (ssn) |