证明是

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

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

In this articl, the background, the thoretical source and the basic content of Cuvis catastrophism are discussed, It is shown that it is not a subjective fabrication by Cuvier, but rather it is inherited from reforming former catastrophic ideas, on the basis of his long-term scientific practic, Therefore it helped to push forward the dvelopment of gology and biology.

本文论述了居维叶灾变论的产生背景，理论来源及其基本内容，证明它并不是居维叶的主观臆造，而是他在长期科学实践基础上对前人灾变思想的继承和改造。因此它对地质学和生物学的发展曾起到巨大推动作用。本文还论述了居维叶灾变论与其它灾变学说的区别；并列举大量现代科学发现证明居维叶所谓的灾变是不可否认的事实，是自然界中具有确定原因的必然发生的历史事件。

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.

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

Nor can it be said that this argument fails by proving too much -- by proving, that is, that the pope should be impeccable, or at least that he should be a saint, since, if the Church must be holy in order to overcome the gates of hell, the example and inspiration of holiness ought to be given by him who is the visible foundation of the Church's indefectibility.

也不能说这种说法未能证明太多-证明，即教宗应是完美无瑕的，或者至少他应该是一个圣人，这是因为，如果教会必须圣地，以克服地狱之门，例如与启示成圣的应该给予他谁是有形的基础，教会的

In chapter 3, Jordan derivations and Jordan isomorphisms of nest algebras are investigated. It is proved that every Jordan derivation of nest algebra is an inner derivation. Every Jordan isomorphism between nest algebras is either an isomorphism or an anti-isomorphism. Finally, a norm estimate for derivations of nest subalgebras of von Neumann algebras is given, and it is shown that every nest subalgebra of factor von Neumann algebras has property AIP .

第三章研究了套代数上的Jordan导子和Jordan同构，证明了套代数上的每一个Jordan导子都是内导子；套代数之间的每一个Jordan同构要么是同构要么是反同构；最后给出了因子von Neumann代数中套子代数上导子的一个范数估计，同时也证明了因子von Neumann代数中的任何一个套子代数都具有AIP性质。

Theorem of mean significance: The application derivative research function's nature wants directly or indirectly with the aid of Yu Zhongzhi,Specially Lagrange theorem of mean,Here is mainly from the equality proof, the inequality proof, existence asks some limits, the determination equation root and so on five aspects to carry on the discussion,so, The theorem of mean is transforms as the function in the sector research important tool, Must bring to the enough attention in the middle of ours study and the teaching.

中值定理意义：应用导数研究函数的性质都要直接或间接地借助于中值，特别是拉格朗日中值定理，这里主要是从等式的证明、不等式的证明、求一些极限、判定方程根的存在性等五个方面来进行讨论，因此，中值定理是转化为函数在区间上的研究的重要工具。在我们的学习与教学当中要引起足够的注意。

It also stipulates that a resident in the mainland wanting to marry a foreigner or a mainlander wanting to marry a resident in Hong Kong, Macao and Taiwan or an overseas Chinese, he or she should get relevant papers from the marital registration department to prove they are single and healthy.

新婚姻法还规定，如果大陆人士想要和外国人结婚，或者是大陆人士要和香港，澳门，台湾或者是海外华侨结婚，他或她应该到婚姻注册部门获取相关的证明，证明他们是否都是单身或健康。

If two parties want to sign a contract C over a communication network, they must "simultaneously" exchange their commitments to C Since simultaneous exchange is usually impossible in practice, protocols are needed to approximate simultaneity by exchange partial commitments in a piece by piece manner The party of secondly sending commitments may have a slight advantage; a "fair" protocol must keep this advantage within acceptable limits The protocol for signing a contract is improved based on the research result of secure multiparty computation In this protocol, the parties obliviously transfer the signed bit and the committed bit; the other parties can prove the validity of this bit based on the confirming sub protocol, but he cant gain more information about the whole signature by accumulating the signed bit or the committed bit After the parties exchange the whole signed information, they declare the commitment about the signature respectively, and gain the whole signature of the other party At this moment, the party doesnt care about the advance quit of the other party, because he has gained the whole signed information Finally, it is proved that this protocol is quit fairness

在网络环境中解决合同签订问题需要保证信息交换的同时性，以前提出的协议都会给第 2个发送者部分计算特权，利用不经意传输协议则可以解决这个问题在协议执行过程中，参与者将合同的签名位以及他对签名位的承诺不经意传输给对方，对方可以利用验证子协议证明该位的有效性，但是他却不能通过位交换次数的增加获取更多的完整签名的信息；在完成签名位的交换之后，参与者分别宣布承诺，并得到对方对合同的完整签名；在宣布承诺时，协议参与者已经获得全部的签名内容，要么是签名位，要么是对方对该位的承诺，因此参与者并不需要担心对方提前终止协议在文章的最后利用多方安全计算的结论证明了该协议满足终止公平性1 引言两个参与者A和B想要通过网络协商签订合同C 为了保证公平性，参与者必须同时交换自己对合同的签名，然而在实际的网络环境中，想要完全同时地交换对合同的签名是不可能的，他们必须将签名分成若干块依次地执行，以保证大致的同时性但是这种方法依然存在着问题

Afterward Waldhausen ([7]) showed that this topological hypothesis was true. Besides, Stallings ([11]) gave another conjecture that was equivalent to Poincare"s Conjecture. Thus we know both conjectures made respec- tively by Traub and Stallings are equivalent to Poincare"s Conjecture.

另外Stallings([11])又提出了另一个代数的猜想并同时证明也证明了这个猜想与庞加莱猜想是等价的，由此可知Traub所给的猜想与Stallings的猜想都与庞加莱猜想是等价的，从而这两个代数的猜想也是等价的。

Model checkers and theorem provers are all used to verify specifications of protocols. However, they are different. The former verify specifications in finite space, while the later prove some conclusions in infinite space.

模型检查和定理证明都是对协议的规格说明进行验证，不同的是，前者是在有限的空间中进行检查，而后者是在无限的空间证明结论。

Since historical times,England ,where the early inhabitants were Celts, has been conquered three times .

从有历史以来，英国，在此地早期居住的是凯尔特人，已经被征服了三次。

Bluetooth OBEX File Transfer Enables the sending and receiving of files on your phone via Bluetooth.

蓝牙OBEX文件移动允许经过蓝牙传送和接受文件。。。。