任何一个...都

ordered field

序域

并且一个有序域(ordered field)被称为完全的,假如它的任何在这个域中有上界的非空子集,都有一个在这个域中的最小上界(least upper bound);注重这个定义与序理论中的完全有界性(bounded complete)有细小的差别.

proof theory

证明论

在证明论(proof theory)和相关的数理逻辑的领域中,一个形式的演算(caluclus)相对于一个特定的逻辑(即相对于它的语义(semantics))是完备的,如果任何由一组前提Q根据语义导出的陈述P,都可以从这组前提出发利用这个演算语法地(syntactically)导出.

reaction

反作用

"每一浪都具有这两个功能之一:作用(Action)或反作用(Reaction). 明确地讲,一个波浪既可推进更大一级波浪的目标,又可打断它. 波浪的功能取决于其相对方向. 一个作用浪或顺势浪是与其作为其中一部分的大一浪级波浪同向运动的任何波浪;

serialize

串行化

实际上,串行化(serialize)或加密了的数据,压缩并不能有效地减小数据的大小(比如:文本中没有太多重复东西的). 这儿是另一个例子,它演示了如何将这个框架应用于一个 看一看当前页面的URL. 注意任何有趣的东西. 整个网站都是用PHP编写的,

Moonlight sonata

月光奏鸣曲

每次做这些动作都要有所不同,因为它们所面临的情况不会完全一样. 这就是它和音乐模式的不同之处. 对一个钢琴家来说,贝多芬的>(moonlight sonata)的曲调从来不会改变,但对于一个篮球运动员来说,没有任何两次传球的情况是完全相同的.

soundness

可靠性

相反的概念被称为可靠性(soundness). 在计算复杂度理论(computational complexity theory)中,一个问题P对于一个复杂度类C,在某个给定类型的归约下是完全的(complete),如果P在C中,并且C中的任何问题利用该归约都可以化归到P. 例如,

The Speed of Light

光 速

"光速" (the speed of light) 之中有一个 "光"字 (light), 有人可能会以为它与光子 (或光波) 的速度有什么本质的关联. 其实 "光速" 中之所以有一个 "光" 字, 只是因为通常情况下光子恰好是无质量的. 任何其它无质量粒子也都可以用来定义这一速度.

subduction zone

俯冲带

现在看来,似乎任何处在俯冲带(subduction zone),即一个地质构造板块向另一个地质构造板块下放推进的地方,都有可能经历具有灾难性的9级地震. 以前,人们认为根据正在相撞的两个板块的速度、它们的硬度和年龄,不同俯冲带造成9级地震的风险会更高或更低.

subtype

子类型

继承只有当子类确实是超类的"子类型"(subtype)时,才是合适的. 换句话说,对两个类A和B,如果"B是A"的关系存在,那么B应该扩展A. 在把B扩展A时,问一个这样的问题:"任何的B都是A吗?",如果答案是否定的,那么通常应该把A作为B的一个私有实例,

uniform space

一致空间

一个度量空间或一致空间(uniform space)被称为"完备的",如果其中的任何柯西列都收敛(converges),请参看完备空间. 在泛函分析(functional analysis)中, 一个拓扑向量空间(topological vector space)V的子集S被称为是完全的,

functional catches：活动把手生耳

回零针 fly-back hand | 混合表 combo watch | 活动把手生耳 functional catches

parametric linear programming：参数线性规划

参数模型|parameter model | 参数线性规划|parametric linear programming | 参数最优化|parameter optimization