English | Russian |
A key idea from Chapter 12 is that if one is only interested in the at-sample response, these samples can be described by discrete time models in either the shift or delta operator | Основная идея гл. 12 состоит в том, что если нас интересует реакция только в моменты квантования, эти квантованные величины могут быть описаны дискретными моделями или с помощью дельта-оператора, или с помощью оператора сдвига (см. Control system design by Graham C. Goodwin et al. 2000 ssn) |
A period of time in a process flow after a task runs and before the subsequent task can start | Период в потоке процесса между запуском задачи и моментом, когда следующая задача может начать выполнение (см. free float ssn) |
A period of time in a process flow after a task runs and before the subsequent task can start. Free floats may result from parallel paths in a process that take varying lengths of time to complete | Период в потоке процесса между запуском задачи и моментом, когда следующая задача может начать выполнение. Резерв времени может возникать при наличии в процессе параллельных путей с разной продолжительностью выполнения (см. free float ssn) |
A simple and effective way to allow the verification of time bounded properties is to introduce bounds in the CTL temporal operators | Простой и эффективный способ, позволяющий верифицировать свойства с ограничениями по времени, состоит в том, чтобы внести эти ограничения в темпоральные операторы CTL (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
a specific instant in time | заданный момент времени (Alex_Odeychuk) |
A time-varying control system is a system in which one or more of the parameters of the system may vary as a function of time | Нестационарная система управления – это система, в которой один или более параметров являются функциями времени (см. Modern Control Systems by Richard C. Dorf & Robert H. Bishop 2008 ssn) |
A time-varying control system is a system in which one or more of the parameters of the system may vary as a function of time | Нестационарная система управления это система, в которой один или более параметров являются функциями времени (см. Modern Control Systems by Richard C. Dorf & Robert H. Bishop 2008 ssn) |
A trace of the behaviour of a process is a finite sequence of symbols recording the events in which the process has engaged up to some moment in time | Протоколом поведения процесса называется конечная последовательность символов, фиксирующая события, в которых процесс участвовал до некоторого момента времени (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn) |
access the global shared memory in one uninterruptible unit of time | получать доступ к разделяемой глобальной памяти в течение одного непрерываемого интервала времени (ssn) |
access the global shared memory in one uninterruptible unit of time | обращаться к глобальной совместно используемой памяти в одну непрерываемую единицу времени (ssn) |
again in a given time | также к определённому моменту времени (ssn) |
algorithm improvements in execution time or memory usage | совершенствование алгоритма по показателям времени выполнения и объёма используемой памяти (Alex_Odeychuk) |
allocated in a short period of time | размещаемый в памяти на короткое время (Microsoft Alex_Odeychuk) |
Also, each of the theoretical processors can access the global shared memory in one uninterruptible unit of time | Кроме того, каждый из теоретических процессоров может обращаться к глобальной совместно используемой памяти в одну непрерываемую единицу времени (см. "Parallel and Distributed Programming Using C++" by Cameron Hughes, Tracey Hughes 2003 ssn) |
area where the function can fill in the amount of time remaining | область памяти, в которую функция может записывать количество оставшегося до срабатывания таймера времени (ssn) |
be repeated at an incorrect point in time | повторяться в несоответствующий момент времени (напр., о старых необновлённых сообщениях ssn) |
Because real-time systems are used in critical application, conservative approaches have been traditionally used in their design | Поскольку системы реального времени используются в критических приложениях, для их разработки традиционно применялись консервативные подходы (ssn) |
case studies in concurrent, distributed, and real-time application design | примеры проектирования параллельных приложений, распределённых приложений и приложений реального времени (см. Designing Concurrent, Distributed, and Real-time Applications with UML Object Technology Series by Hassan Gomaa ssn) |
changes in configuration of network structures during evolution on a specific time horizon | изменение конфигураций в процессах развития сетевых структур на заданном временном горизонте (ssn) |
closed central system serving a large set of users in time-sharing mode | закрытая централизованная система, обслуживающая множество пользователей в режиме разделения времени (ssn) |
Concurrency in software is a way to manage the sharing of resources used at the same time | Параллельность в программах – это способ управлять распределением общих ресурсов, используемых одновременно (см. Multi-Core Programming by Shameem Akhter and Jason Roberts 2006 ssn) |
Concurrency in software is a way to manage the sharing of resources used at the same time | Параллельность в программах это способ управлять распределением общих ресурсов, используемых одновременно (см. Multi-Core Programming by Shameem Akhter and Jason Roberts 2006 ssn) |
correct point in time | соответствующий момент времени (ssn) |
CPU time in seconds | время ЦП в секундах (ssn) |
CPU time in seconds | время процессора в секундах (ssn) |
CPU time in seconds that may be used by a process | время ЦП в секундах, которое может быть использовано процессом (ssn) |
CPU time in seconds that may be used by a process | время процессора в секундах, которое может быть использовано процессом (ssn) |
current time value in BCD | текущее значение времени в BCD-представлении (ssn) |
current time value in BCD | текущее значение времени в двоично-десятичном представлении (ssn) |
current time value in binary | текущее значение времени в двоичной форме (ssn) |
current time value in binary | текущее значение времени в двоичном представлении (ssn) |
cyclic transmission in real-time | циклическая передача данных процесса в реальном времени (ssn) |
decimation in time | прореживание по времени (оригинальный алгоритм быстрого преобразования Фурье sas_proz) |
default just-in-time compiler | динамический компилятор по умолчанию (Alex_Odeychuk) |
describe by discrete time models in either the shift or delta operator | описывать дискретными моделями или с помощью дельта-оператора, или с помощью оператора сдвига (ssn) |
determining the amount of priority inversion in a real-time system | определение количества инверсий приоритета в системе реального времени (ssn) |
dev team productivity loss due to the time spent in fixing the configuration issue | снижение производительности труда команды разработчиков, обусловленное трудозатратами на устранение ошибок конфигурирования проекта (Alex_Odeychuk) |
difference in time values | разница в показаниях часов (ssn) |
discrete instants in time | дискретные моменты времени (ssn) |
do not occur in regular or predictable time intervals | происходить через нерегулярные или непредсказуемые промежутки времени (о событиях ssn) |
dynamic binding: The run-time association of a request to an object and one of its operations. In C++, only virtual functions are dynamically bound | динамическое связывание: ассоциация между запросом к объекту и одной из его операций, устанавливаемая во время выполнения. В C ++ динамически связываться могут только виртуальные функции (см. Design Patterns: Elements of Reusable Object-Oriented Software by Erich Gamma, Richard Helm, Ralph Johnson, John M. Vlissides ssn) |
events in which the process has engaged up to some moment in time | события, в которых процесс участвовал до некоторого момента времени (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) |
events that are not synchronized in time or do not occur in regular or predictable time intervals | события, несинхронизированные во времени или происходящие через нерегулярные или непредсказуемые промежутки времени (ssn) |
evolution of matrix time in distributed systems | изменение матричного времени в распределённых системах (ssn) |
evolution of scalar time in distributed execution | изменение скалярного времени в выполнении распределённой системы (ssn) |
evolution of vector time in distributed systems | изменение векторного времени в распределенных системах (ssn) |
execution time is logarithmic in the size of the data | логарифмическая зависимость времени работы от объёма данных (ssn) |
extent of the interval in time | протяжённость интервала во времени (ssn) |
extent of the interval in time or space | протяжённость интервала во времени или в пространстве (ssn) |
finite sequence of symbols recording the events in which the process has engaged up to some moment in time | конечная последовательность символов, фиксирующая события, в которых процесс участвовал до некоторого момента времени (ssn) |
high-performance just-in-time compilation | высокопроизводительная оперативная компиляция (Alex_Odeychuk) |
high-performance just-in-time compilation to native code | высокопроизводительная динамическая компиляция в неуправляемый код (Alex_Odeychuk) |
identifying time in the computer with time in the modeled world | отождествление времени в компьютере с временем в моделируемом мире (ssn) |
important role in explaining the run-time behavior of programs | важная роль в объяснении поведения программ во время исполнения (ssn) |
improved just-in-time compiler | усовершенствованный динамический компилятор (Microsoft Alex_Odeychuk) |
improved just-in-time compiler | усовершенствованный оперативный компилятор (Microsoft Alex_Odeychuk) |
in a given time | к определённому моменту времени (ssn) |
in another aspect, for a UM software component of an XML snippet, the programming environment can utilize the XML importation element to replicate the XML snippet upon compilation, avoiding time-consuming and error prone requirements for manual code duplication | в другом аспекте для программного компонента системы UM фрагмента языка XML среда программирования может использовать элемент импорта XML для дублирования фрагмента XML при компиляции, что предотвращает отнимающее много времени и подверженное ошибкам требование ручного копирования кода |
in polynomial time | в разумный срок (in polynomial – i.e., reasonable – time Alex_Odeychuk) |
in reasonable time | в разумный срок (in polynomial – i.e., reasonable – time Alex_Odeychuk) |
in spite of adjusting the time | несмотря на перевод времени (ssn) |
in the area of real-time technologies | в сфере технологий разработки приложений реального времени (корпорации AdaCore Alex_Odeychuk) |
in the clock ISR, the stored time is compared against the time of day in the usual manner | Обработчик прерываний таймера сравнивает сохранённое значение времени с текущим (см. "Getting Started with QNX Neutrino. A Guide for Realtime Programmers" by Rob Krten 2009) |
in the previous chapter, we assumed that time is discrete. When time is modeled in this manner, possible clock values are nonnegative integers, and events can only occur at integer time values | в предыдущей главе мы предполагали, что время дискретно. в этом случае возможные показания часов задаются неотрицательными целыми числами и события могут происходить только в целочисленные моменты времени (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
in the real-time area | в эпоху разработки приложений реального времени (Alex_Odeychuk) |
in the real-time area | в эпоху разработки систем реального времени (Alex_Odeychuk) |
in the real-time domain | в приложениях реального времени (корпорации AdaCore Alex_Odeychuk) |
in the software lifecycle, the time and effort put into the code maintenance significantly outweighs the time and effort put into writing the code in the first place. Code maintenance is reading it and trying to understand it in order to modify or extend it. Any refactoring of code during its production, no matter how small, can significantly benefit software maintainers | в жизненном цикле ПО время и трудозатраты на сопровождение кода существенно превышают время и трудозатраты на первоначальное написание кода. При сопровождении кода необходимо прочитать и попробовать понять его, чтобы затем изменить или расширить. Любой рефакторинг кода в процессе его создания, независимо от того, сколь он мал, может принести существенную пользу эксплуатационному персоналу ПО (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
incorrect point in time | несоответствующий момент времени (ssn) |
interval of arbitrary size in time | интервал произвольного размера во времени (ssn) |
it becomes possible to produce portable code, that is, code which can be generated and compiled to run in a number of different real time environments without changing the userwritten portion of the code | Становится возможным произвести переносимый код, то есть код, который может быть создан и скомпилирован, чтобы функционировать во многих различных средах реального времени без осуществления изменений в пользовательской части кода (см. Auslander D.M., Ridgely J.R., Ringgenberg J.D. Control Software for Mechanical Systems. Object-Oriented Design in a Real-Time World ssn) |
just in time | точно в срок (см. ГОСТ Р ИСО 15531-1-2008 ssn) |
just in time debugging | отладка во время исполнения программы (Godzilla) |
just-in-time activation | активизация "на лету" |
just-in-time compilation | оперативная компиляция (см. just-in-time compiler ssn) |
just-in-time compilation to native code | динамическая компиляция в неуправляемый код (Alex_Odeychuk) |
just-in-time compiler | оперативный компилятор (тж. JIT -компилятор; компилятор, преобразующий исходный текст в машинный код непосредственно в процессе исполнения программы. В частности, JIT-компилятор с языка Java оперативно преобразует требуемые фрагменты Java-программы на промежуточном языке (intermediate language, байт-код) в машинный код, исполняемый ЦП, что повышает производительность в 10-15 раз. Однако такой компилятор не имеет возможности выполнять сколько-нибудь серьёзную оптимизацию программы ssn) |
just-in-time compiler | динамический компилятор (компилятор, преобразующий требуемые фрагменты программы на промежуточном языке в машинный код непосредственно в процессе её выполнения, за счёт оптимизации кода может повышать производительность в 10-15 раз Alex_Odeychuk) |
just-in-time computing | вычисления к назначенному времени (ssn) |
just-in-time computing | оперативные вычисления (ssn) |
just-in-time indexing | динамическая индексация (Alex_Odeychuk) |
just-in-time learning | обучение "точно в срок" (ssn) |
kernel-mode CPU time processes in the job have used | процессорное время, израсходованное процессами задания в режиме ядра (ssn) |
location in time | положение во времени (интервал произвольного размера во времени, на котором может происходить действие. См. ISO/IEC 10746-2, ГОСТ Р ИСО/МЭК 10746-2-2000 ssn) |
Location in time: An interval of arbitrary size in time at which an action can occur | Положение во времени: интервал произвольного размера во времени, на котором может происходить действие (см. ISO/IEC 10746-2, ГОСТ Р ИСО/МЭК 10746-2-2000 ssn) |
location in time and space | местоположение во времени и пространстве (ssn) |
maximum amount of CPU time in seconds that may be used by a process | максимальный объём времени ЦП в секундах, которое может быть использовано процессом (ssn) |
measure the time spent in the method execution | измерять время, затраченное на выполнение метода (англ. термин взят из кн.: Shukla A. Building Web Apps with Spring 5 and Angular Alex_Odeychuk) |
modeling systems of distributed control with multiple processes executing concurrently in time | моделирование систем с распределенным управлением, в которых несколько процессов выполняются одновременно (ssn) |
moment in time | момент времени (ssn) |
moments in time | моменты времени (ssn) |
nature of time in concurrent systems | природа времени в параллельных системах (ssn) |
parallel paths in a process that take varying lengths of time to complete | наличие в процессе параллельных путей с разной продолжительностью выполнения (ssn) |
passage of time in queue | время пребывания в очереди (ssn) |
period of time in a process flow | период в потоке процесса (ssn) |
Pertaining to events that are not synchronized in time or do not occur in regular or predictable time intervals | Относящийся к событиям, несинхронизированным во времени или происходящим через нерегулярные или непредсказуемые промежутки времени (асинхронный ssn) |
pointer to an area where the function can fill in the amount of time remaining | указатель на область памяти, в которую функция может записывать количество оставшегося до срабатывания таймера времени (ssn) |
possible passage of time in queue | вероятное время пребывания в очереди (ssn) |
precise thinking is possible only in terms of a small number of elements at a time | точное и связное мышление возможно только в терминах небольшого числа элементов в каждый отдельный отрезок времени (ssn) |
problems solvable in polynomial time | проблемы, разрешимые за полиномиальное время (ssn) |
problems that can be solved in polynomial time | задачи, которые можно решить за полиномиальное время (ssn) |
processes taking place in parallel, giving rise to discrete events at irregular intervals of time | процессы, выполняющиеся параллельно и приводящие к дискретным событиям, которые могут возникать в отдельные моменты времени (ssn) |
pull-in time | время включения (реле, соленоида ssn) |
real-time first-in-first-out memory | память реального времени FIFO (ssn) |
real-time first-in-first-out memory | память реального времени с дисциплиной обслуживания FIFO (ssn) |
relative time quantum difference assigned to threads in the job | относительная продолжительность кванта времени, выделяемого всем потокам в задании (ssn) |
Relative timers provide some form of event "in a certain number of seconds", while absolute timers provide this event "at a certain time" | Относительные таймеры обеспечивают генерацию событий "через определённое число секунд", в то время как абсолютные таймеры генерируют события "в определённое время" (см. "Getting Started with QNX Neutrino. A Guide for Realtime Programmers" by Rob Krten 2009 ssn) |
requirements baseline: A snapshot in time representing the current agreed-upon, reviewed, and approved set of requirements for a specific product release | базовые требования: зафиксированный в определённый момент времени, согласованный, просмотренный и одобренный набор требований для указанной версии продукта (см. Software Requirements by Karl E. Wiegers 2003 ssn) |
requirements baseline: A snapshot in time representing the current agreed-upon, reviewed, and approved set of requirements for a specific product release | исходные требования: зафиксированный на данный момент набор согласованных, проверенных и утверждённых требований к конкретной версии продукта (см. Software Requirements by Karl E. Wiegers 2003 ssn) |
run in linear time | выполняться за линейное время (Alex_Odeychuk) |
scheduling in real-time systems | планирование в системах реального времени (ssn) |
send data to the client in real time | передавать данные клиенту в реальном времени (Alex_Odeychuk) |
snapshot in time representing the current | зафиксированный на данный момент (ssn) |
snapshot in time representing the current | зафиксированный в определённый момент времени (ssn) |
some agreed-upon time in the past | какой-либо момент в прошлом, о котором была предварительная договорённость (ssn) |
stimulus that arrives at an object at a point in time | стимул, поступающий объекту в определённый момент времени (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) |
systems of distributed control with multiple processes executing concurrently in time | системы с распределенным управлением, в которых несколько процессов выполняются одновременно (ssn) |
the extent of the interval in time or space is chosen to reflect the requirements of a particular specification task and the properties of a particular specification language | Протяжённость интервала во времени или в пространстве выбирается для отражения требований конкретной задачи спецификации и свойств конкретного языка спецификаций (см. ISO/IEC 10746-2, ГОСТ Р ИСО/МЭК 10746-2-2000) |
the only important property of time, from a logical point of view, is in defining a partial ordering of the occurrence of events | одно из важнейших свойств времени, с логической точки зрения, – это определение частичного упорядочения событий (ssn) |
the only important property of time, from a logical point of view, is in defining a partial ordering of the occurrence of events | одно из важнейших свойств времени, с логической точки зрения, это определение частичного упорядочения событий (ssn) |
the process images are implemented in form of a global data structure accessible by the PLC run time system and the Master software package | Образы процесса реализованы в виде глобальной структуры данных, доступ к которой осуществляется через PLC систему поддержки исполнения программ и Master пакет программ |
the user is always in one conversational state, or dialog, at a time | в каждый момент времени пользователь всегда находится в одном диалоговом состоянии, или в диалоговом окне |
there is no inherent measure of time or the flow of time in a Petri net | в сети Петри отсутствует измерение времени или течение времени |
these samples can be described by discrete time models in either the shift or delta operator | эти квантованные величины могут быть описаны дискретными моделями или с помощью дельта-оператора, или с помощью оператора сдвига (ssn) |
this reflects a philosophy of time which states that the only important property of time, from a logical point of view, is in defining a partial ordering of the occurrence of events | это отражает философский подход к понятию времени, утверждающий, что одно из важнейших свойств времени, с логической точки зрения, – это определение частичного упорядочения событий (ssn) |
this reflects a philosophy of time which states that the only important property of time, from a logical point of view, is in defining a partial ordering of the occurrence of events | это отражает философский подход к понятию времени, утверждающий, что одно из важнейших свойств времени, с логической точки зрения, это определение частичного упорядочения событий (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) |
Thus, Petri nets would seem ideal for modeling systems of distributed control with multiple processes executing concurrently in time | Таким образом, сети Петри представляются идеальными для моделирования систем с распределенным управлением, в которых несколько процессов выполняются одновременно (ssn) |
time and effort put into writing the code in the first place | время и трудозатраты на первоначальное написание кода (ssn) |
time base in BCD | временная база в формате BCD (ssn) |
time base in BCD | временная база в двоично-десятичном формате (ssn) |
Time can elapse in the location only as long as the invariant of the location is true | Течение времени в позиции происходит, пока инвариант этой позиции истинен (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
Time dependency of factors is described in terms of polynomial functions which reveal the interrelation of factors | Зависимость показателей от времени выражается с помощью многочленов, в терминах которых описано взаимовлияние показателей (ssn) |
time for an atomic transition in the model | длительность атомарного перехода в модели (ssn) |
time in nondeterministic computing | время в недетерминистском вычислении (ssn) |
time in nondeterministic computing | время в недетерминистских вычислениях (ssn) |
time response specifications in design | требования к временным характеристикам при синтезе системы (ssn) |
time spent executing system calls in kernel space on the process' behalf | время, потраченное на выполнение процессом системных вызовов в пространстве ядра (ssn) |
time spent executing the program's code in user space | время, в течение которого код программы выполнялся в пользовательском пространстве (ssn) |
time value in BCD | значение времени в двоично-десятичном формате (ssn) |
time value in BCD | значение времени в формате BCD (ssn) |
time value in BCD | значение времени в BCD-представлении (ssn) |
time value in BCD | значение времени в двоично-десятичном представлении (ssn) |
time value in binary | значение времени в двоичном представлении (ssn) |
time variation in the computer | течение времени в компьютере (ssn) |
time variation in the real world | течение времени в мире (ssn) |
time-domain performance criteria in the frequency domain | критерии качества во временной и частотной областях (ssn) |
trading time for space in DFA simulation | компромисс между скоростью и используемой памятью при моделировании ДКА (ДКА – детерминированный конечный автомат (deterministic finite automaton) ssn) |
translate in real time | переводить в режиме реального времени (Alex_Odeychuk) |
translate in real time | переводить в реальном времени (Alex_Odeychuk) |
user time is the time spent executing the program's code in user space | пользовательское время – это время, в течение которого код программы выполнялся в пользовательском пространстве (ssn) |
user time is the time spent executing the program's code in user space | пользовательское время это время, в течение которого код программы выполнялся в пользовательском пространстве (ssn) |
user-mode CPU time processes in the job have used | процессорное время, израсходованное процессами задания в пользовательском режиме (ssn) |
variability in time | вариабельность во времени (вариация, происходящая в разное время. ГОСТ Р ИСО/МЭК 26555-2016 ssn) |
visual programming in real time | визуальное программирование в реальном времени (Alex_Odeychuk) |
when registers are used in computational structures that are constantly clocked such as pipelined datapath, the requirement that the memory should hold state for extended periods of time can be significantly relaxed | когда регистры используются в постоянно переключающихся вычислительных структурах например, в конвейерном информационном канале, требование хранения состояния на протяжении длительного периода времени можно сильно ослабить (см. Digital Integrated Circuits – A Design Perspective 2/e by Jan M. Rabaey, Anantha Chandrakasan, Borivoje Nikolić 2003 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) |