并行程序开发流程及其辅助工具设计

并行程序开发大多遵循"开发-执行-验证和分析"的流程,开发周期较长,效率低下,而正确性和高性能是使用并行程序的首要条件.为此,提出了一种贯彻算法设计、程序开发到结果分析全过程的、可以同时进行正确性验证和性能分析的开发流程,给出了较完善的计算机辅助开发工具设计的原则和方法,并开发了消息传递并行程序设计的辅助工具原型.实验证明,该流程和方法提高了并行程序开发效率,简化了程序员的工作.     

基于决策思想的微粒群三维定位算法研究

为了进一步提高微粒群定位算法的收敛速度和定位精度,提出了一种采用个体决策思想的微粒群三维定位算法,首先对每个微粒进行评价并分配不同的惯性权重,然后利用个体历史位置及其适应值信息进一步优化每个微粒的个体历史最优位置,弥补了微粒群算法对个体历史经验信息利用不足的缺陷.仿真结果表明,改进算法能够以更高的精度和较少的迭代次数定位未知节点,与标准微粒群定位算法和典型的定位算法相比表现出了较好的性能.     

面向3D无线传感网的移动信标路径获取方法

节点定位技术是无线传感器网络的关键技术之一,移动信标辅助的定位方法可以节省定位成本.信标的移动路径是这种方法的基础.针对在3D空间下部署的无线传感器网络,设定感兴趣区域是一个正方体,提出了Layered-Scan,Layered-Curve,Triple-Scan,Triple-Curve和3D-Hilbert 5种确...     

并行程序Petri网模型的结构性质

正确性是并行程序的基础,但是由于它的复杂性,其验证要比串行程序困难得多,因此有必要进行建模并研究其性质.从程序的角度出发,在将基于消息传递的并行程序转换为Petri网模型之后,证明了与并行正确的并行程序对应的Petri网模型应当满足的结构性质,包括强连通性、S-不变量、T-不变量、受控死锁性质以及守恒性,并举例说明了这些性质在并行程序验证中的应用.这些性质可用于并行程序的事前验证,而且避免了使用动态性质进行验证时的状态爆炸问题,从而提高并行程序设计和验证效率.同时这些方法具有良好的可推广性.     

基于双移动锚节点的无线传感器网络定位算法

为提高无线传感器节点的定位精度，降低定位能耗，提出一种基于鲸鱼优化算法和双移动锚节点的定位算法。使用两个移动锚节点按照设计的移动路径遍历整个部署区域，使用加权质心算法估算节点大致位置，使用鲸鱼优化算法提高定位精度。仿真结果表明，提出的路径比PP-MMAN、GTURN和GSCAN等其它使用多个移动锚节点的路径更短，降低了移动锚节点的能耗；所提路径规划算法配合使用鲸鱼优化算法的定位精度较高，受通信不规则度和测距误差的影响较小。