English | Russian |
behavior of a time-based system | поведение контролируемой по времени системы (ssn) |
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) |
more complex verification techniques based on continuous time | более сложные методы верификации, основанные на непрерывном времени (ssn) |
producing time based historical graphs of plant data | построение графиков изменения во времени переменных объекта (ssn) |
real-time message-based multi-tasking | многозадачность в реальном времени с передачей сообщений (Alex_Odeychuk) |
techniques based on discrete time | методы, основанные на дискретном времени (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) |
time based historical graph | диаграмма изменения во времени (чего-либо ssn) |
time based historical graph | график изменения во времени (чего-либо ssn) |
time based historical graphs | диаграммы изменения во времени (чего-либо ssn) |
time based historical graphs | графики изменения во времени (чего-либо ssn) |
time based historical graphs of plant data | графики изменения во времени переменных объекта (ssn) |
time based state changes | временные изменения состояний (ssn) |
time sources that are based on power management activities | источники времени, основанные на управлении питанием (ssn) |
time-based | по текущему времени (о способе формирования сигнала ssn) |
time-based functions | функции, ответственные за манипулирование временем (ssn) |
time-based step transition | шаговый переход по времени (ssn) |
time-based step transition | переход между шагами по времени (ssn) |
time-based step transitions | шаговые переходы по времени (ssn) |
time-based step transitions | переходы между шагами по времени (ssn) |
time-based system | контролируемая по времени система (ssn) |
time-based version | версия, основанная на времени (см. ГОСТ Р ИСО/МЭК 9834-8-2011 ssn) |
time-based view | временное представление (Alex_Odeychuk) |
verification techniques based on continuous time | методы верификации, основанные на непрерывном времени (ssn) |
We've looked at Neutrino's time-based functions, including timers and how they can be used, as well as kernel timeouts | мы рассмотрели функции Neutrino, ответственные за манипулирование временем, включая таймеры и их применение, а также тайм-ауты ядра (см. "Getting Started with QNX Neutrino. A Guide for Realtime Programmers" by Rob Krten 2009) |