查询词典 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载波相位测量模型对整周模糊度解算的一般规律后，得出一般归整映射的性质，进而提出粗糙归整映射理论，用来解决整周模糊度浮点解归整问题，提高了整周模糊度的搜索效率，一定程度上解决了载波相位实时测量的技术难题。

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程序中常用的整数线性运算。

In order to further reveal and distinguish the dynamics and changing regularity of the stochastic integer multiple spiking and the deterministic integer multiple spiking, the integer multiple spik-ing from the experiment, the stochastic Chay model, and the deterministic Wang model and their chang-ing regularity with respect to extra-cellular concentrations of Ca2+([Ca2+]o) or the reversal potential of Ca2+ in model were studied.

为进一步区分神经自发整数倍峰放电节律的随机性和确定性模式的动力学性质，详细研究了实验神经起步点、随机理论模型和确定性理论模型产生的3种整数倍峰放电节律及其变化规律。

The rubber composition for covering a carcass cord of the present invention comprises 25 to 80 parts by mass of silica, 1 to 15 parts by mass of a silane coupling agent and 3 to 30 parts by mass of an organic vulcanizing agent represented by the following general formula (1):- n - wherein R is -(CH 2 -CH 2 -O) m -CH 2 -CH 2 -; x is an integer of 2 to 6; n is an integer of 10 to 400; and m is an integer of 2 to 5, based on 100 parts by weight of a diene rubber, and a tire prepared by using the rubber composition.

以100重量份的二烯橡胶为基准，本发明的用于包覆胎体帘线的该橡胶组合物包含25～80质量份的二氧化硅、1～15质量份的硅烷偶联剂和3～30质量份的由如下化学式(1)表示的有机硫化剂：- n -，其中R是-(CH 2 -CH 2 -O) m -CH 2 -CH 2 -；x是2～6的整数；n是10～400的整数；并且m是2～5的整数，以及使用该橡胶组合物制备的轮胎。

GPS precise positioning, baseline precision, general normal equation, decorrelated and admissible integer transformation, ambiguity integer solution, success rate, admissible integer estimation, pull-in region, probability density function

GPS 精密定位，基线精度，通用法方程式，降相关的可容许整数变换，模糊度的整数角，成功率，可容许整数估计，归整域，概率密度

In this dissertation, digital lock-in detection techniques under integer period sampling and non-integer period sampling are separately investigated (1) Under integer period sampling, digital signal sequence is acquired through sampling the measured signal, but digital reference sequence is acquired through mathematical operation, then digital lock-in detection can be realized by calculating crosscorrelation function of digital signal sequence and digital reference sequence Harmonic measure is also analyzed, and a method of measuring harmonic of a periodic signal under aliasing is put forward.

本文对使用采样ADC把模拟信号转换为数字信号并通过计算数字信号的相关函数来实现锁定检测的技术进行了研究，在此基础上设计了一个多功能的数字LIA并在一些科学实验中进行了应用。本文对整周期采样和非整周期采样时的数字锁定检测技术分别进行了研究。(1)在整周期采样时，对被测信号进行采样得到信号序列，而参考序列由数学运算得到，通过计算信号序列和参考序列的互相关函数就可实现锁定检测。

Generally considered non-linear integer programming can be divided into linear and integer part, so often Integer linear programming as a special part.

一般认为非线性的整数规划可分成线性部分和整数部分，因此常常把整数规划作为线性规划的特殊部分。

The Integer Solutions Property: As long as all the supplies, demands, and arc capacities have integer values, any minimum-cost flow problem with feasible solutions is guaranteed to have an optimal solution with integer values for all its flow quantities.

具有整数解的特征：只要其所有的供应、需求和弧的容量都是整数值，那么任何最小费用流问题的可行解就一定有所有流量都是整数的最优解

The circulation, consumption and reproduction of the trilogy have not only testified to its historical significance and literariness, but also invested it with new meanings.

该三部曲的流通、消费与再生产不仅验证了其历史意义及文学性，而切还赋予它以新的意义。

If he thought that he could buy me off, he would be wrong.

如果他认为他可以收买我，那他就大错特错了。