对公证的证据学思考

公证是国家授权的专门机构和人员依法定程序对有法律意义的行为、事件和文书进行居中证明、监督，并赋予其特定法律效力的活动，公证的效力通常包括证据效力、强制执行效力和法律行为成立要件效力三个方面。公证文书之所以比其他普通文书具有较高的效力，就在于公证文书的真实性、合法性。如果缺少调查取证，就会削弱公证的证据效力。实际中，存在着公证文书与一般书证的区别、公证事实与法律推定事实的区别、民事诉讼法中关于举证推翻公证证明的规定与举证责任倒置的区别的情况。公证立法过程中应明确公证处的调查取证权及调查取证程序，以增强立法的保障与规范性。     

证据协力义务视野下的民事非法证据排除规则

证据协力义务的范围与强度同非法证据的数量呈反比例关系。最高人民法院《关于民事诉讼证据的若干规定》通过制度化的方式确立了民事诉讼中的非法证据排除规则。然而,司法实践中却屡屡出现对非法证据的效力作出截然相反认定的案例。非法证据排除规则在民事诉讼中的非正当性造成了上述困惑。应以证据协力义务取代民事非法证据排除规则,同时对已形成的非法证据不予排除,并追究非法取证者的刑事、民事责任。     

商标淡化理论研究

商标淡化理论在保护驰名商标所有权人利益与其他竞争者商业言论自由权利之间维持了较好的平衡.本文通过对美国和欧盟最新商标反淡化立法和研究进展的比较研究,认为我国在第三次修订商标法时应根据国情移植商标淡化理论.     

基于预付费的隐私保护多重电子优惠券系统

针对多重优惠券(multi-coupon, MC)系统存在兑换阶段的效率不高、以牺牲顾客隐私作为效率改进的代价、引入不必要的系统参数等缺点,基于Au-Susilo-Mu签名、准确区间证明和知识签名等技术,提出新的基于预付费模式的MC系统。新系统在新的基于模拟的安全模型下满足可证明安全。此外,新系统满足多个实用性质,诸如支持多种类型的商品,允许顾客一次性兑换多张优惠券,允许顾客自行选择MC所含的优惠券数量等。效率分析表明,新系统并不要求顾客在线执行低效的双线性对运算,也不要求预先执行这些运算,从而显著地提高顾客在优惠券兑换阶段的运算效率。     

我国环境诉讼因果关系之探明--借鉴日本环境诉讼?

在环境侵权案件中，致害行为具有潜伏性、累积性等特点，同时受科学技术的限制，使得我国在实体法上即使采用无过错责任，原告在诉讼中依旧很难完成初步证明因果的任务。日本诉讼法学界较早对于环境诉讼之因果关系证明进行了探讨，其在环境诉讼的审理中所应用的盖然性学说，能降低原告的举证负担，间接证明方法更是具有很强的实践性。所以，针对我国环境诉讼中因果关系证明难的现状，可适当借鉴日本间接证明的方法，也可参考盖然性学说实行多层级的证明标准，以完成我国环境诉讼因果关系之探明。     

有罪判决的证明标准

有罪判决证明标准是我国刑事证据理论研究中争议最大的问题之一.本文介绍了几种主要的有罪判决证明标准,并且考察了西方两大法系的有罪判决证明标准.在借鉴了西方两大法系的精华和总结我国有罪判决证明标准的不足的基础上,提出了建构我国有罪判决证明标准的具体构想.     

三角不等式的自动证明

作者设计并实现了一个将三角函数转化为有理分式的高效算法，从而可将三角不等式化为有理不等式来证明，并保证了其可读证明的自动生成．讨论了算法的实现技术，分析了其复杂度与输出结果．     

一种安全的分布式会议密钥分配方案及其实现

结合基于可验证秘密共享技术的安全多方计算和知识证明,提出了一种计算安全的分布式会议密钥分配方案,该方案具有结构简单、安全性强等特点。分析表明,即使方案中实施密钥分配的服务器组中有部分服务器为入侵者成功控制,会议的所有诚实用户仍可得到关于会议的正确的密钥;在Diffie HellmenDecisional问题假设下,任何窃听者均无法得到有关会议密钥的任何信息,在随机Oracle模型下,主动攻击者也无法成功进行任何假冒。实验表明,该方案效率较高,有着较强的实用性。     

Boros-Moll多项式序列递推关系的代数证明

为了拓展Boros-Moll多项式序列递推关系的基本理论,研究了Boros-Moll多项式序列递推关系新的证明方法。首先,对Boros-Moll多项式序列满足的递推关系进行适当变形、分拆;其次,将满足的递推关系式构造为3个部分和的差式;最后,运用代数方法、构造法等数学方法得出3个部分的和均为零,进一步得到Boros-Moll多项式序列递推关系的一个新的证明方法。结果表明,在Boros-Moll多项式序列递推关系中,对其结构进行巧妙变形、分拆,再证明相应的引理成立,可得出一个新的证明方法。研究结果丰富了Boros-Moll多项式序列递推关系的相关理论,为Boros-Moll多项式序列在组合数学、社会科学、信息论等领域的应用提供了理论参考。