| English | Russian |
| A more exact method for measuring real time takes advantage of the PC's real-time clock | Более точный метод для измерения реального времени использует преимущества часов PC, работающих в реальном масштабе времени (см. Auslander D.M., Ridgely J.R., Ringgenberg J.D. Control Software for Mechanical Systems. Object-Oriented Design in a Real-Time World ssn) |
| A popular clock frequency for very-low-power applications, including wristwatches, is 32.768 kHz | Популярная тактовая частота для систем с очень низким энергопотреблением, включая наручные часы, составляет 32,768 кГц (ssn) |
| a set of clock variables | множество переменных-часов (ssn) |
| a set of clocks | множество часов (ssn) |
| A timed automaton is a finite automaton augmented with a finite set of real-valued clocks | Временной автомат представляет собой конечный автомат, снабжённый конечным набором часов, принимающих действительные значения (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| accept a clock ID | принимать в качестве параметра идентификатор времени (для функции управления временем ssn) |
| activity's registered clock | таймер, на котором зарегистрирована задача (в языке параллельного распределенного программирования X10; IBM Alex_Odeychuk) |
| actual clock time | точность часов (ssn) |
| all of the components are synchronized by a single global clock | все компоненты синхронизированы едиными глобальными часами (ssn) |
| allow the clock constraints | допускать использование временных ограничений (ssn) |
| asynchronous input which operate independently of the synchronous inputs and clock input | асинхронный вход, работающий независимо от тактового сигнала и синхронных входов (ssn) |
| asynchronous reset and clock enable | асинхронный сброс и разрешение тактового сигнала (ssn) |
| to be a finite automaton augmented with a finite set of real-valued clocks | представлять собой конечный автомат, снабжённый конечным набором часов, принимающих действительные значения (ssn) |
| bit clock | разрядный тактовый сигнал (ssn) |
| BITS clock interface | интерфейс тактовых импульсов BITS (ssn) |
| By definition, a fundamental-mode circuit such as a feedback sequential circuit does not have a clock to tell it when to sample its inputs | по определению, у схемы классического образца типа последовательностной схемы с обратной связью нет входа для подачи тактового сигнала, которым задавались бы моменты фиксации значений входных сигналов (см. "Digital Design – Principles & Practices" by John F. Wakerly Third Edition, 1999) |
| central clock | центральный генератор тактовых импульсов (ssn) |
| certain operations on clock constraints | определённые операции на временных ограничениях (ssn) |
| circuit for constructing a short intentional glitch on each rising edge of the clock | схема, генерирующая короткий импульс на каждом нарастающем фронте тактового сигнала (ssn) |
| circuitry for generating a two-phase non-overlapping clock | схема, генерирующая двухфазный неперекрывающийся тактовый сигнал (ssn) |
| clock access | доступ к часам (ssn) |
| clock access and timer management | доступ к часам и управление таймером (ssn) |
| clock access and timer management | доступ к часам и административное управление таймером (см. ISO/IEC 10746-1, ГОСТ Р ИСО/МЭК 10746-1-2004 ssn) |
| clock-based | с часами (Alex_Odeychuk) |
| clock-based | на основе часов (Alex_Odeychuk) |
| clock-based concurrency | параллелизм с часами (IBM Alex_Odeychuk) |
| clock-based concurrency | параллелизм с использованием часов (в языке программирования X10; IBM Alex_Odeychuk) |
| clock-based concurrency | параллелизм с синхронизацией по часам (IBM Alex_Odeychuk) |
| clock-based concurrency | параллелизм по основе часов (в языке программирования X10 Alex_Odeychuk) |
| clock board | плата генератора (ssn) |
| clock board | плата синхронизации (ssn) |
| clock board status | состояние платы синхронизации (ssn) |
| clock board status | состояние платы генератора (ssn) |
| clock board status inquiry | запрос состояния платы синхронизации (ssn) |
| clock board status inquiry | запрос состояния платы генератора (ssn) |
| clock chipping | разгон (см. overclocking; процессора ssn) |
| clock chipping | повышение тактовой частоты (ssn) |
| clock consistency | непротиворечивость логических часов (ssn) |
| clock consistency condition | условие непротиворечивости логических часов (ssn) |
| clock constraint | временное ограничение (ssn) |
| clock constraint in the invariant of a location or in the guard of a transition | временное ограничение инварианта позиции или предохранителя перехода (ssn) |
| clock constraints | временные ограничения (ssn) |
| clock cycle | временной цикл (ssn) |
| clock cycles | временные циклы (ssn) |
| clock device | устройство синхронизации (ssn) |
| clock edge | фронт тактового сигнала (ssn) |
| clock enable | разрешение тактового сигнала (ssn) |
| clock error | ошибка синхронизации (ssn) |
| clock-forwarded | тактируемый (ssn) |
| clock-forwarded cache | тактируемый кэш (ssn) |
| clock frame | полка тактовой синхронизации (ssn) |
| clock frequency | частота синхроимпульсов (ssn) |
| clock frequency | частота часов (ssn) |
| clock frequency | частота тактовых сигналов (ssn) |
| clock frequency division | деление тактовой частоты (ssn) |
| clock function | функция тактового генератора (ssn) |
| clock gets adjusted as before | часы переведены как в прошлый раз (ssn) |
| clock ID | идентификатор времени (ssn) |
| clock idioms | идиомы с таймерами (IBM Alex_Odeychuk) |
| clock index | характеристика тактовых сигналов (ssn) |
| clock interface board | плата интерфейса тактовой синхронизации (ssn) |
| clock interpretation | интерпретация часов (ssn) |
| clock interrupt | прерывание от системного таймера (ssn) |
| clock interrupt handler | обработчик прерываний от системного таймера (системная процедура, обновляющая системное время, а затем уменьшающая на 1 значение счётчика, который используется для отслеживания того, сколько времени выполняется текущий поток ssn) |
| clock interrupt service routine | обработчик прерываний таймера (ssn) |
| clock interrupt sources | источники прерываний таймера (ssn) |
| clock ISR | обработчик прерываний таймера (ssn) |
| clock memory bit | тактовый маркер (ssn) |
| clock mode | режим тактовой синхронизации (ssn) |
| clock module | модуль тактовой синхронизации (ssn) |
| clock operation | операция с таймером (в языке параллельного программирования Х10; IBM Alex_Odeychuk) |
| clock oscillator and instruction cycle | тактовый генератор и командный цикл (ssn) |
| clock recovery | восстановление тактового сигнала (важная проблема проектирования и изготовления современных высокоскоростных последовательных схем (serial circuit), особенно для обеспечения надёжности передачи данных ssn) |
| clock recovery | установление синхронизации после сбоя (ssn) |
| clock recovery | восстановление синхросигнала (важная проблема проектирования и изготовления современных высокоскоростных последовательных схем (serial circuit), особенно для обеспечения надёжности передачи данных ssn) |
| clock regions | часовые области (ssn) |
| clock regions, which represent sets of clock assignments | часовые области, которые описывают множества показаний часов (ssn) |
| clock skew | расфазировка тактовых импульсов (ssn) |
| clock skew | расфазировка синхросигналов (ssn) |
| clock skew | рассинхронизация часов (ssn) |
| clock source | источник времени (ssn) |
| clock sources | источники времени (ssn) |
| clock switch | тактовый переключатель (ssn) |
| clock synchronisation program | программа тактовой синхронизации (ssn) |
| clock synchronisation unit | блок тактовой синхронизации (ssn) |
| clock synchronization algorithm | алгоритм синхронизации часов (ssn) |
| clock synchronization algorithms | алгоритмы синхронизации часов (ssn) |
| clock synchronization management | управление тактовой синхронизацией (ssn) |
| clock synchronization mode | режим тактовой синхронизации (ssn) |
| clock synchronization program | программа тактовой синхронизации (ssn) |
| clock system alarm | аварийный сигнал системы тактовой синхронизации (ssn) |
| clock tick | тик часов (ssn) |
| clock tick | тик таймера (ssn) |
| clock ticks | тики часов (ssn) |
| clock times | время (ssn) |
| clock times with time zones | поясное время (ssn) |
| clock values | показания часов (ssn) |
| clock zones | часовые пояса (ssn) |
| clocked logic | тактируемые логические схемы (ssn) |
| clocked logic | логические схемы, работающие в синхронном режиме (ssn) |
| clocked register | тактируемый регистр (состоит из одного и более триггеров, служит для записи и хранения данных, причём принимает данные по тактовому входному сигналу; используется, напр., в АЦП, в автоматах и др. ssn) |
| common clock signal | общий синхросигнал (ssn) |
| copy on the negative edge of the clock | копировать при спаде тактового сигнала (ssn) |
| copy on the positive edge of the clock | копировать во время нарастания тактового сигнала (ssn) |
| core clock | тактовая частота процессорного ядра (ssn) |
| current date and time on the server's clock | текущая дата и время по часам на сервере (ssn) |
| current date on the server's clock | текущая дата по часам на сервере (ssn) |
| current time of day clock | часы "текущего времени суток" |
| current time on the server's clock | текущее время по часам на сервере (ssn) |
| current values of the clocks | текущие показания часов (ssn) |
| cycle time/clock memory bit | время цикла / тактовый маркер |
| decentralized clock synchronization | децентрализованная синхронизация часов (ssn) |
| decentralized clock synchronization algorithms | алгоритмы децентрализованной синхронизации часов (ssn) |
| different types of clock sources | различные типы источников времени (ssn) |
| digital clock | тактовый генератор (ssn) |
| drop a clock | снять с регистрации на таймере (говоря о задаче (activity) в языке параллельного программирования Х10; IBM Alex_Odeychuk) |
| duration between successive clock ticks | продолжительность времени между двумя последовательными тиками часов (ssn) |
| edge of the clock | фронт тактового сигнала (ssn) |
| extant clock | существующий таймер (в языке параллельного распределенного программирования X10; IBM Alex_Odeychuk) |
| external backup clock | внешний резервный тактовый сигнал (ssn) |
| external clock | внешний таймер (ssn) |
| external clock device | внешнее устройство синхронизации (ssn) |
| external clock signal | внешний тактовый сигнал (ssn) |
| external CPU clock | внешняя частота процессора (ssn) |
| external physical clocks | внешние физические часы (ssn) |
| falling edge flipflop with asynchronous reset and clock enable | триггер, тактируемый задним фронтом, с асинхронным сбросом и разрешением тактового сигнала (ssn) |
| falling edge flipflops with asynchronous reset and clock enable | триггеры, тактируемые задним фронтом, с асинхронным сбросом и разрешением тактового сигнала (ssn) |
| falling edge of the clock | отрицательный фронт тактового сигнала (ssn) |
| falling edge of the clock | спадающий фронт тактового сигнала (ssn) |
| fastest clock frequency | самая высокая тактовая частота (микроконтроллера ssn) |
| finite automaton augmented with a finite set of real-valued clocks | конечный автомат, снабжённый конечным набором часов, принимающих действительные значения (ssn) |
| finite set of real-valued clocks | конечный набор часов, принимающих действительные значения (ssn) |
| first pulse of the switched clock | первый импульс переключаемого тактового сигнала (ssn) |
| front side bus clock | тактовый генератор системной шины (ssn) |
| front side bus clock-rate | тактовая частота системной шины (ssn) |
| front side bus clock rate | тактовая частота системной шины (ssn) |
| frontside bus clock | тактовый генератор системной шины (ssn) |
| frontside bus clock-rate | тактовая частота системной шины (ssn) |
| frontside bus clock rate | тактовая частота системной шины (ssn) |
| full-length clock pulse | тактовый импульс полной длительности (ssn) |
| full-length clock pulses | тактовые импульсы полной длительности (ssn) |
| function block Runtime Clock | функциональный блок "часы реального времени" (ssn) |
| gated clock | стробированный тактовый генератор (для неиспользуемых модулей тактовый сигнал отключается ssn) |
| gated clock | стробированный генератор тактовых импульсов (для неиспользуемых модулей тактовый сигнал отключается ssn) |
| gated clocks | стробированные тактовые генераторы (ssn) |
| gated clocks | стробированные генераторы тактовых импульсов (ssn) |
| getting and setting the realtime clock | опрос и установка часов реального времени (ssn) |
| global clock | глобальные часы (ssn) |
| global clock signal | глобальный тактовый сигнал (ssn) |
| global logical clock | логические глобальные часы (ssn) |
| hardware clock | аппаратные часы (специализированная малопотребляющая CMOS-микросхема в ПК (обычно Motorola 146818 или эквивалентная ей). Они поддерживаются BIOSом, позволяя программно считывать время и устанавливать его. Точность аппаратных часов определяется качеством кристалла их тактового генератора, как правило имеющего частоту 32,768 кГц и чувствительного к колебаниям температуры ssn) |
| hardware real-time clock | аппаратные часы реального времени (ssn) |
| host bus clock rate | внешняя рабочая частота шины процессора (ssn) |
| host bus clock rate | рабочая частота системной шины (ssn) |
| if you want to put it into real life concepts, your personal watch is a clock source | если хотите аналогию из повседневной жизни, то ваши личные часы являются источником времени (см. "Getting Started with QNX Neutrino. A Guide for Realtime Programmers" by Rob Krten 2009 ssn) |
| implicit clock | неявный таймер (в языке параллельного программирования Х10; IBM 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 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) |
| 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) |
| input data is copied on the negative edge of the clock | входные данные копируются при спаде тактового сигнала (ssn) |
| input data is copied on the positive edge of the clock | входные данные копируются во время нарастания тактового сигнала (ssn) |
| instruction cycle durations for various clock frequencies | длительность командного цикла для разных тактовых частот (микроконтроллеров ssn) |
| integrated real-time clock | встроенные часы реального времени (ssn) |
| just as in Lamport timestamps, interprocess messages contain the state of the sending process's logical clock | так же, как и во временных метках Лэмпорта, сообщения, передаваемые между процессами, содержат состояние логических часов процесса-отправителя |
| Lamport's logical clock | логические часы Лэмпорта (ssn) |
| leading edge of a clock pulse | передний фронт тактового импульса (ssn) |
| leading edge of a clock pulse | положительный фронт тактового импульса (ssn) |
| length of the encodings of the clock constraints | длина записи временных ограничений (ssn) |
| local clock | локальное время (ssn) |
| local logical clock | логические локальные часы (ssn) |
| logical clock | логические часы (основная задача логических часов заключается только в отслеживании порядка событий, а не в определении каких-либо других свойств, обычно ассоциируемых с понятием времени ssn) |
| logical clock | логическое время (в ОС с каждым процессом связан счётчик логического времени, который увеличивается между любыми двумя последовательными событиями, обрабатываемыми процессом. Служит для упорядочивания и синхронизации процессов ssn) |
| logical clock concept | концепция логического времени (ssn) |
| logical clock counter | счётчик логического времени (ssn) |
| logical clock value | значение логического времени (ssn) |
| logical clocks | логические часы (основная задача логических часов заключается только в отслеживании порядка событий, а не в определении каких-либо других свойств, обычно ассоциируемых с понятием времени ssn) |
| logical clocks and event ordering | логические часы и упорядочение событий (ssn) |
| logical local clock | логическое локальное время (ssn) |
| mapping from locations to clock constraints | отображение позиций во временные ограничения (ssn) |
| mapping from locations to clock constraints, called the location invariant | отображение позиций во временные ограничения, называемое инвариантом позиций (ssn) |
| master clock | главные синхроимпульсы (ssn) |
| master clock | главный генератор тактовых импульсов (ssn) |
| master clock | главный генератор синхроимпульсов (ssn) |
| maximum clock frequency | максимальная тактовая частота (ssn) |
| memory access using clock cycles | временные циклы обращения к памяти (ssn) |
| minimum clock period | минимальный такт (ssn) |
| minimum clock period, required for proper operation of the sequential circuit | минимальный такт, требуемый для правильной работы последовательностной схемы (ssn) |
| multiple clock | многофазная синхронизация (ssn) |
| multiple clock problem | проблема многофазной синхронизации (ssn) |
| next clock pulse | очередной тактовый импульс (ssn) |
| non-ideal clock signals | неидеальные тактовые сигналы (ssn) |
| non-overlapping clock | неперекрывающийся тактовый сигнал (ssn) |
| non-overlapping clocks | ненакладывающиеся синхронизирующие сигналы (ssn) |
| on the rising edge of the clock, the next state bits are copied to the outputs of the registers after some propagation delay, and a new cycle begins | в фазе нарастания тактового сигнала биты следующего состояния копируются на выходы регистров после некоторой задержки распространения и начинается новый цикл (см. Digital Integrated Circuits – A Design Perspective 2/e by Jan M. Rabaey, Anantha Chandrakasan, Borivoje Nikolić 2003 ssn) |
| one-shot generators of the clock signal | однократные генераторы тактовых сигналов (ssn) |
| other clock sources | другие источники времени (ssn) |
| overlapping clock pairs | пары накладывающихся синхронизирующих сигналов (ssn) |
| own clock | собственные часы (ssn) |
| partial clock format | неполный формат времени (ssn) |
| pass the D input to the Q output when the clock signal is high | передавать D входов на Q выходов при высоком уровне тактового сигнала (ssn) |
| pathetically simple alarm clock | трогательно простой будильник (ssn) |
| PC's real-time clock | часы PC, работающие в реальном масштабе времени (ssn) |
| periodic clock signal | периодический синхросигнал (ssn) |
| periodic clock signal | периодический сигнал синхронизации (ssn) |
| periodic clock signal | периодический тактовый сигнал (ssn) |
| physical clocks | физические часы (ssn) |
| popular clock frequency | популярная тактовая частота (ssn) |
| port clock | синхронизация порта (ssn) |
| port clock mode | режим тактовой синхронизации порта (ssn) |
| port clock mode | режим синхронизации порта (ssn) |
| port clock phase | фаза синхронизации порта (ssn) |
| port clock phase inverse mode | режим инвертирования фазы синхронизации порта (ssn) |
| positive-going edge of the clock pulse | положительный фронт тактового импульса (ssn) |
| possible clock values | возможные показания часов (ssn) |
| precise definition of clock constraints | точное определение временных ограничений (ssn) |
| processor clock | частота процессора (ssn) |
| process's logical clock | логические часы процесса (ssn) |
| Program Clock Reference | ссылка на программные часы (см. ГОСТ Р 54456-2011 ssn) |
| program using clocks properly | программа, в которой правильно организовано использование таймеров (IBM Alex_Odeychuk) |
| programmable clock | программируемые часы (ssn) |
| programme clock | программные часы (ssn) |
| pulse of the switched clock | импульс переключаемого тактового сигнала (ssn) |
| quadratic blowup in the length of the encodings of the clock constraints | квадратичное увеличение длины записи временных ограничений (ssn) |
| rate of the master clock | частота главного тактового сигнала (ssn) |
| real-time clock status register | регистр состояния часов реального времени (ssn) |
| real-valued clock | часы, принимающие действительные значения (ssn) |
| reference clock | опорный синхрогенератор (ssn) |
| reference clock | опорный тактовый датчик (ssn) |
| reference clock | опорный генератор синхроимпульсов (ssn) |
| reference clock | системные часы (ssn) |
| reference clock generator | опорный генератор тактовых импульсов (ssn) |
| reference clock generator | опорный генератор синхроимпульсов (ssn) |
| reference clock generator | опорный синхрогенератор (ssn) |
| reference clock generator | опорный тактовый датчик (ssn) |
| reference clock generator | системные часы (ssn) |
| register an activity on a clock | регистрировать задачу на таймере (в языке параллельного программирования Х10; IBM Alex_Odeychuk) |
| rising edge flipflop with asynchronous reset and clock enable | триггер, тактируемый передним фронтом, с асинхронным сбросом и разрешением тактового сигнала (ssn) |
| rising edge flipflops with asynchronous reset and clock enable | триггеры, тактируемые передним фронтом, с асинхронным сбросом и разрешением тактового сигнала (ssn) |
| rising edge of the clock | положительный фронт тактового сигнала (ssn) |
| rising edge of the clock | фаза нарастания тактового сигнала (ssn) |
| rising edge of the clock | нарастающий фронт тактового сигнала (ssn) |
| runtime clock | часы реального времени (ssn) |
| SCK clock edge | фронт синхроимпульса SCK (ssn) |
| second programmable clock | вторые программируемые часы (ssn) |
| selected clock source | выбранный источник тактовых сигналов (ssn) |
| sending process's logical clock | логические часы передающего процесса (ssn) |
| sending process's logical clock | логические часы процесса-отправителя (ssn) |
| sending process's logical clock | логические часы процесса-источника (ssn) |
| separate clock signal | отдельный тактовый сигнал (ssn) |
| serial clock | последовательные синхроимпульсы (сигнал последовательного периферийного интерфейса (SPI) ssn) |
| server's clock | часы на сервере (ssn) |
| set of clock assignments | множество показаний часов (ssn) |
| set of clock constraints | множество временных ограничений (ssn) |
| set of clocks | множество часов (ssn) |
| set of clocks that are reset | множество сбрасываемых часов (ssn) |
| sets of clock assignments | множества показаний часов (ssn) |
| shader clock | тактовая частота шейдер-процессора (ssn) |
| shader clock | тактовая частота шейдера (ssn) |
| short pulse around the rising or falling edge of the clock | короткий импульс вокруг нарастающего или спадающего фронта тактового сигнала (ssn) |
| simple alarm clock | простой будильник (ssn) |
| single clock | единственные часы (ssn) |
| single clock pulse | одиночный тактовый импульс (ssn) |
| single clock pulse control | однофазное управление (ssn) |
| single global clock | единые глобальные часы (ssn) |
| small circle at the clock input | небольшой кружочек на тактовом входе (обозначение ssn) |
| software clock | программные часы (ssn) |
| some popular clock frequencies | наиболее популярные тактовые частоты (микроконтроллеров ssn) |
| some popular clock frequency | наиболее популярная тактовая частота (микроконтроллера ssn) |
| specify one of the different clock source, use a POSIX timing function that accepts a clock ID | для указания различных источников времени необходимо использовать POSIX-функции управления временем, принимающие в качестве параметра идентификатор времени (см. "Getting Started with QNX Neutrino. A Guide for Realtime Programmers" by Rob Krten 2009 ssn) |
| state of the sending process's logical clock | состояние логических часов процесса-отправителя (ssn) |
| state of the sending process's logical clock | состояние логических часов процесса-источника (ssn) |
| switched clock | переключаемый тактовый сигнал (ssn) |
| synchronous clock switch | синхронный тактовый переключатель (ssn) |
| system clock | тактовая частота (ssn) |
| system clock | тактовая синхронизация системы (ssn) |
| system clock management | управление тактовым генератором системы (ssn) |
| system clock process | процесс тактового генератора системы (ssn) |
| system clock source | источник тактовой синхронизации системы (ssn) |
| system clock synchronisation | тактовая синхронизация системы (ssn) |
| system clock synchronization | тактовая синхронизация системы (ssn) |
| System Time Clock | системный таймер (см. ГОСТ Р 54456-2011 ssn) |
| task bar clock | индикатор часов на панели задач (ssn) |
| taskbar clock | индикатор часов на панели задач (ssn) |
| test clock | ТСК (ssn) |
| test clock | тестовая синхронизация (сокр. ТСК ssn) |
| the duration between successive clock ticks is chosen as the basic unit for measuring time | в качестве единицы измерения времени выбирается продолжительность времени между двумя последовательными тиками часов (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
| the function block Runtime Clock returns, starting at a given time, the current date and time | после установки начального значения, функциональный блок "часы реального времени" выдаёт текущие время и дату (ssn) |
| the set of clocks that are reset will be the union of the sets that are reset by the individual transitions | множеством сбрасываемых часов будет объединение множеств часов, сбрасываемых на этих отдельных переходах (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) |
| 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) |
| this type of model is appropriate for synchronous systems, where all of the components are synchronized by a single global clock | Такие модели пригодны для синхронных систем, в которых все компоненты синхронизованы едиными глобальными часами (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| time passes at the same rate for all clocks | темп времени одинаков для всех часов (ssn) |
| timed automaton with two clocks | временной автомат с парой часов (ssn) |
| timing relationships between the SCK clock edge and the SDO and SDI data signals | временное соотношение между фронтом синхроимпульса SCK и сигналами данных SDO и SDI (ssn) |
| timing relationships between the SCK clock edge and the SDO and SDI data signals to determine when to transmit data and when data is valid at the receiver | временное соотношение между фронтом синхроимпульса SCK и сигналами данных SDO и SDI для определения момента передачи данных и их корректности на принимающей стороне (ssn) |
| two-phase non-overlapping clock | двухфазный неперекрывающийся тактовый сигнал (ssn) |
| two-phase non-overlapping clocks | двухфазные ненакладывающиеся синхронизирующие сигналы (ssn) |
| using different clock sources | использование разных источников времени (ssn) |
| value of a hardware real-time clock | значение аппаратных часов реального времени (ssn) |
| vector clock | векторные часы (ssn) |
| wall-clock time | физическое время (ssn) |
| we assume that time passes at the same rate for all clocks | мы предполагаем, что темп времени одинаков для всех часов (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
| where the clock is turned off for unused modules | когда для неиспользуемых модулей тактовый сигнал отключается (ssn) |
| with reference to the clock edge | относительно фронта синхроимпульса (ssn) |
| world clock | мировые часы (ssn) |
