国家自然科学基金(60273081)

作品数：46被引量：35H指数：3
导出分析报告
相关作者：马光胜李东海冯刚李光顺孙强更多>>
相关机构：哈尔滨工程大学曲阜师范大学牡丹江师范学院陕西理工大学更多>>
相关期刊：《西安电子科技大学学报》《计算机应用》《Tsinghua Science and Technology》《哈尔滨工程大学学报》更多>>
相关主题：遗传算法可测性数据通路低功耗NOC更多>>
相关领域：自动化与计算机技术电子电信更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
NoC处理单元随机舍入的启发式应用映射被引量：1
《计算机辅助设计与图形学学报》2011年第7期1263-1269,共7页宋朝晖 马光胜 宋大雷 
国家自然科学基金(60273081)
在性能约束的前提下,为了降低能量消耗,针对一个集成了异构IP块以分层星型拓扑互连的片上网络(NoC),采用多电压电平操作,运用一种统一方法来解决应用映射问题,并用混合整数线性程序公式化问题,提出了基于随机舍入的NoC处理单元启发式高...
关键词：片上网络 混合整数线性程序 随机舍入 启发式 应用映射 
考虑多字长环境的高层次测试综合方法
《微电子学与计算机》2010年第9期45-48,共4页王冠军 李光顺 赵莹 
国家自然科学基金(60273081);山东省高等学校科技计划项目(J09LG34);中国矿业大学青年科研基金(2009A051)
提出了考虑多字长环境下的集成测试综合算法.在前期可测性分析工作的基础上,消去循环和冗余,并且考虑后期时序深度和自循环消除等工作的需要,进行多字长环境下的综合优化.最后给出了集成的测试综合的框架,讨论了综合结果到库单元映射过...
关键词：高层次测试综合 多字长 可测性 树高度缩减 GROEBNER基 
面向控制流密集型电路的高层次低功耗方法
《计算机应用研究》2010年第8期3027-3030,共4页孙强 樊持杰 司巧梅 
国家自然科学基金资助项目(60273081);黑龙江省教育厅科学技术研究面上(11551512;11551513);牡丹江师范学院博士科研启动基金资助项目(MSB200901);牡丹江师范学院青年专项基金创新项目(QC200901);牡丹江师范学院教学改革工程项目(10-XY01056)
通过对控制流密集型电路的分析和研究,提出一种面向控制流密集型电路的高层次低功耗综合方法。在调度过程中,应用分支控制和多电压两种方法对设计电路功耗进行双重优化。实验结果表明,在相同的时间和资源约束下,该方法比单独应用分支控...
关键词：高层次综合 低功耗 分支控制 多电压 
基于马尔可夫决策模型的测试向量排序新方法被引量：1
《计算机科学》2010年第5期287-290,共4页王冠军 王茂励 赵莹 
国家自然科学基金(60273081和69973014)资助
时延测试向量排序是降低测试功耗的有效技术。提出了基于马尔可夫决策模型的时延测试向量排序新方法。对时延测试向量进行重排序,利用基于转换频度的诱导开关方程和海明距离来定义测试向量序列的转移概率,根据转移概率决定测试向量的顺...
关键词：测试功耗 时延测试向量排序 马尔可夫决策过程 转移概率 
一种基于可测性和低功耗的高层次综合方法
《计算机应用研究》2010年第1期167-169,173,共4页孙强 
国家自然科学基金资助项目(60273081)
提出了一种基于遗传算法的多目标优化高层次综合方法。该方法在时间和面积约束下,通过高层次调度和模块分配,对可测性和功耗问题进行研究。给出一种可同时进行调度和模分配的编码方法,并设计了相应的遗传算子,避免了进化过程中不可行解...
关键词：高层次综合 可测性 遗传算法 调度 模块分配 
基于模拟的定点算术数据通路等价性验证
《吉林大学学报（工学版）》2009年第5期1309-1313,共5页吴俊华 李东海 马光胜 李光顺 
国家自然科学基金项目(60273081)
为证明定点数据通路的定点算术规范与转换后的寄存器传输级实现是等价的,结合算术转换和多项式函数对实现序列加法、乘法、移位运算的定点数据通路进行建模,根据多项式函数的结论得到对定点数据通路进行等价验证所需要的模拟向量数的上...
关键词：计算机系统结构 等价验证 数据通路 多项式函数 算术转换 
一种高层次多电压功耗优化方法被引量：1
《西安电子科技大学学报》2009年第5期933-939,共7页孙强 孙兴奇 马光胜 
国家自然科学基金资助(60273081)
提出了一种在时间与面积约束下,运用遗传算法同时进行操作调度和资源分配的高层次多电压功耗优化方法.对于时间和面积约束所导致的无效染色体,通过将约束优化问题转换成两个目标函数的极值问题,一个为原问题的目标函数,另一个为违反约...
关键词：低功耗 高层次综合 多电压 遗传算法 
EDA领域中可满足性问题求解方法研究
《计算机科学》2009年第9期17-20,31,共5页王秀芹 王昊 马光胜 
国家自然科学基金(60273081);黑龙江省自然科学基金(QC2008C98)资助
可满足性问题是理论计算机和人工智能中的著名问题,很多问题都可以通过可满足性求解方法解决。对EDA领域中可满足性问题的求解技术进行了研究。总结了目前主要的求解方法,并对不同的方法进行了详细的分类和比较。讨论了该领域研究中存...
关键词：布尔可满足性 电子设计自动化 求解方法 
高层次数据流的多电压低功耗综合方法
《计算机辅助设计与图形学学报》2009年第7期991-997,共7页李光顺 马光胜 吴俊华 
国家自然科学基金(60273081);山东省软科学研究计划项目(2008RKB399)
为了有效地进行算法行为描述到寄存器传输级结构描述的转换,提出一种同时考虑功能单元功耗、互连功耗和电压转换功耗的模型和基于网络流的低功耗设计方法.首先对给定的数据流图进行单电压高层次综合,然后对单电压综合结果迭代地进行多...
关键词：高层次综合 最小费用最大流增量算法 低功耗 多电压设计 电压簇 
资源约束的高层次数据流调度方法
《小型微型计算机系统》2009年第6期1062-1066,共5页吴俊华 李光顺 马光胜 王冠军 
国家自然科学基金项目(60273081)资助
提出遗传算法和蚂蚁算法动态融合解决资源约束调度问题的方法.讨论资源约束调度过程中遗传算法的编码规则,蚂蚁算法中蚂蚁的概率选择方法和信息素更新规则,给出两种算法的动态切换条件及如何由遗传算法的调度结果产生蚂蚁算法的初始信...
关键词：资源约束调度 遗传算法 蚂蚁算法 动态切换 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部