推理方法

A fuzzy neural network method is used to monitor and to diagnose fouling on convection heating surfaces.

将模糊神经网络方法应用于对流受热面的灰污诊断和监测，给出了一种模糊神经网络的网络结构、推理算法和训练算法。

First, we give a detailed description of Case-Based Reasoning, which is the fundament of the Case-Supporting System.

文章首先论述了基于案例推理的方法，其基本思想是案例支持系统建立的基础。

The result can be widely applied to many aspects of product design systems,such as parametric design by geometric reason-ing,decomposition of complex design tasks and dependency analysis of design parameters.

该方法在产品设计中有广泛的应用，利用这个模型和算法可较好地解决参数化设计中的几何推理问题，还可用作概念设计的工具，用于完成复杂系统设计任务的划分及定序、设计变量之间相互依赖关系分析等工作。

This paper presents a model and algorithms of causal qualitative reasoning based on integer programming. The result can be widely applied to many aspects of product design systems,such as parametric design by geometric reasoning,decornposition of complex design tasks and dependency analysis of design parameters.

该方法在产品设计中有广泛的应用，利用这个模型和算法可以较好地解决参数化设计中的几何推理问题，还可以用作概念设计的工具，用于完成复杂系统设计任务的划分以及定序、设计变量之间相互依赖关系分析等工作。

Secondly, this thesis discusses the method of applying Bayesian Network inferring mechanism to educational hypermedia system.

研究了教育超媒体领域内运用贝叶斯网络进行推理的方法。

Formal methods can be used to verify security protocols by specification and illation.

安全协议形式化分析方法通过规范描述和数学推理来检验安全协议是否满足各种安全要求。

It can be applied to reason from the statistic and subjective knowledge in the form of expectation.

通过这种方法，在给定期望意义的统计知识以及关于个体的主观知识的情况下，可以实现对具体个体相关知识进行缺省推理。

Further more, in order to express machining conditions with graph theory a new theory and space network are proposed, the decision of machining plan is made with incidence matrix.

提出了推理过程的具体算法，从而进一步提出了用图论来表达加工空间状态网络图，以及用有向图的关联矩阵进行加工方案的决策等新的理论和方法。

Using the approach,the optimization parameters in the normalized incomplete Beta function of degraded images can be automatically found out.Then accurate illation of the type of original degraded images can be got.

使用此方法可以自动地找出降质图像归一化的非完全β函数的最优参数值，对原始图像降质类型进行正确的推理。

According to demonstrate the different forms of reasoning can be divided into deductive arguments and inductive argument, according to argue different methods can be divided into direct proof and indirect proof.

根据论证所运用推理形式的不同，可分为演绎论证与归纳论证，根据论证方法不同，可分为直接论证和间接论证。

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。