您的位置: 专家智库 > >

浙江省科技厅重点资助项目(2007C21045)

作品数:3 被引量:29H指数:2
相关作者:李光辉冯海林李剑方益明冯冬芹更多>>
相关机构:浙江林学院浙江大学更多>>
发文基金:浙江省科技厅重点资助项目浙江省自然科学基金国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 3篇期刊文章
  • 3篇会议论文

领域

  • 5篇自动化与计算...
  • 1篇电子电信

主题

  • 4篇应力波
  • 3篇无损检测
  • 3篇波传播
  • 2篇等价
  • 2篇等价性
  • 2篇等价性验证
  • 2篇电路
  • 2篇应力波传播
  • 2篇组合电路
  • 2篇木材
  • 2篇可满足性
  • 2篇布尔可满足性
  • 1篇信号
  • 1篇信号处理
  • 1篇数值模拟
  • 1篇拓扑
  • 1篇基于电路
  • 1篇基于拓扑
  • 1篇值模拟

机构

  • 6篇浙江林学院
  • 2篇浙江大学

作者

  • 6篇李光辉
  • 3篇冯海林
  • 2篇冯冬芹
  • 1篇尹建新
  • 1篇曾松伟
  • 1篇方益明
  • 1篇李剑

传媒

  • 2篇系统仿真学报
  • 1篇计算机辅助设...

年份

  • 1篇2010
  • 1篇2009
  • 3篇2008
  • 1篇2007
3 条 记 录,以下是 1-6
排序方式:
应力波在木材中的三维传播模型
在使用应力波对木材进行无损检测时,应力波在木材中的传播规律对无损检测的效果具有重要的影响.参考固体中的机械波传播理论,研究了应力波在木材这种各向异性介质中的传播过程。分析了应力波传播的控制方程,给出在圆柱极坐标下的微分方...
冯海林李光辉
关键词:无损检测木材波传播
文献传递
基于拓扑结构分析的等价性验证方法
随着集成电路设计规模的日益增大,组合验证已成为时序电路的形式化等价性验证的重要手段。为了验证较大规模的电路,通常需要将随机模拟、自动测试生成、二叉判决图、布尔可满足性等多种推理引擎相结合。本文提出了一种基于电路拓扑结构分...
李光辉冯冬芹曾松伟
关键词:组合电路等价性验证布尔可满足性
文献传递
基于电路拓扑结构分析的等价性验证方法
2008年
随着集成电路设计规模的日益增大,结合多种推理引擎已成为组合电路形式化等价性验证的重要手段.提出一种基于电路拓扑结构分析的组合等价性验证方法,将电路的拓扑结构与验证算法的复杂性关联起来.在验证过程开始之前,利用min-cut方法计算表征电路复杂性的"电路宽度",以确定最佳的推理引擎,避免了传统的引擎切换过程,提高了算法的效率.针对ISCAS 85电路的实验结果表明了该方法的效率和可行性.
李光辉冯冬芹曾松伟
关键词:组合电路等价性验证布尔可满足性
基于应力波的木材无损检测技术研究进展
正确判断外木材内部缺陷是木材加工行业提高造材和产品质量的关键,国外发达国家已广泛应用无损检测技术进行林产品质量检测,具有显著的社会效益和经济效益。介绍了基于应力波的木材无损技术中的若干关键问题的研究现状和最新进展。探讨和...
李光辉尹建新
关键词:无损检测应力波数值模拟信号处理
木材无损检测中的应力波传播建模和仿真被引量:11
2009年
基于应力波的木材无损检测技术中,应力波在木材中的传播规律对无损检测的效果具有重要的影响。根据机械波传播理论,对应力波在木材中的传播进行了研究。分析了应力波传播的微分方程,并给出在圆柱极坐标下的模型。引入Kelvin-Christoffel张量,得到应力波在木材中传播的微分方程模型。分析了模型参数,给出在各个对称面中的方程表示。分别对纵波和横波进行了分析,以云杉和松木为应用实例对应力波的传播进行了仿真。
冯海林李光辉
关键词:无损检测木材应力波
应力波传播模型及其在木材检测中的应用被引量:22
2010年
木材无损检测技术是充分有效利用木材资源的重要手段之一。依据各向同性和各向异性材料中的机械波传播理论,研究了应力波在木材中的传播过程。分析了直角坐标系下的应力波传播方程,研究了木材中应力波传播的弹性常数之间的关系。在圆柱极坐标下研究了传播模型,对模型的参数进行了分析,用幂级数的形式给出模型的部分解,分析了木材中横向传播速度。最后对两类木材中的应力波传播进行了计算。
冯海林李光辉方益明李剑
关键词:应力波传播
共1页<1>
聚类工具0