证明性的

By the combinatorial proof or combinatorial interpretation, the identity is equipped with certain count meaning. The most general way in the combinatorial proof is to count two sides of the identity by two different methods. Generaly, through building a bijection from one set to another one, the number of the two sets respectively represents the two sides of the identity.

恒等式的组合证明或组合解释赋予了恒等式一定的计数意义，组合证明最常用的方法是分别用两种不同的方法对恒等式的两端进行计数，一般通过构造两个集合之间的双射，这两个集合的个数分别表示恒等式的两端，从而根据双射的一一对应性证明恒等式。

Moreover, by the combinatorial proof or combinatorial interpretation, the identity is equipped with certain count meaning. The most general way in the combinatorial proofs is to count two sides of the identity by two different methods. Generaly, through building a bijection from one set to another one, the number of the two sets respectively represents the two sides of the identity. Because of the 1-1 property of bijection, the identity is proved.

此外，恒等式的组合证明或组合解释赋予了恒等式一定的计数意义，组合证明最常用的方法是分别用两种不同的方法对恒等式的两端进行计数，一般通过构造两个集合之间的双射，这两个集合的个数分别表示恒等式的两端，从而根据双射的一一对应性证明恒等式。

The iris radius of 60 (93 eye) patients with early pupillary block primary angle closure glaucoma was measured with this method, it showed:(1) there was a statistically significant difference in iris radius between the patients with early stage primary pupillary block angle closure glaucoma and the normal subjucts (53 cases 106 eye) with the age matched group (P.01),(2) it is proved with the stepwise discriminatory analysis that the iris radius-the most significant bio-anatomic parameter of the anterior segment is usefull to diagnose early primary pupillary block angle closure glaucoma by stepwise discriminatory analysis.

本研究用此测量法测量了60例93只眼早期原发性瞳孔阻滞性闭角型青光眼的虹膜曲率半径，发现：（1）早期原发性瞳孔阻滞性闭角型青光眼患者的虹膜曲率半径小于同年龄正常人（53例106眼）的虹膜曲率半径，其差异具有显著性统计学意义（P.01）；（2）经多因素逐步判别分析证明本研究所提出的活体眼前节解剖学测量参数——虹膜曲率半径有助于原发性瞳孔阻滞性闭角型青光眼早期诊断。

For the homoclinics taking on values in the unbounded domain, in order to apply the usual "Mountain Pass " theorem, A compact embedding theorem is proved.

为克服同宿解取值于无界域而缺乏自然紧性，证明了一个紧嵌入定理，从而可以利用通常的山路引理与对称山路引理获得同宿解的存在性与多重性条件。

In conclusion that there is one and only one balance convergence point is proved and convergence error equation is given when convergence condition is satisfied.

对算法收敛性进行分析和证明，给出算法的收敛判据并证明当满足收敛条件时必存在唯一平衡收敛点，同时给出收敛误差方程。

Chapter 4 -rotundity and nearly strict convexity of quotient spaces. It is proved that ifis a -rotund or nearly strict convex Banach space andis a closed and proximinal subspace of, then the quotient spaceis also -rotund or nearly strict convex.

第四章 商空间的-严格凸性和近严格凸性：本章证明了若是Banach空间的任意可逼近子空间，则商空间对原空间的-严格凸性和近严格凸性都具有遗传性。

The paper proposes a method which uses iteration learning control theory to design correction signal to self servo-writing loop. And the correction process can be used to conditions which precision model of plant can\'t be got. The convergence of iteration process can be proved by theory and experiments.

研究发现，自伺服刻写径向误差消除的过程很类似于迭代控制过程，提出用迭代学习控制算法设计自伺服刻写环路的校正信号，并从理论上证明该校正过程能够很好适应无法获取精确致动器模型的情况，证明了迭代过程的收敛性，实验证明径向误差得到较好抑制。

The author constructed a linear schemes type Region-Project-Join-Normal-Form based on lossless join decomposition, and gave the form of RPJNF through the presentation of equivalence between semantic variable independence and syntax variable independence under finite precision domain. Some other new constraint data dependencies including partitioned multi-region existence dependency and single region existence dependency were also presented. A result of variables set under linear transformation was discussed.

文中给出并证明了多区域存在依赖满足的几条推理规则；提出并证明了线性序约束关系进行模式无损连接分解的充要条件是变量集满足变量独立和多区域存在依赖；设计了一种基于模式无损连接分解的区域投影连接范式；通过证明有限精度域上语义变量独立和语法变量独立的等价性，给出有限精度域上RPJ范式的表达形式。

That is why every theoretical testification of God's existence is doomed to failure.

当他在启蒙精神的影响一下，把证明上帝存在的证据放到理性的法庭进行检验之后，发现以往对于上帝存在的所有证明都要么缺乏明晰性，要么缺乏严格性，因而根本不能证明上帝之存在。

The second is the subjectivity and immaterialness in the applicability. The third is the advance of the content development. The forth is the formal neutrality and essential orientation and the last is the single goal and multiple arrangements.

针对有限的法学理论上关于证明标准特征的几种具有代表性的理论总结出本文所认为的民事诉讼证明标准在法学理论中所具有的特征，即内容上的客观性与确定性、适用上的主观性与无形性、内容发展中的历史前进性、形式的中立性与实质的倾向性、目标的单一性与层次设计的多元性。

But we don't care about Battlegrounds.

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

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

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