云南高校图书馆联盟文献共享服务平台- 国家自然科学基金(69973014)

国家自然科学基金(69973014): 作品数：17被引量：22H指数：3; 导出分析报告; 相关作者：马光胜杜振军冯刚王冠军王茂励更多>>; 相关机构：哈尔滨工程大学中国矿业大学牡丹江师范学院山东省计算中心更多>>; 相关期刊：《哈尔滨工程大学学报》《哈尔滨工业大学学报》《计算机工程与应用》《计算机应用与软件》更多>>; 相关主题：互连延迟测试功耗超深亚微米多项式耦合电容更多>>; 相关领域：自动化与计算机技术电子电信交通运输工程理学更多>>

有限域上基于Grbner基的高级综合优化方法: 《哈尔滨工业大学学报》2010年第7期1153-1157,共5页王冠军赵莹王茂励; 国家自然科学基金资助项目(69973014);中国矿业大学青年科研基金资助项目(2009A051); 提出了基于多项式符号代数的高级综合方法,并使用元件库中的元件构建多项式符号代数所表示的数据通路,计算出其Grbner基.利用Grbner基对多项式进行一些基本操作,例如,多变元多项式分解、最大公因式提取、库单元映射等,从而实现了有...; 关键词：高级综合多项式符号代数 Grbner基有限域

基于马尔可夫决策模型的测试向量排序新方法被引量：1: 《计算机科学》2010年第5期287-290,共4页王冠军王茂励赵莹; 国家自然科学基金(60273081和69973014)资助; 时延测试向量排序是降低测试功耗的有效技术。提出了基于马尔可夫决策模型的时延测试向量排序新方法。对时延测试向量进行重排序,利用基于转换频度的诱导开关方程和海明距离来定义测试向量序列的转移概率,根据转移概率决定测试向量的顺...; 关键词：测试功耗时延测试向量排序马尔可夫决策过程转移概率

有限域上通过算术变换进行多项式电路优化: 《北京邮电大学学报》2010年第1期97-101,共5页王冠军; 国家自然科学基金项目(69973014);山东省高等学校科技计划项目(J09LG34);中国矿业大学青年科研基金项目(2009A051); 针对电子设计自动化(EDA)高层次综合中功耗和面积的日益严峻挑战,进行非精确算术电路的自动综合和优化,并且基于有限域特性进行字长优化.非精确多项式电路优化基于算术变换方法,首先考虑电路的定点和浮点表示情况,给出电路在不同精度界...; 关键词：有限域非精确算术电路算术变换误差界限

智能交通检测系统中动态目标检测方法研究被引量：5: 《计算机应用与软件》2010年第1期29-31,57,共4页刘志宇王冠军; 国家自然科学基金(69973014); 视频交通检测技术已逐渐成为交通信息采集领域的主流技术。以交通信息采集系统中运动车辆的检测与识别为应用背景,在对运动目标检测中背景更新、噪声的消除等一些难点问题进行深入分析研究的基础上,给出了一个稳定的运动车辆检测算法。...; 关键词：智能交通系统运动目标检测背景差分

双阈值VLSI低测试功耗方法研究被引量：1: 《计算机应用研究》2009年第4期1402-1404,1408,共4页邢军王冠军; 国家自然科学基金资助项目(69973014); 提出一种测试功耗优化的新方法,它通过阈值门电路调节和漏电流优化两种方法相结合来降低静态功耗。通过算法寻找电路的关键路径,去除伪路径,然后在关键电路上设置低阈值门电路,在非关键电路上设置高阈值门电路(不违反时序约束的前提下)...; 关键词：测试功耗电压调节漏电流优化测试向量

A new model for verification被引量：2: 《Journal of Harbin Institute of Technology(New Series)》2007年第3期305-310,共6页杜振军马光胜冯刚; Sponsored by the National Natural Science Foundation of China(Grant No.69973014and60273081);the Natural Science Foundation of Heilongjiang Province(Grant No.F0209);HEU Foundation(Grant No.HEUF04088).; Formal verification is playing a significant role in IC design.However,the common models for verification either have their complexity problems or have applicable limitations.In order to overcome the deficiencies,a no...; 关键词：polynomial symbolic manipulations VERIFICATION WGL word-level polynomial

基于多项式符号运算的时钟周期确定新方法被引量：1: 《哈尔滨工程大学学报》2006年第1期94-98,共5页马光胜杜振军冯刚; 国家自然科学基金(69973014和60273081);黑龙江省自然科学基金(F0209);哈工程大学基础研究基金(HEUF04088); 采用多项式符号代数理论建立了包含时序元件的整个同步时序电路的统一多项式符号描述形式,并采用WGL(weighted general lists)模型进行多项式的符号运算.在时序电路统一多项式描述和及其WGL运算的基础上,通过对有限状态机的简化比较,提...; 关键词：时钟周期多项式电路延迟

一种检测电路中关键路径的新算法被引量：3: 《哈尔滨工程大学学报》2005年第4期518-521,共4页杜振军马光胜冯刚; 国家自然科学基金资助项目(69973014和60273081);黑龙江省自然科学基金资助项目(F0209);哈工程大学基础研究资助基金资助项目(HEUF04088); 伪路径的存在严重影响了对大规模集成电路的定时分析.为了克服该问题,文中给出一种基于SAT和GRASP求解算法的识别伪路径的方法,在此基础上引入动态期望值的手段得到一种检测组合电路中的关键路径的快速方法.实验证明,该方法可以在微机...; 关键词：关键路径定时分析通路敏化

串扰最小化的网格模式下的双层通道布线: 《小型微型计算机系统》2004年第7期1124-1128,共5页冯刚马光胜杜振军; 国家自然科学基金( No.69973 0 14 )资助;黑龙江省自然科学基金( F0 2 0 9)资助; 超深亚微米 IC设计中互连线的串扰情况与详细布线方案和信号波形密切相关 .基于这一事实 ,在网格模式下的通道布线算法中建立了最小化串扰的目标函数 ,提出获得最小化串扰布线方案的方法 .与以往算法不同的是 ,本方法将相邻平行线间信...; 关键词：通道布线串扰波形距离耦合电容布线生成树

多值Boole过程被引量：1: 《计算机工程》2003年第10期21-23,共3页杜振军马光胜; 国家自然科学基金项目(69973014); 采用文献[1]中定义的扩展Allen-Givone代数概念将Boole过程论扩充，提出了多值Boole过程的概念及其运算，为精确统一描述多值逻辑电路的逻辑功能和定时行为提供了一种解析途径。提出基于Allen-Givone代数的带状波形概念，用实值的加、...; 关键词：Boole过程多值逻辑电路带状波形 Allen-Givone代数

国家自然科学基金(69973014)