推理地

At last, the data obtained in the experiments are analyzed using fuzzy mathematics tools, and results prove that the capacitance between discharge and flashover can be calculated by the acoustic signal and fuzzy discursion is very effectual. It indicated that we offered the detecting way not only being able to be used to carry out online detecting on the insulator, but also making correct judgement to the contamination level of insulator.

通过对模糊推理的深入研究以及对高电压线路绝缘子污秽放电特点的细致分析，发现模糊推理的方法对绝缘子污秽试验数据分析和处理十分有效，通过声信号可以定量地判断出此时距离发生污闪的裕度大小，这说明文中提供的声学检测法不仅能够用来对绝缘子进行在线检测，而且还能正确判断绝缘子污秽程度。

In order to overcome the technological difficulties encountered in the course of insulation fault diagnosis on the base of dissolved gases analysis, several kinds of mathematic models and actualized methods are brought forward to improve the reliability and veracity of fault diagnosis of transformers. The research works are shown mainly as followings:1 A modified fuzzy multi-criteria method is brought forward for insulation fault diagnosis of transformer. Furthermore, a new method for insulation fault diagnosis is proposed on the base of fuzzy multi-criteria together with rule reasoning. With fuzzy diagnosis in the method, fault reasons are filtrated and then the reasons in low probability are prohibited, Moreover, the left reasons are testified by using rule reasoning and then final concludes are drawn in much less misjudge probability and better results.2 On the base of geometry characteristics of C- partition to sample set of DGA data of transformer, a method is put forward to compute effective radius of neighbor field of a sample, number of clusters and values of initial centers. Moreover, the fuzzy C- means cluster model with adaptive weight is brought forward in the first time and then the fault classifier is designed for insulation fault diagnosis of transformer.3 According to the weakness of the degree of gray of gray incidence, a new formula to compute DGI is put forward and then incidence order criterion is ascertained. Moreover, a new DGI model for fault diagnosis is proposed according to the further analysis to relationship between fault reason and content of oil dissolved gases of transformer.

为解决在应用油中溶解气体分析方法（Dissolved Gases Analysis，简称DGA）诊断变压器内部绝缘故障时所遇到的主要技术难题，论文提出了用于提高变压器故障诊断准确性和可靠性的数学模型及实现方法，主要研究工作如下：1）提出了一种改进的变压器绝缘故障诊断模糊综合评判方法；进一步提出了将模糊综合诊断与规则推理相结合进行绝缘故障诊断的方法，该方法采用模糊推理对故障原因进行"过滤"，滤掉可能性极小的原因，然后进一步利用规则推理验证剩下的可能原因，得出最终结论，大大减少了误判比率，获得了较好的效果。2）根据以变压器DGA数据为特征量的样本空间的c-划分几何特性出发，提出了一种求取样本有效邻域半径和聚类数及聚类中心初值的方法，在此基础上，首次提出了一种自适应加权的变压器绝缘故障诊断的模糊c-均值聚类模型，并设计出故障分类器。3）针对常用灰色关联度的不足，提出了一新的灰色关联度计算公式及确定关联序的准则；并在此基础上，通过深入分析变压器发生绝缘故障时的原因与油中溶解特征气体含量的关系，建立了一种新的故障诊断灰色关联模型；通过实例分析证明，该方法能有效地诊断出变压器绝缘故障及故障部位，大大提高了诊断的准确性。

Uncertain temporal relations can be represented and reasoned by IA. IA has strong expressive ability in tense, and it can represent all natural temporal relations. At the same time, temporal relation represented by IA is highly visual and comprehensive. In additional, IA has been extended from one-dimension temporal area to two-dimension spatial area, that is to say, interval algebra can be developed to rectangle algebra for two-dimension reasoning.

用区间代数能表示不确定的时态关系，可以很方便地用于时态推理，表达能力强；时态关系的区间表示比较直观，可理解性强；同时区间代数可以进一步扩展到二维空间领域，即将区间代数拓展为矩阵代数，实现二维空间推理。

Explanation, according to this view, is simply accounting for facts on the basis of deduction from a known law or laws, or accounting for some subordinate law on the basis of a deduction from some more general law or laws.

根据这个观点，解说就是简单地说明已知定理或定律推理基础上的事实，或说明某些从一般定理推理出的附属定律。

The infinite-dimensional inference technique was available to precisely approximate the posterior distribution of the noise.

提出一新的非参数贝叶斯推理算法来辨识任意复杂的多模噪声分布，采用无穷维推理技术，能够较为精确地逼近噪声的后验分布。

We construct the synthesis reasoning sources according to the multimedia object low-level features and the reasoning source intensity field according to the multimedia co-existence information. A series of multimedia semantic spaces are built by spectral method after synthesis reasoning. The cross-media retrieval is performed on a per-query basis by which different retrieval methods are adopted for different queries.

首先根据多媒体对象的底层特征构造推理源，根据多媒体对象的共生关系构造影响源场来进行综合推理，并构造出多媒体语义空间；然后针对不同检索例子，根据伪相关反馈为每一个检索例子自适应地选择不同的检索方法进行跨媒体检索。

The properties and expression of knowledge are discussed in brief and binary and multiple truth expression and inference of knowledge are studied focally. The neural networks which can realized the three valued logic are overviewed. The new idea of uncertain inference based on three valued logic is proposed for the first time The models of neural logic, which can realize three valued logic and uncertain three valued logic inference are proposed, too. The learning algorithm of coefficient of MVL's function based on the canonical realization of MVL network is investigated for the first time and the appropriate algorithm is proposed.

