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

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

论迭代法的结合应用

本文讨论同时求解非线性代数方程全部单根的迭代法的结合应用.构造出一些新的迭代法并讨论了它们的收敛性和效率.结论表明新迭代法收敛更快且计算效率更高.数值例子的结果是满意的.     

部分真值表在环形分配器设计中的应用

目前步进电机以五相居多，硬件环形分配器用卡罗图来进行设计，则显得复杂冗赘，如果从步进电机运行的规律中找出约束条件，建立部分真值表，便可以直接写出控制逻辑函数，这对于设计相数、拍数较多的步进电机的环形分配器极为方便，这种设计思路在进行数字电路工程设计中也是可以值得借鉴的。     

实验选课系统的设计及实现

在实行学分制的情况下,配合校级中心实验室的管理模式和实验室管理软件进行设计和开发的实验选课系统,既适应了学分制的要求,完善了实验室的管理机制,也提高了管理水平和工作效率。     

力学微分原理的准Riemann型及动力学方程

本文运用《Riemann 几何及张量分析》方法,研讨了完整约束及一阶非完整约束的力学系统。在3N 维 Euclid 空间及其一阶切空间中,分别给定Riemann 流形及准 Riemann 流形。导出了 Jourdian 原理的准 Riemann形式及动力学方程组。     

q-致光滑Banach空间中带误差项的Mann迭代过程

在q(>2)一致光滑实Banach空间中,运用新的数学分析技巧,给出一类非Lipschitz及非值域有界的Φ强增生映射和Φ强伪压缩映射的带误差项Mann迭代序列的收敛定理,推广并概括了目前一些相应结果.     

常微分方程学习指导(一)

本对《常微分方程》^[1]的第一、二章进行了归纳总结，剖析了重、难点，并通过典型例题介绍解题思路、方法和技巧，以帮助学生进一步理解基本概念，掌握基本方法，提高学生的解题能力。     

BAN逻辑与串空间的比较

研究了2种安全协议的分析方法,即BAN逻辑和串空间.利用这2种方法分别分析了Needham-Schroeder公钥协议,指出了这2种方法各自的优点和缺点.在对这2种方法进行了比较后,指出了这2种方法有2种结合方式.1种是利用串空间给出BAN逻辑的语义,另外1种结合方式是串行,即对于需要分析的协议,先利用BAN逻辑进行分析,然后再利用串空间进行分析,使分析出的结果更加可靠.