机构

• 计算技术研究所 [2]
• 测量与地球物理研究所 [1]
• 遥感与数字地球研究所 [1]
• 南京天文光学技术研究... [1]

采集方式

• OAI收割 [5]

内容类型

• 期刊论文 [3]
• 会议论文 [1]
• 学位论文 [1]

发表日期

• 2016 [1]
• 2010 [1]
• 2008 [1]
• 2004 [1]
• 2003 [1]

学科主题

• 天文技术与方法 [1]

筛选

浏览/检索结果: 共5条，第1-5条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序 大非球面度快焦比中大口径高次非球面检测 期刊论文  OAI收割 激光与光电子学进展, 2016, 卷号: 53, 期号: 12, 页码: 122201-1-8 作者:  何丽;  武中华;  康燕;  苏志德 收藏  |  浏览/下载：29/0  |  提交时间：2017/01/05 光学设计  大口径非球面检测  非球面研制  零位补偿器设计  组合检验   地震遥感监测中的云检测与地表温度反演研究 会议论文  OAI收割 2010 孟庆岩; 詹雅婷; 韩春峰; 陈翰阅; 龙明涛 收藏  |  浏览/下载：20/0  |  提交时间：2015/01/05 反演研究  卫星数据  预测分析  地表温度  温度反演  真实性检验  近红外波段  热红外波段  亮度温度  波段组合   挖掘信息提高GPS/INS导航精度的理论与方法研究 学位论文  OAI收割 博士, 武汉: 中国科学院测量与地球物理研究所, 2008 柴艳菊 收藏  |  浏览/下载：26/0  |  提交时间：2013/01/17 GPS/INS组合  doppler测速  模糊度动态解算  坐标约束  模糊度检验  不适定问题  kalman滤波  参数可测性  挖掘隐含信息  附加隐含信息约束的滤波模式  自适应选权滤波  姿态检验  MATLAB语言   基于增量可满足性的等价性检验方法 期刊论文  OAI收割 计算机学报, 2004, 卷号: 27.0, 期号: 010, 页码: 1388 作者:  李光辉;  李晓维   |  收藏  |  浏览/下载：2/0  |  提交时间：2023/12/04 增量可满足性  等价性检验  组合电路  形式验证  数字集成电路  等价结点   基于BDD的组合电路等价性检验方法 期刊论文  OAI收割 微电子学与计算机, 2003, 卷号: 20.0, 期号: 002, 页码: 48 作者:  李光辉;  邵明;  李晓维   |  收藏  |  浏览/下载：1/0  |  提交时间：2023/12/04 BDD  形式验证  等价性检验  符号模拟  三叉判决图  组合电路  专用集成电路