证明性的

The global attractivity of the recursive sequenceis investigated, we show that one positive equilibrium point of the equation is a global attractor with a basin that depends on certain conditions posed on the coefficients.

我们首先在第二章讨论了方程的全局吸引性，并证明了方程的一个平衡点在某一和系数有关的区域内是一个全局吸引子。

The anti-sloughing mechanisms of modified polyalcohol were studied deeply through experiments including rolling and dispersing recovery,zeta potential and particle size distribution measuring,adsorption and .

通过降解和阳离子化反应，研制出了抑制性好而增粘负效应较低的改性多元醇防塌剂SD-306；通过红外光谱分析了改性多元醇防塌剂的分子结构，证明阳离子化反应引入了正氮基团；通过滚动分散、电动电位测量、粒度分布测量、吸附以及压力传递等实验手段，探讨了改性多元醇防塌剂的作用机理。

optical fiber coupler, scattering matrix ; output phase difference; Hermite quadratic form ; positive definite matrix

利用其散射矩阵为酉矩阵的么正性不难证明，2×2耦合器输出相位差恒为90°，与输出功率比无关，而耦合区具有旋转对称结构的3×3耦合器的输出相位差完全取决于输出功率比，特殊地，当等分功率输出时，输出

When we conducted a chemical assay of the uropygial preen gland secretions, we found 4 times more volatile octadecanol, nonadecanol, and eicosanol in ratios in males than in females, making them putative male pheromone candidates.

在这篇文章中，研究人员选取全世界最为广泛的笼养鸟和模式实验鸟－虎皮鹦鹉作为实验对象，利用传统的双向选择和GC-MS分析方法，证明鸟类确实存在"性信息素的通讯"。

We prove the strong con-vergence of the methods, that is, if the methods do not terminate in finite iterations,then every limit point of the sequence generated by the methods is a stationary pointof the primal problem.

本论文证明了所给算法具有强收敛性，即若算法不是有限步终止，则算法产生的迭代序列的所有极限点都是原问题的稳定点。

A general super memory gradient projection method was generalized to solve the nonlinear programming problems about the nonlinear equality constraints and in equality constraints by using general projection matrix.

利用广义投影技术，将求解无约束规划的超记忆梯度算法推广，建立了求解带非线性等式和不等式约束优化问题的一种超记忆梯度广义投影算法，并证明了算法的收敛性。

Of course, with the large scale, the proof of existence will also become muchmore difficult. That needs further study and exploration.

当然，随着规模的变大，存在性证明的困难性也会增强，这需要我们进一步的研究和探讨。

The experiments show that the method can make up the deficiencies of the description logic reasoner and complement the theorem prover for satisfiable formulas.

实验结果表明，这样可以解决描述逻辑工具的不足，并可以弥补定理证明器对可满足的公式推理的不完备性。

A rapid and reproducible method has been developed for the culture of pure follicular bulge cells which represent many characters of some stem cells.

建立了一种简单高效的毛囊隆突细胞的分离、培养方法，并证明其具有某些干细胞的特征性表现。

The teaching case that the Pythagorean theorem that this text offers proves is the application of probing into teaching.

本文提供的勾股定理证明的教学案例就是一次探究性教学的应用。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。