丁力

作品数：2被引量：5H指数：2
导出分析报告
供职机构：浙江大学信息与电子工程学系电子电路与信息系统研究所更多>>
发文主题：并发编程虹吸死锁预防策略死锁预防PETRI网更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《浙江大学学报（理学版）》《浙江大学学报（工学版）》更多>>
所获基金：浙江省科技厅资助项目国家自然科学基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Petri网的并发编程死锁预防策略被引量：3
《浙江大学学报（理学版）》2012年第1期43-49,55,共8页丁力 董利达 朴云 
针对并发编程中的死锁问题,提出了一种具有同步信号的并发程序的Petri网模型——S3PS(简单连续信号进程系统)网,这种Petri网子类保持活性的充分必要条件是它的虹吸非空.在此基础上,通过对严格极小虹吸加入控制弧控制S3PS网的虹吸非空,...
关键词：并发编程 PETRI网 虹吸 死锁预防 
能够克服局部NLOS影响的自主移动节点定位方法被引量：2
《浙江大学学报（工学版）》2011年第7期1147-1153,共7页朴云 董利达 丁力 
国家自然科学基金资助项目(60503027);国家"863"高技术研究发展计划资助项目(2006AA040309);浙江省科技厅资助项目(2007C1046)
针对非视距(NLOS)对无线传感器网络节点定位的影响,提出一种适用于非视距影响严重的低速自主移动节点的定位方法.利用自主移动节点的速度和方向2个运动信息实现节点的初步定位,再利用未受非视距影响的信标节点发送的精确坐标与超声波测...
关键词：无线传感器网络 移动节点 非视距(NLOS) 超声波定位 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部