等价符号

The appliance of polynomial symbolic algebraic in formal verification ,people have given two polynamial denotative module WGLs and TEDs,and gives the corresponding equivalence checking algorithms .

关于多项式符号代数理论在形式化验证方面的研究，人们给出了WGLs和TEDs两个多项式表示模型，并给出了相应的等价性验证算法。

Brown and Halmos [3] showed that the only compact Toeplitz operator on the Hardy space is the zero operator and a Toeplitz operator is bounded on the Hardy space if and only if its symbol is bounded.

Brown和Halmos[3]证明了经典Hardy空间上只有零算子才是紧的Toeplitz算子，并且证明了Toeplitz算子有界等价于它的符号是有界的。

The product rule and chain rule, the notion of higher derivatives, Taylor series, and analytical were introduced by Isaac Newton in an idiosyncratic notation which he used to solve problems of mathematical physics .

该产品的规则和链的规则，概念，更高的衍生物，泰勒级数，并分析介绍了牛顿的特殊符号，他用来解决问题的数学物理。在他的出版物，牛顿改写他的想法，以适应数学习语的时间，取代的计算几何无穷小的等价论点被认为是无可指责的。

The characteristic exponent based on a probabilistic dynamical system is calculated, which provides some useful information on unstable periodic orbits of the chaotic economic dynamical system. An effective controlling parameter is chosen by discussing the sign of the characteristic exponent. Furthermore, the control regions of the parameter variable are proposed. Therefore the controllable domain of chaos in the chaotic economic model can be obtained.

提出一种等价关系，计算基于概率的动力系统的特征指数，给出混沌经济动力系统的不稳定周期轨道的有用信息，通过讨论特征指数的符号，选择有效的控制参数，得到相应的控制参数取值范围，从而得到混沌经济模型中的参数变量的混沌控制域。

Based on mathematical mechanization method and computer symbolic processing technique this paper carried out a solution by symbolic method for position analysis of robot with octahedral and decahedral variable greometry truss.

基于数学机械化方法和计算机符号处理技术，对八面体及十面体变几何桁架机器人的位置分析进行了符号法求解，成功地将非线性位置约束方程组化简为等价的三角化方程组，分别导出了单变量的16次和48次代数方程，并给出一个数字实例说明这种方法。

Results showed that the teaching assumption is supported by this study. Guided discovery and peer discussion are effective instruction strategies for symbolizing a proposition and finding symbolic rule of equivalence relation of dual propositions.

教学过程的观察记录显示在教师的导引与学生的小组讨论下，学生确可发现对偶命题等价并符号化，而在求等价命题的问题上，将原命题符号化再辅以符号规则是成功的关键步骤，教学假设获得支持。

In this paper, the influence of error propagation on soft demodulation in coded MIMO system is analyzed in detail. Besides, based on the thought of soft symbol interference cancellation, Iterative Channel Soft Information for coded MIMO system is further deduced and proved to have the same form as the inverse of row norm of Moore-Penrose inverse of channel matrix.

摘要该文针对编码MIMO系统，分析了MIMO检测过程中串行干扰删除引入的误差传播对软解调的影响，同时，借鉴软符号干扰消除的思想，推导出该系统中迭代信道软信息(Iterative Channel Soft Information， ICSI)的计算方法，并证明了该信道软信息等价于信道矩阵广义逆的行范数的倒数。

Finally this paper consideres an applicable case-the symbolic transition graph,then the generalized symbolic observation graph SOG and symbolic congruence graph SCG can be finite,so authors' algorithm is feasible for weak bisimulation and observation congruence.

此时由符号双迁移关系生成的符号观察图和迟符号同余图必为有穷图，因而我们的弱互模拟等价算法是可行的。

Regular sets: finite automata, regular expressions, equivalences among notations, methods of proving a language not to be regular.

正则集：有限自动机，正则表达式，符号表示法中的等价，证明一种语言不是正则的方法。

As a consequence of an important theorem of algebraic topology, the invariants constructed by those diversity ways can be considered as identified via their unique isomorphisms. This concludes that the procedure of invariant construction gains a virtue of the model presented in this paper as being unrelated to whether there exists a symbolic represantation of images.

根据代数拓扑的重要定理，这些不同的构造方法所得的不变量在同构意义下是等价的，因此我们推论这种不变量的构造过程与图象是否有符号表示无关。

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.

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