English | Russian |
By extension, the location of an object is the union of the locations of the actions in which the object may take part | Обобщая, положение объекта является объединением положений действий, в которых объект может принимать участие (см. ISO/IEC 10746-2, ГОСТ Р ИСО/МЭК 10746-2-2000 ssn) |
composite location obtained from the source locations of the individual transitions | составная позиция, полученная из исходных позиций отдельных переходов (ssn) |
composite location obtained from the target locations of the individual transitions | составная позиция, полученная из целевых позиций отдельных переходов (ssn) |
error locations in the code | местонахождение ошибок в коде (корпорации AdaCore Alex_Odeychuk) |
identify likely error locations in the code | определять местонахождение возможных ошибок в коде (корпорации AdaCore Alex_Odeychuk) |
in the definition of timed automaton, we allowed the clock constraints that serve as the invariants of locations and the guards of transitions to contain arbitrary rational constants | в определении временного автомата мы допускали использование временных ограничений в качестве инвариантов позиций и предохранителей переходов, содержащих произвольные рациональные константы (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
invariants of locations and the guards of transitions | инварианты позиций и предохранителей переходов (ssn) |
invariants of locations and the guards of transitions to contain arbitrary rational constants | инварианты позиций и предохранителей переходов, содержащие произвольные рациональные константы (ssn) |
locations in the code | места в коде (корпорации AdaCore Alex_Odeychuk) |
locations of the actions | положения действий (ssn) |
locations of the parallel composition | позиции параллельной композиции (ssn) |
mapping from locations to clock constraints | отображение позиций во временные ограничения (ssn) |
mapping from locations to clock constraints, called the location invariant | отображение позиций во временные ограничения, называемое инвариантом позиций (ssn) |
memory locations to store a series of instructions whose periodic or event-driven execution determines the progression of the machine or the process | ячейки ЗУ, в которых записаны команды, исполнение которых периодически или по прерыванию определяет работу установки или процесса (ssn) |
pairs of locations from the component automata | пары позиций составляющих автоматов (ssn) |
source and target locations of the original transition | исходные и целевые позиции рассматриваемого перехода (ssn) |
source code locations preference page | страница параметров папок исходного кода (ssn) |
source locations of the individual transitions | исходные позиции отдельных переходов (ssn) |
target locations of the individual transitions | целевые позиции отдельных переходов (ssn) |
the application data storage provides for memory locations to store I/O image table and data for example, set values for timers, counters, alarm conditions, parameters and recipes for the machine or the process required during the execution of the application programme | Хранение данных прикладной программы предусматривает выделения ячеек памяти для хранения таблицы образа ввода/вывода и данных напр., заданных значений для таймеров, счётчиков, состояний сигнализации, параметров и наборов команд для машины или процесса, необходимых для выполнения прикладной программы (IEC 61131-1:2003(E)) |
the source and target locations of these transitions will be obtained from the source and target locations of the original transition and the location from the other automaton | Исходные и целевые позиции таких переходов будут получены из исходных и целевых позиций рассматриваемого перехода и позиции второго автомата (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
the source location of the transition will be the composite location obtained from the source locations of the individual transitions | Исходной позицией этого перехода будет составная позиция, полученная из исходных позиций отдельных переходов (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
union of the locations of the actions | объединение положений действий (ssn) |