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

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

帮助

条数/页：排序方式：
	基于路径约束求解的多目标状态激励生成方法期刊论文 OAI收割计算机学报, 2016, 卷号: 39.0, 期号: 009, 页码: 1829 作者: 周艳红; 王天成; 李华伟; 吕涛; 李晓维 \| 收藏 \| 浏览/下载：1/0 \| 提交时间：2023/12/04 激励生成难达状态抽象引导模拟路径约束求解
	PCIE协议栈模拟验证平台的设计和实现期刊论文 OAI收割计算机工程, 2015, 卷号: 41.0, 期号: 006, 页码: 287 作者: 张良; 王天成; 王健; 李华伟; 郭建 \| 收藏 \| 浏览/下载：2/0 \| 提交时间：2023/12/04 功能验证 PCIE协议栈协议栈验证功能覆盖率约束随机模拟激励生成
	统计参数语音合成中语音参数化方法研究学位论文 OAI收割工学博士, 中国科学院自动化研究所: 中国科学院大学, 2013 作者: 温正棋收藏 \| 浏览/下载：92/0 \| 提交时间：2015/09/02 语音合成隐马尔可夫模型激励模型语音分析合成模型参数生成算法 Speech Synthesis Hidden Markov Model Excitation Model Speech Parametric Representaiton Parameter Generation Algorithm
	处理器验证激励在线筛选技术期刊论文 OAI收割计算机辅助设计与图形学学报, 2012, 卷号: 24.0, 期号: 005, 页码: 690 作者: 郭崎 \| 收藏 \| 浏览/下载：1/0 \| 提交时间：2023/12/04 功能验证激励生成在线学习功能覆盖率核函数
	结合ATPG和SAT的无界模型检验前像计算方法期刊论文 OAI收割计算机辅助设计与图形学学报, 2007, 卷号: 19, 期号: 3 作者: 刘领一; 李晓维; 李华伟; 吕涛; 赵阳 \| 收藏 \| 浏览/下载：16/0 \| 提交时间：2010/11/22 形式验证无界模型检验前像计算自动化测试激励生成布尔可满足性问题
	数字电路测试压缩方法研究期刊论文 OAI收割中国科学院研究生院学报, 2007, 卷号: 24.0, 期号: 006, 页码: 847 作者: HAN YinHe; LI XiaoWei \| 收藏 \| 浏览/下载：1/0 \| 提交时间：2023/12/04 系统芯片测试激励压缩测试响应压缩扫描设计自动测试向量生成（ATPG）不关心位未知位卷积编码
	基于混合遗传算法的RTL激励生成期刊论文 OAI收割小型微型计算机系统, 2006, 卷号: 27.0, 期号: 1.0, 页码: 80 作者: 鲁巍; 杨修涛; 李晓维 \| 收藏 \| 浏览/下载：1/0 \| 提交时间：2023/12/04 混合遗传算法激励生成模拟
	针对可观测性语句覆盖准则的RTL激励生成期刊论文 OAI收割计算机研究与发展, 2005, 期号: 第12期, 页码: 2169~2175页作者: 杨修涛; 李晓维; 吕涛; 鲁巍 \| 收藏 \| 浏览/下载：10/0 \| 提交时间：2010/10/15 可观测性语句覆盖准则激励生成模拟