一种银行武器库管理系统的设计

分析了银行武器库管理系统的市场需求,在此基础上给出了一种基于系统集成技术和计算机管理技术的银行武器库管理系统的详细设计过程,最后通过实际应用案例验证了本设计的合理性和可靠性。     

例谈数学证明、数学实验与数学建模

指出了数学证明和数学实验对问题解决的重要意义,分析了两者的联系和区别,介绍并例证了数学建模是对数学证明与数学实验的包容。     

直线参数方程中参数的应用

通过求直线参数方程中的参数,利用参数的几何意义证明空间点到平面、点到直线及异面直线间的距离公式,其证法相对较为简便.     

《〈水浒传〉作者施耐庵新证》辩——与浦玉生先生商榷

浦玉生先生主张《水浒传》作者施耐庵就是苏北施彦端,并认为江苏沿海风物与《水浒传》有联系,可作为施耐庵作《水浒传》的内证.笔者对此一一加以辩驳.     

关于不等式几种常见证明方法的探究

不等式的证明方法灵活多样,技巧性较强．通过对比较法、综合法、分析法、放缩法、反证法、函数法、积分法几种较为常见方法的阐述,为证明不等式提供了一些借鉴．     

一类恒等式的证明及应用

设Snk=∑ni=1ik(k=1,2,…).Pk(x)为经过点(i,∑ij=1jk)(i=1,2,…,k+2)的k+1次Lagrange插值多项式,通过探索发现并证明了Snk=Pk(n),并给出了数值例子。     

基于台风验证载荷的平台时变可靠性分析与更新

采用泊松过程对台风载荷进行描述,结合抗力衰减函数建立平台时变可靠性分析模型,确定基于验证载荷的平台抗力后验分布函数,从而实现平台可靠性更新;根据台风作用后平台状态与台风载荷分布函数确定验证载荷概率模型。以我国南海东北区块一海洋平台为研究对象,对平台的时变可靠性进行分析与更新,考察平台损伤极限承载能力比CQ与验证时间对可靠性更新效果的影响。结果表明:台风验证载荷能够对结构冗余度较低的海洋平台时变可靠性更新起到明显效果,且反映平台结构冗余度的CQ值越大更新效果越明显;验证载荷出现时间越晚,在初期的更新效果越明显,这个时间大约持续5 a,随后不同时刻验证载荷的更新效果趋于相同。     

一种新的零知识证明协议

利用Chik How Tan加密方案对SDH对（A,a）进行加密,生成（A,a）的零知识证明协议,然后证明了该协议为诚实验证者在DBDH假设下对SDH对（A,a）的零知识证明.该协议适用于对数据的安全性要求较高的用户.与类似文献相比,该协议效率更高.     

与正整数 n -color有序分拆相关的一些恒等式

首先给出了正整数自反的n-color有序分拆数与Fibonacci数、Lucas数之间的几个关系式.然后利用其中的一个关系式给出了正整数ν的右端分部量不等于11的n-color有序分拆数与正整数的分部量是1、2的有序分拆数、分部量是奇数的有序分拆数、分部量大于1的有序分拆数之间的一些恒等式,并给出了组合证明.     

论我国举证时限制度的立法缺陷与完善

随着最高人民法院《关于民事诉讼证据的若干规定》的公布,规定了《民事诉讼法》中关于举证时限制度存在的一些问题,但仍然暴露了逾期举证的法律后果过于严厉,举证时限制度配套制度不健全,当事人的举证能力得不到保障这些立法缺陷。然而要不断修改和完善这些立法缺陷,就必须通过举证时限制度由法律来直接规定,设立与完善举证时限的配套制度,扩大当事人、律师的调查取证权来改善这些现实问题。