证明

In this master thesis, we mainly discuss the adjacent vertex- distinguishing total chromatic numbers of some special graphs and prove that Zhang"s conjecture holds for these graphs. Then we get the adjacent vertex-distinguishing total chromatic numbers of the Halin Graphs. Moreover, we investigate the Generalized Petersen Graphs, prove that some classes of positive integers can"t structure the Generalized Petersen Graphs and get the result that the adjacent vertex-distinguishing total chromatic number is 5. Finally, based on the number and the parity of circles contained by the graph, we get the adjacent vertex-distinguishing total chromatic number of two classes of graphs.

本学位论文首先主要针对几个特殊图类讨论其邻点可区别全色数，验证了其满足图的邻点可区别全色数的猜想；再证明了非轮的Halin图的邻点可区别全色数；接着研究的是广义Petersen图，讨论了不能构成广义Petersen图的几类正整数，并证明了该图的邻点可区别全色数等于5；最后，根据图所含圈的个数及其奇偶性得到了两类图的邻点可区别全色数。

We develop his ideas by finding some algebraic invariants under the adjoint actions of the group in addition to the Killing form and give a rigorous proof of the optimality of the one-parameter systems for the symmetry group of the given equations.

本文系统地研究了1+2维非线性发展方程的对称代数，证明了该方程容许一个七维李点对称群，利用Olver提出的方法，详细地建构了1+2维非线性发展方程的一维最优系统，在此基础上我们发展了他的方法，发现了除Killing型之外的其它六个在群伴随作用下的代数不变量，利用这些不变量证明了该最优系统的最优性。

First we prove that all points on the imaginary axis except for zero belong to the resolvent set of the operator corresponding to the model, second prove that 0 is an eigenvalue of the operator and its adjoint operator with geometric multiplicity and algebraic multiplicity one,last by using theabove results we obtain that the time-dependent solution of the model str.

首先证明在虚轴上除了0以外其他所有点都属于该算子的豫解集，其次证明0是对应于该系统的主算子及其共轭算子的几何与代数重数为1的特征值，由此推出该系统的时间依赖解当时刻趋向于无穷时强收敛于系统的稳态解。

Assume a Lie algebra g has a form B which has all the useful properties of Killingform:bilinearity nondegeneracy,symmetry and invariance.Note that for such a Liealgebra the adjoint representation is equivalent to the coadjoint representation.We callit a symmetric self-dual Lie algebra and the form B an invariant scalar product.

在第一部分的最后一节，我们引进了拟Heisenberg代数的概念，证明了这些李代数均为具有非极大秩的CN李代数，进一步我们还证明了这些CN李代数构成的集合与极大秩幂零李代数构成的集合之间存在着1-1对应关系。

Here is the affidavit of support from them and a bank statement of their financial resources.

这是他们的担保证明和银行出具的关于他们的财力证明。

It is proved that the least squareestimators of linear estimable functions of regression coefficients areadmissible under matrix loss and minimax. The necessary and sufficientexistence conditions are derived for the uniformly minimum riskequivariant estimators of linear estimable functions ofregression coefficients under an affine group and a transitive group oftransformations respectively. It is also proved that there are no UMREestimators ofthe covariance matrix and variance under an affine groupof transformations and quadratic loss functions.

本文证明了回归系数的线性可估函数的最小二乘估计是极小极大的且在矩阵损失函数下是可容许的；还分别在仿射变换群和平移群下导出了存在回归系数的线性可估函数的一致最小风险同变估计的充要条件，并证明了在仿射变换和二次损失下不存在协方差阵和方差的 UMRE 估计。

In a murder case, this would include evidence that the defendant's act caused the victim's death, and evidence that the defendant acted with malice aforethought.

在一桩谋杀案中，就要提交证据证明被害者的死亡是由于被告的行为所引起的，证明被告的行为是恶意预谋的。

It is shown that, any reprersentation finite special biserial algebra has a Groebner basis theory, and a finite-dimensional basic algebra over an algebraically closed field is representation finite if and only if every module over it has a right Groebner basis theory.

证明了表示有限特殊双列代数有Groebner基，从而扩大了Groebner基理论的应用范围；证明了一个代数封闭域上的有限维代数是表示有限特殊双列代数当且仅当其上每个右模都有右Groebner基理论，从而扩大了右Groebner基理论的应用范围。

We also show that thc linking C~*-algcbra of the TRO-univcrsal free product of two TRO\'s is~*-isomorphic to thc universal free product of the linking C~*-algcbras of thc two TRO\'s.In addition, inspircd by thc concept of full amalgamated frcc product of C~*-algebras, by using thc full amalgamated free product of thc linking C~*-algcbras of ternary rings of operators,we introduce the definition of TRO-full amalgamatcd free product,and give its construction,which is provcd to satisfy the univcrsal propcrty.

另外，受C~*-代数全融合自由积概念的启发，利用算子三元环的连接C~*-代数的全融合自由积，本章把全融合自由积的概念扩展到了算子三元环上，引入了算子三元环全融合自由积的定义，给出了它的一个构造，证明了这种构造(来源：ABC论文3b3b3b网www.abclunwen.com)的确具有"泛性质"，并且证明了两个算子三元环的TRO-全融合自由积的连接C~*-代数*-同构于这两个算子三元环的连接C~*-代数的全融合自由积。

Characteristics of a number of gates from the set of all generalized Toffoli gates are studied. Any permutation S is proved to be generated by a n-cycle δ and a permutation τ=i(subscript j, i together. It shows that any neighboring 2-cycle permutation can be generated by at most two NOT gates without ancilla bit.

本文研究了生成Toffoli门集合的可逆逻辑门数的特点，证明了任意置换S可以由n-轮换δ和一个置换τ=i(下标 j，i生成，同时证明了相邻2-轮换可由至多两个NOT门在不增加额外信息位的情况下生成。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失