代数系统

D Whyte, in his "analysis Easy"(analyticem is Inartem agoge,1591) works, the first systematic use of symbols of unknown value calculation, Operators made with a number of symbols of the difference between the provisions of the algebra and arithmetic boundaries.

韦达在他的《分析方法入门》（Inartem analyticem isagoge，1591）著作中，首次系统地使用了符号表示未知量的值进行运算，提出符号运算与数的区别，规定了代数与算术的分界。

In this doctorial dissertation,we study the stabilization,strong stabilization and estimation problem in the framework of nest algebras in Hilbert space.

本文我们是在套代数框架下，研究Hilbert空间中线性系统的稳定化、强稳定化以及一般估计问题。

Limited-view photoacoustic imaging based on ART has far-reaching significance to noninvasive medical inspectable technology.

标 签 成像系统光声成像代数重建算法有限角度 imaging systems photoacoustic imaging algebraic reconstruction techniques limited view

Congruence and ideal are major tools in studying the structure of semiring. Many scholars have deeply, systematically studied on them.

半环的同余，理想是研究半环结构的主要工具，许多代数学者对此进行了深入系统的研究。

Angular Momentum Algebra, Addition of Angular Momenta, Identical Particle Effect, One Dimensional Periodic Quantum Systems, Introduction to Quantum Statistical Mechanics, Time-independent Perturbation Theory, Fine Structure, WKB Approximation, Variational Principle, Aharonov-Bohm Effect, Quantum Transition.

量子力学( S0583)(0，3)角动量代数、角动量加成、等同粒子效应、一维周期性量子系统、量子统计简介、定态微扰理论、精细结构、 WKB 近似、变分法、 Aharonov-Bohm 效应、量子跃迁。

The study of it has been a hot topic in the field of numerical algebra in recent years. Actually, it is widely used in many fields such as structural design, system identification, automatics control theory, vibration theory.

它是近年来数值代数领域中研究的重要课题之一，在结构设计，系统识别，自动控制理论，振动理论等领域有着广泛的应用。

In this system, the lattic structure is different from Boolean algebra, the implication operator → is just the Kleene Dienes operator R KD .

研究赋值格为非线性序，其格结构不同于Boole代数，而蕴涵算子→取Kleen－Dienes算子RKD的一种新的6值逻辑系统K16的语义理论，得到若干结果

Petri nets and process algebras are both most widely used formalisms for describing and analyzing discrete-event concurrent systems.

Petri网和进程代数作为研究离散、并发系统的有利工具，是最主要的两种工作流建模和分析方法。

Security protocols are used to provide secure communications over open network,which are essentially concurrent programs in distributed systems,and can be described as a parallel composition system of multiple role-processes by process algebra.

安全协议用于实现开放互连网络的安全通讯，它本质上是分布式并发程序，使用进程代数可以将其描述为角色进程的并发合成系统。

Base on the established lattice-valued logic system with truth-value in lattice implication algebra, lattice-valued resolution method of which are discussed.

本文在已构建的基于格蕴涵代数的格值逻辑系统的基础之上，探讨了其中的归结推理的理论与方法。

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.

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