单位圆上有理点的稠密性和圆周率是无理数的证明

给出了单位圆周上有理点的稠密性证明,对圆周率是无理数给出了证明,应用带余除法,给出了分数必可表示为有限小数或无限循环小数的证明,给出了整数的最大公因数性质的证明．     

单位圆上有理点的稠密性和圆周率是无理数的证明

给出了单位圆周上有理点的稠密性证明,对圆周率是无理数给出了证明,应用带余除法,给出了分数必可表示为有限小数或无限循环小数的证明,给出了整数的最大公因数性质的证明.     

公钥加密体制自动化安全性证明方法研究

可证明安全是目前分析密码协议安全性的一种重要方法,但是手工证明的难度较大,正确性也难以保证。利用计算机技术实现可证明安全性的自动化分析是目前的一个研究热点。文章在前人工作的基础上,设计了一个适用于更多密码协议的安全性证明的自动化证明工具。着重介绍了利用高级描述语言来描述的输入文件即＂初始攻击游戏＂的结构,并以带Hash的E lGamal加密体制为例,利用证明工具,实现了其安全性的自动化证明。     

应用差分把一种方阵化为对角线形

本文证明了一个特殊类型的阵可用差分法化为对角线形。在证明的过程中,只用到左乘法。这里所证明的定理应用于证明微分方程及线性递归函数的解的基础组的存在。     

利用导数证不等式的方法研究

不等式的证明在数学中占有重要位置，证明方法多种多样。而利用导数来证明不等式不失为一种简捷有效的方法，本文以具体例子归纳总结了利用导数证明不等式的几种方法。     

多证明签名方案及在交叉认证中的应用

自证明签名对验证者来说一次仅验证2个签名,而在交叉认证中验证证书链上的证书不止2个,因此,自证明签名在实际的应用中不能满足需求. 针对此问题提出了多证明签名方案,它是在自证明签名的基础上做了一定的扩展,由验证2个签名扩展到可同时验证3个签名;此后又在多证明签名方案的基础上做了进一步的扩展,扩展后的多证明签名方案可同时验证n个签名.     

匹配理论中Konig定理的新证明方法

归纳了图论匹配理论中Konig定理的几种证明方法和思想，并按从最小覆盖出发寻找最大匹配的思路给出了Konig定理的另一种证明方法．该证明方法是对Konig定理前几种证明的有益补充，同时也从另一个角度反映了Konig定理的本质．     

概率论思想在一些不等式中的应用

随着概率论的应用和迅速发展,概率论的应用逐步深入到各个领域,涉足到各个行业。在数学上一些常见的不等式的证明,若运用代数方法较难得到解决,而运用概率方法就可以较方便地得到证明。这种证明方法沟通了不同学科之间的联系。应用概率方法证明不等式,是个很有用的方法,建立适当概率模型,使不等式的证明得到简化。本文主要研究了应用概率论的方法证明代数不等式、积分不等式和相关理论的应用。     

关于极限lim( n--〉+ ∞)(1+1/n)~n存在证明的几种方法

目的　寻找数列 (1+ 1n) n极限存在的各种证明 .方法根据单调有界数列必收敛准则 .结果　找到比二项式定理来证明较简便的方法 .结论证明方法简便 ,关于有界性的证明 ,得到了较好的结果     

对Dirichlet判别法必要性证明的探讨

通过对复变数复值函数级数与含参变量广义积分一致收敛的Dirichlet判别法必要性的证明,将文献[1]中的证明方法进行了改进,给出了更具有一般性的证明．     

关于极限 limn→+∞(1+(1)/(n))n 存在证明的几种方法

目的寻找数列 (1+(1)/(n))n 极限存在的各种证明. 方法根据单调有界数列必收敛准则. 结果找到比二项式定理来证明较简便的方法. 结论证明方法简便, 关于有界性的证明, 得到了较好的结果.     

关于极限limn→＋∞（1＋1／n）^n存在证明的几种方法

目的 寻找数列（1 1/n)^n极限存在的各种证明。方法 根据单调有界数列必收敛准则。结果 找到比二项式定理来证明较简便的方法。结论 证明方法简便，关于有界性的证明，得到了较好的结果。     

背包问题在硬币抛掷协议上的研究

分析了背包问题的特性,介绍了零知识和公平抛掷协议。通过证明,成功地将背包问题应用在零知识证明和公正硬币抛掷协议上,通过理论的安全性证明其具有较强的可靠性,并通过零知识证明协议的变体证明了背包问题的广泛适用性,说明了背包问题不可取代的实用价值。     

论完善我国的刑事诉讼证明标准体系

文章通过对刑事诉讼证明标准的认识主体、内容和程度进行阐释，指出了我国刑事诉讼法在诉讼证明标准方面存在的制度缺陷,并为建立更具系统性和可操作性的刑事诉讼证明标准体系提供了几点设想。     

Huppert可裂性定理的一个推广

研究了一个有限群何时在某个正规子群上可裂的问题,推广了著名的Huppert可裂性定理,主要把Huppert可裂性定理中讨论的p-版本推广到π-版本并对其进行了详细的证明,从而得到一个更为广泛的证明可裂性的判据.其证明引用了经典的Gaschütz可裂性定理,运用了传输同态,采用了由特殊到一般的证明思路.最后,作为对该定理的实际应用,给出了若干经典的传输定理的统一的简化证明.     

态密度的卷积律

本文论述了态密度的卷积律及其证明,给出了态密度的卷积律的一个简洁的证明。     

微分中值定理及微分Darboux定理新证明方法

给出了函数单调性判定定理的一种新证明方法,并由此给出了反函数的连续性、可导性和求导公式的严密证明,同时给出了微分中值定理和微分Darboux定理及其推广形式的一种新的简洁证明方法。     

基于进程演算的公钥密码体制安全性自动化证明系统

可证安全是一种通过严格证明确保密码体制安全性的形式化方法,但由于其证明结论严重依赖于证明者个人的经验和技巧,这一方法本身的可靠性受到了质疑。文章设计并实现了一套公钥密码体制安全性自动化证明系统,使用一种概率多项式时间进程演算描述可证安全模型,借助进程间的互模拟等价关系和进程约减实现基于游戏的可证安全自动化证明。系统在C语言环境下实现,已完成ElGamal加密体制和FDH签名体制在内的一系列密码体制的安全性证明测试。     

泰勒公式在函数凹凸性理论中的应用

利用泰勒公式给出了函数凹凸性判别法的一个简要证明，并由此给出了重要极限的简便证明。     

微分中值定量的一种新的证明方法

提出了微分中值定量一种新的证明方法,其证明过程是首先证明柯西定理,然后将拉格朗日定理与罗尔定理作为其特殊情况而得出。