当前位置：数字出版物超市 >> 学者知网节 >> 承担国家项目资助发文
共有记录15条
序号 题名 作者 文献来源 发表年份 被引频次 下载频次
1 可满足性问题算法研究以及在时序电路等价验证中的应用 丁敏 中国优秀博硕士学位论文全文数据库 (博士) 2005 1 124
2 胚泡与子宫内膜着床相关基因的筛选及其功能的研究 王健 中国博士学位论文全文数据库 2005 0 78
3 转型国家经济增长研究 王健 中国博士学位论文全文数据库 2005 0 539
4 BEHAVIORAL MODELING OF D/A CONVERTER VIA NONLINEAR AUTO-COMPANDING WAVELET APPROXIMATION METHOD - 第五届专用集成电路国际会议（ASICON） 2003 0 1
5 A MULTI-COMPANDING ALGORITHM FOR ANALOG BEHAVIORAL MODELING VIA WAVELET COLLOCATION METHOD Charles Chiang; 第五届专用集成电路国际会议（ASICON） 2003 0 0
6 A Routing Algorithm of Clock Distribution Circuit of High Frequency - 第五届专用集成电路国际会议（ASICON） 2003 0 0
7 考虑热点及热量分布系统级芯片的测试规划 陈建;赵长虹;周电;周晓方; 计算机辅助设计与图形学学报 2006 0 47
8 基于方程建立和小波配置的模拟电路自动建模 戴伟刚;陶俊;刘刚;曾璇; 计算机辅助设计与图形学学报 2006 0 92
9 基于Wiener滤波器的波形比较方法及其在最坏情况分析中的应用 黄植希;陆伟成;张鹏;唐璞山;曾璇; 复旦学报(自然科学版) 2006 0 10
10 动静态结合排序决策的可满足性问题解决器 罗二海;荆明娥;尹文波;周电;唐璞山; 计算机辅助设计与图形学学报 2006 0 34
11 利用近似解加速求解SAT问题的启发式完全算法 荆明娥;周电;唐璞山;周晓方; 计算机辅助设计与图形学学报 2007 1 80
12 用于模拟电路行为级建模的自动压扩子波方法 王健,曾璇,陶俊,童家榕 半导体学报 2004 1 40
13 用于多相和正交信号产生的RF互耦振荡器原理 王健,谭俊,Omar Wing 微电子学 2004 0 30
14 总线互连线电路分析的方程建立方法 刘榜,曾璇,童家榕 计算机辅助设计与图形学学报 2005 0 30
15 结合高级正向推理过程的可满足性问题解决器 丁敏,唐璞山,周电 中国科学E辑 2005 1 34