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

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

减少化验次数的一个优化模型

依据数学理论证明在一定条件下，可以减少化验次数；并给出了选择方法；建立了一个减少化验次数的优化模型。     

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

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

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

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

两个组合恒等式的概率证明

给出了两个组合恒等式的概率证明，扩展了已知的结果。     

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

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

基于Elmore模型的Steiner树问题的求解

建立了一种求解基于Elmore延迟模型的Steiner树问题的遗传算法。针对Steiner树问题的特点,在引入一种新的具有自适应性的杂交概率和变异概率的基础上,提出了面向Steinet树问题的遺传算法和一种构造染色体的新方法。提供了遗传算法的结构并讨论了遗传算子。分析了基于时间和空间的算法复杂性。     

比幅比相测角中误判概率的研究

分析在采用比幅比相这种方案测量辐射源偏角时出现的角度模糊现象,给出理论上的误判概率计算方法。然后在相对理想的状态下对误判概率给出了定量和直观的分析,并通过研究各种因素和参量对误判概率的影响,指出了工程应用中应该注意和考虑的问题。同时给出了其中一些问题的解决方法,其中一些方法已经应用到工程实践中。     

一类递减信息族的性质及其证明

构造了一类基于Brown运动的单参数递减信息族{Ht}t≥0，并证明了其某些性质。     

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

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