国家自然科学基金(61071062) 作品数:22 被引量:49 H指数:5 相关作者: 董利达 沈继忠 朱承丞 朱丹 管林波 更多>> 相关机构: 浙江大学 杭州师范大学 中国人民解放军陆军军官学院 更多>> 发文基金: 国家自然科学基金 浙江省自然科学基金 宁波市自然科学基金 更多>> 相关领域: 电子电信 自动化与计算机技术 机械工程 医药卫生 更多>>
基于闭环调整策略的无线HART时间同步方法 被引量:3 2012年 时间同步是无线传感器网络的关键技术之一。无线HART是用于复杂工业环境的WSN通信协议.为了解决其时间同步问题,文章提出了一种基于闭环调整策略的时间同步方法 CATS。该方法通过测量同步节点之间的时间偏差,获得同步节点之间时间偏差对象模型参数,建立内部受控对象模型,实现节点间的时间偏差的短周期闭环调整。在CC2430通信模块上的实测表明:该方法具有同步精度高、环境适应性好、计算复杂度低等特点,为复杂工业领域中无线HART的时间同步提出了较优的方案。 华苗苗 董利达 傅健丰 徐姗姗关键词:无线传感器网络 时间同步 闭环 无线HART 基于阈值逻辑的逻辑函数综合算法研究 被引量:4 2011年 阈值逻辑门由于具有强大的逻辑功能且独自构成完备集而备受关注。为了设计以阈值逻辑门为单元结构的电路,该文首先分析了谱技术与阈值函数的关系,并通过零次、一次谱系数计算阈值函数的权值和阈值。对于非阈值函数,该文提出了新的逻辑函数综合算法,可以将任意非阈值函数转化为几个阈值函数和的形式。因此,使用一个或多个阈值逻辑门组成的网络可以实现任意布尔逻辑函数。该算法为共振隧穿二极管的电路设计提供一种新方法。 韦一 沈继忠关键词:电路设计 逻辑综合 一种低开销无线HART路由策略 被引量:2 2013年 无线HART协议是一种新兴的适用于工业领域的高可靠性无线传感器协议规范。基于无线HART网络特点,提出一种低开销的路由策略,其基本思想是将全网Graph拓扑结构转化为双树拓扑结构,上行路由采用无线HART协议中提出的Graph路由方式,而下行路由采用多路径方式。此策略简化了Graph路由方式,降低网络管理器的Graph拓扑以及节点的路由存储开销,同时降低全网络的路由维护开销。测试表明,此策略在保证网络通信可靠性的基本条件下有效的降低了路由开销。 黄聪 董利达 管林波关键词:无线传感器网络 路由 路由开销 无线HART 阈算术代数系统及多值电流型CMOS电路设计 被引量:5 2012年 该文根据电流信号易于实现算术运算的特点,定义了阈算术运算及非负运算,建立了一个适合于电流型电路设计的阈算术代数系统,并在阈算术代数系统中定义和图为阈算术函数的图形表示。在此基础上,通过三值电流型CMOS电路的设计实例,阐述了运用和图将逻辑函数转化为阈算术函数的电流型CMOS电路设计方法。采用TSMC 0.18μm CMOS工艺参数的HSPICE模拟结果表明,所设计的电路具有正确的逻辑功能。阈算术代数系统的提出及和图的运用为电流型电路设计提供了一种新的简单有效的方法。 姚茂群 张官志 施锦河关键词:电流型CMOS电路 多值逻辑 一种改进型的S^4PR网活性条件 被引量:5 2013年 研究了顺序资源共享分配系统的建模模型S4PR(Systems of sequential systems with shared resources)网的活性问题.已有的研究成果表明,一个S4PR网在所有信标都满足max,max或max-controlled时能保持活性,但现有的活性条件对信标的限制严格且不适用于某些网系统,本文提出了一类名为max*-controlled的改进型条件,并证明了当一个S4PR网的所有信标都满足max*-controlled条件时,网系统能保持活性.与现有的其他条件相比,新的活性条件更加宽松,为设计更高允许度的死锁预防或者活性保持监控器提供了理论支撑. 傅健丰 董利达 徐姗姗 朱丹 朱承丞关键词:PETRI网 信标 一类活性Petri网控制器的冗余检测及结构简化 被引量:9 2013年 S^4R(systems of sequential systems with shared resources)网是分析和解决柔性制造系统死锁现象常用的一种重要的Petri网子类模型,现有的基于S^4R网的死锁预防方法通常采用对部分或者全部严格极小信标添加控制库所来实现.此类方法的不足在于得到的活性S^4R控制器中往往存在冗余控制库所.针对已为网中每一个严格极小信标都逐一添加了控制库所和相关连接弧的活性S^4R控制器,本文提出并设计了一种基于整数规划技术的冗余检测及结构简化方法,由此得到结构更简单、行为允许度更高的活性S^4R控制器.该方法的核心思想是:如果网中已经存在一个P-不变式使得某个严格极小信标满足最大受控条件,那么为该严格极小信标添加的控制库所就是冗余的.由于该方法无需进行Petri网的可达性分析,避免了状态组合爆炸问题,因此具有较高的可行性和计算效率.最后用实验验证了本文方法的正确性和有效性. 徐姗姗 董利达 朱丹 朱承丞关键词:PETRI网 柔性制造系统 信标 死锁预防 整数规划 局域精确定位的工业移动机器人惯性导航方案 被引量:5 2014年 为解决工业移动机器人投入使用前需沿路密集布设地面磁条或激光反射点等外部装置的复杂性,以及因工作路线固定而缺少灵活性的问题,提出了基于惯性器件和超声波传感器的局域导航方案。操作人员事先通过遥控器训练机器人从一目标位置沿特定路线运动到另一目标位置,从而生成训练路线。机器人工作在非目标区域,即定位精度要求不高的区域时,按训练路线进行惯性导航;进入到目标区域,即包含目标位置、需精准定位的区域时,利用超声波进行导航。所提方案缩短了使用前的准备周期,同时方便更改工作路线。通过仿真实验,验证了局域范围使用惯性导航和超声波定位相结合的方案是合理可行的。 管林波 董利达 尹俊关键词:移动机器人 惯性导航 超声波 基于双树结构的无线HART调度策略 被引量:4 2014年 为了解决全局网络调度过程中的网络通信资源调度和维护复杂性的问题,根据无线可寻址远程传感器高速通道(HART)数据流特点,将原始网络拓扑结构简化表达为双树结构,基于此提出一种适用于规模已知而且最大深度确定的无线HART网络的调度策略.其核心思想是当网络拓扑发生变化时,根据双树结构搜索拓扑变化区域,仅针对该变化区域进行调度,而不影响双树结构中其他未发生变化的区域.测试和分析表明:该策略不仅能够有效地进行动态局部区域调度,而且能够保证网络通信的可靠性、流畅性以及网络数据的较小延时. 董利达 黄聪 管林波关键词:无线传感器网络 无线HART 调度策略 基于MOS-NDR负阻器件的D触发器设计 2013年 负阻器件由于在电流-电压特性曲线中表现出独特的负微分电阻特性,从而大大增加了单个器件所能实现的逻辑功能.如果将其用于数字逻辑电路设计,尤其是触发器的设计,可有效减少器件的数目.通过分析CMOS工艺负阻器件MOS-NDR及单双稳态转换逻辑单元MOBILE的工作特性,设计了一个时钟上升沿触发的D触发器.采用TSMC 0.18μm工艺对所设计的电路进行HSPICE仿真,仿真结果表明所设计的电路具有正确的逻辑功能.与基于MOS-NDR负阻器件的同类触发器相比,新设计的D触发器具有更稳健的输出和较强的抗干扰能力. 向光平 沈继忠关键词:负阻器件 MOBILE D触发器 低功耗四边沿触发器设计 被引量:1 2012年 根据在保持电路原有性能的前提下可通过降低时钟频率来降低系统功耗的原理和双边沿触发器的设计思想,本文将多值信号信息量大的优点应用于时钟网络上设计了基于三值时钟的四边沿触发器,消除了三值时钟的冗余跳变,从而通过降低时钟频率的方式达到降低功耗的目的。本文设计的四边沿触发器电路结构简单,既可以用于二值时序电路中也可以用于多值时序电路中。模拟结果表明,本文设计的四边沿触发器具有正确的逻辑功能且能有效地降低系统功耗。 郎燕峰 沈继忠关键词:低功耗 多值逻辑