承诺值在特定区间的高效证明

现有的证明承诺值x位于特定区间[a,b]的协议皆是先证明x不小于a．然后再重复同样方法证明b不小于x．为了去掉这种方法上的重复性，通过联合运用两承诺值相等协议及CFT证明协议提出了一个证明承诺值位于特定区间的新协议．协议运行一次便可使验证者确信承诺值x位于区间[a，b]中．该协议是统计零知识证明．与Boudor协议比较，该协议在计算量上少了一个指数运算，在通信置上由16176比特下降为13222比特．通信效率提高了18．26％．     

拉格朗日中值定理的一些用法

通过实例说明了利用拉格朗日中值定理求极限和证明不等式,克服了用常规方法求极限、证明不等式的局限性,且相对简便.     

例说积分不等式证明

从一个积分不等式出发,运用变上限积分、拉格朗日中值定理、柯西中值定理等多种原理加以证明,体现构造法是证明积分不等式中很重要的一种方法.     

Weibull分布兴趣参数的假设检验

研究Weibull分布尺度参数、形状参数、分位数及可靠度函数的假设检验问题．利用广义检验变量给出兴趣参数的广义p-值．证明由广义p-值确定的固定水平的检验具有真实水平．     

高等数学中某些问题的探讨

高等数学中的函数单调性的导数判定法。比较简单易行地解决了函数单调性的判定问题。但此"判定法"的证明,是基于函数单调性的通常定义(全局性的)之上,借助拉格朗日中值定理才能达到。通过对函数单调性的另一个定义(局布性的)进行了探讨创新,直接利用导数的性质给予证明,将"判定法"撇开拉格朗日中值定理这一铺垫,给人一种更直接了当、行之有效的判定证明。     

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

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

关于表值问题的一个定理

对表值问题的一个定理给出证明。     

构造二重积分解决定积分问题

定积分不等式的证明方法多种多样。一般常规的方法有: 研究被积函数在给定区间上的单调性、凸性、最值等。本文将给出一种方法, 即利用变量替换手段将定积分转化为二重积分, 再去证明。     

Rolle定理及应用举例

给出了Rolle定理构造性的证明，寻求到了结论中C值的实际计算途径。对定理在证明中的应用作了较深入的探讨。     

轴对称抗式消声器传递损失的有限元计算

通过对轴对称抗式消声器进行有限元分析，建立其数学模型，对传递损失编制程序计算。结果证明，其理论计算值同实验值有较好的一致性。     

浅谈数码打样

数码打样是目前印刷领域一种先进的印前方式。本介绍了印刷前处理技术中数码打样的国内现状和数码打样的含义、应用及发展状况，重点探讨了数码打样区别于传统打样的七大特点。     

镁合金的阻燃研究现状

介绍了镁合金阻燃的研究现状及进展,重点介绍了稀土合金化阻燃的研究。最后得出结论：混合稀土合金化阻燃镁合金是发展阻燃镁合金的方向。     

粉状耐酸胶结料配制的耐酸混凝土及密实机理

采用耐酸胶结料、粉料和骨料配制了耐酸混凝土，研究了混凝土的强度及耐酸性能，探讨了耐酸胶结料的固化硬化密实机理．研究表明，采用粉状耐酸胶结料配制的耐酸混凝土强度可达32．8MPa，高于采用液体水玻璃配制的混凝土强度(25．1MPa)，并具有良好的耐酸性和抗高温性能．     

选择公理与Tukey引理等价性的机器证明

基于计算机证明辅助工具Coq,提出一种选择公理与Tukey引理等价性的形式化证明.在公理化集合论形式化系统基础上,给出选择公理与Tukey引理的形式化描述,这是Tukey引理的首次形式化.完成了选择公理与Tukey引理等价性的证明代码,并在Coq中通过验证.体现了基于Coq的数学定理机器证明具有可读性和交互性的特点,其证明过程规范、严谨、可靠,在集合论、拓扑学和代数学的形式化构建中具有重要应用.     

验证荷载条件下的在役结构动态可靠度

提出了随机验证荷栽条件下的在役结构动态可靠度计算方法,经过实例计算表明了在考虑随机性验证荷载条件下的结构可靠度一般比不考虑这种验证荷载的结构可靠度要高。     

抗弹陶瓷的犁削机理和自锐作用研究

研制了铬刚玉抗弹陶瓷，其抗弹能力比标准均质钢有很大的提高，通过分析讨论，其主要抗弹机制为犁削机理和自锐作用。     

试论民事诉讼证明标准——从纠纷解决的角度

证明标准是民事诉讼证据制度中的一个重要问题,一定的证明标准,对法官认定案件事实具有重要的指导和约束作用.我国学者对证明标准的讨论已有多年,然而一直缺乏一种完全令人信服的观点.文章从纠纷解决的角度,结合民事诉讼的目的、减少不合理地适用证明责任判决等方面,就我国民事诉讼应采用优势证据标准进行了论述.     

一种Lagrange乘数法及其推广的新证明

针对Lagrange乘数法传统证明方法过于繁琐的问题,利用向量及其相关性质,讨论了Lagrange乘数法一种新的证明方法。分别研究了二元函数、三元函数以及n元函数Lagrange乘数法的向量形式证明,这种以向量为工具研究等式约束的Lagrange乘数法,解决了传统方法难以迁移且结论模糊的问题。     

匹配追踪信号分解收敛性的一种证明

针对匹配追踪信号分解的收敛性问题,借鉴Qian的思路,采用几何辅助方法证明了Jones和Mallat给出的一般性结论,并消除了Qian的证明中的瑕疵。此证明方法可避免运用多个预备引理,完善了Qian的证明过程,同时也为读者提供了另外一种理解匹配追踪的思路。     

多边形三角化图三色问题证明的一个注记

对“简单多边形三角形化图S是可以3 色”的定理证明中用到的关键定理: “简单多边形三角形化图S的对偶图T是一棵树” 作了十分简化的证明, 从而简化了3 色问题及Art Gallery 问题 Watchman 定理的证明.