中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共8条，第1-8条

帮助

条数/页：排序方式：
	基于路径约束求解的多目标状态激励生成方法期刊论文 OAI收割计算机学报, 2016, 卷号: 39.0, 期号: 009, 页码: 1829 作者: 周艳红; 王天成; 李华伟; 吕涛; 李晓维 \| 收藏 \|
	PCIE协议栈模拟验证平台的设计和实现期刊论文 OAI收割计算机工程, 2015, 卷号: 41.0, 期号: 006, 页码: 287 作者: 张良; 王天成; 王健; 李华伟; 郭建 \| 收藏 \|
	统计参数语音合成中语音参数化方法研究学位论文 OAI收割工学博士, 中国科学院自动化研究所: 中国科学院大学, 2013 作者: 温正棋收藏 \|
	处理器验证激励在线筛选技术期刊论文 OAI收割计算机辅助设计与图形学学报, 2012, 卷号: 24.0, 期号: 005, 页码: 690 作者: 郭崎 \| 收藏 \|
	结合ATPG和SAT的无界模型检验前像计算方法期刊论文 OAI收割计算机辅助设计与图形学学报, 2007, 卷号: 19, 期号: 3 作者: 刘领一; 李晓维; 李华伟; 吕涛 \| 收藏 \|
	数字电路测试压缩方法研究期刊论文 OAI收割中国科学院研究生院学报, 2007, 卷号: 24.0, 期号: 006, 页码: 847 作者: HAN YinHe; LI XiaoWei \| 收藏 \|
	基于混合遗传算法的RTL激励生成期刊论文 OAI收割小型微型计算机系统, 2006, 卷号: 27.0, 期号: 1.0, 页码: 80 作者: 鲁巍; 杨修涛; 李晓维 \| 收藏 \|
	针对可观测性语句覆盖准则的RTL激励生成期刊论文 OAI收割计算机研究与发展, 2005, 期号: 第12期, 页码: 2169~2175页作者: 杨修涛; 李晓维; 吕涛; 鲁巍 \| 收藏 \|