推理地

Compared with the work of lwasaki and Farquhar, Our method improves irrelevance reasoning and utilizes the deeper knowledge relevant to query, so that it can construct and transform model more flexibly.

这项工作改进了无关性推理，与Iwasaki，Farquhar等人的方法相比，可利用与询问有关的深层知识更灵活地进行模型的构造和转换。

Introduced formal notations of derivative which keep the properties of derivative and their operations are easily realized on computer,A mechanization proving principle of automatic reasoning of transformations between differential equations is built.

引进保持性质的导数的形式记号，建立了微分方程变量间依赖关系的自动推理的机械化证明原理，从而方程间的变换（如Backlund变换等）均可机械地验证。

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.

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

The flaw in this reasoning is that the precise definition of the behavior of the operations almost never well defined outside of the context of a particular implementation, and these types of scripting languages are mainly useful only to people who have an intimate knowledge of the internal working of the code body in question.

这种推理的缺陷在于，离开某个特定实施的环境，操作行为几乎从来没能很好地精确定义，同时，那些脚本语言只对那些对问题领域代码的内部运行有深入了解的人有用。

These models not only can process the imprecise information in the case retrieval , but also can i.

所提出的模型可以有效地处理案例检索中的不确定性，并能提高基于案例推理系统的性

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.

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

From the influence of the father came modern inferential statistics, which is based squarely on theories of probability.

从父亲的影响力被提出现代的推理统计学，在可能性的理论上被方形地建立了。

If you cannot intuit an idiom, neither can you reason it out.

如果我们不能直觉地理解习惯用法，那么我们同样也无法通过推理理解。

But, on the other hand, luckily a lot of evidences provided by the Kleinian school, the neuropsychology, the baby observation and the medical research on pregnancy and birth are available, so that going on this way is not the hard, almost philosophical task that it was in Freud's times.

但是，在另一方面，幸运地是克莱因流派、神经心理学、对婴儿的观察以及对于怀孕与分娩的医学研究提供了有力的证据。所以，后人在这方面的研究和弗洛伊德时代艰难的哲学式的推理已不可同日而语。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。