一种嵌入式软件的组合测试指标获取方案

为了获取组合测试中适应值函数所需要覆盖率、测试运行代价等信息,设计实现了基于嵌入式软件源代码插桩的指标获取方案。该方案使用交叉开发环境,完成了对源代码语法、词法分析,插桩库和插桩策略的制定,目标机／宿主机通讯方式设计,获得了语句覆盖率、分支覆盖率、运行时间、被测程序程序复杂度等关键指标,并以图表的方式提供统计结果,为组合测试设计适应值函数,进行测试用例约减提供了依据。     

处理器验证激励在线筛选技术

如何生成高质量的验证激励是功能验证中的核心问题之一.随着功能验证的不断进行,验证激励的有效性也随之降低.为了提高验证激励的质量,提出一种在线筛选技术来处理验证激励.该技术采用单分类支持向量机来在线地构建分类器,以对新生成的验证激励是否冗余进行预测,如果是冗余的,则不进入仿真阶段进行仿真.在此基础上,进一步提出指令序列核函数来衡量不同指令序列的相似程度.实验结果表明,与约束随机生成技术相比,文中技术可以减少约83%的验证激励及79%的验证时间.     

基于人工势场方法的WSN传感覆盖率提高算法

感覆盖率是WSN系统中重要的性能指标之一。Sink节点的移动性能提高系统的传感覆盖率,人工势场能描述普通节点与Sink节点之间的关系。提出了一种利用人工势场方法有效的Sink节点移动控制策略,通过Sink节点的移动能够提高系统的传感覆盖率。普通节点搜集的数据能通过多跳的方式传送给Sink节点。在最初的随机部署之后,由人工势场产生的力迫使移动Sink节点移动到整个环境中的平衡点以获得更高的传感覆盖率。在整个算法执行过程中无需事先了解环境的情况,此方法能在实时的环境中采用。给出了具体的算法步骤,最后利用一个仿真实例对控制效果进行了说明。     

一种新的有向传感器网络覆盖增强算法

针对现有有向传感器网络覆盖增强方法算法较复杂及覆盖率不够高等问题,提出了一种新的有向传感器网络覆盖增强算法。每次取一重覆盖区域面积最大的传感器节点及其传感方向,使得整个网络的一重覆盖区域较多,重叠区较少,可提高网络的覆盖率;同时考虑了冗余节点休眠的情况,当网络中有节点失效时,将其周围的休眠节点激活,并重新部署失效节点周围的节点,以此保证网络有较长的寿命和较好的覆盖效果。对比实验表明,与现有算法相比,本算法原理简单,且在相同节点数目和传感半径情况下,覆盖率分别提高了20%和15%左右。     

无线传感网络覆盖中概率Voronoi模型及算法研究

覆盖是无线传感网络中最重要的问题之一,随机覆盖是目前研究的主流。基于Voronoi图的随机覆盖算法是无线传感网络领域的研究热点。目前研究中采用的Voronoi图,主要采用基于距离的Voronoi边赋权值模型,存在两个主要问题,即模型粗糙和监测节点不全。以实测的分段概率传感模型为基础,从多传感协同监测的角度构造一种概率Voronoi模型,试图解决以上问题。并且用基于概率Voronoi模型的最大突破路径算法验证了模型有效性。就掌握的文献来看,该模型是首次提出,具有较好的实用推广价值。     

近20年塔里木河干流生态环境变化遥感监测分析

针对塔里木河流域综合治理后生态环境的变化状况及植被的恢复状况等热点问题,基于遥感时空变化分析方法从土地利用、地表水体和植被覆盖度的时空变化方面分析了近20年来塔里木河干流生态环境的变化状况。结果表明:(1)塔里木河干流土地利用受到人类活动的影响显著,自2000年以来,塔里木河干流耕地面积增加显著,净增2 229 km~2,草地面积整体下降,萎缩3 157 km~2;(2)综合治理以来,下游河段2009—2018时段水体出现频率明显高于2000—2008时段,水体出现频率提高约15%;(3)2000年以来,塔里木河流域的植被覆盖度持续增加,特别是下游河段植被覆盖度增加明显,覆盖度增加18%。但中、上游流域的植被覆盖度的增加趋势主要贡献来源于耕地,中上游地区耕地的增加仍会对塔里木河流域的生态保护和恢复造成一定的影响。     

