English | Russian |
arbitrary rational constants | произвольные рациональные константы (ssn) |
arithmetic operations for rational numbers | арифметические операции над рациональными числами (ssn) |
details of how rational numbers may be represented | детали представления рационального числа (ssn) |
details of how rational numbers may be represented as pairs of integers | детали представления рационального числа в виде пары целых (ssn) |
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 to contain arbitrary rational constants | инварианты позиций и предохранителей переходов, содержащие произвольные рациональные константы (ssn) |
many rational numbers | большое количество рациональных чисел (ssn) |
nonnegative rational number | неотрицательное рациональное число (ssn) |
perform many operations on many rational numbers | производить большое количество операций над большим количеством рациональных чисел (ssn) |
rational activity | рациональная деятельность (ssn) |
rational and consistent technical policy | рациональная и последовательная техническая концепция (ssn) |
rational constants | рациональные константы (ssn) |
rational expectation | рациональное ожидание (ssn) |
rational, logical, and purposeful activity | рациональная, логическая и целенаправленная деятельность (ssn) |
rational numbers | рациональные числа (ssn) |
rational resampler | устройство передискретизации (ssn) |
rational unified process | рациональный унифицированный процесс (в кн.: Солтер Н.А., Клепер С.Дж. С++ для профессионалов. – М.: Вильямс, 2006. – 912 с., Якобсон А., Буч Г., Рамбо Дж. Унифицированный процесс разработки программного обеспечения. – СПб.: Питер, 2002. – 496 с. ssn) |
Rational Unified Process | методология RUP (методология разработки ПО, предложенная компанией Rational и базирующаяся на языке UML; предусматривает четыре этапа разработки с одной или несколькими итерациями на каждом ssn) |
Rational Unified Process | унифицированный процесс (методология разработки ПО, предложенная компанией Rational и базирующаяся на языке UML; предусматривает четыре этапа разработки с одной или несколькими итерациями на каждом ssn) |
task of designing a system to perform arithmetic with rational numbers | задача проектирования системы для арифметических вычислений с рациональными числами (ssn) |
this unified approach has been adopted in order that a rational and consistent technical policy be developed for all electrically-based safety-related systems | этот унифицированный подход был принят для того, чтобы разработать рациональную и последовательную техническую концепцию для всех электрических систем, связанных с безопасностью (см. IEC 61508-1, ГОСТ Р МЭК 61508-1-2007) |