国家自然科学基金(60773125)

作品数：7被引量：14H指数：3
导出分析报告
相关作者：荆明娥周晓方唐璞山周电赵长虹更多>>
相关机构：复旦大学上海金融学院更多>>
相关期刊：《电子学报》《小型微型计算机系统》《应用数学》《计算机工程》更多>>
相关主题：DPLLSAT问题H.264VLSI结构信号流图更多>>
相关领域：自动化与计算机技术理学自然科学总论更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于多核平台的RS译码器
《计算机工程》2012年第1期239-241,共3页黄贝 尤凯迪 荆明娥 曾晓洋 虞志益 
国家自然科学基金资助项目(60773125);上海市科委基金资助项目(10706200300);复旦大学重点实验室基金资助项目(09ZD002)
提出一种基于多核平台的Reed-Solomon(RS)译码器。为提高译码器的数据吞吐率,分析RS译码算法的特点,在多核层次上进行任务划分,并在SIMD单核层次上进行数据并行处理,以减少存储器访问次数,最小化核间通信,通过多核平台实现RS(255,239,8...
关键词：Reed-Solomon译码器 多核处理器 指令扩展 并行计算 映射策略 
一种考虑集中约束的平面布图规划算法被引量：1
《小型微型计算机系统》2010年第4期726-730,共5页王琳凯 赵长虹 陈珊珊 周晓方 
国家自然科学基金项目(60876016);国家自然科学基金项目(60773125)资助;上海自然科学基金项目(06ZR14010)资助;上海应用材料基金项目(06SA10)资助
在超大规模集成电路(VLSI)物理设计中,将更多约束实现放在更高的设计阶段考虑可以有效的加速设计收敛,减少设计时间.文中针对宏模块平面布图规划中约束的实现方法进行了分析和研究,基于B*-tree表示方法提出一种考虑集中约束(clustering ...
关键词：布图规划 约束 B＊-tree 集中约束 
一般变分不等式的一个新的下降投影算法(英文)
《应用数学》2010年第1期82-87,共6页陈克东 杨青骥 
Supported by NSFC(70432001,60773125)
本文运用辅助问题原理,给出一般变分不等式一个新的投影下降算法,并证明在伪单调条件下,算法是收敛的.
关键词：一般变分不等式 伪单调 下降方法 辅助问题原理 
一种用于H.264编解码的新型高效可重构多变换VLSI结构被引量：7
《电子学报》2009年第4期673-677,共5页曹伟 洪琪 侯慧 童家榕 来金梅 闵昊 荆明娥 
国家自然科学基金(No.60773125)
H.264/AVC标准采用了4×4整数变换.本文针对4×4正反变换分别提出了两个新的二维直接信号流图.在此基础上,设计了一个支持多变换的可重构高性能二维结构.该结构无需转置寄存器.采用0.18微米CMOS工艺实现了该电路结构.结果表明,该结构同...
关键词：可重构结构 整数变换 信号流图 H.264 
利用正交方法解SAT问题
《复旦学报（自然科学版）》2008年第6期786-790,共5页荆明娥 陈更生 赵长虹 唐璞山 周电 
国家自然科学基金资助项目(60773125,60673029);中国博士后科学基金资助项目;上海市自然科学基金资助项目(06ZR14016)
提出了一种解决SAT问题的新算法.该算法首先定义了子句之间的正交关系;然后从消除子句之间的交叠信息出发,利用正交子句的特性,结合有效的简化技术,逐渐将问题简化为一组与原问题完全等价的正交子句组;最后,根据正交子句组对整个赋值空...
关键词：可满足性问题 卡诺图 正交子句 NP完全问题 
启发式极性决策算法解SAT问题被引量：3
《中国科学（E辑）》2007年第12期1597-1606,共10页荆明娥 周电 唐璞山 周晓方 张华 
中国国家自然科学基金(批准号:60773125;90207002;90307017;60676018);美国国家科学基金(CCR-0306298);中国博士后科学基金(批准号:KLH1202005);上海市自然科学基金(批准号:06ZR14016)资助项目
提出了一种启发式极性决策的可满足性问题(SAT)新算法.该算法继承了当前SAT解决器的许多策略:快速BCP、子句记录、重启动搜索等.同时,该算法通过预先根据Karnaugh图的覆盖分布计算变量极性,将其加入到DPLL的决策过程中,大大降低了搜索...
关键词：可满足性问题 DPLL 完全算法 变量决策 
Solving SAT problem by heuristic polarity decision-making algorithm被引量：3
《Science in China(Series F)》2007年第6期915-925,共11页JING MingE ZHOU Dian TANG PuShan ZHOU XiaoFang ZHANG Hua 
the National Natural Science Foundation of China (Grant Nos. 90207002, 90307017, 60773125 and 60676018);National Science Foundation (Grant Nos. CCR-0306298);China Postdoctoral Science Foundation (Grant No. KLH1202005);the Natural Science Foundation of Shanghai City (Grant No. 06ZR14016)
This paper presents a heuristic polarity decision-making algorithm for solving Boolean satisfiability （SAT）. The algorithm inherits many features of the current state-of-the-art SAT solvers, such as fast BCP, clause...
关键词：SAT problem DPLL complete algorithm DECISION-MAKING 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部