一种针对Cache Tag单错及邻位双错的#br# 低开销容错方法#br#

Cache是处理器重要的存储模块，对处理器性能提升有着至关重要的作用.空间环境中，保护Cache免受软错误影响已成为设计新一代高可靠微处理器日益严峻的挑战.设计一种针对Cache Tag单错及邻位双错的低开销容错方法.可以保证Cache访问、Cache行填充和Cache行回写不受单位错误和邻位双错的影响，与传统SEC FastTag容错方法相比，Tag单位及邻位双错容错能力得到提高.通过扩展FastTag结构优化设计，降低SEC DAEC编解码逻辑带来的面积、功耗以及性能方面的开销.以四路组相连写回Cache为目标系统，与传统SEC DAEC容错方法相比，本文提出的方法面积开销降低8.47%，功耗开销降低37.7%，关键路径时延减小0.13 ns.     

SpaceWire CODEC的容错设计和实现

对SpaceWire CODEC进行容错设计是提高其可靠性的重要途径.分析SpaceWire协议的容错性能,介绍SpaceWire CODEC的容错设计方法,通过故障汇入和仿真验证了容错设计的有效性.     

总线容错机制及其验证方法

卫星系统广泛采用容错技术以提高系统的可靠性,而总线通信的稳定性和可靠性对于系统任务的成功至关重要．工程研制中,通常采用总线容错技术对系统通信故障进行识别和屏蔽．介绍了基于故障仿真技术的总线容错机制验证方法,包括故障规格分析技术、故障用例生成技术和故障仿真技术,利用该方法对某星载软件的总线通信功能进行了容错测试,验证了方法的有效性和实用性．     

容错控制系统的可靠性建模及模型化简

在容错控制系统的设计过程中,进行系统的可靠性建模和分析求得容错控制系统可靠性是一项非常重要的工作。它是许多设计工作,如设计方案的选择优化和一些设计参数的确定等的重要理论依据。在容错控制系统的可靠性分析中,利用马尔柯夫过程理论对容错控制系统进行可靠性建模能够较为真实地描述系统的实际工作情况,但是由于容错系统为了达到高可靠性而有采用了大量的冗余配置及重构技术,使得该可靠性模型往往变得相当复杂。因此,对     

一种基于人工免疫系统的FPGA容错方法

通过对人工免疫系统容错性的分析和研究,提出了将人工免疫系统应用于硬件容错的4个条件.在此基础上设计了一种仿照人体细胞结构的新型FPGA可编程逻辑单元和一种基于人工免疫系统的容错方法.最后通过实验模拟故障的方法对该设计和容错方案的正确性和有效性进行了验证.     

基于驱动或结构冗余的并联机器人容错方法

研究了并联机器人利用驱动冗余进行驱动器故障容错及利用结构冗余进行关节故障容错的方法.结合冗余驱动并联机构的力矩分配问题的多解性,分析了部分驱动器故障后在剩余正常工作驱动器之间重新分配驱动力矩以实现容错的方法.结合结构冗余并联机构的特点,分析了放弃部分结构自由度以完成操作任务的方法.从运动学和动力学角度讨论了两类冗余机器人的特点及容错的可能性,以一种平面三自由度并联机构为实例,针对驱动器及关节故障分别分析了故障后机构运动学和动力学性能的变化,验证了采用驱动及结构的冗余进行容错的可行性.     

机载UMS分布式容错计算机系统设计

综合控制管理是机载机电设备发展的趋势.针对航空机电设备综合控制管理预研项目,利用分布式容错技术、高可靠航空电子总线技术和嵌入式实时多任务操作系统应用技术,设计并实现了一个分布式容错计算机系统.讨论了系统的工作特点、系统结构、通信网络、冗余管理和实时容错分布执行软件.      

一种星载控制计算机智能容错方法

  深空探测任务对星载控制计算机的智能性、环境适应性和自主性提出新的需求。介绍目前星载控制计算机容错方法的进展情况,提出可进化硬件容错这种可用于星载控制计算机容错设计的智能容错方法,给出该方法的三种实现结构,即并行结构、串行结构和具有故障检测功能的串行结构,并对各种结构进行分析和比较。最后,用仿真验证平台验证了串行结构的可行性和容错性。     

A CLASS OF TWO-STEP TVD MACCORMACK TYPE NUMERICAL SCHEME FOR MHD EQUATIONS

In this paper, a new numerical scheme of Total Variation Diminishing (TVD) Mac-Cormack type for MagnetoHydroDynamic (MHD) equations is proposed by taklng into account of the characteristics such as convergence, stability, resolution. This new scheme is established by solving the MHD equations with a TVD modified MacCormack scheme for the purpose of developing a scheme of quick convergence as well as of TVD property. To show the validation, simplicity and practicability of the scheme for modelling MHD problems, a self-similar Cauchy problem with the discontinuous initial data consisting of constant states, and the collision of two fast MHD shocks, and two-dimensional Orszag and Tang‘s MHD vortex problem are discussed with the numerical results conforming to the existing results obtained by the Roe type TVD, the high-order Godunov scheme, and Weighted Essentially Non-Oscillatory (WENO) scheme. The numerical tests show that this two-step TVD MacCormack numerical scheme for MHD system is of robust operation in the presence of very strong waves, thin shock fronts, thin contact and slip surface discontinuities.     

加密 |n|+k bit明文的高效公钥概率加密体制

