机构

• 计算技术研究所 [4]
• 金属研究所 [1]
• 水生生物研究所 [1]
• 地球化学研究所 [1]

采集方式

• OAI收割 [7]

内容类型

• 期刊论文 [5]
• 专利 [1]
• 学位论文 [1]

发表日期

• 2023 [2]
• 2017 [1]
• 2012 [1]
• 2011 [2]
• 2010 [1]

学科主题

• 计算机系统结构 [1]

筛选

浏览/检索结果: 共7条，第1-7条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序 Thermal fatigue life prediction method for die casting mold steel based on the cooling cycle 期刊论文  OAI收割 JOURNAL OF MATERIALS PROCESSING TECHNOLOGY, 2023, 卷号: 321, 页码: 14 作者:  Liu, Mingze;  Sang, Baoguang;  Hao, Chunlei;  Chen, Guoxin;  Yan, Jin   |  收藏  |  浏览/下载：26/0  |  提交时间：2024/01/08 Die casting  Thermal fatigue  Thermal cracking  Cooling cycle  Finite element modeling   Biochar Amendment in Vermi-Wetland for Enhancing Nitrification during Excess Sludge Recycling 期刊论文  OAI收割 Sustainability, 2023, 卷号: 15, 期号: 24, 页码: 16551 作者:  Ting Bai;  Gratien Twagirayezu;  Zhen Wang;  Hui Xia;  Chunlei Sang   |  收藏  |  浏览/下载：15/0  |  提交时间：2024/03/25 一种大容量藻类生物反应系统 专利  OAI收割 申请日期: 2017-01-01, 作者:  高其双;  姜梦付;  黄开耀;  彭霞;  邓春雷   |  收藏  |  浏览/下载：14/0  |  提交时间：2019/11/26 一种提高时序安全属性静态检测实用性的方法 期刊论文  OAI收割 计算机学报, 2012, 卷号: 35.0, 期号: 002, 页码: 244 作者:  霍玮;  李丰;  丁兆伟;  桑春雷;  张兆庆   |  收藏  |  浏览/下载：1/0  |  提交时间：2023/12/04 有限状态自动机  时序安全属性  切片技术  程序静态检测  F-衡量   基于切片技术的并行化研究 期刊论文  OAI收割 计算机科学, 2011, 卷号: 38.0, 期号: 007, 页码: 108 作者:  桑春雷;  张兆庆   |  收藏  |  浏览/下载：2/0  |  提交时间：2023/12/04 切片  并行化  OpenMP  分析工具   别名集切片与并行化研究 期刊论文  OAI收割 计算机工程, 2011, 卷号: 37.0, 期号: 021, 页码: 6 作者:  桑春雷;  张兆庆   |  收藏  |  浏览/下载：16/0  |  提交时间：2023/12/04 别名集切片  并行程序分析  切片技术  别名分析  程序检错   切片技术及应用研究 学位论文  OAI收割 北京: 中国科学院研究生院, 2010 作者:  桑春雷   |  收藏  |  浏览/下载：5/0  |  提交时间：2010/12/27