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

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

帮助

条数/页：排序方式：
	系统时间的互操作方法研究会议论文 OAI收割第二届中国卫星导航学术年会, 中国上海, 2011 李孝辉; 许龙霞; 张慧君; 薛艳荣收藏 \| 浏览/下载：16/0 \| 提交时间：2012/10/19 多模导航系统时间算法互操作性\|Abstract 系统时间的互操作性要求能使用多个卫星导航系统的时间。在分析系统时间偏差在用户端的表现形式的基础上研究了目前的两种系统时差处理方法在开阔环境中用户级处理方法要好于系统级处理方法但在遮挡环境中由于观测卫星的几何精度因子不好导致用户级处理方法的性能下降。针对用户级处理方法的局限性提出系统时间偏差辅助导航算法在观测卫星几何结构不好时将系统时间偏差的外推值作为已知量通过减少未知数个数来提高定位精度并用仿真实验对这种方法进行验证证明系统时差辅助导航方法在提高可用性和该善定位精度方面有明显优势。
	基于OFDM-UWB的室内精密定位系统接收机时域联合同步算法研究会议论文 OAI收割第二届中国卫星导航学术年会, 中国上海, 2011 邹德财; 李云; 韩涛; 刘枫收藏 \| 浏览/下载：38/0 \| 提交时间：2012/10/19 OFDM-UWB 室内定位联合同步算法符号定时帧定时载波频率偏移\|Abstract 同时根据基于正交频分复用超宽带(OFDM-UWB)技术的室内精密定位系统基本原理算法实现了四种同步技术的集成化设计实现厘米级的精密定位就要求系统接收机符号定时同步算法必须具备1～3个采样间隔的同步精度从而在工程实现中能够有效地节省硬件资源现有OFDM-UWB符号定时同步算法远不能满足这一苛刻需求。本文在符号定时同步研究过程中降低系统成本设计了一种新的信息帧格式提高系统的抗干扰性与稳定性。并以此为基础提出了OFDM-UWB室内精密定位系统接收机时域联合同步算法。该算法以符号定时同步为核心将载波小数频偏载波整数频偏帧定时同步分别与符号定时同步进行了直接或间接的关联形成一个不可分割的有机整体。对联合同步算法用MATLAB进行了功能验证与性能分析。结果表明在-15dB的信噪比条件以及载波频率偏移干扰共存时符号定时同步精度为1个采样时间间隔(1.89394ns) 克服了传统符号定时同步算法易受噪声与频偏干扰的缺点满足了室内定位系统的基本需求
	PROFIBUS-DP从站通信控制器的设计与实现学位论文 OAI收割沈阳: 中国科学院沈阳自动化研究所, 2009 作者: 谭兆路 \| 收藏 \| 浏览/下载：23/0 \| 提交时间：2010/11/29 Profibus-dp 从站通信控制器 Fpga Mcu 系统级验证
	优先级顶协议的形式化验证期刊论文 OAI收割计算机仿真, 2007, 卷号: 24, 期号: 6, 页码: 276-279 张博颖收藏 \| 浏览/下载：59/6 \| 提交时间：2011/07/01 优先级顶协议时段演算调度实时操作系统形式规范和验证调度协议验证方法状态函数实时数据库系统阻塞性规范优先级驱动形式化验证易于理解时段演算无死锁抢占式应用文献个性
	优先级顶协议的形式规范和验证学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2006 张博颖收藏 \| 浏览/下载：25/0 \| 提交时间：2011/03/17 优先级顶协议时段演算调度实时操作系统形式规范和验证
	基于AMBA总线的SoC验证方法研究学位论文 OAI收割硕士, 中国科学院沈阳自动化研究所: 中国科学院沈阳自动化研究所, 2005 张玉峰收藏 \| 浏览/下载：46/0 \| 提交时间：2012/08/29 系统芯片 AMBA 验证系统级验证 RTL验证
	基于XYZ/E重构SZRTOS实时操作系统内核学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2002 郭亮收藏 \| 浏览/下载：26/0 \| 提交时间：2011/03/17 线性时序逻辑语言XYZ/E 逐步求精优先级继承容错系统验证