查询词典 integer polyhedron

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

Using the divisible theory of the integer,the underside conclusion is proved:for all the vertex-coloring formulas of the regular polyhedron ,let be any integer,the result of these formulas is still the integer.

利用整数的整除理论，证明了以下结论：在所有正多面体顶点着色公式中，当颜色数取任何一个整数时，这些公式的计算结果仍然是整数。

The Monte Carlo integration that the domain of integration is curved or complex connected curved polyhedron and the integrand has singular points is discussed in this chapter.where G is the domain of integration that is the curved polyhedron, and X P,where G, G,(i = 1,2,...s) is the domain of integration thatis the curved polyhedron,Chapter 3 Deals with the computer simulation on the multiple random current and LIFO multiple service desks mixed queuing system modles in discrete event system.

Z，为。厂的奇异点，且、训方」 SZ；。G一U乓，：一'，2，第三章讨论了多随机顾客流且后进先出的先有Ul个服务台并联，然后有 V个服务台串联，最后有UZ个服务台并联的串并联混合和先有 Vl个服务台串联，然后有U个服务台并联，最后有VZ个服务台串联的串并联混合多服务台排队系统模型的计算机模拟。

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)在整周期采样时，对被测信号进行采样得到信号序列，而参考序列由数学运算得到，通过计算信号序列和参考序列的互相关函数就可实现锁定检测。

Pachomius manual labour was organized as an essential part of the monastic life; and since it is a principle of the monks as distinguished from the mendicants, that the body shall be self-supporting, external work of one sort or another has been an inevitable part of the life ever since.

根据圣pachomius体力劳动组织作为一个重要组成部分寺院生活；以来，这是一个原则的和尚，作为有别于乞丐，该机构应自支撑，对外工作的这种或那种已一个必然的一部分，生活至今。

In order to study the effects of parametrical rolling on the ship movement and tilts, in allusion to ship's navigating in regular following waves, the equation of ship rolling motion is transformed into normal Mathieu equation by proper variable replacement when strong parametrical excitation in restoring moment varied according to sine or cosine wave.

为研究参数横摇对船舶运动和倾覆的影响，通过对船在规则波上随浪航行时，恢复力矩中出现的1个以正余弦规律变化的强参数激励项进行适当的变量置换，将船舶的横摇运动方程转换成标准形式的Mathieu方程。