付剑
- 作品数：8 被引量：18H指数：3
- 供职机构：国防科学技术大学计算机学院更多>>
- 发文基金：国防科技技术预先研究基金国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- 一种高可靠双机温备星载计算机的设计与实现被引量：2
- 2010年
- 星载计算机对可靠性、实时性和性能有很高的要求,备份技术是提高星载计算机可靠性的有效方法.传统备份技术如冷备份和热备份在提高系统可靠性的同时限制了实时性和性能的提高.提出一种新型的双机温备设计,该设计对主机和从机进行功能上的划分,使主机专注于高效的运行星务程序,而从机则专注于提高系统可靠性.这样可以在保证系统高可靠性的前提下提高实时性,降低备份机制对性能的消耗.首先介绍单机系统的可靠性设计,在此基础上详细阐述了双机系统的设计,包括双机的高速通信、系统的故障检测、双机的切换.最后在工程实践中对方案进行了检验,运行良好.
- 贾文涛张春元付剑罗磊
- 关键词：故障检测高可靠星载计算机
- 基于流体系结构的帧内预测算法优化设计
- 2010年
- 为高效实现H.264多模式帧内预测,解决其计算复杂度高造成的计算压力,本文根据H.264帧内预测算法的计算密集与数据并行的特征,基于流处理执行模型提出适用于Imagine流体系结构的分组帧内预测流算法,并采用长流分段技术进行优化设计.实验结果表明,H.264帧内编码器流实现对1280×720高清视频编码帧率达45.9fps,满足实时性需求.
- 李海燕张春元付剑
- 关键词：视频编码H.264帧内预测
- 一种高可靠双机温备星载计算机的设计与实现
- 星载计算机对可靠性、实时性和性能有很高的要求,备份技术是提高星载计算机可靠性的有效方法.传统备份技术,如冷备份和热备份在提高系统可靠性的同时限制了实时性和性能的提高.本文提出一种新型的双机温备设计,该设计对主机和从机进行...
- 贾文涛张春元付剑罗磊
- 关键词：故障检测高可靠星载计算机
- 文献传递
- 动态故障树的不交化定量分析方法被引量：3
- 2012年
- 动态故障树被广泛应用于动态系统的可靠性分析中,其中割序描述了系统的失效模式,割序集的不交化可以简化顶点失效概率的求解,目前还没有有效的适用于动态故障树的不交化定量分析方法.提出了一种不交化定量分析方法:在割序的基础上融入时序逻辑提出扩展割序的概念,其与以往类似概念相比增强了表达能力;根据基事集和时限集分解最小扩展割序集,将其转换成不交化扩展割序集;再将不交化扩展割序转换成标准扩展割序,然后对其各割项进行冲突检测、时限集精简、基事集拓扑排序,以对标准扩展割序进行量化计算;并对该方法所涉及到的算法进行了详细的证明和时间复杂性分析.最后将其应用到一个案例中,并同基于inclusion-exclusion规则的MCS方法进行了对比,实验结果显示该方法的时间开销明显降低.该方法可以获得动态故障树的不交化扩展割序集,降低求解时间开销.
- 张红林张春元刘东付剑
- 关键词：动态故障树可靠性分析
- 基于COTS的空间信息处理系统抗SEU技术研究
- 为了提高基于商用器件(COTS)的空间信息处理系统在空间环境中的抗单粒子翻转(SEU)能力，提出了基于FPGA的多级容错机制，即系统级的双机容错设计和模块级的存储模块冗余设计，其中存储模块的冗余设计包括对SRAM的纠锗检...
- 付剑贾文涛刘东张春元
- 关键词：FPGA可靠性
- 文献传递
- 星载计算机的硬件容错设计与可靠性分析
- 星载计算机是卫星的核心部件,主要负责姿态控制、任务管理、数据处理等任务。在空间辐射环境中,星载计算机内部的电子器件将受到高能粒子的严重影响,出现工作异常或故障。另外,星载计算机的工作具有长期性和不可维护性。因此,星载计算...
- 付剑
- 关键词：星载计算机可靠性分析马尔可夫模型
- 基于同构节点的动态故障树分析方法被引量：7
- 2011年
- 为了解决动态故障树研究领域的马尔可夫链状态空间爆炸问题,给出了一个基于同构节点的动态故障树分析方法。为每个节点建立一个对象,识别同构节点,求解时对于同构节点仅计算一次,从而减少状态空间中的状态数目、缩短计算时间。运用该方法对空间信息处理平台进行可靠性分析,并与其他方法进行对比,结果表明,如果系统结构具有较强的冗余特征,该方法在求解效率上具有比较明显的优势。
- 张红林付剑张春元王英鸿
- 关键词：动态故障树故障树分析可靠性分析状态空间爆炸
- 基于SRAM的ARM系统引导程序设计方法被引量：1
- 2009年
- 引导程序(BootLoader)的实现是嵌入式系统开发的重要部分之一,因为它是连接硬件系统和操作系统的纽带,并在整个系统的开发中占有很大的比例。该文设计了基于SRAM的ARM系统,并以AT91RM9200处理器为例详细分析了系统各阶段引导程序的源代码以及执行流程。着重阐述了引导程序在基于SRAM的ARM系统上的移植方法,为基于SRAM的ARM系统设计提供了一种有效的技术途径。应用结果表明,移植后的引导程序在目标板上运行稳定可靠,具有较强的实用性。
- 付剑张春元刘东张红林
- 关键词：SRAMARM
