证明性的

The study proved that the black moth is a representative of sex-controlled inheritance in silkworm. It is named sex-controlled melanism with the gene symbol sml.

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

To deal with this, a minimal model theory is devel-oped, by which the temporal semantics of MSVL programs is captured.

因此，我们提出了极小模型理论并证明了极小模型的存在性定理。

This paper analyzes the multilayer quadratic neural networks and a kind of Kalman filter learning algorithm.

提出了二次型多层前馈神经网络的卡尔曼滤波学习算法，并证明了该算法的收敛性。

To demonstrate experimentally the generation of velogenic NDV from a nonpathogenic waterfowl isolate, we passaged an avirulent goose isolate in chickens.

为了通过实验证明从水禽中分离的非致病型NDV可以转变为速发型病毒，我们通过在鸡体内传播鹅源性无毒力株，经气囊接种连续传代 9次，随后再在鸡脑内传代 5次。

Observational studies, like this one, don't prove cause and effect.

像这样的观察性研究，不证明因果关系。

On the basis of this, the existence of optimal risk control strategy is proved.

在此基础上，证明了最优风险控制策略的存在性。

According to state corrosion rate experiment,it is possible that acetaldehyde oxime is reducer in the oxidation solution,and its result is very good in the boiler acid cleaning of some power plant.

根据静态腐蚀速率试验，证明乙醛肟在氧化性溶液中用作还原剂是可行的。

An approach is given to pick out the optimal solution from the set of solutions of the parametric optimization problems.

这种算法为三级算法。本文证明了算法的收敛性并建立了其理论基础，仿真效果好。

The 1970s, he and Penrose odd that the famous theorem, and in 1988 shared Wolf Physics Prize.

七十年代，他和彭罗斯证明了著名的奇性定理，并在1988年共同获得沃尔夫物理奖。

By constructing a different piecewise linear supply function, the existence of piecewise linear supply function equilibria in electricity market is proved. From the theoretical point of view, new results regarding existence of these equilibria are presented.

在这种电力市场环境下构造了一类分段线性供应函数，证明了分段线性供应函数纳什均衡解的存在性，从理论上获得了相关新结论，为电力市场供应函数均衡近似数值求解算法设计提供理论基础。

Singer Leona Lewis and former Led Zeppelin guitarist Jimmy Page emerged as the bus transformed into a grass-covered carnival float, and the pair combined for a rendition of "Whole Lotta Love".

歌手leona刘易斯和前率领的飞艇的吉他手吉米页出现巴士转化为基层所涵盖的嘉年华花车，和一双合并为一移交&整个lotta爱&。

This is Kate, and that's Erin.

这是凯特，那个是爱朗。