| Subject | English | Russian |
| progr. | analysis problems, where one wishes to predict the behavior of a specified system | задачи анализа, которые состоят в предсказании поведения определённой заданной системы (ssn) |
| progr. | behavior of a real-time system | поведение систем реального времени (ssn) |
| progr. | behavior of a specified system | поведение определённой заданной системы (ssn) |
| progr. | behavior of a system | поведение системы (ssn) |
| Makarov. | behavior of a system in the time domain | изменение свойств системы во времени |
| progr. | behavior of a time-based system | поведение контролируемой по времени системы (ssn) |
| progr. | behavior: The response of a component or system to a set of input values and preconditions | поведение: отклик компонента или системы на набор входных значений и предусловий (см. Standard glossary of terms used in Software Testing ssn) |
| progr. | Cellular automata are discrete dynamical systems whose behavior is completely specified in terms of a local relation, much as is the case for a large class of continuous dynamical systems defined by partial differential equations | Клеточные автоматы являются дискретными динамическими системами, поведение которых полностью определяется в терминах локальных зависимостей, в значительной степени так же обстоит дело для большого класса непрерывных динамических систем, определённых уравнениями в частных производных (ssn) |
| progr. | discrete dynamical systems whose behavior is completely specified in terms of a local relation | дискретные динамические системы, поведение которых полностью определяется в терминах локальных зависимостей (ssn) |
| progr. | familiar technique to describe the behavior of a system | известная технология описания поведения системы (ssn) |
| progr. | future behavior of a system | будущее поведение системы (ssn) |
| progr. | more powerful techniques to analyze the behavior of a real-time system | более мощные методы анализа поведения систем реального времени (ssn) |
| progr. | Most problems encountered in scientific and engineering investigations fall into one of the following two categories: analysis problems, where one wishes to predict the behavior of a specified system, and synthesis problems, where one wishes to construct a system with specified behavior | Большинство проблем, встречающихся в науке и технике, можно разбить на следующие две категории: задачи анализа, которые состоят в предсказании поведения определённой заданной системы, и задачи синтеза, состоящие в построении системы по заданному поведению (см. "Introduction to the Theory of Finite-State Machines" by Arthur Gill 1962 ssn) |
| progr. | predict the behavior of a specified system | предсказание поведения определённой заданной системы (ssn) |
| progr. | significant structure and behavior of a system | существенная структура и поведение системы (ssn) |
| progr. | technique to describe the behavior of a system | технология описания поведения системы (ssn) |
| progr. | techniques to analyze the behavior of a real-time system | методы анализа поведения систем реального времени (ssn) |
| progr. | the state variables are those variables that determine the future behavior of a system when the present state of the system and the excitation signals are known | Переменные состояния – это те переменные, которые определяют будущее поведение системы, если известно её текущее состояние и все внешние воздействия (см. Modern Control Systems by Richard C. Dorf & Robert H. Bishop 2008) |
| progr. | the state variables are those variables that determine the future behavior of a system when the present state of the system and the excitation signals are known | Переменные состояния это те переменные, которые определяют будущее поведение системы, если известно её текущее состояние и все внешние воздействия (см. Modern Control Systems by Richard C. Dorf & Robert H. Bishop 2008) |
| progr. | 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) |