查询词典 statically

The value of a function call is the value returned by the called function except in a virtual function call if the returned type of the final overrider is different from the return type of the statically chosen function,...

如果不是仅仅把参数的求值结果压栈，而把求值过程的调用也嵌套压栈，就会把副作用带入函数之内。

The invention relates to an electric machine (10) which can be operated as a motor or a generator. Said machine comprises a rotor (26a, 26b) rotatably mounted in a housing (12), a rotor shaft (24) which extends beyond the housing (12) and a plurality of electromagnet components (28) that are statically arranged in the housing at a distance from the axis of rotation of the rotor in evenly distributed angular distances. Said electromagnet components have each a wire-wound coil (30) consisting of a coil core (32) which carries one or more conductors.

本发明涉及一种可作为电动机或发电机工作的电机(10)，它包括一个可旋转地安装在外壳(12)内带一根伸出外壳(12)的转子轴(24)的转子(26a、26b)，以及包括多个离转子旋转轴线一定距离处按均匀的角向间距位置固定地布置在外壳内并各有一个支承着由一根或多根导线组成的线圈绕组(30)的线圈芯(32)的电磁构件(28)。

A dynamically typed language can be seen as a statically-typed language with a very permissive type system under which any syntactically correct program is well-typed; as long as its dynamic semantics ensures that no such program ever "goes wrong" in an appropriate sense, it satisfies the definition above and can be called type-safe.

一个动态类型语言可以看作是静态类型语言和类型限制系统的集合，该系统限制了语法正确的程序是类型安全的；如果它的动态语义能够保证在某种合适程度上不会出错，那么它就满足上面的定义，可以称作类型安全的。

In the seventh chapter, 3500mm heavy and medium plate mill screw-down drive thread pair dynamic twist micro-dimensional behavior is discussed, and the statically determinate position control method is given out.

第七章论述3500mm中厚板轧机压下传动螺纹副轴线错移和交叉微尺度行为及静定定位控制法。

You have to of course, load your binary file image into the correct offset for it to run properly since all its relocations have been statically linked already.

当然，要能让它正确的运行，您必须把您的二进制文件装载到正确的偏移量，因为所有的重定位信息都已经被静态地连接好了。

What will keep preventing dynamically typed languages from displacing statically typed ones in large scale software is the simple fact that it's impossible to make sense of a giant ball of typeless source files, which causes automatic refactorings to be unreliable, hence hardly applicable, which in turn makes developers scared of refactoring.

动态类型语言难以大规模替代静态类型语言的结论是基于这样一个事实：源文件中包括大量无类型的代码，这使得自动重构变得无法实现，更别说应用了，程序员自然也就会对重构产生排斥心理。

Based on the idea of type systems, this paper reengineers a new set of type expressions and a type system for machine code of Intel/x86s infrastructure Although machine language program is a binary untyped code, types of its registers and memory exist implicitly in semantics of instructions The type inferring algorithm built on type systems can statically infer safety of the machine code The machine language discussed includes some of important characters, such as jumps, function call, return, and so on, and shows that the approach can be applied to type checking for low level code of other infrastructures

根据类型系统思想，为Intel/x86体系结构的机器语言重新定义了类型表达式并建立一套类型系统机器语言代码虽然是一种无类型的二进制编码，但其类型信息被隐含在指令的操作语义中，利用建立在类型系统基础之上的类型推理算法可以静态地推理机器代码的安全性由于所讨论的机器语言包含了跳转、函数调用和返回等主要指令，因此，这种静态检查方法可广泛应用于其他体系结构的低级语言代码的检查中

Further more, the simplified analysis method on stressed-skin effect of corrugated steel sheet is also discussed in detail.

此外还比较详细地探讨了蒙皮效应的简化分析方法。

If I had known her telephone number,I would have called her.

要是我知道她的电话号码，我就打电话给她了。