用代数方法

As advantage of this method, at the same time of diagonalization, one can know the algebraic structure in the Hamiltonian and get the eigenstates that are revealed to be an algebraic coherent state as well as some other possible information of the corresponding physical system.

这种方法的优点是，在用代数法将哈密顿量对角化的同时，不但得出了该系统哈密顿量的代数形式，并且可以得知对应的本征态与代数相干态的关系及对应的物理系统的其他物理信息。

Finally, we discuss other possible applications of algebraic methods to investigate other properties in molecules.

最后，我们讨论了用代数方法研究分子的其它特性。

We shall use algebraic methods to study graphs which are highly regular although this regularity is not expressed in terms of the automorphism group.

我们将用代数方法来研究高度正则的图，尽管这种正则性不是用自同构群来表达的。

In the given algorithm, a matrix is first transformed into its Hessenberg form by using row- and column-transformation and the characteristic polynomial can be then determined by means of the formulas and a recursive algorithm given in this paper.

例如，在确定系统矩阵的规范形，在用代数方法判别系统的稳定性，在控制器和观测器的设计等时，就通常需要计算矩阵的特征多项式。

In this paper we acquaint the reader first with the algebraic semantics which is corre-sponding to the Kripke's semantic having nested domaius. By an application of the completenesstheorem on relational semantics of the quantified normal modal systems with nested domains proved in Hughes and Cresswell's method to prove a completeness theorem on relational algebraic semantics of those system. Next for normal systems with semantics which admits arbi-trarily variable domains we use Henkin's method to prove a c...

本文首先讨论嵌套论域语义的相应代数语义并由Hughes和Cresswell在［5］中建立的关于具有嵌套论域的正规量词模态系统的关系语义完全性定理推出其相应的代数语义完全性定理：然后对于具有任意可变论域语义的正规系统，我们用Henkin方法给出其关于狭义Kripke语义的关系语义完全性定理，由此通过将关系语义转化为代数语义从而亦推得其代数语义完全性定理。

Chapter 1 briefs the relation between invariance and computer vision and summarizes the research and application of invariance in computer vision. Chapter 2 first derives the transformations of three camera models, then makes the correpondences between the models and three typical geometrical transformation groups by analysing the transformations respectively. The correspondences supply the theoretical basis for applying geometrical invariants to resolve the problems of computer vision. In Chapter 3, we describe the geometrical invariant theory and prove some geometrical invariants of coplanar points, lines or conics by algebraic method. In order to use the invariants of conic pairs to describe general 2D shapes, we discuss the perspectively invariant representation of planar curves using conies in detail. A system consisted of two TMS320C25 and based on moment invariants is introduced in Chapter 5. The system can recognize more than 30 different shapes of object model or more than 10 plane models with similar shape in real time.

第一章简述了不变性与计算机视觉的关系，以及计算机视觉中的不变性研究和应用概况；第二章推导了计算机视觉中常用三种投影模型的变换关系，通过对这三种变换关系的分析，分别建立了这三种投影模型和几何学中的三种变换群之间的一一对应关系，为几何不变性在计算机视觉中的应用提供了理论基础；在第三章中，我们介绍了几何不变性的理论，并且用代数方法证明了共面点、直线、二次曲线的几何不变量和射影不变量；为了把二次曲线的不变量用于一般二维形状描述，在第四章中我们详细地讨论了用二次曲线实现一般平面曲线的透视不变性表示的方法；第五章介绍了用两片TMS320C25构成的、基于不变矩形特征的运动目标实时识别系统。

The Weil Descent's algebraic method for DLP in the Jacobian of hyperelliptic curves which generalized by Galbraith is analyzed, and the problem of whether or not the Weil Descent'method can be used to attack the HCDLP with the form of y〓+xy=f defined over GF is discussed in detail.

研究了Galbraith提出的对超椭圆曲线的离散对数问题的WeilDescent代数攻击方法，对定义在GF上的形如y〓+xy=f的HCDLP能否用Weil Descent代数方法攻击作了详细讨论。

We first show that the multiple harmonic Ritz values have only one harmonic Ritz vector associated with them in algebra.

用代数方法证明对每个重调和Ritz值，只有一个线性无关的调和Ritz向量与之对应。

In Appendix A, we derive algebraically the expression of first laws of black hole thermodynamics.

在附录A中，用代数方法推导了黑洞热力学第一定律的的表达式。

90 And (2.9l )that the stress inside the inclusion Ω can be readily calculated algebraically for a given eigenstrain .

显然式2.90和式2.91中的内单元体Ω的压力可以通过给出的固有应变用代数方法计算出来。

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.

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