混凝土未测区域质量预测方法研究

文章针对桩基超声波测试评价桩身混凝土质量，提出了回归分析、灰色理论和三次样条函数三种方法在预测未知区域的应用。尤其三次样条法有较好的应用前景，为桩基可靠度评价提供了保证。     

用实二次型理论解多元函数的极值问题

文章以二次型理论为依据,提出了解决多元函数极值问题的另一种方法.     

两因素HJM模型下债券、期货、期权的定价

在HJM模型下考虑远期利率由2个独立布朗运动驱动的零息票债券的期限结构,给出零息票债券和债券期货的定价公式,以及债券期货期权的定价公式。     

三次系统指标为正的奇点个数

本文证明了平面动力体系ｄｘ／ｄｔ＝Ｐｎ（ｘ，ｙ），ｄｙ／ｄｔ＝Ｑ２（ｘ，ｙ） （ｎ≥２）的有限远奇点中指标为正的 个数最多有（ｎ＋１）个，而系统ｄｘ／ｄｔ＝Ｐｎ（ｘ，ｙ），ｄｙ／ｄｔ＝Ｑ３（ｘ，ｙ） （ｎ≥３）的有限远奇点中指标为正的 个数最多不超过（３ｎ＋１）／２ ＋２个（ｎ≥３为奇数）或不超过 （ｎ为偶数）．进而得出系统Ｅ３：ｄｘ／ｄｔ＝Ｐ３（ｘ，ｙ），ｄｙ／ｄｔ＝Ｑ３（ｘ，ｙ） 的有限远奇点中指标为正的个数最多不超过７个．     

NP问题的3轮零知识证明系统的存在性

研究NP问题的3轮零知识证明的存在性.O.Goldreich与H.Krawczyk在1996年证明BBP以外的语言不存在（欺骗概率可忽略的）3轮黑箱模拟零知识协议,但是否存在3轮非黑箱模拟零知识证明仍然是一个尚未解决的问题.采用一种新的交互证明模式,在标准的DDH假设下,对图的3着色问题构造了一个3轮零知识证明.由于对零知识性的证明采用了一种特殊的方法,文中的协议实际上是非黑箱模拟意义下的零知识证明,从而证明了在DDH假设下,所有的NP语言都有3轮零知识证明系统.     

CAD/CAPP/CAM集成技术原理与应用

对CAD/CAPP/CAM集成技术进行了分析和讨论，将特征造型技术方法应用于实际，并详细地阐述了CAD/CAPP/CAM集成系统的总体设计方案及运行过程。     

浅谈二次型化标准形的两种方法

给出了二次型化标准形的两种方法--合同变换法和正交变换法.     

方程f″—zf=0解的零点

首先于实数域内，用ｓｔｕｒｍ比较定理证得ｆ″－ｘｆ＝０的非平凡解的零点集含有可列个负数；尔后延拓到复数域内，把特解Ａｉｒｙ积分Ａｉ（ｚ）用Ｍａｃｄｏｎａｌｄ函数表示。通过复围线积分计算证得Ａｉ（ｚ）仅有负数的零点，从而获得了ｆ″－ｚｆ＝０的非平凡解有且仅有可列个负数零点的结论。