浙江省科技厅资助项目(2007C1046)
- 作品数：5 被引量：3H指数：1
- 相关作者：董利达郑寒程曦浩朴云丁力更多>>
- 相关机构：浙江大学更多>>
- 发文基金：浙江省科技厅资助项目国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 针对有限禁止状态的Petri网控制器综合
- 2008年
- 针对基于Petri网的离散事件系统禁止状态问题,提出了一种控制器综合方法.该方法是建立在受控Petri网最大不可控子网为规范化序状Petri网基础之上的,当禁止状态有限时,可以将禁止状态问题转化为惟一可达解向量问题,即可达标识和状态方程的解向量之间存在惟一的对应关系,从而只须通过判断惟一可达解向量就能够得到相应的控制器.通过一个具体的例子验证了该方法在设计最大允许控制器中的应用,例证表明,针对有限禁止状态问题,该方法是可行的,并且简单、有效.
- 董利达兰守珍陈桂忠
- 关键词：离散事件系统PETRI网
- 能够克服局部NLOS影响的自主移动节点定位方法被引量：2
- 2011年
- 针对非视距(NLOS)对无线传感器网络节点定位的影响,提出一种适用于非视距影响严重的低速自主移动节点的定位方法.利用自主移动节点的速度和方向2个运动信息实现节点的初步定位,再利用未受非视距影响的信标节点发送的精确坐标与超声波测距信息经过比例运算得到精确的移动节点位置信息.仿真结果表明,该方法能够克服局部的非视距影响,具有定位精度高、计算工作量少等特点,适用于具有运动感知能力和硬件资源有限的低速移动节点定位.
- 朴云董利达丁力
- 关键词：无线传感器网络超声波定位
- 一类含T-图环结构受控网显式控制器设计
- 2010年
- 定义并研究了T-图工作流网的结构和相关性质,提出一种基于T-图工作流网的替换规则,在此基础上,根据树Ⅰ型和树Ⅱ型的结构特点,构造2种新类型的Petri网子类,即T-图工作流—树Ⅰ型和T-图工作流—树Ⅱ型的Petri网.利用T-图工作流子网替换前后原网系统和替换网系统对同名库所权矢量的界保持不变的替换特性,给出一种适用于前向子网为T-图工作流—树I型或者T-图工作流—树Ⅱ型的受控Petri网显式控制器设计方法,应用示例表明:所提出的方法适用于一类最大不可控子网含T-图环结构时的受控Petri网显式控制器设计.
- 董利达郑寒程曦浩
- 关键词：离散事件系统PETRI网
- 基于工作流的安全库所替换网特性研究被引量：1
- 2010年
- 基于Petri网的替换运算,提出基于工作流网的库所替换规则,并定义工作流安全库所替换网,进而研究基于稳固工作流的安全库所替换网系统对替换前的Petri网系统特性的保持性问题,研究表明:用稳固工作流网对原Petri网系统的安全库所进行替换之后,得到的替换网系统能保持原网系统的活性、有界性、可回复性;同时,若原Petri网系统是安全的,则替换网系统是有界的,但是由于工作流网本身不具备公平性、持续性等性质,替换网系统不能保持原Petri网系统的公平性和持续性.
- 董利达程曦浩郑寒
- 关键词：PETRI网工作流网
- 基于TSTWT网系统的显式控制器设计
- 2008年
- 在基于Petri网的离散事件系统监控理论中,显式控制器的设计具有非常重要的意义。当Petri网为无环网时,控制器设计可以通过线性整数规划法求解,当Petri网含环结构,目前而言,只有当Petri网的最大不可控子网中前向子网为STWT时可以求出其显式控制器,然而上述方法只是局限于库所层面的简化,而从另一个方向,即变迁层面的简化来扩展受控Petri网的显式控制器的设计,能够进一步解决最大不可控子网含环状结构后的显式控制器的求解难题。
- 董利达郑寒程曦浩
- 关键词：离散事件系统受控PETRI网
