为了能高效地利用模型检测技术对安全协议进行分析与验证，提高工作效率，提出了一种适用范围广，自动化程度及验证效率均较高的建模算法。开发了一个基于该建模算法“网络安全协议验证模型生成系统”，该系统可高效地对安全协议进行分析与验证，系统在对攻击者建模时采用偏序规约、语法重定序及类型检查等优化策略以提高验证效率，有效地缓解了模型检测过程中的状态爆炸问题。

一种量子密钥分发网络中的资源感知路由算法，王聪，张杰，随着量子信息科学的发展，人们对量子密钥分发（Quantum key distribution, QKD）网络的研究方兴未艾。在量子密钥产生速率一定的情况下，提�

首先分析了利用MRC方法改进Rabin密码的解密算法，然后结合素性测试的优化策略和运算数与Visual C 6.0的特性，提出一种基于递归技术的快速素性测试方法。

Reed-Muller码的编解码方法，赵驷强，，本文以HS-SICH和在QPSK条件下的较长TFCI编码为例，给出了一阶Reed-Muller码和二阶Reed-Muller码的译码方法。一阶Reed-Muller码可以采用硬比特解码

直流电机的无线控制和调速系统设计，王璐，，目前在运动控制系统中直流电机被广泛应用，对直流电机普遍采用有线方式进行控制。为了降低布线成本和方便直流电机的使用，本文设

基于无线传感器网络的火灾报警系统，尉志武，胡彧，伴随着无线传感器网络的快速发展，以及人们对居住环境的要求越来越高，将无线传感器网络应用到火灾报警系统将是一种必然的选择。

基于无线传感器网络的室内灯光控制系统，李涛，，随着无线传感器网络和物联网技术的发展，无线传感器网络可以通过传感器监测并智能地控制建筑物内的电器设备，从而实现建筑物信息

在总结RBAC及其管理模型发展现状的基础上，给出了访问控制模型的安全分析和RBAC模型的安全性分析的概念性描述，综述了针对RBAC及其扩展模型的安全性分析方法，主要包括状态机理论、智能规划和图规划算法、图变换、图灵机理论和Petri网等方法。通过比较分析这些安全性分析方法，针对分布式环境下授权管理与访问控制的新需求，指出了安全性分析方法面临的问题，展望了将来的研究方向。

在本文中，我们总结了关于不变非齐次和动态平衡（DE）连续Markov随机过程的一些结果。 此外，我们讨论了一些示例，并考虑了DE过程在生存分析要素中的新应用。 这些要素与随机二次风险率模型有关，为此我们的工作1）概括了对它的理解？ 危险率驱动独立（HRDI）变量的随机常微分方程（ISODE），2）指定了危险率函数的关键特性，尤其是揭示了HRDI变量的基线值是对危险率函数的期望ISODE的DE解决方案，3）提出了实用的设置，以获得通过Gibbs采样一致而系统地重建缺失数据所必需的多维概率密度； 4）进一步开发了相应的建模方法。 在慢性阻塞性肺疾病（COPD）的临床试验框架中强调了由此产生的优势，在该框架中，我们建议使用反映气道狭窄的终点。 该端点基于相当紧凑的几何模型，该模型量化了障碍物的走向，显示了障碍物与危险率的关系，并阐明了威胁生命的原因。 这项工作还为未来的研究提出了一些方向。

模拟退火与蚁群混合并行算法解旅行商问题，许智宏，宋勃，本文研究了蚁群算法、模拟退火算法以及两者的混合算法的并行实现方法，建立了PC机群实验平台，基于MPI环境对蚁群算法、模拟退火算