1) lemma
[英]['lemə] [美]['lɛmə]
引理
1.
The study on lemmas of tolerance optimum design;
公差优化设计中几个引理的研究
2) It Lemma
It引理
3) abduction inference
引理推理
1.
Method of network attack process analysis based on abduction inference;
一种基于引理推理的攻击过程分析方法
4) reasoning engine
推理引擎
1.
Design on reasoning engine of mine fan fault diagnosis expert system;
矿井通风机故障诊断系统推理引擎设计
2.
It noticeably increases the efficiency of reasoning engine.
基于数据挖掘中的聚类分析思想提出一种借助数值测试判断几何图形之间关系 ,以简化定理自动证明中搜索过程的新方法 ,该方法已成功地应用于作者参与开发的平面几何教育软件中 ,达到了加速推理引擎的目的。
3.
The framework makes use of the characteristics of concept of norms,rich semantic and level relations of the Ontologe and combines the knowledge warehouse of Ontologe and the first-order predicate reasoning engine on the user\'s query to process the result and make users get ultimately information that matchs with search requests in a higher state.
本框架利用本体的概念规范、语义丰富、层次关系等特点,并结合本体的知识库和一阶谓语推理引擎对用户的查询请求进行处理,使用户最终检索到与请求内容匹配较高的信息。
5) initiation mechanism
引发机理
6) principle of draft jet
引射原理
1.
A new air-negavtive-pressure unwinding device was designed based on the principle of draft jet in order to overcome the defects of the existing chemical fiber unwinding devices.
针对现有化纤剥丝机存在的问题 ,应用引射原理 ,在保持控制线路基本不变的前提下 ,增加 1个二位三通电磁阀控制气源 ,设计了一套新型的气流负压剥丝装置。
补充资料：施瓦茨引理
施瓦茨引理
数学上，施瓦茨引理是复分析关于定义在单位开圆盘的全纯函数的一个结果，以赫尔曼·阿曼杜斯·施瓦茨为名。
设<math>\delta = \{z: | z | < 1\}</math>为复平面中的开圆盘，<math>f:\delta\to\delta</math>是全纯函数，并有f(0)=0。那么
<math> | f(z) | \le | z |</math>
对所有在<math>\delta</math>中的<math> z</math>，以及<math> | f'(0) | \le 1</math>。如果等式
<math> | f(z) |=| z |\,</math>
对任意z≠0成立，或
<math> | f'(0) |=1\,</math>，
那么<math> f</math>是一个旋转：<math> f(z)=az</math>，其中<math> | a |=1</math>。
这引理不及其他结果有名（例如黎曼映射定理，其证明有用到这引理），但是这是能显示全纯函数的严格性的一个简单结果。当然对于实函数没有类似的结果。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条