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

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

帮助

条数/页：排序方式：
	轮胎半焦制备碳化硅晶须的研究期刊论文 OAI收割硅酸盐通报, 2020, 卷号: 40, 期号: 03, 页码: 951-956 作者: 陆鹏飞; 许光文; 崔彦斌; 武荣成 \| 收藏 \| 浏览/下载：0/0 \| 提交时间：2023/06/08 轮胎半焦碳热还原反应碳化硅晶须升温程序生成机理
	基于问题模式的形式化软件规格说明生成方法期刊论文 OAI收割计算机研究与发展, 2013, 卷号: 50, 期号: 2, 页码: 352-360 王昌晶; 罗海梅; 左正康 \| 收藏 \| 浏览/下载：12/0 \| 提交时间：2013/09/17 形式化软件规格说明生成方法问题模式模型精化演算算法程序
	基于范畴计算的多目标语言程序生成架构期刊论文 OAI收割计算机科学, 2011, 期号: 4, 页码: 185-187 王金全; 郑宇军 \| 收藏 \| 浏览/下载：8/0 \| 提交时间：2011/10/10 范畴论程序生成函子模型变换
	C程序测试数据生成与死循环检测研究学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2009 阮辉 \| 收藏 \| 浏览/下载：16/0 \| 提交时间：2011/03/17 自动软件测试程序分析测试数据生成死循环
	基于形式描述的编译优化自动测试方法与技术研究学位论文 OAI收割硕士, 中国科学院软件研究所: 中国科学院研究生院, 2009 - \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2009/06/12 编译优化，测试自动化，形式描述，测试程序，测试生成，测试执行
	一种有效的边界测试点选取策略期刊论文 OAI收割计算机辅助设计与图形学学报, 2007, 卷号: 19, 期号: 2, 页码: 251-256 赵瑞莲; 董红霞收藏 \| 浏览/下载：59/3 \| 提交时间：2011/07/01 边界测试点测试数据生成 RSDIMU 变异体边界值分析测试点选取策略测试用例健壮性测试固定型故障边界值测试诊断原理软件需求逻辑电路覆盖程度方法设计测试成本变异体组合实验容错开发规范程序
	以太网三层交换机关键技术的研究与实现学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2006 杨贺收藏 \| 浏览/下载：12/0 \| 提交时间：2011/03/17 三层交换机驱动程序多线程编程单播路由生成机制组播任务
	基于智能Agent的实体关系模型多程序代码自动生成方法研究期刊论文 OAI收割信息与控制, 2001, 卷号: 30, 期号: 1, 页码: 36-40 作者: 李红信; 孙玉全; 高展; 薛劲松 \| 收藏 \| 浏览/下载：8/0 \| 提交时间：2010/11/29 Er模型智能agent 程序代码自动生成器
	计算和绘制高温Eh—pH图的计算机方法期刊论文 OAI收割计算机与应用化学, 1984, 期号: 03, 页码: 161-172 作者: 毛铭华; E.Peters 收藏 \| 浏览/下载：25/0 \| 提交时间：2014/08/27 计算机方法 Eh pH 计算机程序程序库图形表示水溶液体系生成自由能组份热力学数据