机构

• 软件研究所 [36]
• 国家授时中心 [8]
• 计算技术研究所 [2]
• 力学研究所 [1]
• 高能物理研究所 [1]
• 自动化研究所 [1]
• 更多

采集方式

• OAI收割 [50]

内容类型

• 期刊论文 [33]
• 学位论文 [9]
• 会议论文 [8]

发表日期

• 2016 [1]
• 2015 [2]
• 2014 [1]
• 2013 [4]
• 2012 [1]
• 2011 [8]
• 更多

学科主题

• 计算机软件::软件理... [3]
• Computer S... [1]
• 计算机应用::计算机... [1]
• 计算机科学技术基础学... [1]

筛选

浏览/检索结果: 共50条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 移动智能终端远程证明方案研究与设计 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2016 詹世才   |  收藏  |  浏览/下载：23/0  |  提交时间：2016/05/31 移动智能终端  系统安全  可信计算  安全引导  远程证明   混成CSP的概率与随机扩充 学位论文  OAI收割 硕士, 北京: 中国科学院大学, 2015 彭宇   |  收藏  |  浏览/下载：15/0  |  提交时间：2015/06/26 混成系统  概率  随机过程  逻辑证明   ROS中XML-RPC协议实现的形式化验证 期刊论文  OAI收割 小型微型计算机系统, 2015, 卷号: 36, 期号: 12, 页码: 2629-2633 贾娟娟; 施智平; 关永; 李勇坚; 魏洪兴   |  收藏  |  浏览/下载：50/0  |  提交时间：2016/12/09 ROS系统  XML-RPC协议  有界模型检测  定理证明   并发系统差分隐私的形式化验证 学位论文  OAI收割 博士, 北京: 中国科学院研究生院, 2014 许丽丽   |  收藏  |  浏览/下载：19/0  |  提交时间：2015/01/16 差分隐私  概率自动机  模块化分析  定量互模拟  Kantorovich距离  Crowds协议  密码学家就餐协议  证明系统   基于余代数的模型检测和定理证明 学位论文  OAI收割 博士, 北京: 中国科学院研究生院, 2013 高建华   |  收藏  |  浏览/下载：9/0  |  提交时间：2013/05/30 模型检测  定理证明  下推系统  相继式演算  余归纳  模型最小化  子句范式化   基于PVS的数据库安全策略形式化分析方法 期刊论文  OAI收割 中国科学技术大学学报, 2013, 卷号: 43, 期号: 7, 页码: 591-598 李昊; 张敏; 王榕   |  收藏  |  浏览/下载：18/0  |  提交时间：2014/12/16 形式化方法  数据库管理系统  PVS  定理证明  formal method  DBMS  PVS  theorem proving   Radl 形式规格说明相对正确性研究 期刊论文  OAI收割 Journal of Software, 2013, 卷号: 24, 期号: 4 Wang Changjing; Xue Jinyun   |  收藏  |  浏览/下载：22/0  |  提交时间：2013/09/17 形式规格说明  相对正确性  确认  扩展的逻辑系统  辅助证明算法   Radl形式规格说明相对正确性研究 期刊论文  OAI收割 软件学报, 2013, 卷号: 24, 期号: 4, 页码: 715-729 王昌晶; 薛锦云   |  收藏  |  浏览/下载：16/0  |  提交时间：2013/09/17 形式规格说明  相对正确性  确认  扩展的逻辑系统  辅助证明算法   基于扩展逻辑变换系统_μTS证明循环优化正确性 期刊论文  OAI收割 计算机研究与发展, 2012, 卷号: 49, 期号: 9, 页码: 1863-1873 王昌晶   |  收藏  |  浏览/下载：21/0  |  提交时间：2013/09/17 循环优化  可信编译  扩展逻辑变换系统  循环变换  辅助证明算法   系统时间的互操作方法研究 会议论文  OAI收割 第二届中国卫星导航学术年会, 中国上海, 2011 李孝辉; 许龙霞; 张慧君; 薛艳荣 收藏  |  浏览/下载：15/0  |  提交时间：2012/10/19 多模导航  系统时间  算法  互操作性|Abstract  系统时间的互操作性要求能使用多个卫星导航系统的时间。在分析系统时间偏差在用户端的表现形式的基础上  研究了目前的两种系统时差处理方法  在开阔环境中  用户级处理方法要好于系统级处理方法  但在遮挡环境中  由于观测卫星的几何精度因子不好导致用户级处理方法的性能下降。针对用户级处理方法的局限性  提出系统时间偏差辅助导航算法  在观测卫星几何结构不好时  将系统时间偏差的外推值作为已知量  通过减少未知数个数来提高定位精度  并用仿真实验对这种方法进行验证  证明系统时差辅助导航方法在提高可用性和该善定位精度方面有明显优势。