| 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) |
| be repeated at an incorrect point in time | повторяться в несоответствующий момент времени (напр., о старых необновлённых сообщениях 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) |
| events that are not synchronized in time or do not occur in regular or predictable time intervals | события, несинхронизированные во времени или происходящие через нерегулярные или непредсказуемые промежутки времени (ssn) |
| 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) |
| 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) |
| maximum amount of CPU time in seconds that may be used by a process | максимальный объём времени ЦП в секундах, которое может быть использовано процессом (ssn) |
| problems that can be solved in polynomial 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) |
| 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) |
| 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) |
