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

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

帮助

条数/页：排序方式：
	单一和复合极端气候事件对作物单产的影响与预测——以东北黑土地为例学位论文 OAI收割中国科学院地理科学与资源研究所: 中国科学院大学, 2024 作者: 陆扬 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2024/10/23 极端气候事件东北黑土地时序叠加分析 Copula函数作物单产
	煤山二叠纪-三叠纪过渡期事件地层时序的微观地层记录期刊论文 OAI收割中国科学(D辑:地球科学), 2009, 卷号: 39, 期号: 4, 页码: 481-487 作者: 曹长群; 郑全锋收藏 \| 浏览/下载：21/0 \| 提交时间：2012/08/30 煤山二叠纪-三叠纪过渡期微观地层事件时序
	基于时序逻辑的并发系统测试用例生成学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2007 刘大光收藏 \| 浏览/下载：29/0 \| 提交时间：2011/03/17 基于模型的测试时序逻辑约束事件测试用例生成测试目的
	一种基于模型的并发系统测试目的描述期刊论文 OAI收割计算机工程与应用, 2007, 卷号: 43, 期号: 25, 页码: 105-110 刘大光; 林惠民; 吴鹏 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2010/08/24 基于模型的测试时序逻辑约束事件测试用例生成测试目的 model-based testing temporal logic constrained events test case generation test purpose