中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共9条，第1-9条

帮助

条数/页：排序方式：
	XSM的静态分析和验证技术研究学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2012 邓程 \| 收藏 \| 浏览/下载：10/0 \| 提交时间：2012/06/01 虚拟化技术静态分析正确性验证 XSM 钩子函数
	基于静态分析的XSM正确性验证期刊论文 OAI收割计算机应用与软件, 2012, 卷号: 29, 期号: 9, 页码: 1-5,22 邓程; 丁丽萍; 贺也平; 韩伟 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2013/09/17 静态分析正确性验证 XSM 钩子函数 Saturn
	基于Simulink的GPS软件接收机实验平台开发会议论文 OAI收割第二届中国卫星导航学术年会, 中国上海, 2011 贺卫东; 卢晓春; 王培; 饶永楠收藏 \| 浏览/下载：16/0 \| 提交时间：2012/10/19 GPS 软件接收机实平台 Simulink 导航电文\|Abstract 传统的硬件接收机由射频前端相关器中央处理器和其他的外设组成能够提供的灵活性微乎其微。经过现代化的GPS有很多新的信号格式和应用方式。为了更有效地对新的信号格式和应用方式进行研究分析和实现无疑一个完好的软件接收机是最佳的仿真实平台。另外 GPS的软件接收机也可以被灵活的应用在伽利略信号和北斗信号的分析仿真中。不能做到实时处理是软件接收机最大的缺点但是随着MPU和IDSP技术的发展软件接收机的优势还是日益凸显。本文详细的阐述了在Simulink基础上的GPS软件接收机平台的设计实现过程 GPS软件接收机按照主要的功能可以分为信号捕获跟踪解调和位同步。每个功能模块都可以非常方便的针对其他频率和导航系统信号格式进行相应的更改。最后本文的GPS软件接收机平台经过射频接收存储到本地的实际GPS中频信号测试证明整个软件接收机实平台可以正确的解调出导航电文参数灵活可调满足了后续工程仿真实的要求。
	基于静态分析的强制访问控制框架的正确性验证期刊论文 OAI收割计算机学报, 2009, 卷号: 32, 期号: 4, 页码: 730-739 吴新松; 周洲仪; 贺也平; 梁洪亮; 袁春阳 \| 收藏 \| 浏览/下载：24/0 \| 提交时间：2010/08/23 正确性验证静态分析强制访问控制框架钩子放置 mygcc mygcc correctness verification static analysis mandatory access control framework hooks placement mygcc
	程序静态分析技术与工具期刊论文 OAI收割计算机科学, 2004, 卷号: 31, 期号: 2, 页码: 171-174 杨宇; 张健 \| 收藏 \| 浏览/下载：10/0 \| 提交时间：2010/08/11 程序正确性静态分析
	时间符号迁移图上的可达性分析期刊论文 OAI收割计算机学报, 2003, 卷号: 26, 期号: 1, 页码: 19-25 陈靖 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2011/07/29 模型检测协议可达性分析实时时间符号迁移图时间符号迁移图检测算法正确性证明硬件设计协议验证建模语言可达性通信模型Algorithms Computer simulation Mathematical models Network protocols Theorem proving
	云南区域开发与生产力布局中文期刊论文 OAI收割 1988 孙尚志收藏 \| 浏览/下载：15/0 \| 提交时间：2012/05/22 生产力布局区域开发云南少数民族工农业总产值资源种类边远地区正确分析资源丰富矿产
	临界点附近气体热传导与粘度的特性和计算方法期刊论文 OAI收割力学学报, 1986, 卷号: 18, 期号: 4, 页码: 357-363 周学华收藏 \| 浏览/下载：1151/105 \| 提交时间：2009/08/03 热传导计算方法临界区粘度回归分析状态方程实验数据临界指数正确度