国家高技术研究发展计划(2008AA04Z132)
- 作品数：6 被引量：21H指数：2
- 相关作者：李光辉冯冬芹曾松伟全剑敏金建祥更多>>
- 相关机构：浙江大学浙江林学院浙江农林大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金浙江省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 时序电路等价性检验中的存储元素映射方法研究被引量：2
- 2009年
- 随着集成电路规模越来越大,系统的功能日益复杂,功能验证已成为整个设计流程的瓶颈。对于大规模的时序电路,传统基于状态空间遍历的等价性检验方法可能会遇到内存爆炸问题。为了降低等价性检验方法的复杂度,提高验证效率和处理大规模电路的能力,通常需要构造两个被验证电路的存储元素映射之间的映射关系,从而将时序电路等价性检验问题转化为组合电路等价性检验问题。较全面地介绍了时序电路等价性检验的基本方法及其研究进展,讨论了基于存储元素映射的时序电路等价检验方法的基本思想,并介绍了若干具有代表性的存储元素映射方法,展望了集成电路等价检验方法的研究发展方向。
- 李光辉曾松伟
- 关键词：集成电路等价性检验
- 快速实时工业以太网的研究被引量：4
- 2011年
- 实时工业以太网技术不能满足高性能运动控制领域对高同步精度和强实时性的应用需求。为解决该问题,利用快速实时工业以太网(EPA-FRT)中的快速通信调度和精确同步技术提高网络系统的实时性和同步精度,给出EPA-FRT的6层通信模型及2层网络结构。性能测试结果表明,EPA-FRT系统的通信周期在1 ms内,同步偏差在1μs内,能够满足高性能运动控制领域对网络通信的需求。
- 赵飞翔冯冬芹胡协和
- 关键词：运动控制实时以太网时钟同步
- 基于电路拓扑结构分析的等价性验证方法
- 2008年
- 随着集成电路设计规模的日益增大,结合多种推理引擎已成为组合电路形式化等价性验证的重要手段.提出一种基于电路拓扑结构分析的组合等价性验证方法,将电路的拓扑结构与验证算法的复杂性关联起来.在验证过程开始之前,利用min-cut方法计算表征电路复杂性的"电路宽度",以确定最佳的推理引擎,避免了传统的引擎切换过程,提高了算法的效率.针对ISCAS 85电路的实验结果表明了该方法的效率和可行性.
- 李光辉冯冬芹曾松伟
- 关键词：组合电路等价性验证布尔可满足性
- 基于簇头冗余的无线传感器网络可靠性研究被引量：13
- 2009年
- 为了提高工业无线传感器网络的可靠性和可用性,使其能够长期自治地正常工作,提出了基于簇头冗余的工业无线传感器网络分簇路由算法.当工作簇头能量不足时,将主动切换到冗余簇头工作状态.冗余簇头通过冗余测试结果判断工作簇头是否发生故障并接管工作簇头的数据转发任务.当边际节点不能与本簇簇头通信时,将利用备份簇头进行数据转发.对于不能与任何簇头直接通信的孤立节点,采用基于概率模型的多跳路由机制进行数据转发.为了降低功耗,该算法将冗余簇头设置为轻度睡眠状态,当冗余测试周期到来时,关闭射频前端器件.利用自行研制的节点,组建了实验系统,完成了簇头冗余切换、边际节点通信和孤立节点路由恢复的实验.实验结果表明该分簇路由算法具有较高的可靠性.
- 冯冬芹李光辉全剑敏金建祥
- 关键词：无线传感器网络工业控制分簇路由冗余可靠性
- 无线传感器网络远程软件更新技术被引量：2
- 2011年
- 无线传感器网络(WSN)通常部署在恶劣的环境下,并要求自治地工作很长的时间,这使得对传感器节点的软件更新成为一大难题。WSN重编程技术着力解决通过无线的方式对节点进行远程软件更新,从而提高软件更新的效率。同时对国内外关于WSN软件更新若干关键技术如传感器节点执行环境、传播更新协议和数据优化等进行了较全面的综述,重点分析了现有的数据分发协议。
- 潘渊洋李光辉
- 关键词：无线传感器网络重编程
- 基于存储元素映射的层次化等价性检验方法
- 2009年
- 为了提高验证效率和处理大规模电路的能力,提出了一种基于存储元素映射的层次化等价性检验方法,该方法将功能性和非功能性的映射方法相结合,提高了存储元素匹配的准确性和完备性.针对一款RSICCPU设计完成了两组等价性验证实验,结果表明此方法具有很强的实用性.
- 李光辉曾松伟邵明
- 关键词：集成电路等价性检验
