推理

Can be introduced in the reasoning of the judge to another judge, such as in syllogism the major premise , minor premise .

在推理上可以推出另一个判断的判断，如三段论中的大前提，小前提。

The major premise in legal reasoning mainly consists in statute law and judicial precedents .

法律推理的大前提主要有成文法和判例。

This is an interesting topic, let's try to make sense of it

这也是个有趣的话题，我们来推理下

We integrate the advantage of semantic depiction using ontology and the advantage of complicated targets image modeling using Bag Of Words model, complicated targets se mantic reasoning model is introduced using the ontology concept as a random variable in Bag Of Words model. This model can map the ontology concept to the image.

结合本体技术语义表达的优势和Bag Of Words模型的复杂目标图像建模的优势，将复杂目标本体中的本体概念作为随机变量引入到Bag Of Words模型中，提出了基于本体的复杂目标语义推理模型，建立了本体概念同图像的映射关系。

According to user requirements, authors disassemble the whole function, confirm the functional view, then in accordance with the sub-functional factors physical mechanism in functional view, we the manufacturable physical entity combining with group technology and based-on case reasoning to complete the conceptual and physical design of product.

依据用户需求所确定的产品总体功能，对总体功能进行分解，确定产品的功能视图，再根据功能视图中各个分功能要素的物理机制，配置物理制造实体，结合成组技术和基于实例的推理方法，完成产品的概念设计和物理设计。

So I went to work;and here I need observe.that as reason is the substance and original of the mathematics,so by stating and squaring every thing by reason, and by making the most rational judgment of things,every man may be in time master of every mechanic art.

于是，我开始工作。说到这里，我必须先说明一下，推理乃是数学之本质和原理。因此，如果我们能对一切事物都加以分析比较、精思明断，那么人人都可以掌握任何技艺。

The information integrated pattern based on PDM/PLM in the course ofmanufacture is put forward. Under the constraints of building CAPP platform, thearchitecture of CAPP platform is established. The models of decision making andfunction for process planning are given. Then the development means of CAPP basedSmarTeam are extracted.3. The structure of modular product life cycle is established. Toward the divisionand planning of the General Modules oriented product family, theCAD/CAPP integrated model of flexible module based on feature and CAD/CAPPmapping model based on process planning match board are set up. The keytechnologies of Solidworks/SmarTeam/CAPP integration are studies.4. From the point of view of process match board and step match board, theprocess of creating to process planning match board is studied. As an example, themachining process planning of up beam of hydraulic press machines is used tointroduce the establishment of process planning match board by means of inferencebased on expert knowledge. The organize model about the process planning matchboard oriented product family is brought forward.5. The multi-decision methods of CAPP system based on analytic hierarchy aregiven.. On the basis of uniform data model, the sub-machining process planning ofpart is auto-created by means of analytic hierarchy, The step decision methods basedon AHP is put forward.6. For the design/manufacture information in the course of product life cycle, thetree structure based on Object-Oriented and static model based UML are founded. Themethod of establishing design/manufacture information management system isbrought forward. The commercial PLM software—SmarTeam is regarded asdevelopment platform, on basis of which, the design/manufacture informationmanagement system is built, and the multi-view mapping technique ofdesign/manufacture information model is studies.7. A computer-aided CAPP platform based on PDM/PLM is founded, and itsstructure, function, work flow is illustrated. Some example of the system areintroduced.

阐述课题提出的目的和意义，明确了本文研究的主要内容。2、提出基于PDM/PLM的制造过程信息化集成模式；在平台式CAPP系统的设计约束模型基础上，构建了平台式CAPP系统的体系结构；并给出工艺决策模型和功能模型；最后提出基于SmarTeam的CAPP开发模式和实现策略。3、建立模块化产品生命周期模型的组织结构；针对面向产品族的广义模块的划分和规划方法，建立基于特征的柔性模块CAD/CAPP集成模型及基于工艺模板的CAD/CAPP映射模型；研究Solidworks/SmarTeam/CAPP集成的关键技术。4、从工序模板和工步模板的角度研究了工艺模板的创建过程；以液压机上梁模块机加工为例，采用基于专家知识的推理技术实现了工艺模板的创成；提出了面向产品族的工艺模板分层结构树的组织模式。5、提出基于分层规划的多模式工艺决策流程；在统一数据模型的基础上，从特征层和零件层分层规划，实现了零件加工子工艺的自动创成；提出基于AHP的工步排序决策方法。6、针对产品生命周期中的设计/制造信息，建立了面向对象的类树结构和基于UML的静态结构模型；提出基于PDM/PLM软件的设计/制造信息管理系统的构建方法；以商品化PLM软件SmarTeam作为开发平台，开发了基于SmarTeam的设计/制造信息管理原型系统；研究设计/制造信息模型多视图映射机制。7、开发了基于PDM/PLM的平台式CAPP原型系统，构建了系统的功能模型，并对系统的主要功能进行说明，给出系统的运行实例。

The knowledge data base management system based on the principle of expert system is used to store the designer and matcher's experience, and a heuristic rule-based system is used to perform the similar produce designing and matching assistant.

利用专家系统的知识构造法建立了基於设计人员和配试人员经验的知识库，用一定的推理规则进行相似产品的设计和辅助配试，使设计周期大大缩短，配试成功率得以提高。

The paper is concerned with the ambiguity of the formalization of reasoning and the origin of the paradox of material implication.

所谓逻辑的形式化就是对概念、命题、推理给以数学化，它是构建现代逻辑系统普遍采用的方法。

The paper starts from the implication and emphasizes its functions in reasoning by illustrating the truth-value condition of material implication.

本文从实质蕴涵所含义入手，通过对"实质蕴涵"真值条件的说明，强调其在推理中的重要作用。

What would he tell Judith and the children?

他将怎样告诉朱迪丝和孩子们呢？

I this is at that time, the opinion with peacockish true girl is full of in a heart.

这就是当时的我，一个心中布满虚荣的女孩子真实的想法。