推理上的

As the first work of Sir Arthur Conan Doyle, the study of a scarlet has a very important position in the history of detective novels, even the history of modern European literature.

而作为大名鼎鼎的《福尔摩斯探案全集》的第一部作品，也是我们的华生医生作为福尔摩斯的助手和传记作家所经历的第一个案件，《血字的研究》也在世界推理小说史乃至整个近代欧洲文学史上占据着极高的地位。

First, according to the specialities of CWM metamodel and metadata, description logic DLid which supports identification constraints on concepts is proposed.

在基于公共仓库元模型建立元数据的过程中，参与建立元数据的团体的不同经验以及描述数据的不同视角不可避免地带来元数据的冲突和冗余等问题，然而CWM的图形化特点使之缺乏精确的语义，所以如何在其上进行推理以自动发现这些问题至今没有得到很好的解决。

For example, the Maximum Membership Function Principle is proposed in Chapter 2 on which the presently"scattered" ones among fuzzy mathematical operations for fuzzy control methods such as the acquisition of fuzzy relation, the composition of fuzzy relations and the fuzzy set projection algorithms can be unified to within a common theoretic frame; the geometric criterion for the redundant design parameters is developed for a class of fuzzy supervisory control algorithm in Chapter 4; such concepts as the metric equivalent distance between fuzzy rules are defined to realize the highly efficient reasoning process; consequently the strategy and algorithm for a dynamically commissioned fuzzy controller is given.

如在第二章中，提出了最大隶属度原则，从而将现有模糊控制方法中诸如模糊关系的获得、模糊关系的合成、模糊集的投影等"零碎"模糊数学运算统一到一个共同的理论框架之中；在第四章中，还针对一类模糊监督控制算法推导了其冗余设计参数的几何选取准则；为实现高效推理过程而定义了模糊规则间的距离当量等概念，在此基础上，提出了动态构造模糊控制器的策略和算法。

This research concentrates on the optimal factor selection of this modification with Kolmogorov test. The factor is a constant for all tolerance. This optimization method can bring a significant reduction of the difference between variation analysis and tolerance analysis. The thesis presents a framework to model and evaluate assemblies and their assembly process for autobody structure concept design. This framework makes the autobody structure concept design more science-based than experience based, and will significantly enhance the dimensional quality of autobody assemblies.

本文的研究以理论推导、数值模拟为主，结合生产实际数据的对比分析，在前人研究的基础上提出了并行车身结构概念设计方法，将依据经验的车身结构概念设计上升为依据严密数学推理和运算的过程，为进一步提高车身的尺寸质量提供了新的思路，同时对飞机、家电等薄板装配机械产品的设计和质量控制也具有重要的借鉴意义。

With the limitation of the line detection based on traditional Hough transform that the information of the length and the end points of the line is unavailable, a new algorithm which makes use of the accessional strategy based on precognition information is put forward to meet the demand for more information of the line, simulation results show this method is effective. Finally, the whole process of airport target recognition is presented and the result images are also given.

使用分形方法提取目标的特征，在知识指导下，提出了一种基于目标特征模型的降维的形态学分形维数计算方法，对传统分形方法进行了改进，从理论上推证了算法的合理性，并对算法进行了仿真分析；针对传统Hough变换无法获得线段端点和长度信息的局限性，提出了一种基于目标特征先验知识的Hough变换融合策略，通过引入目标先验知识，可以有效地获得直线信息；对信息多而复杂的机场目标采用基于知识的目标识别方法，使用置信度模摘要型实现不确定推理，对目标进行识别判断，将知识贯穿于整个识别过程中，对目标进行了有效地识别。

This difference, it should be observed, applies only to the question of proving God's actual existence; for, His self-existence being admitted, it is necessary to employ a priori or deductive inference in order to arrive at a knowledge of His nature and attributes, and as it is impossible to develop the arguments for His existence without some working notion of His nature, it is necessary to some extent to anticipate the deductive stage and combine the a priori with the a posteriori method.

这种差异，应该得到遵守，只适用於该问题的证明上帝的实际存在，他的自我存在，被承认，有必要聘请一名或先验演绎推理，以得出一个认识他的本质和属性，因为这是不可能发展的论点，他的存在，如果没有某种工作的概念，其本质，是要在一定程度上预测演绎阶段结合起来，把先验与后验方法。

The paper discusses the problem of seller's intelligent pricing in B2B marketplaces.On the basis of myopic adjustments by best response made by each seller,it puts forward a practical online learning method based on episode training.The method integrates both immediate result by reinforcement learning and rationality by deliberate inference,thus improves its online performance.

以B2B电子市场中卖方agent的智能定价问题为应用背景，在库诺特短视调整基础上，应用Q学习算法，提出了基于情节序列训练的学习方法，将纯粹以结果为反馈的强化学习方法和以推理为目标的慎思过程结合起来，提高了算法的在线学习性能。

Research found, generally speaking, students' concept image is not fully covered about quadrilaterals. That is to say, some graph is excluded wrongly. For example:students took oblique square is rhombi, not square. This phenomenon probably caused by they see the typical shape all the time, which will impact the development of the higher level reasoning. Say, students might not be able to understand the inclusion relationship between square and rhombi.

研究发现，学生在四边形几何图形的概念心像上普遍有包含性不足的情况，也就是有些图例被错误地排除（如：以为斜摆的正方形是菱形，但不是正方形），此一现象应与学生接触的通常是典型图例所致，且会影响更高层次的几何推理之发展，例如无法理解正方形与菱形的包含关系。

Based on the categorical knowledge representation and improving the completeness of categorical knowledge pieces,we present a knowledge reasoning method using the categorical construction of analogical functors and pushouts,through knowledge association and deduction,to achieve the supplements of objects and morphisms.This dissertation proposes a similarity measure method for decision-making knowledge acquisition based on greatest common subcategory,and this method calculates the similarity between knowledge pieces from the perspectives of objects,morphisms,types and type categories.A knowledge merging method and the measure of multiple knowledge pieces merging are also presented.

在范畴化知识表示的基础上，为提高范畴化知识片断的完备性，提出运用范畴的类推函子和推出来实现知识扩展推理方法，通过联想和推演过程，实现范畴化知识结构的对象和态射补充，并从对象、态射、定型和定型范畴四个层面量化知识片断相似性，提出基于最大公约子范畴的决策知识相似度计量方法，以及知识片断的语义融合度计量方法。

This model is proposed in the background of the Internet's mass, changeable resources.On the one hand, its semantic inference solves the problems, such as the low recall, which appears in the search; on the other hand, it makes good use of ontology resources to do query excitation that provides more userfriendly search and advances the efficiency of the ontological inference.

以Internet上海量、多变的资源为背景，一方面通过语义推理，优化了网络搜索中存在的如查准率低等问题，另一方面利用本体库资源，在网络搜索过程中做问题激发，不仅增强了搜索的人性化，更提高了语义分析的效率。

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.

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