Subject | English | Russian |
math. | be invariant to | не изменяться |
math. | be invariant to distortion | оставаться неизменным при деформациях |
progr. | 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) |
math., Makarov. | invariant to | инвариантно относительно |
Makarov. | invariant with respect to | инвариантный по отношению к |
math., Makarov. | invariant with respect to | инвариантно относительно |
math. | invariant with respect to rotations | инвариантный относительно вращений |
scient. | invariant with respect to time | не изменяющийся с течением времени (I. Havkin) |
scient. | invariant with respect to time | не изменяющийся по времени (I. Havkin) |
progr. | invariants of locations and the guards of transitions to contain arbitrary rational constants | инварианты позиций и предохранителей переходов, содержащие произвольные рациональные константы (ssn) |
progr. | mapping from locations to clock constraints, called the location invariant | отображение позиций во временные ограничения, называемое инвариантом позиций (ssn) |
progr. | method to derive invariants | метод конструирования инвариантов (ssn) |