机构

• 软件研究所 [3]
• 国家授时中心 [2]

采集方式

• OAI收割 [5]

内容类型

• 期刊论文 [3]
• 会议论文 [2]

发表日期

• 2013 [2]
• 2012 [1]
• 2011 [2]

学科主题

• Computer S... [1]

筛选

浏览/检索结果: 共5条，第1-5条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Radl 形式规格说明相对正确性研究 期刊论文  OAI收割 Journal of Software, 2013, 卷号: 24, 期号: 4 Wang Changjing; Xue Jinyun   |  收藏  |  浏览/下载：22/0  |  提交时间：2013/09/17 形式规格说明  相对正确性  确认  扩展的逻辑系统  辅助证明算法   Radl形式规格说明相对正确性研究 期刊论文  OAI收割 软件学报, 2013, 卷号: 24, 期号: 4, 页码: 715-729 王昌晶; 薛锦云   |  收藏  |  浏览/下载：18/0  |  提交时间：2013/09/17 形式规格说明  相对正确性  确认  扩展的逻辑系统  辅助证明算法   基于扩展逻辑变换系统_μTS证明循环优化正确性 期刊论文  OAI收割 计算机研究与发展, 2012, 卷号: 49, 期号: 9, 页码: 1863-1873 王昌晶   |  收藏  |  浏览/下载：21/0  |  提交时间：2013/09/17 循环优化  可信编译  扩展逻辑变换系统  循环变换  辅助证明算法   系统时间的互操作方法研究 会议论文  OAI收割 第二届中国卫星导航学术年会, 中国上海, 2011 李孝辉; 许龙霞; 张慧君; 薛艳荣 收藏  |  浏览/下载：15/0  |  提交时间：2012/10/19 多模导航  系统时间  算法  互操作性|Abstract  系统时间的互操作性要求能使用多个卫星导航系统的时间。在分析系统时间偏差在用户端的表现形式的基础上  研究了目前的两种系统时差处理方法  在开阔环境中  用户级处理方法要好于系统级处理方法  但在遮挡环境中  由于观测卫星的几何精度因子不好导致用户级处理方法的性能下降。针对用户级处理方法的局限性  提出系统时间偏差辅助导航算法  在观测卫星几何结构不好时  将系统时间偏差的外推值作为已知量  通过减少未知数个数来提高定位精度  并用仿真实验对这种方法进行验证  证明系统时差辅助导航方法在提高可用性和该善定位精度方面有明显优势。