推理方法

The chain between air valve operational rule and bed stratification is set up, which supplies the reliability for control decision-making of expert system. Expert control strategy is put forward based on the characteristic of jigging process in this article. Knowledge acquisition, knowledge expression, search method and reasoning mechanism are studied in the expert system. The rule-base is set up based on bed stratification status, bed mobility status, feed velocity, recording data on site, artificial float and sink test result.

本文根据跳汰过程的特点，提出了专家控制系统的构成框架，研究了分层过程控制专家系统的知识获取、知识的表示与检索方法及推理机制，并根据分层状态、床层松散状态、给料速度信息和现场运行记录及定时人工筛分浮沉结果进行推理，建立了专家系统规则库，给出了具体的风阀操作参数的调节方法。

Under the management corresponding of control system, the knowledge in knowledge base was used by inference machine to colligate the data and conditions in database, the models and methods in model method base were called to theorize and acquire adaptive navigation information.

在控制系统的管理协调下，推理机运用知识库中的知识，综合数据库的数据和条件，调用模型方法库中的模型和方法进行推理，获得适用的导航信息。

This conclusion indicates that we can find the better way for illation , and it also foreshows that we can propose new methods for computing structure similarity of ontologies by employing complex-network methods and theory.

这一结论表明在使用本体进行推理的时候，可以找到优化的推理步骤，还预示着利用复杂网络的方法和理论将会导出计算本体中的结构相似度的新方法。

Of, relating to, marked by, or skilled in methodical and logical reasoning.

推理的：用理性或逻辑方法进行推理的，与之有关的，以此为特点的或善于推理的

Case database is built with ACCESS, and principal axis subassemblycases 3D parameter models are established with PRO/E.

文中研究了推理机的设计方法，系统中的推理机依据实例库和规则库来推理。

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平台上，构建了注塑模具浇注系统智能化设计系统的总体结构及主要功能模块，开发了系统的用户界面，建立了浇注系统设计的知识与规则库和事例库，研究了设计知识与规则和事例的表示方法，设计了智能化设计系统的推理机制，部分实现了注塑模具浇注系统的智能化设计。

The article apply anti- syllogism to research in syllogism and hypothetical syllogism ,it proves equivalence relation of correct form and rule varied cases of syllogism ,and puts forwad a new method restituting elliptical expression of syllogism and distinguishing hypothetical syllogism .

本文将演绎推理的反三段论形式运用于三段论、省略三段论和假言推理的研究，论证了三段论各格正确式及规则的等值性，提出了恢复省略三段论和判别假言推理是否正确的一种新方法。

Aristotle not only invented syllogistic reasoning but also gave such a thorough analysis of the subject-predicate relation and all syllogistic forms that this method, now called deductive logic, has virtually remained unchanged to this day.

亚里斯多德不仅发明了三段论推理的方法，还极为彻底地研究了这种命题-推断模式，掌握了三段论推理过程的所有形式。直到今天，这种方法依然维持着最初的状况，我们现在称其为演绎逻辑。

For the models by MMFI is a nonlinear differential equation with variable coefficients and the 'nonlinearity' brings discommodiousness to analyse the nature and quantification of a control system, it applies brim linearization method to better MMFI. By transforming 'triangle wave' membership functions of the base elements into 'rectangle wave' membership functions, we get three models which represent different aspect respectively. By simulating second order system and analysing the errors of the results, a conclusion is drawn, that is, the model obtained by brim linearization method has a good precision in contrast with the real model.

由于模糊推理建模法得到的模型是变系数非线性微分方程，这种&非线性&对该控制系统的某些定性或定量分析带来不便，因此应用边缘线性化方法对模糊推理建模法进行改进，将基元的隶属函数由&三角波&改成&矩形波&，从而得到了三个模型，这三个模型各有侧重，通过对二阶系统进行仿真，分析仿真结果，从而给出了关于边缘线性化方法的结论，即由边缘线性化方法得到的系统模型对该系统的真实模型有较高的逼近精度。

Because thanks to these schools our early mechanics, especially in the New England and Middle Atlantic states, were generally literate and at home in arithmetic and in some aspects of geometry and trigonometry.

推理题与暗指题虽然有许多相似之处，但是其思路与方法更侧重于推理，主要测试考生推理题的思维判断能力，即由已知的事实为依据去获得未知的信息。

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。