高速铁路3G通信的覆盖与切换技术综述

针对高速铁路环境特点及其对移动通信网络的影响进行了综合探讨,重点分析了国内三大主流3G通信标准的技术特点及其在高速铁路通信系统建设方面所遇到的无线网络覆盖和快速切换关键技术问题,归纳总结了我国各主要高速列车部署3G通信网络的车体损耗、最小切换区和建网策略等优化方案,同时展望了高速铁路无线通信技术的发展趋势,长期演进(LTE)为高速铁路的高速率、大流量应用服务的承载提供了技术上的可行性,我国需要大力加强TD-LTE在高速铁路环境下的无线移动通信传输性能的改进优化研究。     

元启发搜索技术在测试数据产生中应用研究

提出一种使用元启发搜索技术产生测试数据的方法。这种方法能够针对测试中低概率执行部分产生测试数据，提高测试覆盖率，并通过实验举例说明了该方法的可行性。     

Mutation Testing in the Refinement Calculus

This article discusses mutation testing strategies in the context of refinement. Here, a novel generalisation of mutation testing techniques is presented to be applied to contracts ranging from formal specifications to programs. It is demonstrated that refinement and its dual abstraction are the key notions leading to a precise and yet simple theory of mutation testing. The refinement calculus of Back and von Wright is used to express concepts like contracts, useful mutations, test cases and test coverage.     

无线传感器网络的覆盖问题研究

降低能耗可延长网络生存时间,在传感器节点高密度部署的环境中,在保证网络性能的前提下,将最少量的节点投入活跃工作状态,而将其余节点投入低功耗的睡眠状态。在满足上述覆盖性和连通性要求的基础上,讨论如何选择最少数量的工作节点,以及如何计算同时满足覆盖要求和连通性要求的问题。     

基于矿井三维WSNs多重覆盖和RSSI的加权质心算法

针对无线传感器网络(WSNs)的矿井灾害无线监测信息系统,提出一种基于矿井三维建模WSNs多重覆盖和RSSI的加权质心定位算法.根据矿井巷道的几何结构特征,将矿井建模成规则的拱型模型.介绍了一种矿井巷道固定节点无缝覆盖部署模型,并运用几何学求出了满足多重覆盖要求时的节点部署间距.在此基础上,提出了一种基于RSSI比值的加权质心定位算法,利用节点RSSI值求出加权系数,再对质心坐标进行加权处理.仿真实验表明:改进的质心算法有效地减少了定位误差,定位精度优于原算法.     

大规模传感器网络随机睡眠调度节能机制

调度冗余节点轮流工作能有效延长网络寿命,然而现有的调度协议需要地理位置信息,引入了额外负载．研究随机睡眠的节点调度机制,给出了4种基于不同信息的随机调度模式并分析比较其性能．结果表明,根据邻居节点信息合理设置节点睡眠概率可以不同程度地减少工作节点个数和保证较高的网络覆盖率。     

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

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

Coverage and connectivity issues in wireless sensor networks: A survey

Sensing coverage and network connectivity are two of the most fundamental problems in wireless sensor networks. Finding an optimal node deployment strategy that would minimize cost, reduce computation and communication overhead, be resilient to node failures, and provide a high degree of coverage with network connectivity is extremely challenging. Coverage and connectivity together can be treated as a measure of quality of service in a sensor network; it tells us how well each point in the region is covered and how accurate is the information gathered by the nodes. Therefore, maximizing coverage as well as maintaining network connectivity using the resource constrained nodes is a non-trivial problem. In this survey article, we present and compare several state-of-the-art algorithms and techniques that aim to address this coverage–connectivity issue.     

有向传感器网络最大覆盖调度算法

与传统的全向传感器不同,有向传感器可以切换到不同的方向,并且每个方向覆盖有限角度的感应范围.针对有向传感器网络的区域覆盖问题,研究了“最大有向区域覆盖”MDAC(maximum directional area coverage)问题,期望通过调度传感器的工作方向,最大化覆盖区域面积.首先给出了MDAC 的问题定义,使用整数线性规划描述MDAC 问题,并且证明其是NP 完全的.然后提出一种分布式贪心算法DGreedy(distributed greedy algorithm)解决MDAC 问题.在此基础上,通过计算可能的覆盖贡献比例来反映网络拓扑信息.还提出了一种增强的算法PGreedy(distributed probability-enhanced greedy algorithm)使覆盖区域更大.证明了所提算法的收敛性,并通过详细的模拟实验验证了其有效性.     

基于SCADE的航空发动机FADEC软件开发

机载软件开发面临复杂性、安全性和成本等方面的巨大挑战.针对某航空发动机数控系统的研制,结合FADEC软件的开发特点和目标,探索SCADE基于模型开发在FADEC软件开发中的应用.探索了两种不同的SCADE基于模型开发解决方案,基于这两种方案分别完成两个FADEC软件配置项的应用软件开发.通过模型测试、模型覆盖率分析和软件硬件集成测试验证了开发结果的正确性.提出了联合SCADE和Simulink的基于模型开发流程并明确其注意事项.分析SCADE的两种基于模型开发解决方案的适用范围以及方案选择时的考虑因素,总结分析了SCADE用于机载软件开发的优势和不足.