命题逻辑的子句集中文字的分类

检测和消除命题逻辑公式中的冗余文字,是人工智能领域广泛研究的基本问题。针对命题逻辑的子句集中子句的划分,结合冗余子句和冗余文字的概念,将命题逻辑的子句集中的文字分为必需文字、有用文字和无用文字3类,并分别给出其定义。讨论3种文字与无冗余等价子集的性质,给出其等价子集的等价描述方法。得到题逻辑的子句集中必需文字、有用文字和无用文字的判定方法,借助子句集的可满足性得到3种文字与子句集的可满足性的等价条件。上述结果对命题逻辑中文字属性的判断提供了多种可选择方法,同时为命题逻辑公式的化简奠定了理论基础。     

消除子句冗余的算法及复杂性

本文讨论了知识子句表示的冗余消除，着重讨论了子句中冗余文字的消除的民政部压缩是消除子句文字冗余的一种重要类型除对这种类型的问题的可判定性以及复杂性结果进行讨论外，本文还给出了压缩问题的一个子问题的多项式算法。     

直觉模糊逻辑的（α,β）-广义锁归结方法

归结方法是定理自动证明的重要工具。为了简化直觉模糊命题逻辑的归结过程,基于直觉模糊命题逻辑归结原理的一般形式,提出了子句(αβ)-可满足和(αβ)-归结式的概念。研究了广义子句与其归结式的可满足性。在直觉模糊命题逻辑系统中给广义子句配锁,规定在做归结时各子句中被消去文字在该子句中的序号最小,由此建立了(αβ)-广义锁归结方法,并证明了该方法的可靠性和完备性。给出了直觉模糊逻辑的广义锁归结算法步骤,并通过实例说明了该方法的有效性。     

关系数据库系统结构化查询语言的冗余性研究

本文详细讨论了把关系数据库查询语句中的GROUP BY和HAVING子句用其它子句代替的可行性，指出CROUP BY和NAVING子句在SQL语言中是冗余的。     

一种冗余调度的可靠网格计算模型

为了解决动态、不稳定的网格环境下的可靠计算问题,提出一种基于冗余调度的可靠网格计算模型.首先给出计算网格系统可靠性的定义,并基于系统可靠性定义给出了冗余调度的可靠网格计算模型,设计了冗余调度算法,模拟实验结果证明了提出的模型可以提高计算网格任务调度的可靠性.为了使提出的模型更好应用于实际网格计算环境,给出基于概率的冗余度优化公式,将该公式引入到冗余调度模型,可以获得优化的调度冗余度,不仅可以提高任务调度系统的可靠性,而且能提高资源的利用率.     

基于目标演绎距离的一阶逻辑子句集预处理方法

一阶逻辑定理证明是人工智能的核心基础,研究一阶逻辑自动定理证明器的相关理论和高效的算法实现具有重要的学术意义。当前一阶逻辑自动定理证明器首先通过子句集预处理约简子句集规模,然后通过演绎方法对定理进行判定。现有的应用于证明器中的子句集预处理方法普遍只从与目标子句项符号相关性角度出发,不能很好地从文字的互补对关系中体现子句间的演绎。为了在子句集预处理时从演绎的角度刻画子句间的关系,定义了目标演绎距离的概念并给出了计算方法,提出了一种基于目标演绎距离的一阶逻辑子句集预处理方法。首先对原始子句集进行包含冗余子句约简并应用纯文字删除规则,然后根据目标子句计算剩余子句集中的文字目标演绎距离、子句目标演绎距离,并最终通过设定子句演绎距离阈值来实现对子句集的进一步预处理。将该预处理方法应用于顶尖证明器Vampire,以2017年国际一阶逻辑自动定理证明器标准一阶逻辑问题组竞赛例为测试对象,在标准的300 s内,加入提出的子句集预处理方法的Vampire4.1相比原始的Vampire4.1多证明4个定理,能证明10个Vampire4.1未证明的定理,占其未证明定理总数的13.5%;在证明的定理中,提出的子句集预处理方法能对77.2%的子句集进行约简,最大子句集约简规模达到51.7%。实验结果表明,提出的一阶逻辑子句集预处理方法是一种有效的方法,能有效地约简一阶逻辑子句集的规模,提高一阶逻辑自动定理证明器的证明能力。     

冗余算法在椭圆曲线离散对数上快速实现的研究

本文通过引入二进制冗余正则序列，提出了一种基于椭圆曲线离散对数上点的数乘的新算法。并证明了二进制序列与正则序列的等价转换，由此给出了相关的冗余算法。     

硬件中冗余探错研究

本文深入分析和总结了计算机系统中针对硬件错误的传统冗余探错技术的各种思想,对于解决不同问题的各类方法进行了剖析,给出了一些研究热点上最新的研究进展与技术,最后在深入研究硬件中冗余探错方法的基础上提出了目前已有技术还存在的一些亟待解决的关键问题,对于进一步提高硬件可靠性打下了坚实的基础.     

