丁力
- 作品数：2 被引量：5H指数：2
- 供职机构：浙江大学信息与电子工程学系电子电路与信息系统研究所更多>>
- 发文基金：浙江省科技厅资助项目国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 能够克服局部NLOS影响的自主移动节点定位方法被引量：2
- 2011年
- 针对非视距(NLOS)对无线传感器网络节点定位的影响,提出一种适用于非视距影响严重的低速自主移动节点的定位方法.利用自主移动节点的速度和方向2个运动信息实现节点的初步定位,再利用未受非视距影响的信标节点发送的精确坐标与超声波测距信息经过比例运算得到精确的移动节点位置信息.仿真结果表明,该方法能够克服局部的非视距影响,具有定位精度高、计算工作量少等特点,适用于具有运动感知能力和硬件资源有限的低速移动节点定位.
- 朴云董利达丁力
- 关键词：无线传感器网络超声波定位
- 基于Petri网的并发编程死锁预防策略被引量：3
- 2012年
- 针对并发编程中的死锁问题,提出了一种具有同步信号的并发程序的Petri网模型——S3PS(简单连续信号进程系统)网,这种Petri网子类保持活性的充分必要条件是它的虹吸非空.在此基础上,通过对严格极小虹吸加入控制弧控制S3PS网的虹吸非空,使网系统保持活性,从而解决了此类并发程序的死锁问题.应用实例表明了S3PS在并发编程建模中的可行性及其死锁预防策略的有效性.
- 丁力董利达朴云
- 关键词：并发编程PETRI网虹吸死锁预防
