民事审判事实认定中经验法则的运用初探

民事审判以事实为根据包括三类事实:当事人无需举证证明的事实;需要当事人举证证明达到事实清楚或者高度盖然性的事实;介于两者之间的需要当事人举出一定的证据但又达不到高度盖然性的标准根据经验法则可以认定的事实。民事审判中运用经验法则认定事实容易造成对案件事实的误认且比较混乱。正确运用经验法则认定案件事实需要立法和司法解释,也需要进行广泛宣传达成共识。     

基于台风验证载荷的平台时变可靠性分析与更新

采用泊松过程对台风载荷进行描述,结合抗力衰减函数建立平台时变可靠性分析模型,确定基于验证载荷的平台抗力后验分布函数,从而实现平台可靠性更新;根据台风作用后平台状态与台风载荷分布函数确定验证载荷概率模型。以我国南海东北区块一海洋平台为研究对象,对平台的时变可靠性进行分析与更新,考察平台损伤极限承载能力比CQ与验证时间对可靠性更新效果的影响。结果表明:台风验证载荷能够对结构冗余度较低的海洋平台时变可靠性更新起到明显效果,且反映平台结构冗余度的CQ值越大更新效果越明显;验证载荷出现时间越晚,在初期的更新效果越明显,这个时间大约持续5 a,随后不同时刻验证载荷的更新效果趋于相同。     

一种新的零知识证明协议

利用Chik How Tan加密方案对SDH对（A,a）进行加密,生成（A,a）的零知识证明协议,然后证明了该协议为诚实验证者在DBDH假设下对SDH对（A,a）的零知识证明.该协议适用于对数据的安全性要求较高的用户.与类似文献相比,该协议效率更高.     

与正整数 n -color有序分拆相关的一些恒等式

首先给出了正整数自反的n-color有序分拆数与Fibonacci数、Lucas数之间的几个关系式.然后利用其中的一个关系式给出了正整数ν的右端分部量不等于11的n-color有序分拆数与正整数的分部量是1、2的有序分拆数、分部量是奇数的有序分拆数、分部量大于1的有序分拆数之间的一些恒等式,并给出了组合证明.     

函数可积性教学的改进策略

文章对不同数学分析教材中函数可积性内容的编排及若干定理的证明进行了比较分析,给出了新的教学内容安排.证明了只有有限个间断点的有界函数在闭区间上是可积的.     

论我国举证时限制度的立法缺陷与完善

随着最高人民法院《关于民事诉讼证据的若干规定》的公布,规定了《民事诉讼法》中关于举证时限制度存在的一些问题,但仍然暴露了逾期举证的法律后果过于严厉,举证时限制度配套制度不健全,当事人的举证能力得不到保障这些立法缺陷。然而要不断修改和完善这些立法缺陷,就必须通过举证时限制度由法律来直接规定,设立与完善举证时限的配套制度,扩大当事人、律师的调查取证权来改善这些现实问题。     

程序正确性证明中逻辑公式的可满足性

采用Herbrand定理及归结原理证明在程序证明中遇到的逻辑公式是可满足的。并给出了相应的算法;同时讨论了已知循环程序中循环不变式的求解方法。     

判断一类几何最值问题可解性的计算机算法

利用Ｇａｌｏｉｓ理论讨论了一类涉及不等式的几何问题,给出了判断这类问题能否用初等方法或尺规作图法求解的计算机算法,该算法依赖于整系数多项式在有理数域上的因子分解和不可约性的判定。     

兔毛织物防掉毛的研究

介绍了一种新型的兔毛织物防掉毛方法.阐述了防掉毛机理并分析了影响防掉毛效果的主要因素.     

Research on secure buyer-seller watermarking protocol

A new buyer-seller watermarking protocol is proposed by applying a double encryption method and a novel mechanism of embedding a buyer＇s watermark. The protocol can effectively prevent against collusion attacks and the man in the middle attack if the third party is not trusted. Also, based on the proposed scheme for the first-hand transaction, a new buyer-reseller watermarking protocol and a formal multi-party watermarking protocol are also proposed. The proposed buyer-resell watermarking protocol only needs the original seller to provide transfer certificate and encryption-decryption service to support the second-hand transaction, and the multi-party watermarking protocol with distributed certificate authorities can overcome the difficulty in the combination of multicast mechanism with multiple unique watermarks and allow a seller to multicast the watermarked digital contents and key transaction information to n buyers. Furthermore, the idea of zero knowledge proof is also applied into the proposed scheme to allow the seller to take an effective control on the task performed by the third party.