符号

We give the computing results of Maple programs by using the adjoint operator method.

利用共轭算子法和逐项消去法等规范形理论研究了含有三次非线性项的四维系统的规范形，给出了利用Maple符号推导程序所得到的计算结果。

The adjoint operator method and the theory of normal form are used to investigated the normal forms in the four dimensional nonlinear systems with cubic nonlinearities. We give two methods to compute the normal form for the four dimensional nonlinear systems. The corresponding Maple programs are also given in the appendix. The results obtained in this dissertation have a completely agreement with the results obtained in other papers.

利用共轭算子法和规范形理论研究了含有三次非线性项的四维系统的规范形，给出了计算四维非线性规范形的两种算法，给出了相应的Maple符号推导程序，所得到的结果与其它文献所得结果完全一致。

If you are familiar with Adobe Flash you'll know what Symbols and instances are.

如果你对于Adobe Flash非常熟悉的话，你就会知道符号和实例是什么意思了。

The m-sequence with Cyclic Prefix is inserted between OFDM symbols in time domain as training sequence. The cross-correlation is calculated between the received sequence with CP removed and the appointed circular shifted m-sequence, which takes reliability of the estimation of channel impulse response on account of the two-valued auto-correlation property of the m-sequence, thereby the channel frequency response can be advisably decided.

在时域OFDM符号之间插入附加循环前缀的m序列作为训练序列，在接收端将去掉循环前缀的接收序列与指定的循环移位m序列作相关运算，然后利用m序列的二值自相关特性获得信道的冲激响应估计，从而得到信道的频率响应估计。

Take a look at the letter I in the title of this magazine and you will notice that it is really a stylized version of the symbol of the physician the staff of Aesculapius.

仔细看看本期杂志标题中的字母"I"，你会发现这其实是医师的象征符号——医神伊斯蔻雷皮亚斯手杖的程式化版本。

To select this branch, head over to the green dollar sign in Alderney.

要选择此科，头部向绿色的美元符号，在艾希特。

Leibniz's discoveries of Boolean algebra and of symbolic logic, also relevant to mathematics, are discussed in the preceding section.

莱布尼茨发现的也与数学相关的布尔代数和符号逻辑，如前所述。

The result showed that both adults and eighth grade students could consider the deductive reasoning and algebraic form efficient, but the eighth grade students did not rate the inductive reasoning low.

八年级在错误的符号论证中的第二次评分显著低於第一次，挑选第二次评分进行年龄(3)×形式(2)×推理(2)以及年龄(3)×形式(2)×正误(2)两个三因子变异数分析，与评分理由的分析。

This paper gives the study of polynomial symbolic algebraic theory in formal verification method.

本文研究基于多项式符号代数理论的形式化验证方法。

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两个多项式表示模型，并给出了相应的等价性验证算法。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。