测量螺旋面的可倾屏法

可倾屏法是测量螺旋面牙形的一种新方法。它克服了传统光学测量方法中存在的观测对象（影象或干涉线）随调焦而变形和测量结果具有双值性的问题，从而提高了测量精度。本文阐述了可倾屏法的测量原理及主要性能。     

关于积分中值函数性质的注记

本文在严格单调的前提下 ,讨论了积分中值函数的严格单调性、连续性和可微性 ,得到了具有一般性的结论。     

利用量子么正变换引起拓扑项的可移性求微扰项对Berry相因子的贡献

利用量子么正变换引起拓扑项的可移性，求出了一维无限深运动边界方势阱在压缩变换中出现的微扰项在一级近似下对Ｂｅｒｒｙ相因子的贡献。     

子群是正规子群的一个充分条件

判断子群是否为正规子群有多种方法,本文从有限群与其子群阶的关系上,给出子群是正规子群的一个充分条件。     

高精度星形轮廓面数控加工方法研究

本文提出了计算星形轮廓面数控加工刀位的插补方法和刀具半径补偿方法，以及决定加工方法误差大小的走刀步长和刀具半径的确定准则，从而建立了该曲面的加工方法其理论加工精度为１μｍ．进给速度相对误差小于１％，在３３ＭＨＺ８０３８６ＣＰＵ（带８０３８７协处理器）上每计算一次刀位占用机时小于１．２ｍｓ．具有精度高和实时性好的特点．     

关于Riemann积分的几点注记

用初等的方法证明了[a,b]上的Riemann可积函数的连续点在[a,b]上是稠密的，并在应用上出了积分中值定理的简洁证明。     

Atomic Electronic Contract Protocol Based on Convertible Signature

A new class of atomicity, namely contract atomicity is presented. A new technical strategy based on convertible signature and two-phase commitment is proposed for implementing atomicity of electronic contract protocol. A new atomic contract signing protocol is given out by using EIGamal like convertible undeniable signature and commitment ofconversion key, and another new atomic contract signing protocol is brought forward by using RSA based convertible undeniable signature scheme and commitment of conversion key. These two new protocols are proved to be of atomicity, fairness, privacy, non repudiation.     

杨庄煤矿塌陷湖水资源勘查计算

通过对塌陷湖的实地勘查,运用水均衡原理,计算出该湖可供开采的水资源,认为该塌陷湖可作为淮北市供水后备水源地之一。