国家高技术研究发展计划(2007AA01Z118) 作品数:4 被引量:12 H指数:2 相关作者: 龙翔 张炯 胡彦彦 吕紫旭 刘铭 更多>> 相关机构: 北京航空航天大学 中国电子科技集团第五十四研究所 更多>> 发文基金: 国家高技术研究发展计划 国家自然科学基金 更多>> 相关领域: 自动化与计算机技术 电子电信 更多>>
一种用于容错处理器的指令复制方法 2010年 介绍一种在容错处理器中实现指令复制的方法。处理器的容错机制是通过修改超标量体系结构,利用时间冗余技术实现的。指令复制是容错机制的一种重要功能。详细描述了其实现方法,同时论述了结合指令复制方法对程序控制流的正确性进行检测的问题。 李红兵 尚利宏 周密 金惠华关键词:容错机制 超标量处理器 一种高效的LEO卫星星座路由算法 被引量:2 2008年 针对由小卫星组成的低地球轨道(LEO)卫星星座网络的星上计算能力和存储资源有限,以及传统的星座路由算法虽能很好地适应网络的动态性但对星上计算能力和存储资源的要求都较高的问题,在基于对实际 LEO 卫星星座网络充分分析的基础上,提出了一种基于离线计算的简洁高效的路由算法。该算法在保证路由有效性的前提下,能够通过使用备份路径来提供流量自适应机制。复杂性分析和仿真结果表明,该算法只需较小的星上存储开销和星上处理开销,而且具有较好的端到端时延性能。该算法简洁、高效的特点使其能作为实际 LEO 卫星星座网络的实用化路由协议。 邹琪 白跃彬 吴渭 骆连合 巨燕文 钱德沛关键词:路由算法 基于Xen虚拟机全系统在线增量迁移的设计与实现 被引量:2 2010年 通过分析Xen虚拟机现有迁移机制的原理和局限性,提出了基于Xen虚拟机的全系统在线增量迁移的设计与实现方法,并通过实验进行了性能分析,总结了优化迁移性能的一些方法。 刘铭 张炯 龙翔关键词:虚拟机 虚拟化技术在综合化航电系统中的应用 被引量:8 2010年 将虚拟化技术应用于航空电子系统的设计,利用虚拟机系统来实现硬件资源的共享管理和软件子系统的划分,并符合ARINC 653规范的要求——模块化、可靠性、隔离性与开放性.构建由硬件平台、虚拟机监视器(VMM,Virtual Machine Monitor)和分区操作系统、航电应用软件所组成的3层软件架构,可以满足综合模块化航电系统(IMA,Integrated Modular Avionics)的功能要求与接口要求.其中,为实现符合ARINC 653要求的VMM,传统分区操作系统需要进行多项关键性调整,包括处理器特权级和特权指令、中断、内存地址空间分配、设备驱动等方面,从而可以构造基于VMM的综合化航空电子系统. 张炯 吕紫旭 胡彦彦 龙翔关键词:航空电子 虚拟化