基于信任的无线传感器网络安全路由研究

通过分析无线传感器网络安全路由受到的攻击,以及对应的防御手段,提出了目前安全路由协议存在的主要问题.以信任研究为出发点,克服现有的安全路由协议的不足.从信任关系的角度设计无线传感器网络的安全路由协议,并且根据安全路由的安全目标,给出了基于信任的安全路由协议的设计的框架模型以及基于信任的安全路由的基本要求和设计原则.最后对无线传感器网络中基于信任的安全路由技术的研究进行了展望,提出了研究进一步发展的方向.     

基于时序逻辑的加密协议分析

形式化方法由于其精炼，简洁和无二义性，逐步成为分析加密协议的一条可靠和准确的途径，但是加密协议的形式化分析研究目前还不够深入，至今仍没有统一的加密协议验证体系，针对这一现状，该文从加密协议可能面临的最强大的攻击着手，提出了一种基于时序逻辑的加密协议描述方法，在该模型下，对协议行为，入侵者行为，安全需求等特性的描述均用时序逻辑公式表达，从而利用现有的统一的时空逻辑框架分析密码协议的性质，特别地，作者描述和检测了一个系统入侵者不能用任何代数和逻辑的办法获得消息的实例，通过对比，作者认为该方法具有形式化程度较高的特点。     

基于时序逻辑的HTTP-NG协议分析

形式化方法由于其简练、无二义性,在协议工程中有着重要的地位。首先对下一代超文本传输协议（HTTPNG）作了简单介绍,并利用基于时序逻辑MTLP的形式化方法对简化了的HTTPNG模型进行协议描述和分析,其中多种数据结构的引入,使分析更为方便。     

ACM/ICPC与可持续发展的IT人才培养方式实践

本文针对目前一般院校在参加ACM/ICPC(国际大学生程序设计竞赛)中普遍遇到的问题,结合华南农业大学的相关实践,阐述了竞教结合的人才培养方式以及可持续发展的思路与做法。     

基于多态蚁群算法的WSN能耗均衡路由协议

针对无线传感器网络（WSN）的能耗均衡问题,提出一种基于多态蚁群算法的路由协议,采用周期传输和数据融合的方式,将无线传感器节点的剩余能量信息融合到信息素的形成中。仿真实验表明,与Leach协议相比,采用该协议有82％的节点生命周期更长,在相同时间内网络可多传输48％的数据包。在实验室使用31个节点部署无线传感器网络,将路由协议应用于网络。实验结果验证了该协议的有效性。     

“网络编程”教学方法的探索

本文根据"网络编程"教学课题组多年的实际教学经验,分别对理论、实践、考核教学环节中的教学方法进行了总结,强调以学生为主体,结合案例教学,采用启发式、互动式、目标式多种教学方法,在实际教学中取得了较好的效果。     

无线传感器网络的部署

传感器节点的部署是无线传感器网络中的很重要的问题,因为它反映了传感器网络的成本和监视能力。它和定位、跟踪一样,是无线传感器网络中的一个基本的问题。尽管国外已经在这方面开展了一些相关研究,由于不同的应用有不同的部署特点和目标,仍然面临很多挑战。综合大量无线传感器网络部署相关的技术文献和最新研究结果,着重分析无线传感器网络中节点部署问题的重要性、面临的主要挑战、研究的现状以及对已有算法优缺点的剖析,指出下一步的研究方向。以环境监测中部署算法的设计为例,指出关键的考虑因素。     

无线传感器网络的时间同步技术

介绍了无线传感器网络中的关键技术--时间同步.首先对传统的时间同步在无线传感器网络的适用性做了描述,分析了传统时间同步机制不适合的原因;并重点介绍了专门用于无线传感器网络的几种主流的同步算法,通过对比,总结了各种算法的优点和应用限制.影响时间同步精度的重要原因是不确定性,等待时间的估计容易受到引起不对称双程信息延迟,直接的影响就是同步错误.最后分析了信息传播中不确定性的影响.     

无线传感器网络的数据聚合技术

介绍了无线传感器网络中的重要技术--数据聚合.首先介绍数据聚合和路由协议的关系,数据类型及数据采集的算法;接着以directed diffusion和Greedy Aggregation为例重点介绍了数据传播协议;另外从数据库角度介绍数据融合的实施,综合讨论了有损和无损的算法的特性,最后引入聚合质量的评价.     

大田监测中无线传感器网络的部署

监测是无线传感器网络最具潜力的应用之一,其中传感器结点的部署是无线传感器网络中重要的问题,因为它反映了传感器网络的成本和监视能力.尽管国外已经在这方面开展了一些相关研究,由于不同的应用有不同的部署特点和目标,仍然面临很多挑战.本文综合无线传感器网络部署最新研究结果,分析了无线传感器网络中结点部署问题的重要性、面临的主要挑战,以及下一步的研究方向,并以环境监测中部署算法的设计为例,指出设计环境监测中无线传感器网络部署算法的关键因素.