证明性的

We prove the solvability of the first eigenvalue problem for a class of quasilinear elliptic equations including distance potential with homogeneous Dirichlet boundary condition.

变分原理证明了一类含距离位势的拟线性椭圆方程齐次Dirichlet边界条件下第一特征值问题的可解性。

Lecithin may prove useful in alleviating the symptoms of Senile dementia, Alzheimer's disease and Tardive dyskinesia.

卵磷脂可能证明是有益的，在减轻症状的老年痴呆症，阿尔茨海默氏症和迟发性运动障碍。

In this paper, we determined the toxicity of transgenic Betula platyphylla with Bt spider peptide gene. Larvae of Lymantria dispar were feed on leaves of transgenic Betula platyphylla with Bt spider peptide gene, The mortality, reduced ratio of weight, ecdysis index and schedule time of every instar.

本文对转Bt C肽蜘蛛杀虫肽的白桦进行杀虫性测定，对取食对照和转基因植株舞毒蛾幼虫的死亡率、体重降低率、蜕皮指数、幼虫各龄级历期等指标进行了分析，证明外源基因已经成功插入白桦基因组中，并且能够表达杀虫蛋白。

But, by semantic embedding the theorem derivations in object logic usually descends to ones in base logic, which not only requires users know the encoding quite well, but also lower the abstraction level of object logic, and readability and hand-reexecutability of proofs.

但是，语义嵌入方式下目标逻辑定理推导常常向基逻辑下降，这不但要求用户了解编码细节，而且也大大降低了目标逻辑的抽象性以及PVS一向追求的证明可读性和手工可再现性。

In the SIRS epidemical models with impulsive vaccinations, we prove the existence and global stability of the disease-free periodic solution.

对脉冲预防接种的SIRS流行病模型，证明了无病周期解的存在性和全局渐近稳定性。

When the masses of the two balls are unequal, we numerically found that ergodicity still preserves.

对于质量不相等的情形，我们数值证明了系统的遍历性。

By means of ESCA and phase-contrast microscope, it has been demonstrated that the curing of NH2(CH2)3Si(OC2H5)3 itself is the reason of this phenomenon.

用ESCA和相差显微镜等方法证明了这种现象是由于NH2（CH2）3Si（OC2H5）3自身固化产生的分相性引起的。

By changing differential equations into nonlinear integral equation,we study the existence of positive solution of a class of second order differential equations problems by the fixed point theorem of cone expansion and compression,and the fixed point index theorem,then we obtain two multiple positive .

通过将常微分方程转化为非线性积分方程，利用锥拉伸和锥压缩不动点定理和不动点指数讨论了一类二阶常微分方程的正解存在性问题，在一定条件下，得到了几个多重正解定理，同时证明了与此相关的主要引理

Soon a number of other filterable agents were shown to be the causes of both plant and animal disease.

不久，很多其他的滤过性病原体被证明是某些植物和动物疾病的病因。

In section 6,we we prove the existence of generalized vector quasi-equilibrium problem by the generalized Fan-Browde fixed point theorem.

在第六节，通过推广Fan-Browder的不动点定理证明了一个广义向量拟均衡问题的存在性。

But we don't care about Battlegrounds.

但我们并不在乎沙场中的显露。

Ah! don't mention it, the butcher's shop is a horror.

啊！不用提了。提到肉，真是糟透了。