English | Russian |
A simple and effective way to allow the verification of time bounded properties is to introduce bounds in the CTL temporal operators | Простой и эффективный способ, позволяющий верифицировать свойства с ограничениями по времени, состоит в том, чтобы внести эти ограничения в темпоральные операторы CTL (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
address-of operator | оператор взятия адреса (изобретенный Грегом Колвином (Greg Colvin) и Биллом Гиббонсом (Bill Gibbons) для стандартного интеллектуального указателя std::auto_ptr ssn) |
All of the binary logical operators belong to the class of operators with the lowest precedence | все бинарные логические операторы принадлежат к классу операторов самого низкого уровня старшинства (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual ssn) |
arity of an operator | арность оператора (см. ГОСТ Р ИСО 13584-202006 ssn) |
associativity of operators | ассоциативность операций (ssn) |
associativity of operators | ассоциативность операторов (ssn) |
automatic generation of comparison operators | автоматическая генерация операторов сравнения (Alex_Odeychuk) |
be one of the operators in the six operator classes | совпадать с одним из операторов, принадлежащих к одному из шести классов операторов (ssn) |
chaining of query operators | цепочки операций запросов (ssn) |
class of operators | класс операторов (ssn) |
class of operators with the highest precedence | класс операторов с самым высоким уровнем старшинства (ssn) |
class of operators with the lowest precedence | класс операторов самого низкого уровня старшинства (ssn) |
command of the human operator | команда человека-оператора (ssn) |
commands of the human operator | команды человека-оператора (ssn) |
control the association of operators and operands | управлять порядком сопоставления операторов и операндов (Alex_Odeychuk) |
control the association of operators and operands | управление порядком сопоставления операторов и операндов (ssn) |
description of the pointer addition operator | описание операции сложения указателей (ssn) |
description of the pointer indirection operator | описание операции разыменования указателя (ssn) |
effects of the logical operators | результаты логических операций (ssn) |
Figure 1.1 is thus a representation of a typical installation, consisting of a plant connected to a control system. This acts to translate the commands of the human operator into the required actions, and to display the plant status back to the operator | на рис. 1.1 представлена типичная установка, состоящая из объекта и связанной с ним управляющей системы. Её функции заключаются в преобразовании команд человека-оператора в соответствующие воздействия и представлении оператору информации о состоянии объекта |
for each use of this operator | в каждом использовании этого оператора (ssn) |
generation of comparison operators | генерация операторов сравнения (Alex_Odeychuk) |
generation of equality operators | генерация операторов сравнения (ssn) |
in programs written in the Java programming language, an instance of a class is created using the new operator followed by the class name | в программах на языке Java экземпляр класса создаётся с помощью оператора new, за которым следует имя класса |
kernel of a linear operator | ядро линейного оператора (ssn) |
one of the operators in the six operator classes | один из операторов, принадлежащих к одному из шести классов операторов (ssn) |
operator of higher precedence | оператор с более высоким приоритетом (ssn) |
operator of higher precedence | оператор более высокого уровня старшинства (ssn) |
operator of lower precedence | оператор с более низким приоритетом (ssn) |
operator of lower precedence | оператор более низкого уровня старшинства (ssn) |
operator should be aware of | оповещение оператора (ssn) |
operators of higher precedence | операторы более высокого уровня старшинства (ssn) |
operators of lower precedence | операторы более низкого уровня старшинства (ssn) |
order of evaluation of operators | порядок вычисления операторов (ssn) |
order of operator evaluation | порядок вычисления операторов (ssn) |
overloadability of C# operators | возможность перегрузки операций C# (ssn) |
overloadability of operators | возможность перегрузки операций (ssn) |
overloading of functions and operators | перегрузка функций и операторов (ssn) |
overloading of operators | совмещение операций (ssn) |
overloading of relational operators | совмещение операций отношения (ssn) |
overloading of the equality operator | совмещение оператора равенства (ssn) |
package of predicates, functors and operators | пакет предикатов, функторов и операторов (Alex_Odeychuk) |
precedence of an operator | старшинство оператора (ssn) |
precedence of an operator is fixed | приоритет оператора является фиксированным (ssn) |
precedence of an operator is fixed | старшинство оператора является фиксированным (ssn) |
precedence of operators | приоритет операций (ssn) |
precedence of operators | приоритет операторов (ssn) |
precedence of the operators | порядок старшинства операторов (IBM; контекстуальный перевод на русс. язык Alex_Odeychuk) |
precedence of the operators | старшинство операторов (IBM; the ~ Alex_Odeychuk) |
Relational operators include tests for equality, inequality and ordering of operands | Операторы отношения включают проверки на равенство, неравенство и упорядоченность операндов (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual ssn) |
return type of the operator | возвращаемый тип операции (ssn) |
rules of operator precedence | правила старшинства операций (ssn) |
sequence of characters of the operator symbol | последовательность символов, представляющая знак оператора (ssn) |
sequence of operators | последовательность операторов (ssn) |
sequence of operators with the same precedence level | последовательность операторов одного и того же уровня старшинства (ssn) |
subprogram specification of a binary operator | спецификация подпрограммы бинарного оператора (ssn) |
subprogram specification of a unary operator | спецификация подпрограммы унарного оператора (ssn) |
support automatic generation of comparison operators | поддерживать автоматическую генерацию операторов сравнения (Alex_Odeychuk) |
symbol of operator | символ оператора (ssn) |
the declaration of a function whose designator is an operator symbol is used to overload an operator | Объявление функции, обозначение которой является символом оператора, используется для совмещения оператора (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual) |
the effects of the logical operators are defined in the following tables | в следующих таблицах определены результаты логических операций |
the precedence of an operator is fixed and may not be changed by the user, but parentheses can be used to control the association of operators and operands | Старшинство операторов является фиксированным и не может быть изменено пользователем, но наряду с этим для управления порядком сопоставления операторов и операндов могут быть использованы круглые скобки (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual) |
the result type of each relational operator is the predefined type BOOLEAN | Тип результата каждого оператора отношения есть предопределённый тип BOOLEAN (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual) |
the sequence of characters of the operator symbol must be one of the operators in the six operator classes defined in Section 7.2 | Последовательность символов, представляющая знак оператора, должна совпадать с одним из операторов, принадлежащих к одному из шести классов операторов, определённых в 7.2 (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual) |
the subprogram specification of a binary operator must have two parameters. For each use of this operator, the first parameter is associated with the left operand, and the second parameter is associated with the right operand | Спецификация подпрограммы бинарного оператора должна иметь два параметра. В каждом использовании этого оператора первый параметр выступает в роли левого операнда, а второй – в роли правого операнда (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual) |
the subprogram specification of a binary operator must have two parameters. For each use of this operator, the first parameter is associated with the left operand, and the second parameter is associated with the right operand | Спецификация подпрограммы бинарного оператора должна иметь два параметра. В каждом использовании этого оператора первый параметр выступает в роли левого операнда, а второй в роли правого операнда (см. IEEE Std. 1076-87. IEEE Standard VHDL. Language Reference Manual) |
the subprogram specification of a unary operator must have a single parameter | Спецификация подпрограммы унарного оператора должна иметь единственный параметр (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual) |
the unary logical operator not belongs to the class of operators with the highest precedence | Унарный логический оператор not принадлежит к классу операторов с самым высоким уровнем старшинства (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual) |
translate the commands of the human operator | преобразование команд человека-оператора (ssn) |
type of the operator | тип операции (ssn) |
typing of numeric operators | типы числовых операций (деление на типы ssn) |
use of the overloaded equality operators | использование перегруженных операций эквивалентности (ssn) |