机构

• 国家空间科学中心 [2]
• 地理科学与资源研究所 [1]
• 新疆理化技术研究所 [1]
• 自动化研究所 [1]
• 合肥物质科学研究院 [1]
• 软件研究所 [1]
• 更多

采集方式

• OAI收割 [7]

内容类型

• 期刊论文 [5]
• 学位论文 [2]

发表日期

• 2024 [1]
• 2022 [1]
• 2021 [1]
• 2016 [1]
• 2010 [1]
• 2008 [1]
• 更多

学科主题

• 空间技术 [2]

筛选

浏览/检索结果: 共7条，第1-7条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 近百年来黄河流域土地覆被变化重建 学位论文  OAI收割 中国科学院地理科学与资源研究所: 中国科学院大学, 2024 作者:  赵诗瑞   |  收藏  |  浏览/下载：20/0  |  提交时间：2024/10/23 土地覆被变化  驱动机理  曲面重建模型  时空变化趋势  黄河流域   仿生机器鱼高速游动机理与水空跨介质运动研究 学位论文  OAI收割 中国科学院大学人工智能学院: 中国科学院大学人工智能学院, 2022 作者:  陈迪   |  收藏  |  浏览/下载：54/0  |  提交时间：2022/06/16 仿生机器鱼，动力学建模，高速游动机理，水空跨介质运动，滑翔运动优化   物联网系统时间自动机建模的研究与应用 期刊论文  OAI收割 计算机应用与软件, 2021, 卷号: 38, 期号: 6, 页码: 84-93 作者:  陈光1,2,3,4;  蒋同海1,5;  王蒙1,3,4;  唐新余1,3,4;  季文飞1,2,3,4   |  收藏  |  浏览/下载：30/0  |  提交时间：2021/06/24 时间自动机  建模  自动机理论  建模工具  建模方法  UPPAAL  模型检测   微铣削力建模研究进展 期刊论文  OAI收割 机械工程学报, 2016, 卷号: 052 -   |  收藏  |  浏览/下载：20/0  |  提交时间：2020/10/26 微铣削  切削力建模  加工机理   多温区空间晶体生长炉的解耦预测控制研究 期刊论文  OAI收割 系统仿真学报, 2010, 卷号: 22, 期号: 8, 页码: 1947-1950,1973 于强; 王刚; 秦琳琳; 郑涛; 吕旭涛 收藏  |  浏览/下载：30/0  |  提交时间：2014/04/30 多温区晶体生长炉  机理建模  解耦控制  预测控制   空间晶体生长炉温度系统建模 期刊论文  OAI收割 系统仿真学报, 2008, 卷号: 20, 期号: 13, 页码: 3596-3599 于强; 吕旭涛; 石春; 郑涛; 秦琳琳 收藏  |  浏览/下载：35/0  |  提交时间：2014/04/30 晶体生长炉  机理建模  实验建模  相关系数法  最小二乘法  白性检验   基于SPIN/Promela的并发系统验证 期刊论文  OAI收割 计算机科学, 2004, 卷号: 31, 期号: 8, 页码: 201-203,208 肖美华; 薛锦云   |  收藏  |  浏览/下载：11/0  |  提交时间：2011/07/29 模型检测  并发系统  软件可靠性  SPIN/Promela  形式化验证  并发系统  逻辑一致性  计算机科学  安全性分析  验证技术  验证工具  研究领域  数据结构  软件系统  建模语言  基本算法  工作机理  分析验证  运用  应用  通道  输出  设计  模型