命题逻辑提升到一阶逻辑上的子句消去方法

在基于命题逻辑的可满足性问题（SAT）求解器和基于一阶逻辑的定理证明器上，子句集简化一直是必不可少的步骤，而其中子句消去方法在这些子句集简化方法中是非常重要的组成部分。将命题逻辑中的子句消去方法归结隐藏恒真消去方法（RHTE）和归结隐藏包含消去方法（RHSE）提升到一阶逻辑上，并且利用蕴含模归结原则（IMR）证明了这种提升方式在一阶逻辑上具有可靠性（Soundness），即依据这两种子句消去方法删除一阶逻辑公式集中的子句，并不会改变公式集的可满足性或者不可满足性。此外，将这两个方法与一阶逻辑子句消去方法锁子句消去方法（BCE）和归结包含消去方法（RSE）进行组合推广，发展得到一阶逻辑上新型子句消去方法（BC+RHS）E、（RS+RHT）E和（RHS+RHT）E，并且证明了这3种子句消去方法在一阶逻辑上的可靠性。最后，分析比较了这些子句消去方法的有效性，并且证明了这3种新型子句消去方法比组成它们的原始子句消去方法均具有更高的有效性。     

计算机网络冗余设计研究

介绍了网络规划中网络冗余设计用到的一些主要技术和各种协议,分析了网络冗余设计的重要性。     

容错的冗余设计分析

研究冗余设计的失效率计算问题，分析了多路冗余的共因对失效率的影响，从理论上 证明了只有充分地减少多多路冗余的公共失效因素才能有效地降低系统的失效率。     

局域网冗余性和容错性探讨

本文以证券劳业部网络改造为例,着重阐述了如何在局域网中通过增加设备,划分不同网段,从而使网络具有冗余性能和容错性。     

构形冗余概念及传感器系统冗余综合评估与配置

复杂控制系统中存在大量不同机理和作用方式的功能和硬件冗余,主动开发和配置这 种冗余是控制系统设计的重要课题.本文提出新的"构形冗余"概念,对不同的系统冗余提供了统 一的理解角度和通用冗余指标,可以综合评价系统中蕴涵的各种冗余,因而指导对这些冗余的统 一配置,提供新的系统主动生存性设计依据.构形冗余概念被具体用于传感器系统,给出了其构 形冗余指标的具体计算方法,并通过若干实例验证了上述方法在冗余综合评估与配置中的应用 效果.     

FDDI冗余技术在高可用性网络工程中的应用

该文介绍了FDDI若干基本概念，阐述了FDDI冗余技术，并结合实际的FDDI网络产品提出了几种不同的高可用性网络方案，具有一定的实用价值。     

一个双机系统的设计与实现

双机系统广泛地应用在工业控制中以保证系统的冗余和可靠性，本文介绍了双机热备份系统的设计原理，并在SCOUNIX系统下实现。     

一类多输入多输出系统的冗余设计

分析了多输入多输出多变量系统在某环节失效时系统的整体性,给出了针对开环传递函数矩阵以及解耦后新对象均为本质稳定对象时系统的冗余设计方法.该方法有效解决了某环节失效后对系统稳定性的影响,实现了复杂系统的容错控制.仿真结果表明,该冗余设计方法可行,能够实现系统的容错控制.     

一种适用于复杂环境的冗余检测算法

在无线传感器网络中,由于节点能耗的不均衡导致节点感知半径的不同.针对这种复杂环境的应用,提出了一种分布式冗余检测算法,给出了相应的冗余检测准则,并对该准则的合理性进行了理论分析.在保持网络原始覆盖质量的前提下,能够更充分地检测冗余节点.仿真实验表明,复杂环境中节点感知半径相同时,算法激活的工作节点数目少,冗余检测完整;感知半径不同时,算法仍能充分、有效地检测冗余节点,从而节省能量、延长网络生存时间.     

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

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

TCN-WTB设备线路冗余控制单元设计

列车通信网TCN是面向控制的连接铁路车载可编程电子设备的分布式数据通信局域网，它是控制、计算机、通信技术等学科的交叉与集成。本文讨论的绞线式列车总线的冗余控制功能用来保证WTB总线系统的高可靠性。文章全面分析了冗余控制功能单元，对线路模式选择，线路受扰信号管理，切换控制，MAU报告进行了详细讨论，对协议中未加限制的内容提出了具体实现方案。最后用状态机控制方式在FPGA上实现设计实现。     

三模冗余技术在FPGA领域的应用

空间系统受到高能粒子的轰击,可能对时序等电路产生影响,改变器件的逻辑状态,导致存储单元逻辑‘0’与‘1’的翻转,产生关键数据出错,甚至整个系统的瘫痪。介绍了空间辐射效应的种类及对于不同类型的效应采用的抗辐射方法以及目前流行的三模冗余软件XTMR的实现原理和实现过程。