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

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

帮助

条数/页：排序方式：
	基于UVM的协同仿真硬件加速验证平台的研究与实现学位论文 OAI收割北京: 中国科学院研究生院, 2017 作者: 李品 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2017/06/06 硬件加速器 Uvm 硬件协同仿真基于事务的加速验证平台
	核酸损伤AlkB修复酶靶标验证会议论文 OAI收割作者: 李琦; 杨财广 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2019/01/08 AlkB修复酶 rhein 靶标验证协同效应烷化剂
	北京地区改进SYNTAM算法反演AOT有效性验证期刊论文 OAI收割农业工程学报, 2010, 页码: 69-73+426 冯建中; 白林燕收藏 \| 浏览/下载：14/0 \| 提交时间：2015/01/04 大气气溶胶反演遥感双星协同反演有效性验证算法模型
	微尺寸SnAg凸点的制备技术及其互连可靠性期刊论文 OAI收割半导体学报, 2008, 期号: 01 林小芹; 朱大鹏; 罗乐收藏 \| 浏览/下载：25/0 \| 提交时间：2012/01/06 DPI 协同验证星载计算机
	嵌入式SOPC实时图像处理技术研究学位论文 OAI收割博士, 光电技术研究所: 中国科学院光电技术研究所, 2007 许俊平收藏 \| 浏览/下载：17/0 \| 提交时间：2013/11/19 嵌入式SOPC 软/硬件协同设计系统描述与验证软/硬件划分 RTOS
	基于工作流网的实时协同系统模拟技术期刊论文 OAI收割计算机学报, 2004, 卷号: 27, 期号: 4, 页码: 471-481 杜玉越; 蒋昌俊 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2011/07/29 逻辑Petri网工作流逻辑工作流网实时协同系统模拟与验证逻辑工作流网实时协同系统状态空间爆炸问题企业销售系统模拟与分析逻辑表达式系统设计模拟分析继承问题组合网抑制弧形式化应用输入输出人员扩展技术概念Computer simulation Formal logic Petri nets Real time systems Specifications