中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
自动化研究所 [3]
地理科学与资源研究所 [2]
计算技术研究所 [2]
遥感与数字地球研究所 [2]
数学与系统科学研究院 [1]
新疆理化技术研究所 [1]
更多
采集方式
OAI收割 [13]
内容类型
学位论文 [6]
期刊论文 [6]
中文期刊论文 [1]
发表日期
2013 [1]
2012 [2]
2010 [3]
2008 [1]
2006 [2]
2005 [2]
更多
学科主题
Computer S... [1]
筛选
浏览/检索结果:
共13条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
基于语义优先的土地利用图斑综合的研究——以大连旅顺口区北海街道为例
中文期刊论文
OAI收割
2013
作者:
葛全胜
;
席建超
收藏
  |  
浏览/下载:43/0
  |  
提交时间:2013/12/02
语义相似
制图综合
边线化简
土地利用图斑
基于符号执行生成测试数据的过程优化
学位论文
OAI收割
中国科学院新疆理化技术研究所: 中国科学院研究生院, 2012
作者:
于亚南
  |  
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2016/05/10
软件测试
符号执行
前向遍历
后向遍历
表达式化简
用MapReduce框架构建虚拟天文台数据节点
期刊论文
OAI收割
天文研究与技术:国家天文台台刊, 2012, 卷号: 9.0, 期号: 002, 页码: 150
作者:
宋烜
;
周薇
;
韩冀中
;
崔辰州
  |  
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2023/12/04
映射化简
中国虚拟天文台
交叉认证
一种基于安全状态转移的简并测试集生成方法
期刊论文
OAI收割
软件学报, 2010, 卷号: 21, 期号: 3, 页码: 539-547
程亮
;
张阳
;
冯登国
  |  
收藏
  |  
浏览/下载:30/0
  |  
提交时间:2011/05/23
安全操作系统测评
形式化方法
模型检测
测试用例化简
简并测试集security operating system verification
formal method
model checking
test case optimization
degenerate test set
深刻蚀石英光栅中的模式方法
学位论文
OAI收割
硕士: 中国科学院上海光学精密机械研究所, 2010
作者:
吕鹏
收藏
  |  
浏览/下载:29/0
  |  
提交时间:2016/11/28
熔融石英深刻蚀光栅
波长无关分束光栅
宽带光栅
归一化简化模式方法
法布里-珀罗干涉模式方法
用MapReduce实现天文星表交叉认证
期刊论文
OAI收割
计算机应用研究, 2010, 卷号: 000, 期号: 010, 页码: 3740
作者:
宋烜
;
韩冀中
;
王凯
;
高建
  |  
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2023/12/04
映射化简
交叉认证
并行
大规模
一种用于渐进传输的多分辨率曲线模型
期刊论文
OAI收割
计算机工程, 2008, 期号: 8, 页码: 25-28
任应超
;
李文雯
;
杨崇俊
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2015/01/05
多分辨率曲线
化简
多叉树
渐进传输
生物自发光分子成像处理平台的研究与实现
学位论文
OAI收割
工学硕士, 中国科学院自动化研究所: 中国科学院研究生院, 2006
骆劼
收藏
  |  
浏览/下载:66/0
  |  
提交时间:2015/09/02
生物自发光分子成像
Monte Carlo方法
三角面片模型
面片化简
空间定位算法
贝塞尔曲面
光源重建
Bioluminescent Imaging
Monte Carlo Method
3D Mesh Model
Mesh Simplification
3D Space Inclusion Test Algorithm
Bezier Surface
Source Reconstruction
Petri网化简操作及其在系统验证中的应用
期刊论文
OAI收割
计算机科学, 2006, 卷号: 33.0, 期号: 009, 页码: 235-240
作者:
夏传良
;
徐进
  |  
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2021/01/14
Petri网
化简操作
活性
有界性
系统验证
柔性制造系统
在体生物光学成像前向及逆向问题研究
学位论文
OAI收割
工学博士, 中国科学院自动化研究所: 中国科学院研究生院, 2005
作者:
李慧
收藏
  |  
浏览/下载:54/0
  |  
提交时间:2015/09/02
在体生物光学成像
漫射方程
Monte Carlo 方法
网格化简
光学仿真环境
算法平台
光学特性参数
生物组织
Bioluminescent Imaging
Diffusion Equation
Monte Carlo Method