李光辉
- 作品数：130 被引量：497H指数：12
- 供职机构：浙江大学更多>>
- 发文基金：国家自然科学基金浙江省自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信农业科学文化科学更多>>
- ERP生产计划模块的现状、问题及优化研究
- 2012年
- 在对生产计划管理现状分析的基础上,指出了ERP系统生产计划模块存在的问题。鉴于此,提出了ERP、APS、MES、PCS集成信息模式,并给出了传统ERP生产计划模块的优化对策。
- 董鹏张晓良李光辉麻卢剑李鹏举陈贺璋
- 关键词：ERP系统集成
- 一种基于激光测距传感器的树干轮廓测量装置
- 本实用新型公开了一种基于激光测距传感器的树干轮廓测量装置，包括三根可伸缩支撑杆、激光测距传感器、滚珠丝杆、光杆、内置有光电编码器的步进电机以及控制系统，支撑杆之间通过固定杆连接，滚珠丝杆一端通过底座一与其中一根支撑杆顶端...
- 方益明王泽润冯海林李剑李光辉
- 文献传递
- 基于多特征的木材缺陷识别分类方法
- 本发明公开了一种基于多特征的木材缺陷识别分类方法，首先选定实验样本数据；然后采集应力波传播速度数据；接着采集阻力值；接着对应力波传播速度数据和阻力值进行数据处理；接着将每种木材缺陷类型的若干组样本数据分为训练组数据和分类...
- 李光辉王再超冯海林
- 文献传递
- 验证包含黑盒的电路设计的有效方法被引量：9
- 2004年
- 在超大规模集成电路设计中 ,为了进行早期的设计错误检测与调试或层次化验证 ,常常需要使用含黑盒的设计验证方法 .该文提出了一种结合逻辑模拟和布尔可满足性的黑盒验证方法 ,用于验证设计中黑盒外部的功能正确性 .该方法使用量化的合取范式 (CNF)来表示电路中出现的未知约束 ,并且不需要修改电路结构 ,有效地节省了计算资源 .此外 ,通过使用随机并行模拟增强了可满足性算法的错误检测能力 .通过对ISCAS’85电路的实验表明了该方法不仅比以往同类算法速度快 ,而且具有较好的错误检测能力 .
- 李光辉邵明李晓维
- 关键词：超大规模集成电路设计合取范式
- 基于top‑k(σ)算法的异常数据检测方法
- 本发明公开了一种基于top‑k(σ)算法的异常数据检测方法，通过构造PC列表，将潜在异常数据点对应的小数据单元格对应的第四列数据分别与阈值进行比较，如果大于阈值，则与该第四列数据对应的小数据单元格内的数据点为异常数据点，...
- 李光辉胡石冯海林
- 文献传递
- 一类Adams型的并行混合方法
- 2000年
- 构造了一类Adams型的并行多步混合方法 ,得到了A 稳定的三步三阶方法和A(α) 稳定的四步四阶 (α =89.99°)及五步五阶 (α =84.92°)方法的具体计算公式 .数值试验表明 。
- 李光辉
- 关键词：刚性微分方程处理器
- 基于VF-CS的移动传感器网络覆盖优化算法被引量：12
- 2018年
- 在野外环境部署大规模传感器网络时,往往采用随机部署方式,导致覆盖率不高。为此提出一种基于虚拟力(virtual force)扰动和布谷鸟搜索(CS,Cuckoo search)的移动传感器网络覆盖优化算法(VF-CS)。首先,对传感器节点进行Voronoi图划分,形成独立的泰森多边形(Thiessen polygon)。其次,对泰森多边形内的节点进行虚拟力的分析,将多边形顶点和邻居节点的作用力作为布谷鸟搜索位置更新的扰动因子。最后,通过布谷鸟搜索引导节点移动实现覆盖优化。仿真实验结果表明,与以往基于Voronoi图的覆盖优化算法相比,VF-CS算法提高了覆盖率,减少了节点平均移动距离。
- 李光辉胡世红
- 关键词：虚拟力
- 模型检验中迁移关系的一种分组策略
- 迁移关系的构建是基于BDD模型检验中一个重要环节,而建立一个占内存尽可能小的关系一直是一个挑战,通常的做法是对迁移关系进行分割,本文提出了一种的对分割后的迁移关系进行分组的规则,通过对ISCAS-89中时序电路的试验表明...
- 邵明李光辉李晓维
- 关键词：二叉判定图
- 文献传递
- 新型高阶非圆锥齿轮的设计及其节面修形方法研究被引量：1
- 2015年
- 将帕斯卡曲线和阿基米德螺线应用到非圆锥齿轮的设计中,推导了该新型非圆锥齿轮节面的数学模型。针对非圆锥齿轮设计过程中可能存在的节面尖点问题,将产形刀具的部分节面作为非圆锥齿轮节面尖点处的节面,依据产形刀具节面与高阶非圆锥齿轮节面之间的运动关系,建立了新型非圆锥齿轮的节面修形模型,开发了非圆锥齿轮的齿廓产形算法。并采用该方法对实例中的高阶阿基米德螺线锥齿轮和二次曲线锥齿轮的节面尖点进行了修正。
- 吕刚范守文李光辉童水光肖人源
- 关键词：非圆锥齿轮节曲线尖点
- 时序电路等价性检验中的存储元素映射方法研究被引量：2
- 2009年
- 随着集成电路规模越来越大,系统的功能日益复杂,功能验证已成为整个设计流程的瓶颈。对于大规模的时序电路,传统基于状态空间遍历的等价性检验方法可能会遇到内存爆炸问题。为了降低等价性检验方法的复杂度,提高验证效率和处理大规模电路的能力,通常需要构造两个被验证电路的存储元素映射之间的映射关系,从而将时序电路等价性检验问题转化为组合电路等价性检验问题。较全面地介绍了时序电路等价性检验的基本方法及其研究进展,讨论了基于存储元素映射的时序电路等价检验方法的基本思想,并介绍了若干具有代表性的存储元素映射方法,展望了集成电路等价检验方法的研究发展方向。
- 李光辉曾松伟
- 关键词：集成电路等价性检验
