面向混联机床的机械系统容错重构规划方法研究

提出了一种机械系统可重构的混联机床,研究了混联机床机械系统的容错重构策略,提出了基于机构类型演化的机械系统重构容错新方法,给出了球铰演化为虎克铰的实施方案.导出了故障和非故障状态下混联机床的位置反解算法,在ADAMS平台中进行了仿真分析和研究,得到了容错重构前后自旋角的变化曲线以及各驱动腿的长度和工作台位移的变化曲线.仿真结果表明,利用混联机床的机械系统可重构性能可以提高混联机床的可靠性和安全性.     

近阈值电压下可容错的末级缓存结构设计

近阈值电压技术通过降低晶体管的电源电压来降低芯片能耗和提升能效。但是,近阈值电压技术会在Cache中引起大量位错误,严重影响末级缓存的功能。针对近阈值电压下超过1%的位错误率造成的Cache故障问题,该文提出一种基于传统6T SRAM单元的可容错的末级缓存结构(FTLLC)。该策略对缓存条目中的错误进行了低错纠正和多错压缩,提高了Cache中数据保存的可靠性。为了验证FTLLC的有效性,该文在gem5中实现了该结构,并运行了SPEC CPU2006测试集进行仿真实验。结果表明,对于650 mV电压下65 nm工艺的末级缓存,FTLLC与Concertina压缩机制相比在4-Byte粒度下末级缓存可用容量增加了24.9%,性能提高了7.2%,末级缓存的访存缺失率下降了58.2%,而面积和能耗开销仅有少量增加。     

VLSI冗余单元最优分配的遗传算法求解

随着VLSI芯片面积的增加和电路复杂性的增强,芯片的成品率受制造缺陷影响的概率逐渐增加。为了解决这一问题,人们将容错技术结合入集成电路设计中。要使一个系统具有较强的容错能力,必须给系统提供一定量冗余单元。本文利用遗传算法有效地解决了使系统成品率达到最大的冗余单元最优分配问题。     

基于Interceptor的容错ORB原型系统

介绍了基于Interceptor机制的容错ORB原型系统的体系结构和运行机制,说明了该容错CORBA系统设计中的一些重要问题和解决方案。对该系统的测试表明它能提供基本的容错功能。     

在分区故障情况下分布式数据库的一个容错策略

本文提出了一种在分区故障情况下管理分布式数据库系统的方法——综合法,它不仅提高了可用性而且保证了数据的正确性或可恢复性.本文还介绍了模拟系统SDDB,分析了模拟三种网络分区后的处理算法:主复本法、quorum法,综合法的执行情况.     

Transformation of programs for fault-tolerance

In this paper we describe how a program constructed for afault-free system can be transformed into afault-tolerant program for execution on a system which is susceptible to failures. A program is described by a set of atomic actions which perform transformations from states to states. We assume that a fault environment is represented by a programF. Interference by the fault environmentF on the execution of a programP can then be described as afault-transformation which transformsP into a program (P). This is proved to be equivalent to the programPP _F , whereP _F is derived fromP andF, and defines the union of the sets of actions ofP andF _P . A recovery transformation transformsP into a program (P) =PR by adding a set ofrecovery actions R, called arecovery program. If the system isfailstop and faults do not affect recovery actions, we have ((P))=(P)R=PP _F R We illustrate this approach to fault-tolerant programming by considering the problem of designing a protocol that guarantees reliable communication from a sender to a receiver in spite of faults in the communication channel between them.     

二模冗余变电站微机监控系统的可靠性分析

本文介绍了一种二模冗余的变电站微机保护及监控系统，结合本系统分析了二模冗余系统的可靠度，讨论了容错技术在提高系统可靠率方面的作用     

Edge-fault-tolerant pancyclicity and bipancyclicity of Cartesian product graphs with faulty edges

Let r≥ 4 be an even integer. Graph G is r-bipancyclic if it contains a cycle of every even length from r to $2\lfloor \frac{n(G)}{2}\rfloor$, where $n(G)$ is the number of vertices in G. A graph G is r-pancyclic if it contains a cycle of every length from r to $n(G)$, where $r\ge 3$. A graph is k-edge-fault Hamiltonian if, after deleting arbitrary k edges from the graph, the resulting graph remains Hamiltonian. The terms k-edge-fault r-bipancyclic and k-edge-fault r-pancyclic can be defined similarly. Given two graphs G and H, where $n(G)$, $n(H)\ge$ 9, let $k_1$, $k_2\ge 5$ be the minimum degrees of G and H, respectively. This study determined the edge-fault r-bipancyclic and edge-fault r-pancyclic of Cartesian product graph $G\times H$ with some conditions. These results were then used to evaluate the edge-fault pancyclicity (bipancyclicity) of ${\mathit{NQ}}_{m_r,\dots ,m_1}$ and ${\mathit{GQ}}_{m_r,\dots ,m_1}$.     

基于切换与容错的舞台吊杆系统控制方法研究

针对舞台表演中所有调速吊杆并非同时动作及驱动变频器可能发生故障的现象,为降低系统成本,提升系统运行过程中的安全可靠性,构建了一种基于自身硬冗余的舞台调速吊杆变频器切换支援与故障容错控制方案。首先,给出变频器个数及其本组和支援的分类规则用以构成双冗余关系;其次,利用变频器自诊断功能判决是否发生故障,无故障时由硬件选路板切换机制可实现任意切换,而当故障发生时,则通过切换至正常闲置变频器来支援故障变频器,从而通过重构系统实现对故障变频器的容错;最后以某一小型剧场的舞台调速吊杆控制系统为例,根据前述思想对正常支援及故障支援的冗余容错控制进行PLC梯形图编程,从而验证其可行性。运行结果表明该方案不仅能使系统中吊杆设备实现变频器正常时较高程度的随意切换,而且能确保故障时的高可靠性能运行,并且很大程度上降低了项目成本。