CORC

在结果中检索

CORC

浏览/检索结果: 共48条，第1-10条 帮助

限定条件                
已选(0)清除 条数/页：   排序方式：
小卫星集群自主任务调度技术研究 学位论文
硕士, 北京: 中国科学院研究生院, 2016
吴进
收藏  |  浏览/下载：11/0  |  提交时间：2016/06/01
数据库形式化安全策略模型建模及分析方法 期刊论文
通信学报, 2015, 卷号: 36, 期号: 9, 页码: 2015151
王榕; 张敏; 冯登国; 李昊
收藏  |  浏览/下载：19/0  |  提交时间：2016/12/09
基于行为约束传播的并发系统状态空间约简方法 学位论文
硕士, 北京: 中国科学院研究生院, 2014
王志江
收藏  |  浏览/下载：14/0  |  提交时间：2014/05/30
空间飞行器轨道仿真验证反演方法研究 期刊论文
系统仿真技术, 2013, 卷号: 9, 期号: 3, 页码: 199-205
乔梁; 柳庆武
收藏  |  浏览/下载：13/0  |  提交时间：2014/12/16
不动点逻辑中的模型构造与推演系统的完备性 学位论文
博士, 北京: 中国科学院研究生院, 2012
屈楠
收藏  |  浏览/下载：22/0  |  提交时间：2012/07/06
基于机动平台序列图像的空间飞行器定轨技术研究 期刊论文
宇航学报, 2011, 卷号: 32, 期号: 1, 页码: 167-171
柳庆武; 曹宗胜; 郑昌文; 胡晓惠
收藏  |  浏览/下载：20/0  |  提交时间：2011/10/10
基于极小T-不变量增加的Petri网可达性分析 学位论文
硕士, 北京: 中国科学院研究生院, 2010
彭建兵
收藏  |  浏览/下载：14/0  |  提交时间：2010/06/06
构建度量区间时序逻辑的时间自动机 学位论文
硕士, 北京: 中国科学院研究生院, 2010
王勤思
收藏  |  浏览/下载：27/0  |  提交时间：2010/06/08
基于极小T-不变量增加的Petri网可达性分析 学位论文
硕士, 北京: 中国科学院研究生院, 2010
彭建兵
收藏  |  浏览/下载：16/0  |  提交时间：2010/06/06
基于手势的视觉用户界面研究 学位论文
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2010
武汇岳
收藏  |  浏览/下载：22/0  |  提交时间：2010/01/25

©版权所有 ©2017 CSpace - Powered by CSpace