无线传感器网络中基于异构节点的覆盖控制算法

研究了无线传感器网络中基于异构节点的优化覆盖控制问题.异构无线传感器网络由两类能力不同的节点组成,包括普通节点和超级节点.对普通节点采用基于状态轮转的覆盖控制算法,对超级节点采用基于路由表的转发策略.通过两类节点的协作使得网络达到覆盖与连通的目的.模拟结果表明,在具有相同初始能量的情况下,该算法与SHHN-HS算法相比能够延长网络生命期.     

基于遗传-蚁群混合算法的软件测试数据自动生成方法

自动化测试可以有效地提高软件测试效率,降低软件开发成本。测试数据自动生成是自动化测试过程中一个非常重要的环节。以路径覆盖为准则,本文提出一种利用遗传-蚁群混合算法来对程序输入域进行搜索的方法,进而生成满足需要的测试数据。经过实验验证,该算法可以有效地生成满足覆盖准则并且分布多样的测试数据。     

精确的程序静态分析

程序的静态分析是程序语言和编译领域的一个重要研究方向,已经被研究了很多年.近年来,它也引起形式方法和软件工程领域的重视,被用于程序测试和正确性验证.文中从程序的语法特征、所关心的数据类型和程序性质等方面比较了一些静态分析技术.着重描述基于路径的分析方法,特别是符号执行技术,讨论了程序路径可行性分析问题及其分类、复杂度.针对程序分析精度的一种量化指标,说明了其计算方法.     

WSNs中基于Voronoi图的分布式覆盖协议

研究网络随机部署情况下的覆盖问题,提出基于Voronoi图的分布式覆盖协议。采用分布式节点冗余判断算法来判断传感器节点自身的冗余性,据此对节点进行相应的职能调度。当网络中节点的通信半径大于或等于其感应半径的2倍时,该协议能达到网络完全覆盖及连通的要求。通过该协议的推广,满足了覆盖度动态变化的要求,保证网络的k-度覆盖。     

EasiFCCT:一种保证连通性的传感器网络局部覆盖算法

调度节点轮流工作可以有效延长网络寿命,然而现有的调度协议大部分需要地理位置信息,引入了额外的负担;一些不需要地理位置信息的节点密度控制算法又无法保证有效的网络覆盖度.此外,已有的分析证明了随机算法可以以较大概率保证一定的网络覆盖度,但是因其没有考虑到节点的非连通性会导致网络出现不连通的情况,所以具有一定局限性.提出的局部覆盖算法在随机调度的基础上同时考虑节点的连通性,可以保证网络在具有一定的有效覆盖度的同时能够连通工作.仿真结果表明,算法在网络有效覆盖度方面要优于已有的工作,同时由于新算法建立在随机调度的基础上,因此其复杂度低,较易实现.     

代码覆盖测试技术在MODE-S应答机中的应用

代码覆盖测试技术可用于结构覆盖测试和程序复杂度分析,代码覆盖测试技术可用于测试用例设计,提高软件测试效率,指导编写高质量的程序代码,代码覆盖是软件测试的底线.代码覆盖测试技术及方法的研究,为软件覆盖测试提供了理论依据.在Mode-S应答机项目中应用TRACE覆盖测试技术,确保了产品满足适航软件标准RTCA/DO-178B LEVEL B的要求.     

无线传感器网络节点部署问题研究

节点部署是无线传感器网络(W SNs)研究的一个基本问题。合理的节点部署方式有助于提高网络工作效率,优化利用网络资源。针对与节点部署相关的覆盖、连通、能耗三方面基本问题,对现有主要研究成果进行了分类和比较,讨论了三者之间的关系,总结性地提出并分析了网络覆盖和连通性能的评价标准。     

一种基于蜂窝网格的传感器节点部署算法

传感器节点的部署是无线传感器网络研究的一个重要分支。证明了传感器节点覆盖圆盘与其邻居节点覆盖圆盘的交点构成正六边形蜂窝时,有效覆盖面积最大;提出了一种基于蜂窝网格的传感器节点部署算法,通过仿真与已有的基于方形网格的部署算法进行比较,结果证明:本算法能更有效地控制成本。     

基于功率控制的成簇优化算法

在无线传感器网络中,高效、节能的自组织成簇算法,有助于拓扑结构控制与优化,有助于提高传感器网络的服务质量,延长整个网络的生命周期.针对成簇算法中没有考虑工作节点的功率控制问题,本文从理论上对节点覆盖、连通与有效通信半径之间的关系进行分析,提出一种节点有效通信半径的计算方法,应用于传统的成簇算法进行优化,并通过仿真计算对优化算法进行了性能分析.仿真结果表明,优化算法的网络覆盖度、网络生存期及节点失效等方面都有明显提高.     

覆盖范围可变时WSNs优化算法

无线传感器网络（WSNs）具有放置方便,自组织,移动性强等特点,为了保证安全生产,可以将网络中的节点放置在煤矿井下狭长工作面上,用来对大型设备的工作情况和环境参数进行监测以提供实时信息。基于上述环境,提出了监测区域可变的覆盖算法,在B样条数学理论和Matlab工具的支持下做了算法仿真。结果表明：通常情况下覆盖度随着节点通信半径的增大而增加;合理选择第一个簇首会达到较高的覆盖度;合适的节点密度不但可以有效覆盖监测区域,还可延长网络寿命。