查询词典 algebraic integer

based on the analysis of the traditional gnss carrier phase measurement model and the rule of the integer ambiguity estimation,the quality of normal integer mapping is gained,then,the theory of rough integer mapping is proposed,the question of gnss integer ambiguity estimation is solved,the searching efficiency of integer ambiguity is improved,the problem of gnss carrier phase measurement in a certain extent is solved.

摘 要：在分析传统的基于gnss载波相位测量模型对整周模糊度解算的一般规律后，得出一般归整映射的性质，进而提出粗糙归整映射理论，用来解决整周模糊度浮点解归整问题，提高了整周模糊度的搜索效率，一定程度上解决了载波相位实时测量的技术难题。

In the four section, from the interpolationdimension of an algebraic curve and an algebraic surface,using theoryand method of algebraic geometry, we get some interpolation of analgebraic curve and an algebraic surface, and we prove the reasonableof the interpolation dimension of an algebraic curve and an algebraicsurface.

第四章我们从沿代数曲线曲面空间的插值维数出发，利用代数几何理论与方法，给出了代数曲线曲面上的基本插值结构，并证明了我们长期应用的其上的插值维数公式的合理性。

The course is a comprehensive introduction to the theory, algorithms and applications of integer optimization and is organized in four parts: formulations and relaxations, algebra and geometry of integer optimization, algorithms for integer optimization, and extensions of integer optimization.

本课程对整数最优化的理论、算法和应用做了全面的介绍。课程分为四部分：公式和松弛、整数最优化的代数学和几何学、整数最优化的算法，以及整数最优化的拓展。

The division with surplus, the comprehensive division and Eisenstein Test applications on polynomial that can not be divided are mainly discussed; the sufficient condition of that polynomial with coefficient being integer has no integer root, that cubic polynomial with coefficient being integer is irreducible in rational domain and that polynomial with coefficient being integer has not two completely same roots are summed up.

主要论述了带余除法、综合除法及不可约多项式艾森斯坦判别法的应用；总结出了整系数多项式的无整数根的充分性，三次整系数多项式在有理数域上不可约的充分性，整系数多项式无重根的充分性。

We define an extended class of integer linear first-order logic formula, which supports most integer linear and bit-wise expressions in C programs including integer division, integer modular and bit-wise operation.

我们定义了一类整数线性一阶逻辑判定公式，此类判定公式支持C程序中常用的整数线性运算。

The paper applies algebraic geometry, computational geometry, approximation theory to study the following problems: the Nother type theory and the Riemann-Roch type theory of the piecewise algebraic curve; the number of real intersection points of piecewise algebraic curves; the real piecewise algebraic variety and the B-net resultant of polynomials.

本文应用代数几何，计算几何，函数逼近论等学科的基本理论，分别就分片代数曲线的Nother型与Riemann-Roch型定理；分片代数曲线的实交点数；实分片代数簇以及多项式的B-网结式进行研究。

Representation Theory and Higher Algebraic K-Theory is the first book to present higher algebraic K-theory of orders and group rings as well as characterize higher algebraic K-theory as Mackey functors that lead to equivariant higher algebraic K-theory and their relative generalizations.

代表理论和更高的代数学的K 理论是第一个书提出订货和组戒指的更高的代数学的K 理论，好和导致equivariant更高的代数学的K 理论和他们的有关的概括的麦基functors一样表现更高的代数学的K 的特性理论。

Algebraic K-theory is an important branch of algebra which has deep relationships with other branches of mathematics such as algebraic number theory, algebraic geometry and algebraic topology.

代数K-理论是代数学的一个重要分支，它与数学中代数数论，代数几何和代数拓扑等其它分支有深刻的联系。

The non-uniform algebraic codebook is determined by the non-uniform statistical properties of the algebraic codebook, and the part-searching-area is determined by the periodicity of the algebraic codebook excitation vector, which makes up the insufficient numbers of signed pulses in algebraic codebook at low bit rate.

非均匀代数码书由代数码书的脉冲非均匀统计特性确定，部分搜索域代数码书则由代数码书矢量的周期性确定，该方法有效地弥补了低比特率情况下代数码书中脉冲数不足的缺点。

Chapter 8: We discuss the acceleration of multigrid by Krylov subspace approaches, and recognize the reason for slow convergence of algebraic multigrid methods is that error reduction is significantly less efficient for some very specific error components which may cause a few eigenvalues of the algebraic multigrid iteration matrix to be considerably closer to 1 than all the rest. However, the eigenvectors belonging to the few isolated eigenvalues can be expected to be typically captured after only a few conjugate gradient iterations, which accelerate algebraic multigrid algorithms. Theoretical analysis and numerical results of some practical problems show the iterant recombination accelerates algebraic multigrid convergence.

第八章：先介绍用Krylov子空间迭代法加速一般多重网格方法收敛的基本框架，然后紧紧抓住引起代数多重网格方法收敛减慢的根本原因往往是误差减小对几个特别的误差分量不明显，这导致代数多重网格方法的迭代矩阵的几个特征值接近于1，而共轭梯度方法则能比较典型地捕捉属于孤立特征值的特征向量，从而推导出有效的共轭梯度加速算法和程序实现，不仅从一些具体的实际应用例子的数值结果去验证迭代复合加速收敛的效果，而且还从理论上分析了预处理共轭梯度法加速代数多重网格法收敛的机理。

The shaping method of noncircular part and the tool holder's radial motion characters in noncircular turning process are discussed in detail in the thesis.

论文详细研究了非圆零件的成型方法和加工过程中刀架的径向运动规律。

I have not really liked him,I do not like his this kind of disposition.

我没有真的喜欢他，我不喜欢他的这种性格。