代数

This thesis consists of two parts,part I:Complete Lie algebras and part II:Sym-metric self-dual Lie algebras...

本文由两部分构成：第一部分：完备李代数；第二部分：对称自对偶李代数。

AF C*-algebra is the self-adjoint limit algebra, so it has relatively complex structure.

AF代数是自伴的极限代数，因而结构比较复杂。

High School: Algebra, Geometry, Advanced Algebra, Trigonometry, Pre-Calculus conics and limits

高中：代数，几何，高等代数，三角学，微积分先修课二次曲线论和极限

High School: Algebra, Geometry, Advanced Algebra, Trigonometry, Pre-Calculus

高中：代数，几何，高等代数，三角学，？圆锥和极限

In chapter 1, we introduce the notions of the approximately 2-local automorphisms, the approximately local Hilbert space representations and the approximately 2- local Hilbert space representations;We prove that every surjective and multiplicative approximately local *-automorphisms of a C*- algebra with a unique faithful tracial state is *-automorphisms;surjective approximately 2- local *- automorphisms of C*-algebra with unique faithful tracial states are Jordan *- automorphisms;Surjective approximately 2- local *- automorphisms of a finit factor are *-automorphisms;Approximately 2- local *- automorphisms of M_n are *-automorphisms.

第一章定义了近似2—局部自同构，近似局部表示，近似2—局部表示；证明了有唯一忠实迹态的C~*-代数上的满可乘近似局部*—自同构是*—自同构，满近似2—局部*—自同构是Jordan *—自同构，有限因子上的满近似2—局部*—自同构是*—自同构，以及矩阵代数M_n上的近似2—局部*—自同构是*—自同构。

Secondly, in a more generalized framestructrue--lattice-ordered monoids,the notion of lattice-valued Mealy-type automata is introduced,we traverse some algebraic properties of this automata and investigate the congruences and homomorphisms of this type automata.Our main results indicate that the algebraic properties of lattice-valued Mealy-type automata have Close links to the algebraic properties of lattice-ordered monoids which automata take values in.Futhermore we study the minimization of lattice-valued Mealy-type automata and provide an algorithm to achieve the minimal lattice-valued Mealy-type automata within finite steps.

其次，在更一般的框架—格半群意义下，提出具有输入和输出字符的自动机——格值Mealy自动机的概念，从代数角度出发较详细地研究了此类自动机具有的性质，同时研究了此类自动机的同余和同态，揭示了此类自动机的代数性质和格半群的紧密联系，最终研究了格值Mealy自动机的极小化问题，并给出了在有限步可实现此极小化的算法。

Third, the algebraic specifications are used in order to reveal the essentials of denotational semantics and to get more modularity and less complexity. Chapter 2 introduces the basic concepts and notations used in this dissertation.

三是采用代数规约的框架，这有助于揭示将语法作为多类基调代数的型构定义，将程序作为表达式的指称语义方法之实质思想，也有助于形式定义文本的模块化，降低描述复杂度。

The verification theories and algorithms of value-passing CCS and the π-calculus bisimulation equivalences are the hot point of research in the area of process algebra, and the critical step for the application of process algebra in practice.

传值CCS和π-演算互模拟等价的验证理论和算法是进程代数领域的研究热点，也是使进程代数从理论研究走向实际应用的关键环节。

For formalized lattice implication algebra theoryT, it is proved thatTis preserved under submodels, unions of chains and homomorphisms;Tis neither complete nor model complete, and hence there exists no built-in Skolem function.

讨论有关格蕴涵代数结构的模型论性质，证明了形式化格蕴涵代数理论T保子模型、保模型链之并、保模型同态，理论T不是完备的、也不是模型完备的，因而不存在内在Skolem函数。

In chapter 4, Lie derivations of nest algebras and Lie isomorphisms on nest subalgebras of von Neumann algebras are characterized.

第四章我们主要讨论了套代数上的Lie导子和套子代数之间的Lie同构。

And discuss some key point of integrated management system design, include hazard identification and risk assessment and risk control in the occupational health and safety management, the measure of satisfaction target of customer, the flawlessness of law system, the integration of the integrated management system and enterprise standardization system, unify lead institution and work orgnization, integreted internal audit and integrated management review.

同时，论述了一体化管理体系构建中的几个主要问题，包括职业健康安全管理中的危险源辨识、风险评价和风险控制、顾客满意度的科学监测、法律、法规体系的完善、一体化管理体系与企业标准化体系的有机结合、统一的领导机构和工作机构、一体化的内部审核和管理评审。

Deepwater Taranaki is investigated for its petroleum potential, using all available seismic data tied to shallow-water wells.

运用与浅水井相关的现有全部震波探测数据考察了深海区塔拉纳基盆地的油藏前景。