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

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

帮助

条数/页：排序方式：
	海岸线自然属性定量化评估方法及其应用学位论文 OAI收割 : 中国科学院大学, 2024 作者: 郭玉 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2024/06/17 海岸线自然属性，定量化评估，陆海影响因素，指标体系，中国
	基于扩展自动机的服务组合静态与动态验证方法期刊论文 OAI收割通信学报, 2012, 期号: S1, 页码: 1-8 张广泉; 狄浩军; 石慧娟; 晏荣杰; 朱雪阳 \| 收藏 \| 浏览/下载：12/0 \| 提交时间：2013/09/17 Web服务组合定量属性有限自动机 CTL UPPAAL
	面向系统确保的属性可计算方法期刊论文 OAI收割信息技术快报, 2011, 卷号: 9, 期号: 3, 页码: 34 作者: 刘礼才; 殷丽华; 郭云川 \| 收藏 \| 浏览/下载：13/0 \| 提交时间：2011/06/07 系统确保属性计算模型定量评估安全属性
	细菌对泥岩有机质的改性及三项定量评价指标的研究会议论文 OAI收割第十届全国有机地球化学学术会议, 中国无锡, 2005-04 丁安娜; 惠荣耀; 卢双舫; 张中宁收藏 \| 浏览/下载：28/0 \| 提交时间：2012/10/30 生物标志化合物定量评价指标有机质演化柴达木盆地东部细菌活性成岩作用松辽盆地饱和烃专属性定量指标