证明用的

Launching astronauts on a commercial vehicle would be unprecedented, but not far-fetched: NASA has already contracted SpaceX to take cargo to the ISS on unpiloted flights of its Falcon 9 and Dragon system, beginning in 2010, although SpaceX will need to carry out successful demonstration flights by then.

用商业飞船运送宇航员将是前无古人的，但并非不现实：NASA已经和SpaceX签订了一份合同，计划在2010年利用'猎鹰9'火箭和'龙'型飞船向国际空间站运送货物，前提是 SpaceX必须证明自己具备这种能力。

We first show that the multiple harmonic Ritz values have only one harmonic Ritz vector associated with them in algebra.

用代数方法证明对每个重调和Ritz值，只有一个线性无关的调和Ritz向量与之对应。

On the basis of studying the composition of composition golden mine remnant sand mineral and chemical composition,this paper introduces the technology of manufacturing wall and floor tiles with the golden mine remnant sand.

本文在研究金矿尾砂矿物组成和化学成份的基础上，利用金矿尾砂制备墙地砖坯体，经实验证明金矿尾砂可代替长石作为墙地砖坯用原料，用量可达40%～50%，实现变废为宝，经济效益明显。

A］Instead of just touching up damaged spots, most early restorers painted over them with a heavy hand.

E。文章第四段第一句说，难怪乎他们只会损坏文物，接下来的描述就证明了这一点，即用"肥皂、生洋葱、青苹果去擦拭作品"。

It was identified that the nif gene for aerogenic P. agglomerans strain waslocated on plasmid while for anaerogenic strains were located on chromosomes usingKlebsiella pneumoniae nifHDK as probe.

用nifHDK为探针进行Southern杂交证明固氮成团泛菌产气型的菌株固氮基因定位在质粒上，而不产气型菌株固氮基因定位在染色体上。

With the help of mildconditions,Burkholder-Davis-Gundy\'s inequality and Doob\'s inequality of tree mar-tingales are proved by the application of this method.

在合理假设下，用这种方法证明了树鞅的Burkholder-Davis-Gundy\'s不等式及Doob不等式。

The heterogenicity of random 15-peptide library were identified by PCR-SSCP.

用PCR-SSCP检验了库的异质性，结果证明异质性符合要求。

A hindcast data the for years was established.Then a linear model was set up with the data set.The test for the precipitation field in summer was conducted.It shows that the optimal blending method can improve the forecast skill significantly,but the skill varies year-to-year.

首先运用多种方法建立多年试报数据集，随后对数据集构建线性模型，用此模型对我国汛期(6-8月)降水场进行了试验，证明最优调合法能显著提高预报技巧，但其效果有明显的年际差别。

BALB/c mice were injected with the recombinant pCMV-ME plasmid DNA contained PrM-E gene interdermally and intramuscularly.

在证明其可在哺乳动物细胞中高效表达的基础上，进一步用重组质粒DNA免疫小鼠。

BALB/c mice were injected with the recombinant pCMV-ME plasmid DNA contained PrM-E gene interdermally and intramuscularly.

在证明其可在哺乳动物男性细胞中高效表达的基础上，进一步用重组质粒DNA免疫小鼠。

And Pharaoh spoke to Joseph, saying, Your father and your brothers have come to you.

47：5 法老对约瑟说，你父亲和你弟兄们到你这里来了。

Additionally, the approximate flattening of surface strip using lines linking midpoints on perpendicular lines between geodesic curves and the unconditional extreme value method are discussed.

提出了用测地线方程、曲面上两点间短程线来计算膜结构曲面测地线的方法，同时，采用测地线间垂线的中点连线和用无约束极值法进行空间条状曲面近似展开的分析。