证明性的

In the present work, SDS-PAGE and light scattering method were used to evidence the 〓 and 〓 induced intramembrane aggregation of proteins. The aggregation was found mainly due to the binding of lanthanides to membrane proteins via noncovalent bonding.

本文用SDS-PAGE和光散射方法证明了由〓和〓可引起膜蛋白的聚集，这种聚集主要是由稀土离子以非共价键的与膜蛋白直接结合引起，也有少量以形成二硫键为特征的氧化性交联。

Linear convergence of the proposed method is proved under mild conditions.

方法的线性收敛性也是在比较宽松的条件下得到证明的。

The linear sampling method for the inverse scattering problem of acoustic waves is based on the fact that: a linear integral equation of first kind-far field equation including a parameter has an unbounded solution as the parameter approaches the scattering boundary from inside.

本文在此基础上就Dirichlet边界条件的声波反散射问题，利用积分方程理论严格证明了线性抽样方法对其的可用性，具体数值例子表明该方法是有效的。

This paper studies a completely generalized nonlinear quasi-variation-like inclusions problem in the setting of locally convex topological vector space s and proves the existence its solutions.

似变分不等式和广义拟似变分包含问题是研究非凸最优化问题、非凸和不可微最优化问题的重要工具。在局部凸的拓扑向量空间中研究了完全广义非线性拟似变分包含问题，并证明了其解的存在性

The local and global stabilities are examined. The possibility of existence of a bionomic equilibrium is considered. The optimal harvesting policy is studied by using Pontryagin's maximal principle.

证明了系统的局部稳定性、全局稳定性和生态经济平衡点的存在性，最后得到最优的捕获策略。

But mathematical science, which is the only real science that the entire civilized world has agreed upon, furnishes unmistakable proof of history repeating itself and shows that the cycle theory, or har monic analysis, is the only thing that we can rely upon to ascertain the future.

但是数学，整个文明世界承认的科学已明白无误地证明了历史的再现性，并向我们展示了循环理论，或类比分析，它是我们发现未来的唯一方法。

In this study, a stress induction expression promoter of monocotyledon (P-WCS120) was amplified from wheat genome. The result of sequencing displayed a base substitution mutant of 1 bp and an insertion mutant of 21 bps. This sequence was registered at GENEBANK as a new found sequence, because 3% of the sequence was found to be non-homologous with the original sequence.

本研究从小麦基因组扩增单子叶植物逆境诱导表达启动子P-WCS120，测序证明包括1个碱基的替代突变和21个碱基的插入突变，与原序列有3%的非同源性，被GENBANK认定为新发现序列，现已登记注册。

These conditions can be used to prove the sufficient and necessary conditions of the weak controllable property.

它是定常解析非线性系统弱能控充要条件的证明和受控对称性分析的基础，并在定常非线性系统的能控性分析中得到应用。

Using the axioms in nonstandard analysis give the nonstandard model and discuss some properties of nonstandard model.

第二部分，利用非标准分析理论讨论了拓扑空间中的基本概念以及拓扑空间的分离性，在具体的应用过程中对一些相关定理及结论给予理论证明。

Introduce the generalized Vandermonde matrix, and based on it, set up a representative form and the existence criterion of bivariate osculatory rational interpolation.

介绍了广义Vandermonde矩阵的定义，利用广义Vandermonde矩阵，给出了二元切触有理插值的一种表现形式，并给出了二元切触有理插值的存在性证明。

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.

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