定理的

Algebraic Topology

代數拓樸

彭加勒的数学贡献大又多,一般认为他开创了代数拓朴(algebraic topology)、多复变函数、及混沌(chaos)理论. 另外关于自守函数梅涅劳斯(Menelaus)定理是由古希腊数学家梅涅劳斯首先证明的. 它指出:如果一条直线与△ABC的三边AB、BC、CA或其延长线交于F、D、E点,

blossom

花

基本思想是:运用代数基本定理避免通常B样条基函数复合所采用的极形式(Polar form)以及非常烦琐复杂的开花(Blossom)运算,把B样条基函数的复合、乘积运算转化为求解线性方程组.

compact space

紧空间

任 何有限空间都是拟紧空间'拟紧空间的连续象是拟紧 空问.任意多个拟紧空间的拓扑乘积是拟紧空间(翻- x诀获阳定理(T沃honov Ul印xezn)). 价卜注l拟紧空间常常称为紧(comPaCt)空间,而这 里所谓的紧空间则明确地称为Ha留dorff紧(corrLPact 出出由价)空间.亦见紧空间(comPaCt sPace).

correctness proof

正确性证明

Kodosky介绍了一个名为"自动程序框图验证"的研究,以期能将"正确性证明(correctness proof)"加入到虚拟仪器程序框图源代码之中. 用户可以通过名为定理模块的图形结构用正确性断言(correctness assertion)来评注他的程序框图. 用LabVIEW编译程序框图时,

Euler

欧勒

努利数1.2 欧勒(Euler)多项式与欧勒数1.4 拉格朗日(Lagrange)展开公式1.7 函数的无穷乘积展开.外氏(Weierstrass)定理1.9 拉普拉斯(Laplace)积分的渐进展开.瓦特孙(Wstson)引理2.5 夫罗比尼斯(Frobenius)方法2.7 傅士克斯(Fuchs)型方程本书较系统地讲述了一些主要的特殊函数,

Feller

费勒

如美国的多元分析专家H.霍太林(Hotelling),S.S.威尔克斯(Wilks),频率曲线专家C.C.克莱格(Craig),概率专家W.费勒(Feller)等都到过该系,这对许宝騄的学术思想和研究方向都有影响.他一生中主要的贡献是在多元分析和极限定理这两方面,

Hamiltonian

哈密顿

全书内容包括三个部分:第1-3章介绍了小增益定理、无源化方法和耗散系统等基本理论及其联系;第4-5章阐述了基于无源性的构造的广义哈密顿(Hamiltonian)系统理论框架及其反馈无源化方法;第6-8章综合了当前非线性鲁棒控制的主要研究成果,

Karl marx

提出共产主义理论

Kurt Goedel:证明公理系统的不完备性定理,指出人类理性的极限 | Karl Marx:提出共产主义理论 | John von Neumann:建立可编程计算机构架,建立量子力学的严格数学基础

Law

定律

如果这个定理在普遍情况下都适用,就可以称为"定律"(Law)或"定则"(Principle). 经过上述观察、推理和证实所得的知识,才能正式接受为自然科学的知识. (一)胚胎类同证据:进化论学者海寇(Haeckel)曾提出胚胎(Embryos)类同的理论,

life table method

寿命表法

寿命表法(life table method)是应用人口统计学中队列寿命表的原理来计算生存率,用概率论的乘法定理算出一定年限的生存率.

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

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

glycol monoacetate：乙二醇一乙酸酯

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