基于二次剩余和高次剩余的困难问题,通过选择适当的参数,在不增加密文长度的情况下, 对Paillier和Pointcheval提出的公钥概率加密体制的效率和加密的明文长度进行改进,能以更高的效率加密|n|+k bit长度的明文消息,并分析了改进后加密体制的效率和安全性,改进加密体制的安全性与原加密体制的安全性、模n的高次剩余问题以及二次剩余问题等价.与原Paillier-Pointcheval加密体制相比,改进的加密体制具有加、解密效率高,传输数据量低,加密明文长等特点.      

计量仪器的假设检验

运用数理统计中假设检验的基本原理,对工作实践中遇到的计量仪器检测质量的比较检验问题提出了完整的解决方案,即首先进行分布的假设检验和方差的假设检验,确定均值检验的前提条件满足与否,在此基础上再进行均值的假设检验。该方案在一定程度上避免了以前采用的不检验方差条件的单一均值检验法在仪器检测质量的评定过程中可能导致的错误结论。通过实例验证了该方案的有效性,具有重要的实践意义。     

参数不确定空间机械臂系统的变结构鲁棒控制

本文讨论载体位置与姿态均无控的空间机械臂的控制问题．基于增广静态反馈控制模型,提出当载荷参数存在不确定性时空间机械臂追踪惯性空间期望轨迹的变结构鲁棒控制方法．通过仿真运算,证实了方法的有效性．     

一种远程身份认证方案的分析与改进

口令认证是远程身份认证中实用的方法.分析了一个给出的使用智能卡的口令认证方案的安全性,指出该方案是不安全的:不能抵御并行会话攻击,攻击者可以利用截获的信息生成合法的登陆信息假冒合法用户登陆,并通过认证获得授权,而不需要知道用户口令;不能抵御更改时戳攻击,攻击者可以更改截获信息的时戳,假冒合法用户登陆远程主机或假冒合法远程主机.同时,引入登陆计数器,采用一卡一密,给出了一种改进的使用智能卡的口令认证方案.该方案允许用户自主选择并更改口令,实现了双向认证;能够抵御重放攻击、内部攻击,具备强安全修复性;能够抵御并行会话攻击和更改时戳攻击,具有更好的安全性.     

Monotonicity-Preserving激波捕捉格式在湍流大尺度模拟中的评估

对高阶激波捕捉格式的性能进行了系统的测评,重点分析了Suresh和Huynh(1997)所提出的Monotonicity-Preserving格式的性能.结果表明Monotonicity-Preserving格式的性能显著优于原始WENO(Weighted Essentially Non-Oscillatory) 格式,和改进型WENO格式相当.对格式的分析进一步表明,迎风型的激波捕捉格式在湍流模拟方面的性能都不及高阶中心格式,其原因归结为激波捕捉格式所包含的线性和非线性耗散.因此,改进高阶激波捕捉格式的关键在于同时降低格式的线性耗散和非线性耗散,以提高格式对湍流脉动能量的保持和对小尺度脉动结构的捕捉能力.     

余度传感器结构的故障管理

为了使捷联惯性导航系统具有容错的能力,要求对捷联惯性导航系统中的余度传感器结构进行故障管理。本文阐述了两种余度传感器结构的故障管理方案:直接比较测量的故障管理方案和广义似然比检验(GLT)故障管理方案。两种方案都能对余度传感器结构进行故障检测、故障分离和故障重构。文内还对两种方案的优缺点作了比较分析。     

适于可压缩多尺度流动的紧致型激波捕捉格式

针对可压缩多尺度流动数值模拟特点,研究一种五阶高分辨率紧致型激波捕捉格式——紧致重构加权基本无振荡(CRWENO)格式。该格式利用非线性权系数将低阶紧致格式加权组合以达到高阶精度。在光滑区域蜕化成具有高分辨率的五阶线性紧致格式,在间断附近则能保持计算稳定无振荡。对CRWENO格式、目前广泛使用的加权基本无振荡(WENO)格式及两格式对应的线性格式(即五阶线性迎风格式和五阶紧致格式)进行数值性能研究,评估非线性权系数对格式耗散及频谱特性的影响。使用一维、二维、三维典型算例进行数值试验,探讨线性/非线性、紧致/非紧致格式在可压缩多尺度流动模拟中的优势和不足。结果表明,CRWENO格式在强压缩性流场模拟中能够稳定地捕捉激波,其紧致特性则改善了非线性格式普遍存在的耗散过大、分辨率较差的问题,使其能够清晰捕捉多尺度流动结构。因此,该格式在可压缩多尺度流动模拟中具有较大优势。     

改进的二维三阶半离散中心迎风格式

对二维三阶半离散中心迎风格式中的权函数给出了简化改进. 在保持格式精度的基础上, 改进后的权函数在二维情况下具有更加简单直接的结构而且严格非负. 该改进方法得到的格式仍然具有半离散中心迎风格式的优点, 同时保持了重构函数的非振性. 时间离散采用保持强稳定性的三阶Runge-Kutta方法, 并利用四阶Lax-Wendroff (L-W) 格式计算磁流体算例中的磁场散度. 用该修正格式计算了二维磁流体数值算例, 得到高精度无振荡的结果, 验证了此方法的有效性.      

Euler方程的分裂型通量分裂双时间步隐式方法

传统隐式方法有格式复杂、计算量大等缺点,在Euler方程的差分离散过程中,利用算子分裂思想,结合通量分裂法、双时间步法等隐式离散方法,构造了一种更简单的分裂型隐式计算方法.通过对典型空气动力学问题的计算,检验了该方法的有效性和可靠性,并对其性能做了具体讨论.该方法具有稳定性好、时间步长约束小等隐式格式的普遍优点,同时具有格式简单、程序易实现等优点;避免了传统隐式方法单步推进时的方程组常规求解及矩阵求逆过程,计算量小;比LU-SGS方法收敛速度快.