4简要地论述了知识的特征及其表现形式，重点研究了知识的真值二值和多值表示法以及基于知识真值表示法的逻辑推理；通过对目前可实现三值逻辑推理的逻辑神经元及其网络的简要回顾，指出了各自的局限性，首次提出了基于三值逻辑的不定性推理的新概念以及可实现三值逻辑和三值逻辑不定性推理的逻辑神经元模型，同时对基于这种逻辑神经元模型的推理系统的应用领域进行了探索性尝试；另外，首次对基于多值逻辑网络正规实现的多值逻辑函数的系数参数的学习算法进行了研究，并提出了相应的学习算法。

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）为实现空间拓扑关系的查询分析等应用，本文研究了空间拓扑关系的计算方法。

As a user, he or she can only choice rules for reasoning, can't add rules for reasoning If some new rules want be used for reasoning, the software developer must recode the software But it' impossible for users The thought is very fascinating that users can add some new rules for reasoning but the software doesn't need be recoded, not only for users, but also for the software developer This technology can make computers reasoning more powerfully, or reasoning more quickly by some new rules be used, and it can be adjusted for different teaching books, and it can become perfect itself.

让用户能够向软件添加自己所需要的推理规则而无须修改程序，对用户和开发者都是非常有吸引力的想法。这使得计算机能利用新规则或定理证明更多的题目或能更快的证明题目，并且能更好地适应不同特色的教学用书，从而使软件在自动解题方面能不断完善。从理论上说，由用户添加推理规则并非难题。但要想用起来方便，推理快捷，却不容易。

Main points of the thesis are as follows:(1) The main function models and information relations between these models in the CAPP system in the integrated CAD/CAM project are explained, a new process plan design method is mentioned based on analyses of process plan design. This method is based on the process plan prototype, and develops the prototype little by little until the perfect process plan is completed, the prospect of this method is discussed;(2) The feature abstracting rules and methods are studied, a feature coding system is developed based on GT, all the defined feature models are described by the mathematical methods;(3) The integrated method of CAD/CAPP based on features is mentioned, this method defines a feature exchanging model, and develops an interface software to exchange design data into technology data base, this technology data base includes the design and technology information of the parts;(4) The process plan reasoning method based on features is created, this method uses Mycin algorithm to solve the reasoning of the feature process plan. A process plan making system is developed. In this system part process plan is made by the semi-intelligent method, this method uses the feature reasoning, feature process chain searching and man-computer talking together;(5) The main structure of the HOPE system is introduced, a shaft drawing and its process plan made by this system are shown, the data process problem in process drawing making is also discussed;(6) A new method of describing process rule is introduced, this method uses IfThen rules and neural nets weight values together to describe process rules, the BP algorithm is adopted in this method;(7) The optimal machining sequence problem of the process steps on the same fixturing is discussed, optimal algorithms SA is applied to solve this problem, the result shows that this method is more efficient than the traditional method;(8) All jobs in the thesis are summarized. In order to carry out the research in the future, some rational proposals are given.

全文论述的内容主要有下列几个方面：(1)较为系统地阐述了CAD／CAM一体化工程项目中CAPP系统的主要功能模块及其信息流程，在分析工艺设计过程的基础上，提出了基于特征原型的渐进式工艺设计方法，并探讨了该方法的应用前景；(2)研究了零件特征提取的原则和方法，在成组技术的基础上，开发了一套基于特征的分类编码系统，并在提取零件特征的基础上，定义了零件特征的数据模型，开发了基于轴类零件特征的参数化设计系统；(3)研究了基于特征的CAD／CAPP集成的方法，通过定义零件特征数据模型的存储结构，开发了将设计数据转换到工艺数据库中的接口程序，为后续的CAPP系统提供必要的零件形状和工艺信息；(4)研究了基于特征的工艺推理方法，将Mycin算法应用到工艺决策中，开发了基于特征的工艺推理及工艺方案生成系统，在系统中综合运用特征推理、特征加工工艺链查询及人机对话相结合的半智能化方法确定零件加工工艺；(5)介绍了整个HOPE系统的总体结构，通过运行HOPE系统绘出了一轴类零件的零件图，并生成了该零件的加工工艺方案，初步探讨了基于特征的工序图生成技术中数据处理问题；(6)研究了工艺设计过程中知识如何有效表示的问题，提出了将显式的IF-THEN规则表示与隐式神经网络权值表示相结合的工艺知识表示方法，并利用BP算法进行了工艺知识表示的初步研究；(7)研究了工艺设计过程中同一安装下工步优化排序问题，利用神经网络中基于模拟退火的理论来解决该工步优化排序问题，实践证明该方法较传统的算法具有更高的效率；(8)总结了本文所进行的研究工作，为今后进一步开展工作提出了较为合理的建议。

The absorption and distribution of chromium were studied in ryeusing nutrient culture technique and pot experiment.

采用不同浓度K2CrO4(0，0.4，0.8和1.2 mmol/L)的Hoagland营养液处理黑麦幼苗，测定铬在黑麦体内的亚细胞分布、铬化学形态及不同部位的积累。

By analyzing theory foundation of mathematical morphology in the digital image processing, researching morphology arithmetic of the binary Image, discussing two basic forms for the least structure element: dilation and erosion.

通过分析数学形态学在图像中的理论基础，研究二值图像的形态分析算法，探讨最小结构元素的两种基本形态：膨胀和腐蚀；分析了数学形态学复杂算法的基本原理，把数学形态学的部分并行处理理念引入到家实际应用中。