论文部分内容阅读
本文简要介绍了GPS导航定位接收机的工作原理,并着重介绍了利用美国ZarLink公司生产的GP2015和GP4020芯片,设计并实现了基于嵌入式技术的GPS接收机。使其具有体积小,功耗低及应用范围广等特点。
基于嵌人式技术的GPS接收机设计与实现
【摘 要】
：
本文简要介绍了GPS导航定位接收机的工作原理,并着重介绍了利用美国ZarLink公司生产的GP2015和GP4020芯片,设计并实现了基于嵌入式技术的GPS接收机。使其具有体积小,功耗低及应用范围广等特点。
【机 构】
：
中科院国家授时中心 中国科学院研究生院 陕西省西安市临潼区书院东路3号 710600 中科院国家授
【出 处】
：
2007全国时间频率学术会议
【发表日期】
：
2007年8期
其他文献
UML是一种广泛使用的面向对象建模语言,但UML的一个不足之处是它缺乏精确的数学语义,因而不能对模型的性质进行严格的分析。本文提出了一种基于时间Petri网(简称TPN)的服务组合验证方法。通过对UML活动图的时间扩展来描述服务组合的业务流程,并在此基础上给出了UML模型到TPN的映射方法,进而用得到的TPN模型来验证服务组合的正确性。最后,运用实例说明了UML服务模型组合验证方法的有效性。
在网络和分布式系统中,移动agent有着巨大的使用前景。agent的移动性给移动agent通信和消息可靠传输提出了新的挑战。通过改进基于mailbox的移动agent通信算法,本文提出了基于mailbox的负载平衡和消息优先级的移动agent通信策略。本策略克服了消息丟失,确保消息可靠传输,井针对移动agent负载问题给出了一个很好的解决方案。同时,也能确保紧急消息优先得到响应。本通信策略能够有效
本文研究了BitTorrent文件共享系统中结点选择策略对系统共享性能的影响,针对原有BitTorrent文件共享系统中随机邻居结点选择策略难以保证在结点间进行高效的文件共享问题,提出了一种优化邻居结点选择策略:Tracker服务器优先为结点选择与其具有相近文件块数量的结点作为其邻居结点。理论分析证明了该策略能有效提高结点从邻居结点下载到所需文件块的概率,提高了系统的文件共事性能。模拟实验验证了理
推测多线程模型是当前开发片上多处理器(CMP)结构在性能上最有潜力的软硬件协同设计模型。本文面向CMP结构,研究可支持推测多线程模型的通用程序编译优化方法。设计了一个线程划分算法,采用启发式规则将带有profile信息的加权控制流图划分成多个子图,每个子图作为一个线程。对于线程间存在的数据依赖,采用对存在的依赖关系的关键值进行程序切片并构造线程的预测计算切片的方法来消除和减弱依赖关系。最后在SUI
在已知的Java捕捉/重放工具中,只有一种基于修改字节码的组合方案具有平台无关性并且达到了真正的通用性。该组合方案的捕捉机制通过对Java字节码程序进行逐指令的插入修改以捕捉虚拟机对线程进行抢占式调度引起的线程切换信息,重放机制采用了JReplay申所提出的方法。此方法的缺点是大大增加了字节码程序的尺寸和重放日志所占的空间,从而严重降低了程序的执行速度。本文提出并实现了一种对这种组合方案的改进,通
随着Internet的发展,软件应用模式发生了重大变化,以网络为中心的服务逐渐取代传统的单机桌面应用。面向网络的应用向用户提供透明的服务,具有跨平台、跨节点的特点,通常采用软构件和中间件技术进行开发。本文分析了目前流行的网络应用服务和构件技术,并借鉴其它操作系统的网络化操作环境,探讨了操作系统网络化构件运行环境的关键技术,为Kylin国产服务器操作系统设计了支撑网络应用的网络化构件的运行环境,该环
本文提出了基于用户页面会话的Web应用测试覆盖准则,并用Z语言进行了严格的定义,避免了自然语言描述的不确定性。
针对PLC(programmable logic controller)嵌入式软件测试,总结了现有嵌入式软件测试的研究,具体分析了静态测试与验证、真实测试、硬件检测器测试、插装测试和仿真环境测试的技术,以及在PLC嵌入式软件测试中存在的问题等。为了解决这些问题,从基于控制对象的仿真测试方面开展研究,提出了一种PLC嵌入式软件测试模型。
本文研究并实现一种基于CORBA的分布式服务的深度监控系统,在保证服务性能的情况下,该系统既能够监测服务的实时信息,又能够保存服务使用情况的详细信息,而且能够安全控制服务状态的转换。该系统能够对服务使用的详细信息进行汇总并以多种形式呈现给用户,辅助用户对过去一段时间内的服务性能进行分析和评价,进而找出整个系统的瓶颈并进行优化。本文详细讨论了与该系统相关的概念、原理和实现的关键技术,并用实验数据证实