设立民事举证时限制度的初步思考

现行民事举证制度采取证据随时提出主义．它破坏了法院公正、中立形象,违背了两审终审、诉讼公正、效益原则．应从立法上对现行的举证制度予以完善,设立举证时限．规定逾期举证则要承担败诉和诉讼损失的法律后果．民事举证时限制度的设立和落实．必须破除传统的法律观念障碍、改革庭前准备程序、建立证据交换制度或设立审前预备庭程序．     

一个同余式的简单证明

给出了下列同余式的一个简单证明∑ｐ－１ｋ＝１１ｋ２ｋ≡∑（ｐ－１）／２ｋ＝１（－１）ｋ－１ｋ（ｍｏｄｐ）．     

商品质量纠纷中消费者与厂商举证成本对比

证明产品是否合格,是解决产品质量纠纷的关键.但要证明产品质量不合格,消费者必须将产品送法定检验机构检验并得到证据,举证成本很高,而厂商只需要最简单的自我声明（如口头证明）即可,举证成本很低甚至零成本,这对消费者很不公平,应该寻找更公平合理的举证途径.     

300MW机组炉内结渣原因分析及防止

针对吴泾热电厂300MW机组炉内严重的结渣问题,用实炉试验研究方法,诊断出其主要原因,制订了防止和减轻内渣的技术,以确保300MW机组安全经济运行。     

一种门限代理签名方案的安全性分析及改进

对Hu等人改进的一种门限代理签名方案(J-H-J-Z方案)进行了安全性分析,发现该方案存在漏洞,容易受到证书攻击:伪造原始签名人,并且不具备不可否认性.针对以上问题对该方案进行了改进,改进后的方案克服了原方案的特点,提高了系统的安全性,并保留了原方案的一些优点.     

向量思想在解析几何教学中的应用

解析几何的本质是将空间的几何结构系统数量化、代数化.通过举例探讨了向量思想在解析几何中的一些应用.     

微机证明系统的设计与实现

在微机上用ＰＡＳＣＡＬ语言实现的命题演绎机器证明系统为背景，说明实现该证明系统的主要技术和技巧。证明了系统的算法和总体设计、公理模式和归约法则的建立、符号的处理、存储结构的选取、联结词消除以及输入输出处理等。对用微机来实现命题（谓词）证明系统提供了具有参考价值的意见。     

再论测谎结论的证据价值与证据能力

测谎技术在我国司法实践中已大量使用,但现行法律却未对其法律属性、适用规则等加以规范。这不仅使测谎结论的适用无法可依,也制约了测谎技术的进一步发展。从规范分析的角度,对测谎结论的证据价值与证扰能力展开了分析,并认为测谎结论的完全可以在刑事诉讼中作为证据使用。     

局部相似原理在数学猜想及证明中的应用

站在数学方法论的高度,不仅指出相似原理是近代数学各分支处理相当广泛一类问题的理论基础,而且还建构了它在近代数学各领域中处理数学问题的框架——广义的RMI原则,最后指出某些数学猜想与相似原理之间的有机联系,从而为其证明提供了一些有益的启示.     

论离婚损害赔偿制度的完善

离婚损害赔偿制度在适用过程中逐渐暴露出种种问题。应从赔偿请求权主体和赔偿义务主体如何界定、离婚损害赔偿制度适用情形规定的缺陷、离婚损害赔偿具体赔偿数额如何确定以及无过错方举证难度四个方面深入探讨该制度如何完善,以期为立法机关提供参考。