计算机容错技术的研究与应用

介绍了容错技术的基本原理及内容,以及容错系统的经历阶段和实现容错功能的关键技术。总结了计算机容错技术在现阶段的应用情况。随着计算机技术的发展,容错技术和容错计算机将成为新的研究发展方向,将会出现初级的容错软件的设计方法,产生应用软件方面的容错设计工具,以及产生一个通用操作系统和硬件相结合的容错方法。     

单片机容错系统的设计与实现

用两台DVCC-51DB系列单片机作为系统的主机,提出一种单片机容错系统的设计与实现方案.根据单片机的特点,用软、硬件方法解决了双机同步等待问题.系统配有CPU、存储器、比较器的测试软件,可完成单机输出、双机同步比较输出、双机降为单机输出、故障机停电脱线等功能.文中还估算了系统的可靠度与平均无故障间隔时间(MTBF).     

多校验点容错软件的可靠性研究

本文基于可恢复块程序法,建立了多校验点方法(并串型)的可靠性模型,并推出了若干性质。通过深入分析得出这样的结论:软件容错的效果不仅与冗余软件个数有关,而且与接受测试AT的可靠度有至关重要的关系。     

三模冗余容错系统管理板

随着嵌入式计算机的应用越来越广,对嵌入式系统的可靠性要求也越来越高,嵌入式可信计算机应运而生。针对可信计算机的功能需求,研究了容错与嵌入式可信计算机的相关概念和技术,提出了三模冗余加单模热备份的3+1混合冗余结构,采用FPGA完成了基于该结构的系统管理板的研究与设计。实验表明:该管理板能够有效地管理系统中的计算模块、电源模块及I/O模块,并实现了表决功能、系统重构、热插拔等多项技术。     

双机热冗余可修复容错控制系统的可靠性分析

用马尔可夫过程,对双机热冗余可修复容错控制系统的可靠性进行了分析,得出了有关的计算公式.     

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

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

基于APC容错存储器的设计

研究半导体ＲＡＭ的容错。介绍了存储器容错技术；给出了片上容错存储器的系统设计，并对系统的可靠性进行了评估。     

工控机二模容错系统结构设计

从计算机体系结构观点，提出一个ＳＴＤ总线工控机二模容错计算机系统。介绍该系统的设计原则、硬件结构和容错管理软件结构。     

自恢复容错系统的建模与分析

容错系统不仅会产生硬件故障,由于连续长时间的运行,系统的性能也会逐渐下降或失效,即老化现象。综合考虑容错系统中的硬件故障和老化现象,提出了将传统的冗余技术和软件抗衰技术相结合的策略,并给出了该系统的非马尔可夫随机Petri网模型,随之对基于该模型的系统进行了定量分析。     

一种基于特征嵌入神经网络的中文分词方法

针对传统基于特征的中文分词模型中,参数相对于训练数据过多而难以准确估计特征权值这一问题,提出了一种基于特征嵌入的神经网络方法.嵌入方法将特征转化为低维实值向量,能有效降低特征维度.另外,为了增强模型的性能,给出了一种学习速率线性衰减方法.研究了正则项的方法来增强模型的泛化能力.实验表明:文中提出的模型可以提高中文分词问题的求解效率.     

基于象似性的英语构词认知分析

依据距离象似性、拟音象似性、标记象似性、顺序象似性、数量象似性、隐喻象似性等原则对由拟声法、复合法、派生法构成的词汇结构（包括语音）和意义等进行分析,旨在着力解释词汇形式与所指意义之间的对应性象似关系。利用这种语义本体观习得英语,可大大加深对词汇的理解,提高词汇习得的投入与产出比。     

基于词性信息的汉语时间语词消歧算法

切分歧义是影响汉语自动分词系统精度的一个重要因素.时间语词包括指明事件发生确定时间位置的时点时间词和指明动作或状态持续一段时间的时段时间词.基于现代汉语语料库加工规范,特定类型的时间语词存在切分歧义及考察时间语词的语用,提出了基于时间语词上下文词性信息的统计语言模型和基于极大似然原理的消解这类歧义的算法,其开放测试正确率约为90%.     

基于特征字的中文地址要素编码和清洗方法

在对中文地址编码技术进行研究的基础上,把中文地址切分为地址要素和特征字,提出了中文地址清洗模型,制定了对中文地址要素的编码规则,并基于该编码规则设计了中文地址清洗算法,实验证明了该文方法具有较好的清洗效果.     

基于群签名的电子投票方案

对当前主流的电子投票方案进行了分析比较.以群签名方案为基础,利用知识签名和盲签名,提出了一种新的电子投票方案.方案确保了系统的公平性、匿名性、合法性、唯一性等特点,构建了一个比较可靠的系统.     

基于单粒子的量子投票方案

提出了一个量子投票方案。投票者利用局域幺正操作进行投票，计票员可根据测量的结果计算出投票的结果。通过对方案的正确性和秘密性进行分析，表明该方案是安全的。而且，与采用Ⅳ维量子纠缠态的量子投票方案相比，该方案只涉及二维量子态，测量较为简单，这在现有的技术条件下是更易于实现的。     

基于RSA的保密投票方案

提出了一种基于RSA的数字表决方案，其特点是：由密钥中心制造投票过程的各种私钥和公钥，分别分配给投票人，投票主持人，或交公证机构保管，投票不可伪造；投票不可低赖；投票人的态度保密，因此此方案特别适用于一个组织的最终决策过程。     

采用OHNN和M-LFSR的字序列密码加密方案

结合反馈型离散Hopfield神经网络(HNN)和改进型的线性反馈移位寄存器(M-LFSR)的优点,提出基于OHNN和M-LFSR的字序列密码.该方案利用离散Hopfield神经网络的混沌吸引子对改进型线性反馈移位寄存器的非线性选择输出,实现加密.安全性分析与仿真验证表明:该算法构造的伪随机序列具有良好的随机性、复杂度等特点,满足密码学的要求.     

改进适应度评价的多态自检电路进化设计算法

 针对传统多态自检电路进化设计算法适应度评价阶段丢失潜在解的问题,提出了一种改进适应度评价方法。利用扩展评价将传统算法中随机选择输出位对候选电路进行评价的方法改进为完全评价方法,通过动态选择输出位对电路做出最恰当的评价,防止潜在解的丢失;对于多态电路扩展评价结果采用比较选择选取在多种工作模式下适应度最高的输出位,完成进化电路最优结构配置。外部进化设计实验结果表明,所提方法仅需4个测试向量就能检测出组合电路中的所有固定性故障。电路中不需额外的输入/输出信号,通过加法器进位输出位的震荡可以指出错误的存在,同时电路原始输入信号即可作为检测输入信号。与传统进化设计算法相比,进化代数减少了90.6%—91.7%,成功获得最优解时电路使用门个数减少8%—9.7%,具有进化迭代次数少和资源消耗低等优点。     

一个基于Schnorr算法的保密投票方案

根据Schnorr算法提出了一种电子投票方案．该方案的特点是：投票不可抵赖；投票不可伪造；私钥由投票人本人自行保管；投票人的态度保密，即投票主持人只知道电子选票中的赞成、反对或弃权的票数，但不知道各投票人的态度．因此适合于一个组织的最终决策方案．