中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [7]
国家授时中心 [4]
长春光学精密机械与物... [1]
采集方式
OAI收割 [12]
内容类型
学位论文 [5]
会议论文 [4]
期刊论文 [3]
发表日期
2019 [3]
2018 [1]
2016 [1]
2011 [2]
2009 [2]
2006 [1]
更多
学科主题
计算机科学技术 [1]
计算机科学技术::计... [1]
计算机科学技术::计... [1]
计算机软件::软件工... [1]
筛选
浏览/检索结果:
共12条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
Windows应用兼容环境下针对注册表的恶意行为检测与响应技术研究与实现
学位论文
OAI收割
硕士, 北京: 中国科学院大学, 2019
作者:
朱宇宸
  |  
收藏
  |  
浏览/下载:87/0
  |  
提交时间:2019/06/19
Windows 应用兼容环境
注册表
恶意行为
行为监控
恶意性判别
面向Android应用兼容的Linux动态链接库调用机制设计与实现
学位论文
OAI收割
硕士, 北京: 中国科学院大学, 2019
作者:
李舒
  |  
收藏
  |  
浏览/下载:31/0
  |  
提交时间:2019/06/17
Android
Linux
应用兼容
动态链接库
C运行库
Wine兼容关键代码的检测及应用方法研究
学位论文
OAI收割
硕士, 北京: 中国科学院大学, 2019
作者:
黄译萱
  |  
收藏
  |  
浏览/下载:95/0
  |  
提交时间:2019/06/18
Windows应用兼容
Wine
代码克隆检测
基于Wine的Windows应用兼容API级GUI自动化测试技术研究与实现
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2018
作者:
邓佳星
  |  
收藏
  |  
浏览/下载:28/0
  |  
提交时间:2018/06/24
Wine
GUI测试
Windows应用兼容
自动化测试
基于捕获重放的Web应用跨浏览器兼容性检测工具的设计与实现
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2016
何妹妹
  |  
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2016/05/31
跨浏览器兼容性
Web应用
JavaScript
捕获/重放
GB《北斗卫星共视时间传递技术规范》的制定及兼容性设计
会议论文
OAI收割
第二届中国卫星导航学术年会, 中国上海, 2011
刘娜
;
陈向东
;
高玉平
;
李永萍
;
陈洪卿
收藏
  |  
浏览/下载:61/0
  |  
提交时间:2012/10/19
北斗卫星导航系统
共视时间传递
时间同步
兼容性|Abstract
指出GB《北斗卫星共视时间传递技术规范》不仅适用于北斗卫星共视时间传递及相关产品的研制与应用
北斗授时技术/服务的标准化对推进北斗授时技术的发展
对业已到来的GNSS时代我国采用多系统卫星共视应用也有参考
应用的市场化
指导意义。
产业化具有重要意义。随着我国北斗系统从区域系统向全球系统的规划部署
我们还需考虑北斗导航系统未来的全球化服务发展。本文介绍编制GB《北斗卫星共视时间传递技术规范》(征求意见稿)的目的
原则及主要内容
并就共视观测的时间同步性
数据处理
观测结果文件格式等方面结合我国北斗卫星共视的特点
考虑与国际现有相关技术标准兼容
GNSS时间系统及其互操作
会议论文
OAI收割
2009全国虚拟仪器大会, 中国广西桂林, 2009
董绍武
收藏
  |  
浏览/下载:34/0
  |  
提交时间:2012/10/19
导航定位
时间参考
兼容与互操作|Abstract
基于时间测量的全球卫星导航定位系统(GNSS)
为保障各卫星发射的导航信号的精确同步
都必须建立一个统一的时间参考
称为系统时间或系统时。GNSS系统时间通常为独立
连续
均匀的自由时间尺度
时间基准系统的优劣将直接影响卫星导航定位系统的性能指标。由于卫星导航定位巨大的应用价值
当前国际上正在运行和在建有多个系统
包括中国北斗系统(Compass)。时间的兼容和互操作是各GNSS系统安全
协调运行的重要保证。本文对国际上主要GNSS系统的时间系统进行简要介绍
并对时间的兼容互操作进行初步探讨。
基于模型检查实现J2EE规范的实例研究
期刊论文
OAI收割
计算机科学, 2006, 卷号: 33, 期号: 12, 页码: 249-254
李彦
;
张文博
;
陈宁江
  |  
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2011/07/13
J2EE规范
模型检查
SPIN
基于模型
检查工具
规范要求
Model Checking
应用服务器
描述方式
设计方案
兼容性测试
形式化模型
分析与验证
自然语言
证明
使用模型
技术设计
规范描述
规范方法
多层应用
中科院
分布式
二义性