证明性的

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.

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

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。