网络时间协议的基本原理及其在校园网络的应用

论述了网络时间协议(NTP)的基本原理、算法及其工作方式，结合校团网络中不同的设备实施网络时间统一。     

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

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

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

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

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

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

灰色系统建模的变换方法

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

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

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

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

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