一种基于代理签名的零知识证明

在深入地研究代理签名思想的基础上,提出了一种基于代理签名的身份零知识证明算法.该算法具有简单、交互容易实现等特点.     

一类代数不等式的概率证明

仅借助于概率的简单性质简洁地证明了一类代数不等式,并加强了某些已知结果.显示了概率方法的巧妙性与优越性及其应用上的广泛性,从一个侧面揭示了数学不同学科之间的内在联系.     

对公证的证据学思考

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

任意4k阶保块和半幻方的一类造法

给出了任意4k(k∈N)阶保块和半幻方的一大类造法及其严格证明。     

汉语语法的三元系统

语形、语义、语值、语境是汉语语法的基本要素,是研究、解释汉语语法事实和语法理论的基本前提。因而,从“语形、语义、语值、语境”角度切入,结合不同的相关因素,可以构建汉语语法的制约系统、证明系统、柔性系统。     

试论刑事诉讼中的证明责任倒置

刑事诉讼中一般由控方承担证明责任,但是在某些物定情况下,控方只需证明初步事实的存在,其他与被指控犯罪相关的事实的证明责任则转由被告方承担,如果被告方不能证明相关事实,则要承担对其不利的推定,这就是证明责任的倒置,但并非所有被告人担证明责任的情形都属“证明责任倒置”,在一般情况下被告人承担证明责任实际上是“证明责任正置”。证明责任倒置在形式上是“有罪推定”,但它对某些刑事案例件实体真实的发现极具必要性,也符合正当的法律价值取向。我国刑事诉讼法有必须确立证明责任的倒置规则,但其适应范围须作出严格界定。     

瞬态反平面动力学问题的Cauchy型奇异积分方程解法

本文使用边界积分方程和分离奇异主部等技巧，将瞬态反平面动力学问题归结为求解Ｌａｐｌａｃｅ变换域上的Ｃａｕｃｈｙ型奇异积分方程，并严格证明了该方程与Ｓｉｈ导出的对偶积分方程等价。本文还进一步研究了两条裂纹问动态影响；使用高精度的奇异积分方程算法及Ｌａｐｌａｃｅ数值反演法。文中计算了若干典型例子的动态应力强度因子，有关结果表明本文方法是成功和可靠的。     

分块果园法的证明

本文证明了分块果园法纠错码的纠错和检错能力,讨论了块的相关问题。     

萧文强博士谈数学证明

本文论述了数学证明的作用.     

网上银行的法律探讨

网上银行作为商业银行的一种新业务，由于其是以因特网为操作平台，以致于在实践中不仅存在着新的金融风险，还必须防范各种网络风险。为了确保网上银行的健康发展，对涉及网上银行的相关法律问题进行探讨，以期建立一套完善的网上银行法律法规监管体系。