查询词典 matrix

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

Variance component model of the random effects of covariance matrix unit for the "Linear model introduction" matrix has been studied.

方差分量模型的随机效应的协方差为单位阵时《线性模型引论》已进行研究。

For the first time, we propose the Ternary production rule and Ternary rule matrix , then use MVL to decompose the compound rules, which both realize lossless decomposition of the 4〓 type of compound rule and avoid rule matrix's dimension increase for introducing new proposition to substitute the compound recondition.

首次提出并使用三值产生式规则及三值规则矩阵，创造性的将多值逻辑用于复合产生式规则分解，很好地实现了4类复合规则的无损分解，同时避免了该类复合规则的出现需引入新的命题而导致规则矩阵规模增大的问题。

The effects of pH and matrix on the intensity of RRS were analyzed based on the conditional stability constant and matrix effect.

它利用待测物与配体缔合后，生成的缔合物因疏水作用聚集形成纳米粒子，能产生强烈的共振散射，从而对待测物进行定性、定量分析。

In this article, the effect of matrix on the intensity of RRS is analyzed theoretically based on the matrix negative absorption effect; the effect of pH is analyzed based on the conditional stability constant which is assayed by spectrophotometry; and MG and CV are analyzed qualitatively and quantitatively through detecting the intensity of RRS by the fluorescence spectrophotometer synchronously scanning.

本文采用负吸收效应，从理论上对体系基体的作用进行分析；采用紫外-可见分光光度计测定吸收光强度，求出缔合物的条件稳定常数，对体系酸效应进行分析；采用荧光分光光度计测定共振瑞利散射强度，对孔雀石绿和结晶紫进行定性、定量分析。

That means to calculate the Hessian matrix of optical flow equation, and the weight of Lucas-Kanade＇s method is defined as the reciprocal of the conditioning number of its Hessian matrix.

然后借用灰度直方图的概念构造方向直方图，提取光流特征，方向直方图由量化光流场来得到，再利用方向直方图构造出一个模板库及其索引序列库。

Experimental results show the recognition rate of the method is 95%for a known expresser and 72% for a novel expresser. Aiming at the shortcomings of optical flow technique,two improved optical flow algorithms are presented.One way is to introduce forward and backword constraint eqution and Hessian matrix of optical flow equation is computed.The well- posedness of each point of local neighbourhood is examined and the weight of Lucas-Kanade's method is defined as the reciprocal of the conditioning number of its Hessian Matrix.

3针对传统光流法的缺点，分别提出了两种不同的改进方法：其一为引入前向-后向光流方程，计算其Hessian矩阵，把Hessian矩阵条件数的倒数作为Lucas-Kanade光流法的加权阵，可有效消除局部邻域中不可靠约束点，同时提高基本约束方程解的稳定性；其二为针对传统光流法只适用于刚体运动的特点，在扩展约束光流方程的基础上引入了div-curl样条函数作为扩展光流约束方程的附加约束条件，给出了一阶和二阶div-curl样条约束下光流的数值解。

It enables one to count the number of frequencies exceeded by a given trial frequency. On the basis of the method. Professor Qi has got a new criterion for detecting the eigenfrequency by using the physical meanings of the matrix used in the congruent transformation of the dynamic stifmess matrix.

在此基础上，齐朝晖教授充分利用将结构动刚度矩阵合同变换过程中各矩阵的物理含义，提出了求解结构固有频率的新判据。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。