推理模型

In addition, it implements various mechanisms presented in the dissertation, and the logic level integration of heterogenous knowledge models as well as some extensional mechanisms, used in reasoning inspection, verification and modification on the consistency and perfectiveness of description logics-based models.

为了检验上述理论研究，论文设计了基于KML的智能知识建模原型系统CAKE，系统提供RPC/Web/Web服务三种模式，并实现论文提出的各种机制以及异构知识模型的逻辑级集成和基于描述逻辑的模型一致性和完备性推理检查、校验与修正等扩充机制。

At the base of first order predicate logic this paper construct a strategy logic reasoning machine model, and discuss the correctness of this model.

在谓词逻辑的基础上构造了一个基于策略逻辑的推理机模型，并对模型的正确性做了讨论。

After analyzing the merit and lack of 9I model, the main idea is proposed: to distill some basic topological relations from 9I model, of which the composite topological relations of complex objects are made up. In detail, the composite topological relationships between region and region, line and line, line and region are particularly discussed;(2)Analyze the characteristics and inner relations of cadastral features. According to the expressional model of complex topological relations, the author discovers the possible topological relations between parcels, parcel lines and parcel points. In addition, sum up the general topological relationship rules of cadastral data.(3) Then the topological relations model is extended to the spatio-temporal data. Time in cadastral database and change semantic are discussed. It's redefined that spatio-temporal topological relations is composed of time, location, status and event relation. Spatio-temporal topological relationships can be represented by extended 4I model. Taking cadastral parcels as example, there are different possible spatio-temporal topological relationships between parcels when they are extended, shrunken, split, merged or others. Thus, some deductions are drawn that, for example, if parcels have be coexisting for some time they are impossible to be overlapped. Furthermore, the parents of parcels alternated and their possible change types can be detected by their spatio-temporal topological relationships.(4) Before carrying out the experiment, the calculation method must be designed.

具体研究工作及成果如下：（1）根据点集拓扑理论中与拓扑空间相关的概念，本文对空间的点、线、面进行了重新定义，以区分对象的复杂性；分析了9I模型在表示简单对象方面的优点，以及在表达复杂对象上的不足，阐述了本文的研究思路和解决方案，并以复杂的面面、线线和线面为例详细探讨了复合拓扑关系的表达方法；（2）分析了地籍权属数据和地类数据的内涵、特点和要素之间的联系，根据复杂对象的拓扑关系表达模型，本文讨论了宗地、界址线、界址点之间，图斑、线状地物、零星地类之间可能存在的拓扑关系和形式化表达方法，归纳总结了地籍对象的拓扑关系满足的约束性规则；（3）将拓扑关系的研究延伸到时空领域，从地籍对象的时态性出发，本文阐述了地籍数据中时间的含义和变化语义描述的需要；从时间、位置、状态、事件等之间的拓扑关系方面，重新系统性地进行了时空拓扑关系的定义；研究了一维时间和二维空间的集成表达方式，以宗地、界址线为例，分析了变更前后不同时间区间里可能的拓扑关系，探讨了时空拓扑关系对时空变化操作类型和变化语义的推理方法和意义；（4）为实现空间拓扑关系的查询分析等应用，本文研究了空间拓扑关系的计算方法。

Based on the analysis to the particularity of the cruise missile attacking, a complete recognition method based on the knowledge is developed. A new fractal-based infrared image feature extraction method is presented and the detailed theoretic analysis and implement procedure of this algorithm is submitted and tested in some experiments. 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变换融合策略，通过引入目标先验知识，可以有效地获得直线信息；对信息多而复杂的机场目标采用基于知识的目标识别方法，使用置信度模型实现不确定推理，对目标进行识别判断，将知识贯穿于整个识别过程中，对目标进行了有效地识别。

And an on-line adaptative training algorithm of the weights of neuron is given, which enhances fusion precision of the model, fault tolerance and adaptive ability for subsystems 4 In order to diagnose the soft fault of integrated system, a new fault detection method is proposed based on federated filter, which can detect fault of system in short interval and greatly enhance the method sensitivity to fault A fault diagnosis method of Dynamically Tuned Gyro baesd on parameter estimation of kinetics model of rotor, and signal pretreatment, parameter estimation and strategy of fault identification are studied in detail The method can locate fault of DTG correctly and effectively, which provides a new approach and idea for gyro fault diagonsis 5 In order to diagnose the hard fault of integrated system, fault tree analysis is studied on fault disgnosis of integrated system circuits, and the hardware and software of disgnosis system are developed, with faults located to main module and circuit For futhur diagnosis, an optimal measurement technology in detection of circuits is discussed by improving an algorithm based on information theory, and a pratical method based on half-split method is proposed.

