中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
云南天文台 [2]
国家授时中心 [2]
光电技术研究所 [1]
西安光学精密机械研究... [1]
软件研究所 [1]
采集方式
OAI收割 [7]
内容类型
期刊论文 [3]
会议论文 [2]
学位论文 [2]
发表日期
2019 [2]
2017 [1]
2011 [1]
2009 [2]
2004 [1]
学科主题
天文学 [2]
天文学::天体测量学 [2]
机械工程 [1]
航空、航天 [1]
筛选
浏览/检索结果:
共7条,第1-7条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
提交时间升序
提交时间降序
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
鹊桥卫星激光测距时间窗口及测距成功概率分析
期刊论文
OAI收割
天文研究与技术(Astronomical Research & Technology), 2019, 卷号: 16, 期号: 4, 页码: 422-430
作者:
高清鹏
;
李春晓
;
李荣旺
;
段建锋
;
李语强
  |  
收藏
  |  
浏览/下载:80/0
  |  
提交时间:2019/12/02
鹊桥卫星激光测距
目标晕轨道
回波信号
可靠性实测验证
地月系L2点halo轨道特性在鹊桥卫星激光测距中的应用研究
学位论文
OAI收割
北京: 中国科学院大学, 2019
作者:
高清鹏
  |  
收藏
  |  
浏览/下载:79/0
  |  
提交时间:2022/08/02
鹊桥卫星激光测距
目标晕轨道
回波光子数
可靠性验证
不变流形
对开式快门的寿命分析与运动特性研究
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2017
作者:
吉星宇
;
吉星宇
收藏
  |  
浏览/下载:35/0
  |  
提交时间:2017/06/04
大口径快门
系统建模
加减速曲线
平台验证
可靠性方案
航天器产品可靠性指标验证方法探究
期刊论文
OAI收割
电子产品可靠性与环境试验, 2011, 卷号: 0, 期号: 6, 页码: 23
李宁
收藏
  |  
浏览/下载:69/0
  |  
提交时间:2011/12/27
可靠性验证
光学载荷
可靠性评估
贝叶斯方法
基于LabWindows/CVI的虚拟仪器软件性能优化设计
会议论文
OAI收割
2009全国虚拟仪器大会, 中国广西桂林, 2009
刘娅
;
李孝辉
收藏
  |  
浏览/下载:25/0
  |  
提交时间:2012/10/19
虚拟仪器
多线程
定时|Abstract
本文通过介绍基于LabWindows/CⅥ的虚拟仪器软件设计过程
分析了虚拟仪器设计中主要涉及的仪器多面板管理
定时机制
多线程机制等对软件性能的影响
提出了优化软件性能的设计方案
包括定时机制
多线程机制的合理运用
实现高速度
高可靠性
高效率的虚拟仪器软件设计
本优化设计方案经过在实际应用验证
达到了优化软件性能的目标。
基于SPIN/Promela的并发系统验证
期刊论文
OAI收割
计算机科学, 2004, 卷号: 31, 期号: 8, 页码: 201-203,208
肖美华
;
薛锦云
  |  
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2011/07/29
模型检测
并发系统
软件可靠性
SPIN/Promela
形式化验证
并发系统
逻辑一致性
计算机科学
安全性分析
验证技术
验证工具
研究领域
数据结构
软件系统
建模语言
基本算法
工作机理
分析验证
运用
应用
通道
输出
设计
模型