基于MODIS数据的浙江省植被覆盖度时空变化分析

以浙江省为研究区,基于2009—2018年MODIS_NDVI数据,采用MVC最大值合成法获取逐月NDVI值,利用改进的像元二分模型估算2009—2018年植被覆盖度,结合DEM数据及《浙江省林地保护利用规划》(2010—2020年)中的林地分区,分析浙江省植被覆盖度的时空变化情况。结果表明:①2009—2018年浙江省植被覆盖度总体处于高盖度级别,存在缓慢降低的趋势。②2009年和2018年的植被覆盖度空间格局基本一致,即浙南山地区、浙西山地丘陵区>浙中丘陵盆地区、浙东沿海丘陵海岛区>浙北平原区;植被覆盖度变化以稳定为主,占总面积的62.79%,退化区域面积大于改善区域面积,退化趋势以浙北平原区最为严重,占总面积的6.73%,改善趋势以浙南山地区最为明显,占总面积的4.87%。③各地形因子范围内的植被覆盖度变化均相对稳定;不同高程范围内,明显退化区域在高程100 m以下,明显改善区域在高程200 m以上;不同坡度范围内,退化最明显区域为坡度[0°,5°)范围,明显改善区域为坡度15°以上;不同坡向间,植被变化的差异并不明显。研究成果可为该地区的生态环境建设和水土流失防治提供理论依据。     

基于EEMD方法的区域降水事件特征分析——以京津冀地区为例

区域降水事件特征影响水循环,进而对社会经济各个方面有着深远的影响。京津冀地区是我国的政治、经济、文化中心,水旱灾害频发,亟需全面了解该地区区域降水事件特征。以京津冀地区173个气象站1989—2018年间逐日降水数据为基础,共识别出552次区域降水事件,采用集合经验模态分解(EEMD)等方法,从持续时间、覆盖范围、降水强度3个要素对京津冀地区区域降水事件特征及时空分布情况展开研究。结果表明:①区域降水事件发生频率有随持续时间、覆盖范围增大而减小的趋势,减小趋势逐渐变缓,区域降水事件的降水强度在10 mm附近频率最高,区域降水事件的3个要素均与综合性强度有着明显的正相关关系;②京津冀地区区域降水事件综合性强度年际变化呈现出10 a左右的周期,但长期趋势性不明显;③京津冀地区区域降水事件沿地形呈“西北少、中部多”的空间分布规律。研究成果可为当地水资源规划、防灾减灾等提供技术支撑。     

栅栏覆盖最大化生存周期调度算法

栅栏覆盖是近年来无线传感器网络的研究热点之一,如何延长生存周期是无线传感器网络研究的一个重要问题。针对无线传感器网络的栅栏覆盖应用,设计了两种最大化网络生存周期的调度算法:集中式的Greedy调度算法和分布式的DBCS调度算法。仿真实验表明:两种算法显著地延长了网络的生存周期;在较稀疏的网络中,DBCS算法与Greedy算法性能接近,分布式的DBCS算法适合应用于大规模传感器网络。     

数字水准仪的测量原理及测试精度分析

在电子水准仪的3种读数原理(相位法、相关法、几何法)中主要介绍了几何法,结合索佳电子水准仪SDL30M在实验场进行了视距长度测量、调焦质量、标尺前后左右倾斜和遮挡程度试验,并利用已有实验场进行了水准测量的对比实验,分析了上述实验结果,得到了以下几点结论:1)仪器实测精度与标称精度基本相符。2)视距测量误差与视距长度成正比,基本呈线形关系,100 m的视距长度误差一般不会达10 cm。3)调焦质量对观测成果(中丝读数)影响很小,但数据显示时间会相应延迟。4)在2°范围内标尺左右倾斜影响较小,一般在1 mm以内,超过2°误差迅速增大;标尺前后倾斜在2°范围影响较小,读数误差一般在0.2 mm以内,超过2°误差迅速增大。5)遮挡容许程度与距离有关,距离越近,容许遮挡率越低;距离越远,遮挡率越大。6)对某水准网对比测量表明采用该仪器完全可以满足工程二等水准测量要求,而且精度高、速度快。