一种航空机载容错计算机的冗余管理技术

文章介绍了作者自行研制的一种航空机载容错计算机系统的设计与实现,系统采用双通道热跟随体系结构。重点分析了基于硬件冗余的冗余管理技术。其冗余主要包括:故障检测、故障隔离、通道切换与故障报警等。     

命题逻辑公式中的冗余子句及冗余文字

主要研究命题逻辑公式中的冗余子句和冗余文字。针对子句集中必需的、有用的、无用的子句,分别给出了一些等价描述方法,进而讨论子句集的无冗余等价子集。另外,得到了子句集中冗余文字的判别方法,借助可满足性给出了冗余子句的一种等价条件。上述结果为命题逻辑公式的化简奠定了一些理论基础。     

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).     

大功率UPS主备冗余供电方式的讨论

介绍在线式UPS的四种工作状态，双机、多机主备冗余供电方式的工作原理及优缺点。     

南极科考支撑平台主控系统的硬件设计与实现

南极科考支撑平台是我国首座独立自主研发的极端条件下科考支撑平台,主控系统是平台的现场控制中枢。在国外同类平台研制的基础上,针对平台所处的特殊自然环境,从增强系统的可靠性出发,采用了冗余控制器和冗余通信网络方式。着重介绍了主控系统的设备选型及结构设计。平台现场运行表明,平台主控系统硬件选型正确可靠,设计完全可行。     

Effective elimination of redundant association rules

It is well-recognized that the main factor that hinders the applications of Association Rules (ARs) is the huge number of ARs returned by the mining process. In this paper, we propose an effective solution that presents concise mining results by eliminating the redundancy in the set of ARs. We adopt the concept of δ tolerance to define the set of δ-Tolerance ARs (δ-TARs), which is a concise representation for the set of ARs. The notion of δ-tolerance is a relaxation on the closure defined on the support of frequent itemsets, thus allowing us to effectively prune the redundant ARs. We devise a set of inference rules, with which we prove that the set of δ-TARs is a non-redundant representation of ARs. In addition, we prove that the set of ARs that is derived from the δ-TARs by the inference rules is sound and complete. We also develop a compact tree structure called the δ-TAR tree, which facilitates the efficient generation of the δ-TARs and derivation of other ARs. Experimental results verify the efficiency of using the δ-TAR tree to generate the δ-TARs and to query the ARs. The set of δ-TARs is shown to be significantly smaller than the state-of-the-art concise representations of ARs. In addition, the approximation on the support and confidence of the ARs derived from the δ-TARs are highly accurate.     

2D artificial life system using network-type assembly-like language: influence of change in environment with costs of instructions

To unlock the full potential of evolution in digital media, a Tierra-like system using network-type assembly-like language has been constructed. In the system, like Avida, digital creatures, self-replicating programs, live in a discrete 2D torus space and an interaction between creatures is restricted locally. Bearing a genetic network in mind, network structure is introduced. In the previous works, it is shown that the possibility that the network-type model has more potential of evolution than a linear-type model like Avida in a simple environment. In this paper, to study the potential of evolution more precisely, we model the effects of environment other than creatures. As one of the simplest models of such environment, the cost of execution, i.e. executing time, is introduced. The difficult environment to live in costs high to execute instructions, the easy environment does low. In computer experiments, we have investigated the influence of change in environment by analyzing the process of evolution and diversity of the system. Experimental results show that the network-type system keeps more stable diversity than the linear-type system does, even when the environment changes drastically. This indicates the possibility that the network-type system has more potential of evolution than the linear-type system has. This work was presented in part at the 13th International Symposium on Artificial Life and Robotics, Oita, Japan, January 31–February 2, 2008     

计算机网络防雷冗余供电的研制

在研究国内外流程性工业生产过程监控系统安全运行的基础上,分析了我国计算机集散控制系统(DCS)供电控制技术的现状,提出了进一步解决DCS、Internet/Intranet等计算机网络系统供电的开发思路,并结合信息化工程项目的实施和应用经验,提出了可行的、行之有效的DCS、Internet/Intranet系统的供电冗余保护系统,给DCS、Internet/Intranet平台供电的解决提供了一条新的途径。     

海杂波的非线性测试

时间序列的非线性检测对于非线性时间序列分析、混沌特性研究有着重要意义。讨论了时间序列的几种非线性检测方法,将代理数据产生方法中的IAAFT方法与冗余方法结合起来,对实测海杂波数据进行非线性检测。对测试结果进行分析,表明海杂波是由非线性系统产生的,应该采用非线性处理方法研究海杂波。     

冗余技术在分布式控制系统中的应用研究

以某酒厂稻谷加工DCS控制系统为例,介绍了冗余技术在分布式控制系统中的应用,并从PLC冗余、通信冗余和软件编程三方面进行了详细的论述。