证明性的

A feasibility study has been done with existing mobile units; and it was found that GPRS is the optimum bearer in terms of speed, immediacy and compatibly with the existing infrastructure.

通过研究证明：在目前的移动设备间传输数据，无论在速度上、实时性、可靠性上，GPRS 都是最好的承载方式。

We show that the multisymplectic conservational law of Bridges' and MPS' areequivalent.

我们还证明了两种意义下的多辛守恒律的等价性。

In the second part, we establish a long-run cooperative model of duopolistic markets which is based on the traditional Nash bargaining model. We define the long-run equilibrium of bargaining with threats, and prove that the bargaining value of long-run equilibrium pairs is unique.

在第二部分中，我们建立了双头垄断市场长期合作模型，在传统Nash谈判模型基础上，加入讹诈因素，并定义了长期讹诈谈判均衡，证明其均衡态的存在性及谈判均衡值的唯一性。

In theory, on entry into endosome of tumor cells immunoGrB protein releases C-terminal PE Ⅱ-GrBa into cytosol as a result of auto-cleavage of peptide bond between Arg279 and Gly280. Two kinds of PE translocating peptides covering 253-364 aa and 253-358 aa were compared for their endosome-disruptive function.

一方面，从瞬时表达、可诱导表达和组成性表达三方面研究证明，N端部分PE Ⅱ序列(PE 280-364 aa和280-358 aa)的存在基本不影响GrBa诱导转染细胞死亡的作用。

We characterized the RNA and protein content of embryonic stem cell microvesicles and show that they can be engineered to carry exogenously expressed mRNA and protein such as green fluorescent protein.

我们对胚胎干细胞微泡的RNA和蛋白质含量进行特征性描述，并证明它们可以被设计用于传送外源表达的mRNA和蛋白，如绿色荧光蛋白。

The experimental model of the spinal fusion in the lumbar intertransverse process was produced in 24 male goats aged 6-8 months, which were divided into 3 groups according to different implant graft.

动物骨均有相似的生物材料结构和造型，关键问题是植入体内免疫问题［2］。以往许多研究证明采用脱蛋白方法可达到消除异种骨免疫原性目的，这暗示着异种骨可能会是一种经济、有效的组织工程骨支架材料。

The experimental model of the spinal fusion in the lumbar intertransverse process was produced in 24 male goats aged 6-8 months, which were divided into 3 groups according to different implant graft.

动物骨均有相似的生物材料结构和造型，关键问题是植入体内免疫问题［2］。以往许多研究证明采用脱蛋白方法可达到消除异种骨免疫原性目的，暗示着异种骨可能会是一种经济、有效的组织工程骨支架材料。

In this paper, a new class of memoryless non-quasi-Newton method for solving unconstrained optimization problems is proposed, and the global convergence of this method with inexact line search is proved.

本文导出了一类无记忆非拟 Newton 公式，并证明了采用非精确线搜索的无记忆非拟 Newton算法的全局收敛性。

The convergence of the SOIO has been proved and the optimization quality of the MOIO has been tested by comparing with some multiobjective genetic algorithms.

证明了免疫单目标优化方法的收敛性，将免疫多目标优化方法与几种多目标遗传算法进行了比较，免疫多目标优化方法显示了一定的优越性。

The monomeric dye with more than two active group has the tendency of cross-linkage.

通过紫外-可见光谱、核磁共振和溶解性试验对聚合型染料的结构和性能进行了表徵，证明了染料分子与聚合物链的化学键合。

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.

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