胚胎型仿生硬件及其关键技术研究

介绍了胚胎型仿生硬件的概念、优点、应用领域和实现方法,对胚胎型仿生硬件的结构、系统设计方法、错误检测与自修复机制等关键技术的研究现状进行了综述,并以八进制加法计数器为例说明胚胎型仿生硬件的设计方法和自修复机制。针对目前仿生硬件面临的容错机制、细胞电路结构和设计方法都比较简单的问题,提出了基于免疫机理进行错误检测、实行分级容错、采用可进化核设计电路等解决思路。最后指出了胚胎型仿生硬件技术发展趋势,如探索新型容错机制和各种生物启发式电路体系结构、开发商业和专用胚胎型仿生硬件芯片等。     

双机容错系统分析和设计

本文给出一种提高STD工业控制机可靠性的方法,该方法的核心是两台STD联机工作（热冗余）。文中开发了双STD微机系统DSMS（Dual STDMlcrocomputer System）的比较-仲裁部件及其相应的软件。讨论了DSMS所采用的软、硬件容错技术。     

分布式容错实时控制系统的在线升级模型

分布式容错实时控制系统广泛应用于安全关键系统中。为了延长系统的使用寿命,满足用户对系统功能和性能的不断提高的要求,系统升级是必不可少的。提出一种支持分布式实时系统在线升级的结构模型,在保证系统运行时的可靠性和性能的同时,实现系统安全升级。详细分析了该模型的结构及其组成部分的功能,并利用随机Petri网建立在线升级模型的性能和可靠性评价模型。     

A probabilistic characterization of a fault-tolerant gossiping algorithm

Gossiping is a popular technique for probabilistic reliable multicast (or broadcast). However, it is often difficult to understand the behavior of gossiping algorithms in an analytic fashion. Indeed, existing analyses of gossip algorithms are either based on simulation or based on ideas borrowed from epidemic models while inheriting some features that do not seem to be appropriate for the setting of gossiping. On one hand, in epidemic spreading, an infected node typically intends to spread the infection an unbounded number of times (or rounds); whereas in gossiping, an infected node (i.e., a node having received the message in question) may prefer to gossip the message a bounded number of times. On the other hand, the often assumed homogeneity in epidemic spreading models (especially that every node has equal contact to everyone else in the population) has been silently inherited in the gossiping literature, meaning that an expensive membership protocol is often needed for maintaining nodes’ views. Motivated by these observations, the authors present a characterization of a popular class of fault-tolerant gossip schemes (known as “push-based gossiping”) based on a novel probabilistic model, while taking the afore-mentioned factors into consideration. This work is supported in part by the US National Science Foundation. The views and conclusions contained in the paper are those of the authors and should not be interpreted as, in any sense, the official policies or endorsements of the government or the agencies.