针对组合系统的软故障诊断问题，提出了基于联合滤波模型的一种新的故障检测算法，给出了算法的理论推导过程，该算法能在较短的时间内检测出系统故障，提高了算法对故障的敏感度；研究了基于动调陀螺转子动力学模型参数辨识的故障诊断方法，就其中的信号预处理、参数辨识及故障决策方法等关键技术进行了详细的研究，该方法可以正确、有效地检测与定位动调陀螺故障，为陀螺故障诊断提供了新的途径和思路。 5。针对组合系统的硬故障诊断问题，研究了基于系统浅知识推理的故障树法在组合系统电路子系统故障诊断中的应用，开发了相关诊断系统的软硬件，故障可定位到系统的主要功能模块和电路板级。为了进一步的故障定位，研究了电路板故障的最优检测问题，完善了基于信息理论的优化算法，并提出了基于&对分法&的一种实用的优化算法，故障可定位到电路板的主要功能元件级。在组建的SINS/GPS组合系统实验平台上，针对上述研究内容，进行了大量的实验研究。

A model of creative thinking consisting of emanative and converging thinking alternately is presented,and the shortages in Case-Based Reasoning and Genetic Algorithms are pointed out that they only can simulate a single process in the model of creative thinking.

提出发散与收敛交替的创新设计思维模型，分析基于实例的推理、遗传算法的不足并指出其深层原因是它们只能实现创新思维模型中的单一阶段。

As part of this exploration, I distinguish two approaches to statistical analysis (emanating from the two main philosophical views of science): Gaussian or typological thinking, and Galtonian or population thinking I examine in detail Duncan's views of quantitative reasoning in the social sciences, particularly his opinions on social measurement, path analysis, structural modeling, econometrics, and the Rasch model.

作为分析的一部分，我将对统计分析的两种方法加以区分（起源于两种主要的有关科学的哲学视角）：高斯或类型逻辑思维和加尔顿或总体逻辑思维，并进一步对邓肯在社会科学中的量化推理视角进行细致讨论，特别是他对于社会测量、路径分析、结构模型、计量经济学和Rasch模型的看法。本文的一个重要主题就在于O.D。

At each level, the parameters, hyper parameters and model parameters are adjusted to minimize the Kullback-Leibler divergence between their posteriors and real distributions so that the variable free energy can approach the real free energy.

在指出证据框架和自由能最小化方法等贝叶斯推理方法的局限性的前提下，通过对比证据框架的方法，提出了自由能框架的概念，将通常难以求解的自由能最小化过程分解成参数自由能最小化、超参数自由能最小化、模型参数自由能最小化等层次，在每个层次上调节参数、超参数和模型参数，使其后验分布为其真实分布之同的Kullback-Leibler距最小，以使可变自由能逼近真实自由能。

In this paper, the descriptive semantics of class diagrams, interaction diagrams and state machine diagrams are defined by first order logic formulas. A translation tool is implemented and integrated with the theorem prover SPASS to enable automated reasoning about models.

本文用一阶逻辑定义了UML的类图、交互图和状态图的描述语义，并介绍我们实现的将UML模型转换成逻辑系统的软件工具LAMBDES，该工具集成了定理证明器SPASS，可以对模型进行自动推理。

This paper deals with some fundamental problems of intellectualized computer information systems.

本文研究将人工智能引入计算机信息系统的问题，提出一种能综合运用知识推理、模型演算和数据管理技术的信息处理模型。

And Pharaoh spoke to Joseph, saying, Your father and your brothers have come to you.

47：5 法老对约瑟说，你父亲和你弟兄们到你这里来了。

Additionally, the approximate flattening of surface strip using lines linking midpoints on perpendicular lines between geodesic curves and the unconditional extreme value method are discussed.

提出了用测地线方程、曲面上两点间短程线来计算膜结构曲面测地线的方法，同时，采用测地线间垂线的中点连线和用无约束极值法进行空间条状曲面近似展开的分析。