简

The traditional distinction based on the matrix attribute reduction algorithm analysis, for distinction in the matrix "repeat" Too many elements, these "duplicate" elements not only in solving attribute reduction in the process does not work, But also reduce the time efficiency by improving the shortcomings that distinction in the matrix structure in the process of using Proposition calculus in the absorption of the law removed the distinction between the functions of the non-functional "repeat"element, a property Reduction of improved algorithm RADM, improve the efficiency of the attribute reduction.

通过对传统的基于区分矩阵的属性约简算法进行分析后，针对区分矩阵中"重复"元素过多，同时这些"重复"元素非但在求解属性约简的过程中不起作用，而且还降低时间效率这一缺点进行了改进，即在构造区分矩阵的过程中，利用命题演算中的吸收律去掉了在区分函数中不起作用的"重复"元素，提出了一种属性约简的改进算法RADM，提高了属性约简效率。

At first, the protections and circuit breakers are taken as conditional attributes and faulty region as decision-making attribute, various faults are investigated and decision table is established; then by use of attribute reducing method based on cognizable matrix and information entropy the optimal attribute reduction combination is extracted; finally, by means of the reduction decision table formed by optimal attribute reduction combination, the naive Bayesian networks model is built and the nodal probability is trained.

首先以保护、断路器作为条件属性，故障区域作为决策属性，考察各种故障情况并建立决策表，然后利用基于可辨识矩阵和信息熵的属性约简方法提取最佳属性约简组合，最后以最佳属性约简组合形成的约简决策表建立朴素贝叶斯网络模型，并对节点概率进行训练。

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

Hardly a girl can reject Jane Austin, this lifetime draws up of 6 love be handed down from ancient times make lifelong however the woman that did not marry got increasing woman chase after hold in both hands, these epigone are initiative established all sorts of organizations, floorboard " brief confuse "," become Jane Austin " should OK by classify " brief one of a lot of fantasy that confuses " to be made to the private life of this authoress.

几乎没有一个女孩可以拒绝简·奥斯汀，这个一生写出6部爱情传世之作却终身未嫁的女人得到了越来越多女性的追捧，这些追随者自发成立了各种组织，总称"简迷"，《成为简·奥斯汀》应该可以被归入"简迷"对这位女作家的私人生活做出的诸多白日梦中的一个。

An algorithm of eliminating the correlation of synthetic indexes based on index equivalence class is proposed in terms of Dijkstra algorithm. The reduction ranges of evaluation indexes can be reduced, and the anterior reduction results are used to increase the efficiency.

借鉴Dijkstra算法，提出了基于指标等价类的合成指标动态约简算法，即通过等价类划分来缩小参与约简的指标范围，并充分利用前一次约简以求得最终指标约简的结果。

Relying on the mass function, the relations are studied between belief measure and plausibility measure of incoordinate objective random information systems and positive domain reduction and distribute reduction of incoordinate objective information systems.

借助mass函数，研究了不协调的目标随机信息系统中信任测度和似然测度分别与不协调的目标信息系统的正域约简和分配约简的关系，得到了不协调的目标随机信息系统基于证据理论的正域约简和分配约简的方法。

And using thinking of evolvable hardware design,it had realized a novel way in simplifying the given logic function,which was different from conventional method,such as algebra way and Karnaugh map way.Experiments showed that evolvable hardware method could solve simplification of large scale logic function.

作者在对演化硬件设计理论的学习研究中，尝试了用遗传算法在可编程逻辑器件上应用来实现对某一给定的逻辑函数进行化简。2代数法和卡诺图法介绍[1]先给定一个逻辑函数F，并对其进行化简：F=A+ABC+AC+CD(1)2.1代数法化简代数法化简就是运用代数的公理、定理和规则对逻辑函数进行化简。

The common method of finding normal coordinate for the multidimensional linear microvibration;2. Then,it introduces the normal coordinate and its operator.

文章首先通过研究做简谐振动的简谐振子提出了量子化模型，然后引入简正坐标，使其简正坐标算符化，最后得到晶格振动的量子化。

Aiming at this,this paper appends additional information——preference relation into information system and uses it to guide the procedure of finding an reduct,which will produce optimal reduct under preference.

以此为研究目标，通过在信息系统上增加额外的信息-偏序关系，利用此关系指导属性约简的过程，求出该偏序关系下的最优约简，并运用该最优约简对原信息系统进行维约简。

When emma afterwards heard that jane fairfax had been seen wandering about the meadows, at some distance from highbury, on the afternoon of the very day on which she had, under the plea of being unequal to any exercise, so peremptorily refused to go out with her in the carriage, she could have no doubt - putting every thing together - that jane was resolved to receive no kindness from her. she was sorry, very sorry. her heart was grieved for a state which seemed but the more pitiable from this sort of irritation of spirits, inconsistency of action, and inequality of powers; and it mortified her that she was given so little credit for proper feeling, or esteemed so little worthy as a friend: but she had the consolation of knowing that her intentions were good, and of being able to say to herself, that could mr.

后来爱玛得知，正是在简+菲尔费克斯小姐谎称自己无法进行任何活动，并且坚决不接受让她陪着出去散心的那个午后，简反而来到了海伯利以外的草地上散步，她前前后后思考了一遍，确信简是坚决拒绝她的帮助，她很伤心，非常伤心，她遭到了打击，行动前后矛盾，无法帮助简，令她觉得眼前的状况比过去更可悲，这深深地震撼了她的心，并且，简不认为她是友善的人，不把她当成好朋友，她觉得委屈，但是，还有一点可以安慰自己，那就是，明白自己的企图是好的，并且告诉自己，要是奈特利先生清楚她为了替简。

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.

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