| Like ESC/Java, it includes a static checking tool based on a theorem prover that is able to statically verify many of these invariants. | Как и ESC/Java, язык содержит инструмент статической проверки, основанный на доказательстве теорем, позволяющий статически проверять большинство таких инвариантов. |
| To improve aerodynamic quality and takeoff and landing characteristics the aircraft was designed to be pitch and laterally statically unstable with fly-by-wire control. | С целью повышения аэродинамического качества и улучшения взлётно-посадочных характеристик самолёт проектируется статически неустойчивым в продольном и боковых направлениях с применением многоканальной электродистанционной системы управления. |
| It is implemented as an interpreter written in OCaml, and supports statically typed distributed programming, transparent remote communication, agent-based mobility, and some failure-detection. | Он реализован как интерпретатор, написанный на OCaml, и поддерживает статически типизированное распределённое программирование, прозрачную удалённую связь, мобильность на основе агентов и обнаружение сбоев. |
| This package contains the statically linked binary for "normal" systems. | В данном пакете содержится статически скомпонованная программа для «оыбчных» систем. |
| And it's statically attracted to the rail, is it? | И они статически притягиваются к рельсу, не так ли? |
| If called statically, PEAR::setErrorHandling() sets the default error handling behaviour for all PEAR objects (global error handling behaviour). | При статическом вызове setErrorHandling() устанавливает поведение по умолчанию для всех объектов PEAR. |
| It was suggested that the non-static systems be measured statically, but that they would be required to meet a less stringent backset requirement. | Было предложено производить измерения на нестатических системах в статическом состоянии, но предъявлять к ним менее строгое требование в отношении расстояния между затылком и подголовником. |
| The working group considered developing a test procedure to activate an active head restraint system and measure it statically in the deployed position. | Рабочая группа рассмотрела вопрос о разработке процедуры испытания, в ходе которого происходит включение активной системы подголовников и оценивается ее эффективность в статическом отрегулированном положении. |
| The fourth step, statically given name, is a simple string replacement. | Четвёртый шаг, статическое имя - это простая подстановка строки. |
| The inventive method for resonance excitation of the screen sieving mesh involves statically tensioning the sieving mesh and exposing it to frequency vibration action. | Способ резонансного возбуждения просеивающей сетки грохота включает статическое натяжение последней и вибрационное воздействие на нее с частотой. |