矩阵的矩阵

Paper studies the practical stability of electricity market models by tools, for example, the appropriate structure Lyapunov functions, Cauchy matrix, the matrix measure, constant variation. Judging practical stability sufficient conditions and estimating formula of ultimate convergence boundary are provided. Conditions are descriptive by coefficients of models. At the same time, paper studies the Lyapunov stability of the electricity market. As well as the sufficient conditions of judging electricity market Lyapunov stability are provided. Some of conclusions improved the results of Alvarado and others. The conclusion of Lyapunov stability has made a comparative with practical results.

首次将实用稳定性理论和方法应用于电力市场稳定性的研究中，借助于构造合适的Lyapunov函数、柯西矩阵、矩阵测度、常数变易法等工具，系统研究了所建电力市场模型的实用稳定性，得到了用模型的系数来描述其实用稳定性的一系列判定条件和最终收敛边界的估计公式；同时对电力市场的Lyapunov稳定性进行了研究，得到了电力市场稳定性的若干判据，部分结论改进了Alvarado等人的结果；随后将Lyapunov稳定的结果与实用稳定进行了比较。

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

By using the Euclidean algorithm and invertible linear transformation over a polynomial ring, the solutions of polynomial indeterminate equations of first degree was investigated in theory, and its matrix solution based on the elementary matrix transformation was proposed.

利用欧几里德算法和多项式环上的可逆线性变换，从理论上对多项式环上的一次不定方程组的解进行深入的研究，给出了用矩阵的初等变换求解多项式环上的一次不定方程组的矩阵解法，并利用MATLAB数学软件开发了相应的计算机程序。

In chapter 3,we study some enumerative problems for 2-tournaments,find theformual for the number of valid score vector and the number for 2-tournaments in npoints,obtain the number of 2-tournaments with specified scores.

第三章讨论2-竞赛矩阵的若干计数问题，得到了n阶有效得分向量和n阶2-竞赛的计数公式；得到了具有特殊得分向量s的2-竞赛的数目〓，给出了{〓是强的}的最小值及〓最小时s的刻划；证明几乎所有的2-竞赛矩阵是不可约的。

We make the following assumption for When 2 is positive definite matrix, different estimators about matrix of regression coefficients and inefficiency of Least squares estimate have been discussed in many documents. Considered 2 is nonnegative definite matrix, this thesis derives Best linear unbiased Estimate of parameter matrix B and estimable parameter function KBL under the meaning of matrix nonnegative definite and the property of maximum probability of BLUE is investigated.

当∑＞0时，众多文献讨论了回归系数阵的各种估计及LSE的有效性，本文考虑了当∑≥0的情形，给出了回归系数阵B及其可估参数函数KBL的在矩阵非负定意义下的最优估计，研究了它的一个最大概率性质，并且讨论了最小二乘估计成为最佳线性无偏估计的充分必要条件，在此基础上给出了均值矩阵的最小二乘估计与BLUE的偏差估计，定义了LSE相对于BLUE的一个相对效率，并给出了它的界。

To introduce the method of matrix, the optical system design in detail in the optical polarization Jones matrixes of application, On the other hand, the geometrical optics lens, the relations between the theoretical calculation, and the calculation results of calculation method and the results are compared, consistent, this method is feasible and reasonable.

将矩阵方法引入光学系统的设计中，详尽地给出在偏振光学中琼斯矩阵的应用；另一方面，对几何光学中的透镜间的关系进行理论计算，并把计算结果与普通的计算方法做出的结果比较，它们是相吻合的，说明此方法是可行的，合理的。

Secondly, a conjecture about the stability for these systems is proposed based on the sufficient and necessary condition of the isolated transfer function being positive real. When the zeros and poles of the transfer functions lie in the imaginary axis, a known conclusion is derived from the conjecture; while the zeros and poles are on the real axis, a new result is obtained and is proved in this note. Finally, according to the conjecture, an example with poles existing on the complex plane is presented, which is not only interesting but also challenging.

然后， 基于所有孤立部分传递函数都正实的充分必要条件给出了上述系统为稳定的一个猜想，当传递函数的零极点都位于虚轴上时，由这一猜想得到了一个已知的结论；当传递函数的零极点都位于实轴上时，由这一猜想得到了一个新的结论，本文证明该结论是正确的；最后，根据这一猜想，给出了传递函数极点位于复平面的一个例子，它涉及到一类系数矩阵为时变正定矩阵的振动方程的稳定性问题，值得去深入研究。

Although the infinite Toeplitz matrix can not be dealt with the methods for finite matrix, it is found that its spectral is continuous by a series of pertinent elementary transformations for infinite matrices.

虽然这类矩阵不可以用有限阶矩阵的方法处理，但通过一系列相伴的初等变换，发现它们的特征值是连续变化的，获得特征向量的递推公式，从而得到这些算子的谱的连续性的一个直观证明。

For multi-layer fabric, Kronecker product and yarn grouping of different layers according to the arrangement ratio are combined together to explore the mathematical model of weaves automatic generation. The qualifications of forming the multi-layer weaves are also discussed.

对单系统织物组织类别，首先根据数学描绘的需要进行了重新划分，分为规则组织、准规则组织和非规则组织，接着分别建立了各种类别组织的数学模型，并对组织自动生成的参数和组织构成条件进行了归纳和总结；对于多系统组织的重组织和层组织，结合不同系统纱线按排列比的分组法和矩阵的Kronecker叉积运算建立了组织结构矩阵自动生成的数学模型，并对多系统组织构成条件的数学模型进行了分析。

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.

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