Russian | English |
в качестве единицы измерения времени выбирается продолжительность времени между двумя последовательными тиками часов | 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) |
в предыдущей главе мы предполагали, что время дискретно. в этом случае возможные показания часов задаются неотрицательными целыми числами и события могут происходить только в целочисленные моменты времени | 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) |
время при 24-часовом цикле | 24-hour time (напр., 18:05:19; отображение (форматирование) даты и времени ssn) |
время при 24-часовом цикле | 24-hour time, no seconds (секунды не выводятся; напр., 18:05; отображение (форматирование) даты и времени ssn) |
время при 12-часовом цикле | 12-hour time (напр., 06:05:19 pm; отображение (форматирование) даты и времени ssn) |
код регистрации объекта на оповещения об изменении часового пояса пользователя | code to register your object for a notification when the user's time zone changes (ssn) |
конфигурируемый часовой пояс | configurable time zone (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) |
оповещения об изменении часового пояса пользователя | notification when the user's time zone changes (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) |
продолжительность времени между двумя последовательными тиками часов | duration between successive clock ticks (ssn) |
соответствующее число позиций по часовой стрелке | corresponding number of positions clockwise (ssn) |
так же, как и во временных метках Лэмпорта, сообщения, передаваемые между процессами, содержат состояние логических часов процесса-отправителя | just as in Lamport timestamps, interprocess messages contain the state of the sending process's logical clock |
текущие показания часов | current values of the clocks (ssn) |
установка часового пояса | time zone setting (ssn) |
установка часового пояса | timezone setting (ssn) |
формат часового пояса | time zone format (ssn) |
формат часового пояса | timezone format (ssn) |
часовой пояс по умолчанию | default time zone (ssn) |
часовой пояс пользователя | user's time zone (ssn) |
часовые области | clock regions (ssn) |
часовые области, которые описывают множества показаний часов | clock regions, which represent sets of clock assignments (ssn) |
часовые пояса | clock zones (ssn) |
число позиций по часовой стрелке | number of positions clockwise (ssn) |