一种嵌入式软件逻辑覆盖测试方法研究

针对嵌入式软件测试覆盖率低的问题,本文提出了基于软件故障注入的逻辑覆盖测试方法,首先就嵌入式系统常用传感器建立故障模式库,设计了嵌入式软件故障注入系统;其次选取中间层作为故障注入点,研究基于VxWorks653嵌入式操作系统的故障注入实现方式,并通过分析故障信号在软件系统中的传播,提出优化测试用例的方法;最后通过实验验证了该方法可有效提高容错设计功能、冗余设计功能、故障检测功能测试的逻辑覆盖率;有助于提高嵌入式软件的可靠性。     

基于节点移动和监控质量感知的WSN覆盖方案

针对现有无线传感器网络(WSN)空洞覆盖方案没有考虑监控质量(MQ)的差异性问题,提出一种基于节点移动和监控质量感知的WSN覆盖方案.首先,将网络构建成六边形网格结构.然后,移动传感器根据邻居单元的监控情况进行移动,并根据单元的MQ需求和节点能量适当调整移动路线,同时避免覆盖冗余.最后,形成能够实现WSN全时间和空间覆盖的支持路径.实验结果表明,该方案能够均衡节点能耗,最大化网络的完整覆盖时间,提高网络的生命周期.     

喀斯特地区城市化进程中土地利用/覆盖时空变化研究——以贵阳市为例

喀斯特地区是我国生态脆弱区之一。近年来,随着西部大开发的不断深入,经济社会快速发展,城市化速度加快,研究其土地利用/覆盖时空变化,对该区域土地管理与城市规划具有重要意义。在RS和GIS技术的支持下,应用1986、1995和2000年三期TM影像以及2006年CBERS-01影像,得到贵阳市四期土地利用数据。从土地利用/覆盖变化速度和空间变化两方面对贵阳市城市化进程中的时空变化进行研究。结果表明:贵阳市土地利用/覆盖变化剧烈,主要有持续增加型,先增后减型,先减后增型。在整个研究期内,建设用地持续增加,各土地利用/覆盖类型重心变化呈现出此消彼长的态势。除主城区建设用地面积有较大增加外,各郊区城镇建设亦得到较大发展。城区与郊区间的土地利用/覆盖类型变化存在差异。     

Fourier-Laplace级数收敛性的Marcinkiewicz型判别法证明的一个注记

令d(·,·)为单位球面Σn-1上的测地度量,n≥3.令δ(x)=d(x,P),(A)x∈Σn-1,则其连续且有最大值r0＞0和最小值0.记rk=2-kr0,Fk={x∈Σn-1:rk≤δ(x)≤rk-1},Gk=Fok,(A)k∈N,则Fk均非空闭,且∪∞k=1Fk=Σn-1\P.     

WSANs中基于蜂巢结构的移动容错恢复算法

旨在研究无线传感器与执行器网络(WSANs)中节点失效情况下恢复执行器(actor)节点服务的算法. 首先说明了WSANs中的实时覆盖模型, 证明WSANs覆盖恢复问题是NP难问题, 给出了近似求解方案. 在此基础上, 提出了一种基于六边形蜂巢结构的移动容错算法HMFR用于恢复失效actor节点, HMFR 算法在限制网络初始部署的条件下拥有很好的性能. 通过实验与现有的恢复算法进行比较, 发现HMFR算法在actor覆盖sensor节点数和移动距离方面有更好的性能.     

Cs相似度函数下正则谱聚类的收敛阶

用覆盖数逼近的方法给出Cs相似度函数下正则谱聚类的收敛阶.     

分次范畴的Smash积与覆盖

给出了分次代数的Smash积与覆盖的关系,指出了覆盖实际上就是某个Smash积,反过来Smash积也是覆盖,从而给出了构造覆盖的一种方法,并说明了带关系图之间的态射与覆盖函子之间的关系.     

DTMB与DTMB-A地面广播覆盖差异化分析

DTMB与DTMB-A采用的发射覆盖模式从发射功率、接收门限、净载荷率等方面都存在较大差别,为有效评估DTMB与DTMB-A两代地面广播标准在信号覆盖方面的差异,本文根据地面广播发射站位置、当前信号覆盖的工作模式和东帝汶首都帝力及其周边的地形特征,设计了不同区域的DTMB与DTMB-A的接收对比测试,用视频记录仪对射频信号进行采集并在实验室进行了全面分析。根据分析测试结果,本文给出DTMB与DTMB-A地面广播覆盖差异化的分析结论。     

基于用户QoE的室内可见光通信系统接入策略

在可见光通信网络室内场景中,针对用户难以选择合适的发光二极管进行接入从而实现高质量流量服务的问题,以用户为中心,引入系统性能指标:用户体验质量(QoE).以QoE概率覆盖模型为基础,提出基于用户QoE优化的贪婪接入算法.通过MATLAB进行仿真,将贪婪接入算法与就近接入方法在用户数量、覆盖概率、接入阈值、接收视角等方面...