查询词典 algebraic correspondence

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

Formal Verification; Polynomial Symbolic Algebraic; WGLs; TEDs

形式化验证；多项式符号代数； WGLs； TEDs

A functional unit whose output analog variable is equal in magnitude to its input analog variable but is of opposite algebraic sign.

一种功能部件，其输出模拟变量和输入模拟变量的数值相等，但代数符号相反。

Furthermore, people found that the relationship between intrinsic properties of planar algebraic curves and the singularity ofbivariate spline spaces is m-ore and more important.

尤其是经过近年来的研究，人们发现多元样条空间的奇异性问题与代数曲线的内在性质有着越来越重要的关系。

The practically oriented treatment of dynamic structural buckling is undoubtely be hampered by two problems, how to adopte a existed criterion or advance a new criterion of dynamic stability in general sense, and how to develope a simple and appealing algebraic representation in terms of singularity of the tangental stiffness matrix .

实际解决动力稳定问题的进程无疑受碍于怎样选用已有的或发展新的一般意义上的动力稳定性判定准则，以及怎样发展简洁的富有吸引力的切线刚度矩阵奇异性的代数描述方法。

We researched the problem of Lagrange interpolation of polynomial space on the algebraic manifold.

研究高维空间中代数流形上多项式空间的Lagrange插值问题。

This paper studied the coding algorithms for the R-S UEP Codes based on the algebraic characteristics of the code space.

本文以R-S不等保护码为研究对象，在分析码空间特性的基础上，着重研究编译码算法。

A systematic research about algebraic structure,Fockstate space representation and dynamical supersymmetry tostatistical relations of quantum system obeying parastatisticsrule is finished in the thesis.

本论文系统地研究了遵循Para统计规律的量子系统的统计关系代数结构、Fock态空间表示及动力学超对称性。

For the sake of getting more economic or effective controllers, a mapping law is proposed that the sub-systems in a space are mapped algebraic equally into another space to reduce differences by optimal theory. No any restrictions are added to the controlled systems, and without need to solve coupled Lyapunove or Riccati equalities.

2考虑了各子系统之间的层次差异，提出了变换规则，通过代数等价变换将各子系统映射到另一空间，借助优化理论，消除各子系统之间的差异，从而获得更经济、更有效的控制器。

Integrating trellis-coded modulation with threaded algebraic space–time block code, trellis-coded modulation space-time block code is presented, which has the advantage of full-diversity and small detection delay. Based on TCM pre-processing, the minimum distance between different codeword matrixes of the TCMST block code is maximized, so the average bit error rate of the TCMST block code is lower than that of the TAST block code at the same signal noise ratio.

TCMST分组码具有满发送分集度和检测延迟小等优点；由于采用了TCM预处理，使得不同TCMST分组码码字矩阵间的最小距离达到了最大化，因此在相同信噪比情况下，TCMST分组码具有比TAST分组码更低的平均误比特率。

Listen,point and check your answers.

听，指出并且检查你的答案。

Warming needle is one of effective treatment methods for knee arthralgia aggravated by cold,and it is simple,safety,so it should be developed in clinical acupuncture and moxibustion extensively.

但以本院科针灸门诊在2005年1月—2006年6月期间共收治膝痛患者100余例，经过临床的诊断后，其中施以温针治疗的48例，疗效显著，报道如下。1临床资料本组病例48