查询词典 Boolean matrix

Based on the achieved decision-making matrix, entropy technique is applied to modifying right index given beforehand,and then combined with decision-making matrix the evaluation result is obtained.

首先，建立了评估指标体系，运用D-S证据推理理论对专家的评估数据进行处理，在得到决策矩阵的基础上应用熵技术对预先给定的权重进行修正，结合决策矩阵计算出了评估结果，最后，通过实例验证了模型的可用性。

Secondly,the two original feature matrixes from face and iris image are integrated into one matrix,and a combined feature matrix is formed.

然后将人脸与虹膜的初始特征矩阵进行组合，获得组合特征矩阵。

In chapter four, the dissertation analyses different types of the symbiosis relationship between the independent college and its matrix school from the dimensions of organization and behavior, namely point symbiosis, intermittent symbiosis, constant symbiosis, integration symbiosis, parasitism, commensalism, symmetric mutualism and dissymmetric mutualism. It establishes twenty eight symbiosis morphologies between the independent college and its matrix school. What\'s more, it puts forwards two basic modes for the independent college\'s evolution, and has empirical studies on two typical cases.

第四章从组织、行为两个维度，分析独立学院与母体高校共生的各种类型，即点共生、间歇共生、连续共生和一体化共生，寄生、偏利共生、非对称性互惠共生和对称性互惠共生，确立独立学院与母体高校的28种共生形态，提出独立学院演变的两种基本模式，并对两个实际典型案例进行实证。

It show the good commutability of the sample among the the two kinds of general methods and the reference method, especially in CRM matrix and self-made matrix. It could be used as a reference material.

说明提纯的GGT具有良好的互换性，该样品具有良好的应用前景，特别是自制基质和CRM基质的样品溶液，可作为候选校准品应用于临床检测。

Since the information for the generalized Jordan canonical blocks in the generalized Jordan canonical form can not be easily obtained from the characteristic polynomial and the commutative law does not hold for matrix multiplication,we compute the common form of the power of the generalized Jordan canonical form and get a concise expression for the power of the defective matrix.

考虑到不易从它的特征多项式获得构成广义若当标准型的阶数更小的广义若当块的有关信息，针对矩阵乘法不满足交换率，本文从计算广义若当标准型的幂的一般形式出发，获得实数域上亏损矩阵的幂的一个简洁表示。

The Laplace matrix is an active and important subject in Algebra Graph Theory. It is a discrete form of the Laplace operator on the compact Rimannian manifold acting on the graphs. It has been widely used in many fields such as Physics, Chemistry, Biology, Computer net science and Information theory ,etc. Some results on the Laplace matrix are given in this thesis.

本文主要研究了代数图论中的一个课题：单圈图的Laplace谱，它是黎曼流形上的拉普拉斯算子在图上的离散形式，Laplace矩阵在物理、化学、生物和计算机通信网络研究等学科中有着广泛的应用。

Two-dimensional matrix operations and one-dimensional Fourier transform, if the changes to what can be achieved to complete the integral operation matrix method can reduce computational complexity.

详细说明：用矩阵运算进行二维和一维傅立叶变换，如果改动一下，就可以实现矩阵方法来完成积分操作，可以减少运算量。

In this paper, we will investigate the matrix equation in composition over a complete Brouwerian lattice. First, we give an equivalent condition for the solvability of this equation, i.e. theorem 2.2.3 in this paper: The matrix equation in composition over a complete Brouwerian lattice is solvable iff is the minimal solution of this equation.

本文主要探讨完备Brouwer格上的型矩阵方程，首先给出该类矩阵方程可解的一个等价条件，即本文的定理2.2.3：完备Brouwer格上的型矩阵方程可解的充要条件是是它的解，且是最小解。

The soundness and completeness theorem of this method were proved at last. 5. The a-automated reasoning method based on the a-resolution principle of LP was discussed, the author given a method to describe the set of simple generalized clauses (veriables and non-subregular 1 - IBSFs are only contained) by using a matrix, and translated the a-resolution of two clauses to column operations of this matrix.

最后，证明了该方法的可靠性和完备性； 5、对格值命题逻辑系统LP中基于α-归结原理的α-自动推理方法进行了研究，给出了用符号矩阵表示一类简单的广义子句集合(只含命题变元和非正则1-IESF广义文字)的方法，把α-归结原理转换成矩阵的列变换。

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、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

Chinese traditional virtue is humility and wariness,the compliment and praise to the others should be declination

中国人的传统美德是谦虚谨慎，对别人的恭维和夸奖应是推辞。如

We bought this house on the never-never.

我们以分期付款的方式买下这座房子。