定理的

murderer

杀手

正如17世纪以降所出现的一个变化--科学话语的作者已逐渐被科学本身所取代(作者现在至多只被用来给定理、效应、命题或例证命名),福柯所致力于捍卫的即是这种作品成为其作者的"杀手"(murderer)的权利.

Nash equilibrium

纳什平衡

他证明了如下的"不可能性定理","纳什平衡"(Nash equilibrium)和"帕累托最优"在"预算平衡"的团队中是不可能同时实现的. [11]在经济学中,"纳什平衡"是"个人理性"的条件,"帕累托最优"是"集体理性"的条件,而"预算平衡"则指团队的产

number system

数系

代数方面强调数系(number system)概念,用较严密的逻辑方法以证明数学上的定理. 前人依赖欧几里德几何来训练逻辑思维,在新数学课程里,主要是削减欧氏几何的非基本命题或非基本而繁复的命题而致力于更有趣的项目. 课程中加入集合论的概念逻辑,

passive voice

被动式

一般应采用过去式(past tense),因为整个实验都是做过了的,但是当所写的是已经证明了的事实或定理时,应采用现在式(present tense). 另外,需要注意实验里的仪器和药品应采用被动式(passive voice)④. 一般英文实验报告书写格式可如下:

picard group

皮卡群

1883 1888年皮卡将庞加莱(Poincaré)自守函数的方法推广到二元复变函数,进而研究了代数曲面(1901),导致了"皮卡群"(Picard Group)的建立. 他推广了逐步逼近法,证明了含复变量的微分方程和积分方程的解的存在唯一性定理.

projective plane

射影平面

再如几何拓朴学(Geometric Topology)中的「紧致连通曲面(Compact Connected Surface)分类定理」告诉我们,任何紧致连通曲面在同胚(Homeomorphic)(注11)的意义下均可划归以下三类曲面的其中一类:球面( Sphere);圆环(Torus)的连通和(Connected Sum);射影平面(Projective Plane)的连通和.

recursive function

递回函数

1931年哥德尔 (Godel) 证明了著名的不完备性定理, 在其中利用了所谓的 "原始递回函数" (primitive recursive function) 的概念, 因而引起了在30年代中期对 "递回函数" (recursive function) 的研究热潮.

regularity

规则

该文对IF-THEN正则规则(regularity)引入了"正则规则集---符号概率推导链"的概念,证明了环正则规则长入与后缩的构造性定理,给出了环正则规则生枝、剪芽、长入与后缩的操作规则,完成了纵向环正则规则长入与后缩的MMDR(aMachineMethodforDiscoveringRegularities)算法.

Sample rate

取样速率

频宽(Bandwidth)描述的是模拟前端在振幅损失最少的前提下,将信号从外部世界传入ADC的能力;取样速率(Sample Rate)是ADC将模拟输入波型转换为数字资料的频率;奈奎斯特定理(Nyquist Theorem)说明取样速率和受测信号的频率之间的关系.

sampling distribution

抽样分配

在了解了抽样分配(sampling distribution)的概念及其两个重要定理后,我们即可从事推论统计两大任务之一:由样本得到的统计值(statistic)来推估母群体之数值或母数(parameters).在日常生活中常看到的民意调查或选举调查,就是这种估计的运用.

Fix, Unfix,Group,Ungroup：(固定, 不固定,成组, 不成组)

Align Components(元件对准) 79 | Fix, Unfix,Group,Ungroup(固定, 不固定,成组, 不成组) 80 | Select Net(选择线网) 80

glycol monoacetate：乙二醇一乙酸酯

glycol lubricant 乙二醇润滑剂 | glycol monoacetate 乙二醇一乙酸酯 | glycol monobenzyl ether 乙二醇一苄醚