定理的

Upper semicontinuous

上半连续

而在角谷不动点定理中,他表述的是对于一个非空的紧凸集(compact convex subset)到自身的上半连续(upper semicontinuous)集值映射都存在不动点. 这两者的不同在于Brouwer指的是单值映射,而Kakutani指的是集值映射.

shunt

分流器

过去设计工程师通常有三种电流测量组件的选择:分流器(Shunt)、比流器(CT)及以霍尔效应(Hall effect)原理为基础的传感器. 分流器(Shunt)的工作原理是欧姆定理(Ohm's law),比流器和以霍尔效应原理为基础的传感器.

symbolic logic

符号逻辑[学]

二进法算术与布尔(George Boole)发明的符号逻辑学(Symbolic logic)有密切关系. 电子计算机采用二进法,里面所有开关电路(Switchingcircuits)的作用都可以用符号表示;电路的简化,往往借助符号逻辑学的定理. 电子计算机的设计师,

logic theorist

逻辑理论家

这个程序称为"逻辑理论家(Logic Theorist)"的程序,能用来证明形式逻辑中的各种定理. "逻辑理论家"采用了人类在问题解决活动中所使用的一些处理方法,但它只能解决一些特定类型的问题. 纽厄尔与西蒙在1972年又设计了一种更为精细的问题解决系统,

transversal

横截

从而给著名的K.库拉托夫斯基(Ku-ratowski)不可嵌入平面图的定理一个直接的组合证明.惠特尼在组合论方面的最大成就是他引进拟阵(matroid)理论,这是一种抽象的线性相关性理论,它不仅包含图论为其特例,而且还包括网络理论、综合几何以及横截(transversal)理论等.他的出发点很简单,

turnstile

十字转门

而仍然遵守在这个语言的语义合成(composition)的法则. 设示范被表示为相继式,假设在十字转门(turnstile)的左侧而结论在十字转门的右侧. 则演绎定理可以被陈述如下:

wiener process

维纳过程

经济计量学在这一方面的发展也引起7数学方法上的突破,维纳过程(wiener process)和基于其上的泛函中心权限定理成为了研究为主要数学工具. 这使得我们能在更为广泛的条件下研究时间序列统计量的极限和极限分布习题.

workload

工作负荷

在工效学中,"工作负荷"(workload)是一个重点问题. "工作负荷"指人在单位时间内承受的工作量. 有关这个问题的具体研究就不在这里详细介绍了,只介绍其中一条有关定理,就是"超负荷与低负荷都会造成人工作效绩的下降和身心功能的恶化.

Jane

珍

令我感到失望."珍(Jane)写有<霍金:前妻回忆录>(上)(下).自1970年代.霍金先后与不同学者.提出多项学说.改变人类对宇宙诞生的看法.其中由他与另一名学者彭罗斯(Roger Penrose)合著的奇点定理.提出时间及宇宙是有起点和终点.肯定了同时代其他人开创的宇宙大爆炸学说.推翻古典物理学有关时空是永恒存在的学说,

Nash equilibrium

纳什平衡

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

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

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

glycol monoacetate：乙二醇一乙酸酯

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