TMR计算机系统FT-HIT的冗余管理技术

ＦＴ－ＨＩＴ是自行研制的３模冗余（ＴＭＲ）航天容错计算机系统，系统通过硬件冗余和主要由软件实现容错的冗余管理模式实现系统的容错性能。其冗余管理主要包括：故障检测、故障屏蔽、故障隔离、系统重构与故障恢复等功能     

基于PLC的空压机冗余控制系统设计

虽然空压机一般都自带控制系统,但是当多台空压机并网运行时,则需要额外的控制器做协调.本文设计了以嵌入式触摸屏上位机和PLC为核心建立起来的7台空压机PLC冗余联控系统,从控制系统结构设计方面进行了详细的分析和论证;论述了空压机的自动联控运行的PLC程序设计方法和控制流程;实现了PLC的电源冗余、CPU冗余、总线冗余及与上位机的工业以太网冗余和I/O模块的热拔插.与传统空压机控制系统相比,有效降低了成本,并提高了系统的可靠性.     

主分量分析和因子隐Markov模型在机械故障诊断中的应用

主分量分析(principal component analysis,PCA)是统计学中分析数据的一种有效方法,可以将高维数据空间变换到低维特征空间,因而可用于多通道冗余消除和特征提取.因子隐Markov模型是隐Markov模型的扩展,它比隐Markov模型更有优势,适用于动态过程时间序列的建模,并具有强大的时序模型分类能力,特别适合非平稳、信号特征重复再现性不佳的信号分析.文中结合主分量分析与因子隐Markov模型,提出一种新的故障识别方法,即以主分量分析方法进行冗余消除和故障特征提取,因子隐Markov模型作为分类器.并应用到机械故障诊断中,同时与基于主分量分析的隐Markov模型的识别方法相比较,实验结果表明基于PCA的因子隐Markov模型识别法和基于PCA的隐Markov模型识别法在故障识别上都是有效的,但对于相同的状态空间,前者的训练速度快于后者,尤其是状态空间越大,这种优势越明显.     

服务组冗余模型分析比较

集群服务的有效性已经成为集群系统中重要的组成部分.目前,人们主要通过提高集群系统的恢复能力来达到系统服务的有效性,实现方式多为硬件意义上的资源的冗余.研究了基于集群系统上的多种冗余模型,并对这些模型进行比较分析.     

Encoder based online motion planning and feedback control of redundant manipulators

This paper proposes and investigates an online motion planning and feedback control (OMPFC) scheme for redundant manipulators via techniques of quadratic programming and rotary encoder. The proposed OMPFC scheme is performed on a planar six degrees-of-freedom (DOF) manipulator. This robotic scheme incorporates the feedback of task-space position error. The joint state is obtained in real time via rotary encoders equipped on the physical manipulator. The original scheme is finally reformulated as a unified quadratic program (QP). The QP is solved online during the joint motion by employing an efficient numerical algorithm. Simulation and experimental results validate the physical realizability, online property, and efficacy of the proposed OMPFC scheme (including the employed numerical algorithm).     

SIS在催化裂化联锁控制中的改造应用

介绍了催化裂化装置联锁控制系统在实际运行中暴露出的问题和不足之处,提出了改造的必要性。论述了SIS(安全仪表系统)选型技术要求、项目实施原则及软件、硬件组态过程。对项目实施中遇到的问题,提出了处理方案。为此类改造提供借鉴。     

Power grid redundant path contribution in system on chip (SoC) robustness against electromigration

The miniaturisation of integrated circuits leads to reliability issues such as electromigration (EMG). This well-known phenomenon is checked at design level by CAD tools. The conventional EMG check methods are based on electrical parameters. However, the wire physical degradation depends also on the interconnection network structure. In order to improve the EMG check methodologies, we propose an accurate method based on failure mechanism and chip power grid configuration. Indeed, the power grid offers redundant paths in case of void in main power supply path. The principle of our method is to take into account the contribution of these redundant paths in power grid lifetime assessment. These effects are validated by silicon ageing tests on structures designed in 28 nm Full Depleted Silicon on Insulator (FDSOI). These accelerated tests results have confirmed the lifetime gain due to the redundancy. These results provide perspectives for the relaxation of wire current limits and improve the chip design toward EMG.     

透平压缩机试车过程中出现的问题及对策

介绍了透平压缩机试车过程中出现的问题,对其原因进行分析,并提出了解决措施.