规则

This paper proves that it is impossible for all the theorems in classical propositional calculus to be tautologies in the field of fuzzy propositional calculus, then a quasi formal deductive system is established for fuzzy propositional calculus based on a kind of type algebra.

引入了一种代数，称为模糊公式代数。在这种代数上建立了一个准形式演绎系统，证明了相应的可靠性定理与相容性定理，提出了程度化的ModusPonens规则和HypotheticalSylogism规则

The American Quarter Horse Association does not show under AHSA rules. It publishes its own handbook, although many of its rules and contest patterns are similar to AHSA ' s.

美国四分马协会不按AHSA规则开展比赛，而是有自己的手册，尽管与AHSA有很多相近的规则与比赛方案。

In this paper,pose representation by quaternions are researched.With the basic quaternion algebra,the "quaternion based rotations combination theorem" is introduced and proved theoretically.On the basis of this theorem,a method for compute of pose nonliear state transfer function and its linearization is purposed.Then,the computing of the measurement function and the linearization is studied.With the Extended Kalman Filter,the pose is tracked and estimated.

研究用四元数表示物体的姿态，在四元数基本运算法则基础上提出并证明了"基于四元数的多个旋转运动合成规则"，然后将此规则为依据，推导出一种用来计算姿态非线性状态方程系数的方法，对非线性状态转移函数进行线性化，并且研究了测量方程函数的确定及线性化，借助扩展Kalman滤波实现了对姿态的跟踪。

Although the style of fighting which involves kicking a man when he is down, gouging out his eyes, and kicking him in the testicles does not appeal to the average American, we must forget the Marquise of Queensberry and his often violated rules of sportsman like combat when dealing with our Jap and Nazi enemies.

尽管这种风格的格斗包括一些普通美国人难得见到的东西：当对手倒地时猛踢他、挖他的眼睛、踢他的裆，但是在对付日本和纳粹敌人的时候，我们必须忘记那位昆士伯利的侯爵以及他那种经常犯规的竞技运动式格斗的规则（指英国"昆士伯利拳击规则"——译注）。

Although the style of fighting which involves kicking a man when he is down, gouging out his eyes, and kicking him in the testicles does not appeal to the average American, we must forget the Marquise of Queensberry and his often violated rules of sportsm

尽管这种风格的格斗包括一些普通美国人难得见到的东西：当对手倒地时猛踢他、挖他的眼睛、踢他的裆，但是在对付日本和纳粹敌人的时候，我们必须忘记那位昆士伯利的侯爵以及他那种经常犯规的竞技运动式格斗的规则（指英国"昆士伯利拳击规则"——译注）。

After getting online results, combustion expert controller gained relevant ratiocinate output results by integrating technical parameters of online inspected system, combustion computed results and diagnostic and manipulated countermeasure of knowledge base, then which could propose operator for choosing a suitable control method using concentrated corresponding rules.

在得到在线计算结果以后，燃烧专家控制器综合在线检测系统提供的工艺参数，以及燃烧计算的结果，使用存放在知识库中的诊断和操作对策，得到相应的推理输出结果；利用规则集的相应规则，提示操作工选用合适的控制方法。

On the basis of total analysis and summarization on basic knowledge, principle and expert experience of injection mould feed system as well as further research on the computer-aided design of injection mould feed system, according to the geometrical model of the plastic, applying technologies including feature-based modeling and identifying, RBR, CBR, oriented-object and database technology VC++ 6.0, SQL Server 2000, Object ARX, the paper conceives general structure and primary function module of the intelligent design of injection mould feed system, develops user-systemic interface, constructs knowledge rule library and case library of injection mould feed system, researches denotative method of knowledge rule library and case library, designs the ratiocinative mechanism of intelligent system design, and realize the intelligent design of injection mould feed system partly.

本文在对注塑模具浇注系统设计的基本知识与原则及专家经验全面分析总结，以及对计算机辅助浇注系统设计方法深入研究的基础上，以塑件几何模型为依据，应用基于特征的建模与识别技术、RBR和CBR推理技术、面向对象和数据库技术，以及VC++6.0、SOL Server 2000和Object ARX二次开发工具，在AutoCAD 2002平台上，构建了注塑模具浇注系统智能化设计系统的总体结构及主要功能模块，开发了系统的用户界面，建立了浇注系统设计的知识与规则库和事例库，研究了设计知识与规则和事例的表示方法，设计了智能化设计系统的推理机制，部分实现了注塑模具浇注系统的智能化设计。

Only converging personal rationalness into collective one can the liberty of abiding by rules be reached from the formulation of rules.

个人理性整合为到集体理性，才能从规则的制定达到服从规则的自由。

Experiments with four data sets show that the number of rules in the rule-set representation is reduced greatly.

在四个著名数据集上进行的实验表明，规则集表述中的规则数量显著减少。

Because of their devotion to the rule, monks came to be known as the "regular" clergy, from the Latin regula, rule.

"由於他们的奉献精神的规则，僧侣来到被称为"正规"的神职人员，从拉丁美洲调节，"规则。

In the negative and interrogative forms, of course, this is identical to the non-emphatic forms.

。但是，在否定句或疑问句里，这种带有"do"的方法表达的效果却没有什么强调的意思。

Go down on one's knees;kneel down

屈膝跪下。。。下跪祈祷