机构

• 计算技术研究所 [1]
• 测量与地球物理研究所 [1]
• 文献情报中心 [1]

采集方式

• OAI收割 [3]

内容类型

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

发表日期

• 2015 [1]
• 2008 [1]
• 2004 [1]

学科主题

• 图书馆、情报与文献学 [1]
• 新闻学与传播学 [1]

筛选

浏览/检索结果: 共3条，第1-3条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序 公开研究数据, 保障学术研究的可检验性和可重复性 期刊论文  OAI收割 现代图书情报技术, 2015, 卷号: 31, 期号: 11, 页码: 1-3 作者:  张晓林;  彭希珺 收藏  |  浏览/下载：36/0  |  提交时间：2015/12/31 研究数据  学术论文  可检验性  可重复性  科研诚信   挖掘信息提高GPS/INS导航精度的理论与方法研究 学位论文  OAI收割 博士, 武汉: 中国科学院测量与地球物理研究所, 2008 柴艳菊 收藏  |  浏览/下载：28/0  |  提交时间：2013/01/17 GPS/INS组合  doppler测速  模糊度动态解算  坐标约束  模糊度检验  不适定问题  kalman滤波  参数可测性  挖掘隐含信息  附加隐含信息约束的滤波模式  自适应选权滤波  姿态检验  MATLAB语言   基于增量可满足性的等价性检验方法 期刊论文  OAI收割 计算机学报, 2004, 卷号: 27.0, 期号: 010, 页码: 1388 作者:  李光辉;  李晓维   |  收藏  |  浏览/下载：2/0  |  提交时间：2023/12/04 增量可满足性  等价性检验  组合电路  形式验证  数字集成电路  等价结点