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

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

细化剂加入量对6063铝型材组织条纹的影响

型材组织条纹是由于合金内部微观组织发生变化而产生的纹路,经表面氧化处理后不可消除,造成产品大量报废.通过调整Al-Ti-B细化剂加入量,研究了细化剂加入量对铝型材组织条纹的影响.经多次挤压生产验证,观察型材表面情况,结果表明:控制铸造过程晶粒细化剂加入量为0.67 kg/t时,可有效防止组织条纹的产生.     

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

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

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

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

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

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

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

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

基于增益得分的噪声发现算法

在现实数据集中不可避免地存在噪声,如何检测并去除噪声是数据挖掘中的一项重要研究内容。本文提出了一种基于增益的得分算法来检测噪声。为了检验该算法的有效性,以决策树为工具。在产生决策树之前,先用该算法去除训练集中的噪声,以免噪声导致决策树过大和过度拟合。对12个UCI数据集利用该算法去噪,再用C4.5生成决策树,实验结果表明,与不去噪时生成的决策树相比,改善了分类精度,且树尺寸明显减小。     

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

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

无线传感器网络的部署

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

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

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