上海市科委国际合作基金(052207046) 作品数:9 被引量:23 H指数:3 相关作者: 杨根庆 李华旺 张小林 张宇宁 姜大力 更多>> 相关机构: 中国科学院 中国科学院研究生院 上海微小卫星工程中心 更多>> 发文基金: 上海市科委国际合作基金 国家高技术研究发展计划 更多>> 相关领域: 自动化与计算机技术 航空宇航科学技术 电子电信 机械工程 更多>>
片上逻辑分析仪的设计 被引量:1 2008年 提出了一种用在FPGA上实现的片上逻辑分析仪的设计方案;随着FPGA的规模的增大,在其内部可以实现复杂的SoC设计,但是I/O端口数量有限,采用VHDL设计,可以在源代码级插入到设计中,这也使得它与FPGA的器件类型和开发软件保持独立,它可以对FPGA内部的任何信号和复杂的事件进行追踪,采样的结果保存在通过片上的同步RAM实现的循环跟踪缓存区,通过AMBAAPB总线接口完成对触发引擎控制和缓存区的读写;这种实现方案的逻辑分析仪占用资源小,可以达到的频率高,可广泛应用到基于AMBA总线的SoC设计中;最后,对可改进的方向进行了分析。 张小林 姜大力 李华旺 杨根庆关键词:APB 星载计算机 星载高速海量存储系统的并行RS纠错方法 被引量:3 2009年 针对在使用新型商用存储器构建航天器海量存储系统的过程中,高速、海量数据传输与SEU导致的数据错误之间的矛盾,提出了1种新的存储数据校验方法——并行RS纠错来解决这个矛盾。该方法采用并行RS编解码电路取代传统的基于移位寄存器的串行电路,可在1个时钟周期内完成编、解码运算,纠正SEU引起的单字节错误。在75MHz的时钟频率下达到4.8Gbps的传输速度,满足高速海量存储系统的要求。 张宇宁 杨根庆 李华旺 常亮关键词:单粒子翻转 微小卫星星务计算机任务调度算法 被引量:5 2009年 为了在有限的时间内尽可能多地安排具有时间约束的卫星任务,提出一种针对具有独占性、优先级相同的任务的先完成先调度算法EFFFS,对算法性能进行分析,将其与同类算法进行比较,结果表明,该算法具有较小的时间复杂度和较好的调度性能,适用于计算资源受限的环境。 张小林 杨根庆 张宇宁关键词:微小卫星 任务调度 抵御单粒子多位翻转的系统自恢复技术 2012年 为减少多位翻转(multi-bit upset,MBU)对星载计算机的危害,提出了一种抵御单粒子多位翻转的系统自恢复技术.该技术利用硬件EDAC(error detection and correction)检测多位错的能力,结合系统自恢复的容错技术实现MBU的捕获,并选择性地启动系统自恢复,以防止MBU造成的系统安全性问题.通过建立关键数据查询,避免不必要的系统自恢复,采用除法散列法和适度恢复策略提高处理速度.SEU(single event upset)危害性分析以及某卫星在轨SEU观测数据表明,提出的系统自恢复技术可使SEU引起卫星故障的概率下降90%以上.该技术已成功地应用于我国XX02卫星. 包海超 杨根庆 张宇宁关键词:星载软件 单粒子翻转 自恢复 软件容错 星载计算机软硬件协同验证技术的研究 被引量:2 2008年 在星载计算机LYRA的设计和验证过程中,采用System Verilog的DPI建立了完整的、低成本的、高效的SOC系统软硬件协同验证的系统仿真平台;利用这种技术使得可以在实际硬件可用前进行C/C++代码的开发和测试,同时又可以利用真实的软件对硬件进行验证;在早期软硬件可以公用测试平台进行并行开发,不仅大大减少软硬件开发的重复工作,加快了验证速度,还能对软硬件之间的边角情况进行完整的验证;验证方法已经成功的应用于星载计算机LYRA的开发中,取得了良好的效果。 周戌申 张小林 姜大力 李华旺关键词:DPI 星载计算机 基于AMBA总线的SoC事务级错误敏感性建模和分析 2008年 随着总线频率以及总线负荷的增加,基于总线的系统可靠性问题就必须引起重视;提出了详细的分析基于AMBA(Advanced Microcontroller Bus Architecture)总线的系统的事务级的错误敏感性模型和系统级敏感性预测方法,通过详细的实验,确定了单比特错误在不同的事务中对总线的影响,确定了总线系统中的需要被保护的关键信号,可以帮助选择合理的错误保护机制;结果显示基于预测的策略与仿真结果在所有的基准程序中平均具有90%的一致性。 姜大力 张小林 杨根庆 李华旺关键词:AMBA 事务 商用FPGA器件的单粒子效应模拟实验研究 被引量:9 2009年 描述了商用Xilinx Virtex-II Pro器件的重离子辐射实验,以评估器件的单粒子翻转(SEU)特性并检验测试方法的有效性。针对器件不同的功能模块设计不同的实验方案,分别测试了FPGA配置信息,内嵌PowerPC处理器和RocketIO Gbit收发器的单粒子翻转截面,并对观察到的错误进行分析与分类。实验同时表明配置信息的周期刷新和三模冗余设计是减轻单粒子效应的有效方法。 张宇宁 张小林 杨根庆 李华旺关键词:单粒子翻转 FPGA 重离子 星载计算机可靠性和低功耗的均衡优化研究 被引量:2 2009年 目前对星载计算机的研究主要集中在可靠性上,一直没有重视功耗问题,高可靠和低功耗已经成为高可信系统设计中面临的主要挑战。针对这一需求,研究了星载计算机系统设计中可靠性和功耗的协同优化问题,构建了组合使用动态可靠性管理,动态功耗管理,以及动态电压和频率调整的协同均衡优化整数规划模型,然后提出低功耗任务调度,可靠性约束的动态电压调整以及算法的求精的三步启发式求解算法。并对不同的方案进行了仿真验证,在保证系统的可靠性需求的前提下,平均功耗比单独采用动态功耗管理或者动态电压和频率调整降低了9%~21%。 张小林 杨根庆 李华旺 张宇宁关键词:动态功耗管理 软错误 基于神经网络的自适应动态电源管理模型 被引量:1 2009年 利用人工神经网络具有从大量不完整数据中逐步获取知识并进行复杂目标优化的能力,提出一种基于改进的BP神经网络预测功耗可管理器件空闲时间长度的自适应动态电源管理模型(AMBA).该模型根据空闲时间长度预测值选择最佳低功耗模式,并且通过预测性能评估结果动态调整神经网络的网络权值,从而能够自适应功耗可管理器件负载特性的变化.仿真结果表明了该模型的有效性,预测正确率可以达到80%左右,平均功耗比指数平均预测方法降低了30%,比Timeout策略降低了37%. 姜连祥 许培培 杨根庆 李华旺关键词:动态电源管理 神经网络 贝叶斯正则化