证明性的

In addition,a theorem for the convergence of detection of target contrail by this algorithm is given and proved so as to afford a solid guarantee for practical applications of the algorithm proposed in this paper.

文中给出并证明应用本算法能以概率1检测到运动点目标的收敛性定理。

The experimental results demonstrate that the algorithm is effective and efficient.

实验结果证明了算法的有效性和快速性。

Mapping of microsatellite markers in two wheat crosses segregating for Pm23 and Pm4b, respectively, in combination with the reported mapping of Pm4a, indicated that the three genes were all linked to the marker Xgwm356 with a distance of 3-5 cM. Allelism between Pm4b and Pm23 was then confirmed, when the progenies of a cross between VPM1 (Pm4b) and Line 81-7241, were shown to be all resistant to a B.

利用获得的8个标记对Pm4b进行遗传作图，结果表明，4个标记与Pm4b连锁(Xgwm356、Xgdm93、Xbar76和Xbarc122)。3个抗白粉病基因(Pm4a、Pm4b和Pm23)均与标记Xgwm356连锁，遗传距离为3-5cM，等位性测验证明Pm23与Pm4b为等位基因。

We show that compensatory fit can only work when there is a powerful informal organization already in existence, and when the gains from ambidexterity are substantial.

我们证明了补偿性适应只有在已经存在非正式组织存在的情况下或者怀有二心可以获得巨大收益时奏效。

It proves that th e light oil-based fuel has good antiknock property and good quality.

从而证明，轻油基燃料具有较好的抗爆性，燃料品质优良。

Experiments show that this algorithm can apply wider optimization methods and save more time and have better antinoise performance compared with the algorithm based on mutual information.

实验证明，相对于基于互信息的图像配准算法，本算法参数优化方法选择可以更灵活，时间消耗更少，噪声鲁棒性更优。

In this chapter, the existence and uniqueness of the solution to the scheme, the convergence and stability to the scheme are proved by using discrete functional analysis theory, the apriority estimate method and the Brouwer fixed-point theory.

在本章中，运用离散泛函分析理论，结合先验估计、Brouwer不动点原理证明了相应差分格式解的存在唯一性、收敛性和稳定性。

Studies were made on the development and viability of eggs of the pig Ascaris under natural conditions in Peking.

实验证明，在北京地区的自然坏境中猪蛔虫卵从4月至10月都能进行发育，5月至9月间能发育成侵袭性幼虫期卵。

Hereditary analysis showed that 18-130 system of black moth is controlled by recessive mutant gene on an autosome and characterized by sex-controlled inheritance.

研究证明该灰黑蛾是家蚕从性遗传的一个典型代表，命名为sex-controlled melanism，基因符号为sml。

In this paper, we establish the convergence problem of PMA by applying axiomatic model too.

本文同样利用公理化方法证明了人口迁移算法的概率收敛性。

For a big chunk of credit-card losses; the number of filings (and thus charge-off rates) would be rising again, whether

年美国个人破产法的一个改动使得破产登记急速下降，而后引起了信用卡大规模的亏损。

Eph. 4:23 And that you be renewed in the spirit of your mind

弗四23 而在你们心思的灵里得以更新