机构

• 软件研究所 [18]
• 电子学研究所 [8]
• 地理科学与资源研究所 [2]
• 武汉岩土力学研究所 [2]
• 力学研究所 [1]
• 青藏高原研究所 [1]
• 更多

采集方式

• OAI收割 [33]

内容类型

• 期刊论文 [16]
• 学位论文 [15]
• CNKI期刊论文 [1]
• 会议论文 [1]

发表日期

• 2024 [1]
• 2021 [1]
• 2018 [1]
• 2016 [1]
• 2014 [3]
• 2013 [1]
• 更多

学科主题

• 计算机软件::软件理... [2]
• 力学 [1]
• 生态学 [1]
• 计算机科学技术 [1]
• 计算机科学技术基础学... [1]
• 计算机科学技术基础学... [1]
• 更多

筛选

浏览/检索结果: 共33条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 区域气候-作物生长双向耦合模拟与互馈机制研究 学位论文  OAI收割 中国科学院地理科学与资源研究所: 中国科学院大学, 2024 作者:  李中赫   |  收藏  |  浏览/下载：4/0  |  提交时间：2024/12/02 作物-气候互馈  陆面模型  作物生长模拟  气候变化  作物产量   大气CO_2浓度非均匀分布及其对地表升温影响的研究进展与展望 CNKI期刊论文  OAI收割 2021 作者:  张帆;  宣鑫;  邓祥征   |  收藏  |  浏览/下载：14/0  |  提交时间：2022/10/11 CO_2浓度  非均匀分布  地表升温  互馈机制  地基数据测量  模式模拟  卫星遥感   安全攸关嵌入式系统代码自动生成技术研究 学位论文  OAI收割 博士, 北京: 中国科学院大学, 2018 作者:  严高高   |  收藏  |  浏览/下载：19/0  |  提交时间：2018/06/13 混成系统  混成通信顺序进程  近似互模拟  代码生成  SystemC   归纳分支互模拟与发散性保持 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2016 廖文琪   |  收藏  |  浏览/下载：15/0  |  提交时间：2016/07/04 归纳分支互模拟  发散性保持  CCS  分支互模拟  归纳定义   并发系统差分隐私的形式化验证 学位论文  OAI收割 博士, 北京: 中国科学院研究生院, 2014 许丽丽   |  收藏  |  浏览/下载：19/0  |  提交时间：2015/01/16 差分隐私  概率自动机  模块化分析  定量互模拟  Kantorovich距离  Crowds协议  密码学家就餐协议  证明系统   基于余归纳的最小Kripke结构的求解 期刊论文  OAI收割 软件学报, 2014, 卷号: 25, 期号: 1, 页码: 16-26 高建华; 蒋颖   |  收藏  |  浏览/下载：21/0  |  提交时间：2014/12/16 模型检测  互模拟  函子  终余代数  最小Kripke结构   急倾斜软硬互层巷道变形破坏机制及支护技术研究 期刊论文  OAI收割 岩土力学, 2014, 期号: 08, 页码: 2367-2374+2425 作者:  杨帆;  陈卫忠;  郑朋强;  伍国军;  袁敬强   |  收藏  |  浏览/下载：24/0  |  提交时间：2018/06/25 软硬互层  急倾斜巷道  变形破坏机制  数值模拟   青藏高原-天山大陆内部地壳变形三维数值模拟研究 期刊论文  OAI收割 地球物理学进展, 2013, 期号: 2 卢双疆; 何建坤 收藏  |  浏览/下载：42/0  |  提交时间：2013/06/05 印度-欧亚大陆相互作用  大陆内部地壳变形  地壳流变结构  有限元数值模拟   软硬互层盐岩变形破损物理模拟试验研究 期刊论文  OAI收割 岩石力学与工程学报, 2012, 期号: 09, 页码: 1813-1820 作者:  张桂民;  李银平;  杨长来;  刘伟;  施锡林   |  收藏  |  浏览/下载：27/0  |  提交时间：2018/06/25 岩石力学  软硬互层盐岩  物理模拟  强度  破坏模式  肩部和腰部   面向安全协议的移动进程演算的符号化理论 学位论文  OAI收割 博士, 北京: 中国科学院研究生院, 2010 刘佳   |  收藏  |  浏览/下载：15/0  |  提交时间：2010/11/25 符号化语义，符号化互模拟，证明系统, applied pi-演算