可证明的

POY and FDY oiling agent s on wetting, friction, heat-resisting, attrition-resisting properties, etc.

比较了国产和进口的适用于涤纶高速纺丝的预取向丝油剂及一步法牵伸丝油剂的润湿、摩擦、耐热、耐磨等性能，经实际生产应用证明二者的可纺性、上浆性、染色率基本相同。

In 1987, the notion of a splicing system was introduced by Tom Head in [3] as a mathematical model of restriction enzyme digestion and subsequence religation in the recombination of DNA molecules.

摘要1987年，Tom Head发表了一篇论文，引入拼接系统的概念作为限制酶与DNA作用、进行DNA重组的数学模型。更重要的是，他还证明正则语言中的一类——严格局部可测语言，与拼接语言的子类——持续拼接语言等价。

With the far and wide sweeping popularity of the Internet and smart-card based E-commerce over Internet, much recent research attention has been paid on the security threats of zero-knowledge protocols when they are executing in concurrent and resettable settings.

伴随着Internet以及Internet上基于智能卡的电子商务的广泛普及和大规模应用，零知识证明系统在并发及可重置环境中运行时所遇到的安全问题最近得到了高度重视和深入的研究。

With the far and widesweeping popularity of the Internet and smart-card based E-commerce over Internet, muchrecent research attention has been paid on the security threats of zero-knowledge protocolswhen they are executing in concurrent and resettable settings.

伴随着Internet以及Internet上基于智能卡的电子商务的广泛普及和大规模应用，零知识证明系统在并发及可重置环境中运行时所遇到的安全问题最近得到了高度重视和深入的研究。

By using the dynamic analysis model, the whole process of seismic responses of slitted shear wall was imitated Meanwhile the calculating results were in good agreement with the experiment results, the validity and applicability of this nonlinear R. C. finite element dynamic analysis model is further proved.

运用钢筋混凝土非线性有限元动力时程分析计算程序对带竖缝剪力墙在地震作用下的动力反应进行全过程仿真计算分析，取得了与试验相一致的结果，从而进一步证明了所建立的非线性有限元分析模型的正确性和可应用性。

Finally, a modeling system based on requirement baseline is designed on the basis of the data model. Using SQL SERVER 2000, this modeling system proves that it is possible to sovle those problems like the consistency, integrality and trackable characteristic of SCI in the process of SCM.

通过基于需求基线的软件配置管理原型系统的设计，证明了以该数据模型为基础设计的系统用于解决软件配置管理过程中软件配置项的一致性、完整性和可追踪性等问题的可行性。

The novel scheme employs verifiably encrypted RSA signatures in the extended integer ring that is elaborately constructed. The security and efficiency of the newly devised scheme are also proved and examined.

在此基础上，利用精心构造的扩环中可公开验证的、加密的RSA签名，提出了一种完全基于RSA签名方案的优化公平交换协议，并对其安全性和效率进行了证明和分析。

And those found worthy of blame, either to the extent of being condemned or on account of there being sufficient evidence to justify recourse to torture so that the truth might be extracted, are to be returned to the diocesans or ordinaries so that these may lawfully proceed further, on our authority, in the inquiry or the accusation and may terminate the case according to what is just .

这些发现值得指责，无论是在多大程度上被谴责或到有足够的证据来证明诉诸酷刑，以使事实真相可能会被提取，要退还给diocesans或普通，以便使这些可合法工作此外，我们的权力，在调查或指控，并可能终止的情况下根据什麼是公正的。

Pretested that in the circumstance of proteus one can design the hardware and debug the software easily and by this the cycle of design will be shorten and efficiency will be level up.

这里通过介绍一种基于51单片机电子密码锁的仿真设计过程，证明了在proteus的环境下可以方便完成单片机和数字电子系统的硬件设计和软件调试，证明其可缩短我们作品的开发周期，提高设计效率。

The practice shows that the formwork system, which is composed of the annular formwork, radicalized steel tubes and movable bearing plates, has the advantages of reasonable design, safety and reliability, simple structure and convenient construction.

实践证明，这种由环状模板、辐射状钢管和可调支托组成的模板体系设计合理、安全可靠、结构简洁、施工便利，配以先进的施工方法和严格的质量控制，可以实现高精度的结构尺寸控制，提高工程质量。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。