查询词典 integer solution

The invention relates to a way to prepare nickel, manganum and cobalt hydroxide. The method includes making the mixed solution a coprecipitate with mixed solution B in base solution C. The mixed solution A contains nickel salt, manganese salt and cobalt salt, the mixed solution B is a strong base solution, the base solution C is aqueous ammonia solution. The solution A also contains ammonium salt while solution B also contains aqueous ammonia; besides, after being mixed, the molarity of ammonia in solution A and solution B is the same with that in solution C.

一种镍锰钴氢氧化物沉淀的制备方法，该方法包括将混合液A和混合液B在底液C中进行共沉淀反应，所述混合液A中含有镍盐、锰盐、钴盐，所述混合液B为强碱溶液，所述底液C为氨水溶液，其中，所述混合液A中还含有铵盐，混合液B中还含有氨水，并且参于等当量反应的混合液A中的铵盐与混合液B中的氨水在混合液A和混合液B混合后氨的摩尔浓度与底液C中氨的摩尔浓度相等。

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 intermediates of manufacturing process include the hydrolyzed solution, the aqueous solution of Radix Isatidis extraction, the aqueous solution of Fructus Gardeniae extraction, the aqueous solution of Flos Lonicerae Japonicae extraction, the aqueous solution of baicalin, the alcohol solution of mixteure composed by cholic acid and hyodeoxycholic acid, 4-blended solution, 6-blended solution, the blended solution of baicalin and ASFLJE and 8-blended solution.

清开灵注射剂处方由胆酸、猪去氧胆酸、水牛角、黄芩苷、板蓝根、栀子、金银花和珍珠母组成，其生产过程中间体包括水解液、板蓝根液、栀子液、金银花液、黄芩液、四混液、胆酸混合液、六混液、银黄液和八混液。

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

Then, it studies the supply chain management system as a complex system to confirm the state existing during operating of the system. After that, it conducts a probability analysis on the state which the system located by applying supplement variable method, and establishes the model of distributed parameter system in a form of partial differential equations. Combining C0 ? semigroup theory in the functional analysis, it conducts a dynamic analysis on the established mathematical model. Using this method, it obtains the mathematical expression of the dynamic solution and the steady state solution, and proves the uniqueness, non-negativity and the asymptotic stability of the system solution. This dissertation applies the Matlab tool and uses two-step, three-step Simpson integral equation to imitate the condition of system solution. Then, it adds possible mode of failure and the optimization adjustment state to the system, based on which it has established the distributed parameter system model which is described by partial differential system of equations. Combining the functional analysis C0 ? semigroup theory, it studies the established mathematical model, and obtains the mathematical expression of the dynamic solution system and the steady state solution. It has proven the existing of uniqueness of the system solution, the asymptotic stability of system solution and the system solution. In addition, it has lying the theory rationale for further analysis and the research on the optimization of system.

本文首先简要综述了供应链理论、可靠性研究、鲁棒性研究以及供应链鲁棒性研究的现状；然后，将供应链系统作为一个复杂系统来分析，确定了系统运行过程中所经历的状态，通过引入补充变量的方法，建立了用偏微分方程组描述的分布参数系统模型，用泛函分析中的C_0 -半群理论得到了系统动态解和稳态解的数学表达式，证明了系统解存在的唯一性、非负性和指数阶渐近稳定性；并借助Matlab工具，利用二阶、三阶辛普森积分方程模拟系统解的性态，并给出系统动态解的仿真图；本文又对上述系统增加了系统可能失效状态和优化调整状态，并在此基础上建立了用偏微分方程组描述的分布参数系统模型，同样用泛函分析中的C_0 -半群理论对所建立的数学模型进行了研究，得到系统动态解和稳态解的数学表达式，证明了系统动态解存在的唯一性、非负性及渐近稳定性，为进一步分析和研究供应链优化奠定了理论基础。

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

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.

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

Moreover in carrier phase difference localization application, this paper introduces the basic principles of both the integer least square method and the LAMBDA method for resolving the integer ambiguity solution. Through a short baseline example and compared with the unlimited least square method, the results show that, LAMBDA method considers the ambiguity's integer characteristic and also decorrelates ambiguity's covariance, so it meliorates the covariance field of ambiguity, avoid the covariance's discontinuity.

另外在载波相位差分定位的应用中则详细讨论研究了整周模糊度解算中的基于整数最小二乘法及其降相关平差方法解算原理，通过一个短基线的实例计算分析其定位效果表明：较于未加限制的最小二乘搜索算法，LAMBDA方法能使相应的定位精度明显提高，具有较高的应用价值。

But this is impossible, as long as it is engaging in a market economy, there are risks in any operation.

但是，这是不可能的，只要是搞市场经济，是有风险的任何行动。

We're on the same wavelength.

我们是同道中人。