设置进程检查点的嵌入式容错系统设计

针对嵌入式Linux系统的特点,通过设置检查点(checkpoint)实现ARM平台进程级容错。在检查点工作时,通过/proc文件系统与内核进行交互,实时地获取与进程有关的PID、CPU状态以及内存信息,并保存在存储介质中。当进程出现故障后,将上述与进程有关的状态信息进行恢复,从而实现进程级容错。实验表明,该进程级容错系统有较好的容错能力,极大地缩短了进程恢复的时间。     

纳米电路交叉冗余容错技术研究

提出了一种针对纳米电路的数字电路容错设计新方法．该方法基于交叉冗余原理,利用两种二进制错误的不对称性,采用模块化方法对纳米电路进行容错设计．以阵列乘法器为例,采用新方法对电路进行设计和仿真,并结合实验结果与传统的可重构和三模冗余容错方法进行比较．交叉冗余方法无需检测模块及表决器,不会增加系统延时,并且在资源消耗方面远低于传统方法,对纳米电路尤其适用．     

可重构计算在提高数据采集系统容错中的应用

可重构计算技术在数据采集系统中的应用越来越广泛,这不仅得益于可重构计算技术能够更快的对数据进行处理、降低系统能耗,还得益于其可以提高系统的可靠性。该文介绍了如何利用可重构计算技术,提高数据采集系统的容错能力,使数据采集系统在出现硬件故障时能保持正常工作的能力。     

基于复制技术的电力自动化系统容错模型的实现

从提高电力自动化系统的可靠性、安全性和实时性出发,在建立的基于复制技术的电力自动化系统容错模型的基础上,详细地介绍了系统模型的实现方法.设计的容错系统在三机表决系统的基础上,对系统结构和表决算法上进行了一定的改进,具有较强的容错性,为坚强、自愈的智能电网中的电力自动化系统的建设提供了参考意见.     

CAN总线在高可用容错系统中的应用

本文设计了一种通信系统,该系统是建立在高可用容错系统下的子系统。通信系统进行了冗余设计,容错系统中单元之间的数据通信,是通过通信总线来实现的。该系统采用的是可靠性较高的CAN总线及接口控制器来实现的,这种总线具有,成本低、传输距离较长、数据传输速率高等多种高可靠高实时性,所应具备的特点。     

消息中间件持久化研究

本文从消息中间件的定义、基本体系结构入手,介绍消息中间件持久化的意义,着重提出了几种持久化的解决方案,同时分析了这几种解决方案各自适用的场景和性能。     

基于联盟链的工业物联网数据存储模型

由于工业物联网数据具备较强的私密性,数据是否能够安全存储成为工业物联网发展的关键问题。针对这一问题,提出一种基于联盟链的工业物联网数据存储模型。为保证数据存储的效率与安全,首先,在原有PBFT算法的基础上搭建节点状态信用评估模型同时增加投票机制;其次,结合节点状态在SM9数字签名算法中设置多密钥生成中心共同参与密钥生成。对模型的吞吐量、共识时延及通信开销进行实验分析,结果表明,该模型相较于传统模型在数据存储、安全性方面得到了进一步保障,降低了黑客攻击并防止数据泄露或被窜改,并在通信开销方面提升了40%。     

基于部分簇能量互补逻辑的MRF电路设计

功耗是电路设计的关键性问题之一,低功耗下的稳定性问题逐渐成为电路设计的热点和挑战,基于马尔科夫随机场（MRF）的低功耗设计从能量的角度出发有效地解决了电路的容错问题,但是其单逻辑的单元结构面积和复杂度制约了该技术在大规模集成电路的应用。该文提出了一种基于部分簇能量的MRF电路设计方法（PMRF）,并结合互补逻辑的特点来实现多逻辑结构,面积共享的同时一方面补偿由于部分簇能量带来的性能损失,一方面化简马氏随机场电路设计在较大规模电路设计中的面积和复杂度瓶颈问题。对比传统MRF电路设计,该文用PMRF方法设计了超前进位加法器结构,在低功耗仿真中具有20%的性能提升,并在65 nm TSMC版图实现后取得29%的面积节约和86%的功耗节约。     

动态可配置的两阶段虚拟机容错分配方法

提出了一种随着虚拟机资源请求和应用程序可用性水平不断变化的两阶段虚拟机容错分配方法。第一阶段根据虚拟机资源请求变化求解不同的虚拟机初始分配方案集合,第二阶段通过虚拟机在线迁移与虚拟机热备份技术,根据应用程序可用性水平不断变化求解虚拟机容错分配方案。实验结果表明,与现有的方法相比,该文提出的两阶段虚拟机容错分配方法性能更好,系统可用度更高。     

基于多重约束的OpenXML复合文档内容源数据区容错定界算法

在高误码率条件下,接收到的OpenXML复合文档往往因数据含错而无法打开,而在文档修复过程中,对信源中每个源文件内容源数据区的定界经常容易出错,针对该问题,提出了一种基于多重约束的OpenXML复合文档内容源数据区容错定界算法。通过对文档协议冗余的分析与归类,将内容源数据区定界问题转化为对起始位置序列的最佳估计问题。在通过适当放宽匹配条件完成粗定界的基础上,利用冗余信息中的约束关系构建代价函数对观测数据进行筛选,有效地剔除“虚警”情况,进而实现对内容源数据区起始位置序列的最佳估计。仿真结果表明,在参数设置合理的情况下,该方法具有较好的容错定界能力。