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

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

椭圆周上的一类新的双正交级数

研究了椭圆周上一类新的双正交级数，给出了它的部分和与其诱导函数的Ｆｏｕｒｉｅｒ三角级数的部分和之间偏差的精确的渐近表达式．     

李群胚与辛群胚的性质

本文在已有研究成果的基础上，更加全面、系统地总结了(李)群胚，特别是辛群胚的有关性质，得到了一些重要的结论。     

无线传感器网络数据传输协议的研究

通过对无线传感器网络典型应用结构及现有协议的分析，本文给出了一种较为简单的适用于小型无线传感器网络的通信协议，对通信数据格式及数据传输流程进行了较为详细的定义。为进一步验证协议性能，设计了一个小型的无线传感器网络实验系统，并在此系统上完成了对所堡过通信协蠼的验证，实验结果表明了本文所给出协议的有效性。     

"双因素"理论对图书馆员工的激励作用

本文运用“双因素”理论分析了图书馆不同年龄员工的保健因素和激励因素,提出了针对不同年龄员工宜采用的激励策略。     

隧道级联大功率半导体激光器热特性分析

基于光谱法，通过测量靠近衬底的有源区波长的变化来表征其温度的变化，计算了隧道级联多有源区大功率半导体激光器的热阻。与普通半导体激光器相比，随着有源区数目的增多该热阻有增大的趋势，但并没有成倍增加，主要原因是隧道级联半导体激光器的串连电阻没有成倍增加。     

基于统计方法的行为预判分析

行为预判是行为现象分析的前期工作,在犯罪行为分析中占重要的位置,它为阻止犯罪行为提供了科学的理论分析基础和对应策略。基于数学的统计分析方法,设计了犯罪行为预判系统。通过实际系统中的探测器,系统采集数据进行处理,将采用数学方法处理后的数据存入数据栈,从而提供具有较强处理能力的犯罪行为分析和犯罪行为预判。     

重交通水泥混凝土路面与弹性地基相互作用的数值分析

近年来在大型现代化飞机场、远洋码头、集装箱堆场、尤其是重交通道路建设等领域,中厚度水泥混凝土板的相互作用研究分析对工程实践有着越来越重要的意义。本文采用中厚板理论作为求解弹性地基板的理论基础,该方法只需划分稀疏的离散网格,就可得到与精确解吻合较好的数值结果,其计算效率与精度均优于全域离散的有限元法。