可证明的

The linear relationship between paternity index and avuncular index is exhibited.

当母亲的DNA未知时，可证明孩子的3种母系亲属的DNA在亲子鉴定中的作用是相同的，并得到计算相应父权指数的一般公式，以及检测或未检测母亲DNA时计算父权指数的一般公式，其中，对立假设既可以取"疑父是一随机男子"，也可以取"疑父是孩子的一位父系亲属"；同时还证明了叔伯系数与父权指数之间的线性关系。

Other Features Include: removable basket, removable folding back chair with padded seat and back and removable/foldable arms, lift out battery pack, puncture proof tyres, folding tiller, foam handle grips, 6.5cm ground clearance, anti-tip rear wheels.

其他功能包括：可移动的座位和靠背垫和可移动折叠靠背椅移动篮/折叠式武器，摆脱了电池组，穿刺证明轮胎，折叠分蘖，泡沫手柄握把，6.5厘米的离地间隙，反尖后轮。

The fourth section is the reseach about I-fuzzy separability and I-fuzzy Lindelof property. The author introduces the concepts of I-fuzzy separability and I-fuzzy Lindelof property, and proves that the degree to I-fuzzy second countability in each of I-fuzzy topological spaces must be less than that to I-fuzzy separability and I-fuzzy Lindelof property.

第四部分是关于I-fuzzy可分性和I-fuzzy Lindelf性的研究，作者引入了I-fuzzy拓扑空间中I-fuzzy可分性和I-fuzzy Lindelf性的概念，证明了一个I-fuzzy拓扑空间是第二可数的I-fuzzy拓扑空间的程度一定小于它是可分的I-fuzzy拓扑空间的程度，也一定小于它是Lindelf的I-fuzzy拓扑空间的程度这也是著名的I-fuzzy Lindel

In chapterⅡ, Firstly, we research the derivable mappings at unit and the anti-derivable mappings at zero point on Von Neumann algebra M.

证明了在单位可导和在单位反可导的范数连续的线性映射是M上的内导子，在零点反可导的范数连续的线性映射是M上的广义内导子。

In the second part, we consider the intrinsic structure of the partition of ω, study the separativity of the orders (ω,≤ and discuss the distributivity of the lattices

本文第二部分通过研究自然数分拆的内在结构，讨论偏序(ω，≤的可分裂性，以及格(ω，≤的可分配性，我们证明了存在一个偏序它是可分裂的，但由它诱导的格却是不可分配的。

Chapter 3, in the above system, gives out the definitions of topological new transitivity, topological transitivity, topological strong transitivity and topological conjugate of a sequence of maps, studies basic properties of the above topological conjugate, and obtains some main results, proves topological new transitivity and topological transitivity are equivalent u-under a compact metric space, a sequence of full maps and interchangeable with each other, and that some conclusions associated with topological conjugate.

第三章，在上述系统中给出了一列映射的拓扑新传递、拓扑传递、拓扑强传递和拓扑共轭的定义；研究了一列映射的拓扑共轭的基本性质，得到了一些主要结果；证明了在底空间是紧致度量空间、一列映射是满映射并且两两可交换的条件下拓扑新传递和拓扑传递是等价的；还证明了几个与拓扑共轭相关的结论。

Combining NA samples the EB estimation with convergence rates is also obtained; Thirdly, for one-parameter exponential distribution family, we give the parameters' EB estimator that is admissible and asymptotically optimal with convergence rates. Finally, Bayesian and hierarchical Bayesian approaches are applied to analyze the reliability performances for series system with cold standby units and the numerical simulation results show that multiple Bayes estimator is superior to Bayes estimator.

其次，针对一类双边截断分布族，在非对称linex损失下构造了经验Bayes决策函数，建立了它的收敛速度，给出了渐近最优的证明；并结合NA样本研究了参数的经验Bayes估计及其收敛速度；接着给出了指数族参数的经验Bayes估计，证明了它是渐近最优的，也是可容许的，同时也获得了该EB估计的收敛速度；最后，运用Bayes与多层Bayes方法研究了具有冷贮备部件串联系统的可靠性指标的估计，并给出了数值模拟结果，结果表明多层Bayes估计优于Bayes估计。

The state variables are proved to be able to hit the switching hyperplane and its requirement is discussed based on Lyapunov stability criterion.

基于Lyapunov理论证明了所设计的控制器是滑模可达的，并给出了滑模可达条件。

It is also proved that the class of monotone increase functions is PAC solvable under a GA with reproduction and random mutation.

本文还证明了对于由复制和一个按顺序的变异构成的遗传算法，严格单增的函数是PAC可解的，单峰函数是非PAC可解的；对于由复制和随机变异构成的遗传算法，严格单增函数是PAC可解的。

First, the court interpreted the Clean Air Act permissively: the EPA's mandate to regulate emissions that "will endanger" public health was satisfied if the agency showed a significant risk of harm, not necessarily proof of actual harm.

首先，法院很宽容地解释了《空气洁净法》：如果环境保护署可证明存在很大的"将危害"公众健康的危险，其调整铅添加剂的挥发的命令即符合有关要求，而不必证明实际上的危害。

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.

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