证明用的

The problem isdiscussed and the error caused by using the approximate formula proves to be superior to that caused by using the homogeneous Taylor's polynomial and an expression is proved to be similatr to the remainder in Taylor's formula.

由讨论这个问题出发，证明了用这种近似式产生的误差，优于用同阶Taylor多项式产生的误差，并给出这个误差的一个类似于Taylor公式余项的表达式。

We use Hodges-Lehmann statistic to do significance test for those factors. The multiplication model is applied in the quantitative analysis and weighted least squares method is introduced to solve the multiplication model. Although the matrix of coefficients is not of full rank and the solutions of the multiplication model are not unique, we prove that all those solutions are equivalent in some sense.

本文用Hodges-Lehmann统计量对风险因子作显著性检验，将乘法模型用于数据修匀和风险因子的定量分析中，并提出了用加权最小二乘法求解风险因子的风险度量，在系数矩阵不满秩、解不唯一的情况下证明了所有解在某种意义下的等价性。

Because It take more time that copying the color graphics with software programmble on the color matrix printer , It is necessary that copying the color graphics with video signal of CRT.

由于用软件的方法在彩色点阵打印机上拷贝彩色画面费时费力，促使我们用硬件的视频信号来进行彩色画面的拷贝，实践证明效果较好。

They are presented in need of special curves and surfaces in engineering applications. In order to prove that the uniform C-B-spline basis is normalized totally positive, we compute the matrix which transforms the C-Bézier basis into the uniform C-B-spline and decompose this matrix into a product of. bidiagonal and stochastic factors.

本文用递推的方法，计算出代数三角空间中的n次C-Bézier基与n次均匀C-B-spline基之间的转换矩阵，并把该矩阵分解为一系列二对角阵的乘积，从而证明出n次均匀C-B-spline基是一个标准全正基，进一步用插入节点的方法，把它扩充为一组标准B基，从而我们可以利用B基的很多优良性质，在工程应用中对这两组基进行开发利用。

The stability and convergence of the fully discrete solutions are proved and the convergence order is also given.

从数值实验上也验证了该算法的可行性和高效性，对非定常N-S方程提出了一种新的全离散TGM：空间离散用标准FEM，时间离散用Crank-Nicolson格式，证明了全离散解的稳定性与收敛性。给出了收敛阶。

It is verified that th action's mean value of the expected value by simple radom sampling is equal to one by stratified radom sampling.

证明了在期望值决策准则下，用等概率分层随机抽样得到的方案收益期望值的均值，与用简单随机抽样得到的相同。

We prove that a diagram can be drawn with conicoid sequentially if and only if it can be described by a set of triangular equations of degree less than nine.

同时证明了一个三维几何图形可以用平面、球面和圆锥曲面构造出来的充分必要条件是这个三维几何图形可以用一个三角化的次数小于9的代数方程组来描述。

Simulation experiments' data show that by using this methods it can precisely generate non Gaussian correlate random sequence with specified probability density and power spectrum,and reproduce verisimilarly the scatter coherent video signal of radar sea clutter containing both amplitude and phase.

其中迭代算法用来计算非线性变换过程中高斯序列相关性的变化，而随机向量法用来完成线性变换，仿真实验数据证明利用这种方法可精确地产生具有指定概率密度和功率谱的非高斯随机序列，逼真地复现既包含振幅又包含相位的雷达海杂波相干视频散射信号。

The index, W value, localizes the bridge damage precisely and has a high sensitivity to the damage with a powerful antinoise ability. The numerical results show that the proposed index is convenient to be calculated.

结果证明，用损伤指标W值能较为准确地识别出大桥主梁的损伤位置，可以用来指示大桥可能发生的损伤，对识别的灵敏度和抗噪声能力有了较大的提高。

The torsion meter can be used to mock the torsion waves' spreading and destruction, it also can be used to make traditional rocking bed experiment, bouncing bed experiment and three dimension mixed experiment.

扭仪除了可以用来模拟扭波的产生传播和破坏而外，还能用它来作传统的摇床式实验、蹦床式实验和三维混合实验，是一个万能实验仪，可用它来证明各种传统的实验结果均与地震破坏相悖，都不能做为设防抗震的依据。

And Pharaoh spoke to Joseph, saying, Your father and your brothers have come to you.

47：5 法老对约瑟说，你父亲和你弟兄们到你这里来了。

Additionally, the approximate flattening of surface strip using lines linking midpoints on perpendicular lines between geodesic curves and the unconditional extreme value method are discussed.

提出了用测地线方程、曲面上两点间短程线来计算膜结构曲面测地线的方法，同时，采用测地线间垂线的中点连线和用无约束极值法进行空间条状曲面近似展开的分析。