建立了双频载波相位观测模型，并将其进行无电离层延迟化简，用最小二乘原理推导了天顶湿延迟的估值公式。
The dual-frequency carrier phase observation equation is built and ionosphere-free predigested, the estimate formula of zenith wet delay is deduced with least square method.
先给出这些问题的提法，然后使用列紧性原理和极值原理证明了上述二阶椭圆型方程边值解的存在性和唯一性。
Fristly the boundary value problems for the equations is formulated, and then by using the compactness principle, the existence of solutions for the above problems is proved.
使用虚功原理和位移线性插值推导了满足二次分布力作用的精确节点力分配公式。
The precise formula of node force fitted second order distributed load is developed sing virtual work principle.
利用该弱极大值原理，证明了对于第一类、第二类和第三类边值问题，水汽方程解的唯一性和稳定性。
By using the weak maximum principle, the uniqueness and stability of the solution of water vapour equation with the first, second and third boundary-value problems were proven.
介绍了基于插值细分法的第二代小波变换的基本原理和变换过程，给出了小波降噪的阈值选取方法。
The principle and process of the second generation transform based on interpolating subdivision is described, and then the selection of wavelet shrinkage is provided.
在分析、讨论传统二值图象连通体检测原理的基础上，设计了一种新的二值图象连通区域检测算法。
Basing on the analysis on traditional connected component detection algorithm, this paper developed a new connected component detection algorithm basing on image plane scanning.
利用线性规划论的最优性原理和图解法解决一些特殊二重积分的估值问题。
This paper solves some special estimating value problems of double integral with the help of the optimality principle and graphical solution of the linear programming.
论述了区域几何形状分布特征增强的差分动态二值化方法，阐述了特征稀少图像的拼接原理和计算步骤。
For enhancing the region geometric shape features we described a Difference Dynamic Binary Method. And then the merging principle of images on which there is little point's feature was discussed.
作为最大值原理的应用，我们研究了一类部分可观测的递归线性二次最优控制问题。
As an application of the maximum principle, one kind of partially observed linear quadratic recursive optimal control problem is also studied.
基于上下边缘点匹配的连通域搜索算法利用连通域的上下边缘点是一一对应的这一基本原理 ，设计出新的高效二值图像连通域搜索方法 。
This paper presents a new algorithm for searching the connective regions in the binary image based on the matching between the up contour and down contour points.
文中首先分析了三值触发器预置端的功能，将二值触发器的邻控原理推广到三值触发器中。
We analyse the function of the preset terminals of a flip-flop and extend the neighbour-controlling principle for binary flip-flops to that of ternary flip-flops.
文中首先分析了三值触发器预置端的功能，将二值触发器的邻控原理推广到三值触发器中。
We analyse the function of the preset terminals of a flip-flop and extend the neighbour-controlling principle for binary flip-flops to that of ternary flip-flops.
应用推荐