关于Lagrange中值定理证明的一个注记

利用具体的例子否定了“Lagrange 中值定理的证明由 Rolle 中值定理通过旋转适当的角度可得到”的说法.     

Jensen不等式及其应用

构造辅助函数，利用Jensen不等式给出了一类初等等式统一的分析证法。     

混合幂平均不等式的一个简单证明

利用不等式的经典理论给出了混合幂平均不等式的一个简单而初等的证明.     

二进制数与不等式的证明及推广

二进制数常用来在电子计算机内部进行计数和运算，除此之外，在数学的其它领域中似乎与我们接触不多。研究发现在初等数学乃至高等数学中，也有它奇妙的应用。文中探讨了它在不等式的证明与推广中的应用。     

图尔敏模型在当代法律论证中的应用

图尔敏的法律论证理论与他的一般论证理论水乳交融。图尔敏不仅是法律论证理论的开拓者,而且其法律论证理论对新兴的人工智能和法律研究领域产生了重大影响,尤其是图尔敏模型,不仅被扩展为刻画复杂法律论证的基本模型,而且也被诠释为包括法律解释过程的动态模型。     

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

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

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

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

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

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

汉语语法的三元系统

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

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

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