小窑采空区在地震勘探时间剖面上的解释

从山西晋城小窑采掘现状入手，结合钻探制作煤全采、未采、半采三种模型的合成地震记录换层分析，分析其波形特征，标定了时间剖面上的采空区段与矿方实际采空区基本吻合。     

常温条件下颗粒污泥处理含铅废水

对未经驯化的颗粒污泥处理含铅废水进行了初步实验研究.结果表明,颗粒污泥对含铅废水具有较高的去除能力,铅去除率在95%以上.颗粒污泥的加入量、废水酸度、沉降时间是影响处理效果的主要因素.通过对20mg/L的含铅试水进行处理,铅达到了排放标准.     

四符号动力学星花积的压缩特性

在四符号动力学星花积中，第2个符号序列的可选集合可从压缩的角度扩充至整个四符号空间，包括该空间中的点，线，面。     

再保险对时间盈余风险模型破产概率的影响

研究时间盈余风险模型中再保险对调节系数或破产概率的影响，分别讨论了理赔分布为均匀分布和指数分布时。调节系数或破产概率与自留水平的关系，并得到相应的表达式。     

灰色系统建模的变换方法

本文通过定理的充分必要性的证明给出了寻找提高原始数据序列光滑度的变换的途径, 对获得新的变换具有指导意义, 实例分析和误差讨论充分展示了这一寻找方法非常有效。     

一个快速的二进制多重精度gcd算法

求两个整数的最大公因子（gcd)的经典的Euclid算法时间复杂度为O（ln^3n)，不适宜于多重精度运算。论文证明了gcd的相关性质，提出了一个基于二进制的、适用于多重精度运算的改进算法，其时间复杂度为O（ln^2n)。     

基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

时间词义赋值的个别差异的初步研究

运用模糊统计对１０个持续时间词进行了初步研究，然后选出其中２个，让不同个性特征的男女被试对其赋值。结果表明：在时间词的估计值和估值范围上，Ａ型行为类型者的赋值都小于Ｂ型行为类型者；低焦虑者的时间词的估值范围大于高焦虑者；在赋值特征上性别差异不显著．     

关于指数丢番图方程x~2+(3a~2+1)~m=(4a~2+1)~n(英文)

应用Bilu,Hanrot和Voutier关于本原素因子的深刻理论及二次丢番图方程解的表示等方面的精细结果,完全解决了指数丢番图方程x2+(3a2+1)m=(4a2+1)n在3a2+1为奇素数或奇素数幂时的求解问题.