转移逻辑(Ⅰ)

在古典的二值逻辑 CL(Classical Logic)中,每一命题X的真值取自二元集合{0, 1},即T(X)=0与T(X)=1为两种极端的稳定状态;因此CL只能作为客观事物静止 状态的粗略反映,以后发展了模糊逻辑FL(Fuzzy Logic),每一命题变量可在闭区间〔0, 1〕上取值,T(X)=a(0≤a≤1),表明X属于某一状态的程度为a,不属于此状态的程度 为1-a,这样就将截然划分为两种状态的粗略情况用归属度作了精确化的改进。然而它仍 然只能反映稳定情况,包含动态平衡状态,而不能反映一般变化状态。例如:试考察一可逆 化学反应     

组合逻辑线路动态测试方法论

本文系统地研究了组合逻辑线路的动态测试,给出了生成一个动态可测故障以及一个冒险可测故障(静态不可测)完全测试集的方法。首先在“四值逻辑和星算法”的基础上,导出了一个识别逻辑线路所有(静态和动态)冒险的一个新的、系统的方法,然后应用获得的结果,推导了静态不可测单固定故障、多固定故障以及桥接故障的冒险测试公式,并举出了若干实例。     

超立方体的3－独立集及其在神经联想存储器中的应用

用Ｉ３（ｎ）表示ｎ－立方体Ｑｎ的３－独立数。提出了构造Ｑｎ的３－独立集的一个算法，证明了２ｎ－［ｌｏｇ２ｎ］－１≤Ｉ３（ｎ）≤［２ｎ／（ｎ＋１）］．这些结果被应用于神经联想存储器的设计．     

HC-1型手持式计算机中的容错技术

以一种实际研制成功的手持式计算机系统为背景,介绍了容错技术在该机上的应用和实际使用效果,同时也可作为同类型机器在引入容错技术以提高其可靠性时进行借鉴和参考,有较强的实用性和推广性。     

HC-1型手持式计算机中的容错技术

以一种实际研制成功的手持式计算机系统为背景,介绍了容错技术在该机上的应用和实际使用效果,同时也可作为同类型机器在引入容错技术以提高其可行性时进行借鉴和参考,有较强的实用性和推广性。     

四值逻辑与星算法

包含“0”,“1”两个元素的布尔代数已为人们所熟知,它给命题演算和对逻辑网络的研究提供了很好的工具。为了能反映动态情况,本文将它扩展成四值的布尔代数,研究了它的数学基础,提出了几种表达式,介绍了星算法的推导法则,并证明了与布尔差分相沟通的展开定理。文章较详细地陈述了在组合网络诊断方面的应用;通过典型例子介绍了求测试码的算法,并与流行的D算法、布尔差分法、ESP法等进行了比较。事实表明星算法具有某些优点。本文还指出了在网络其它方面应用的可能性。     

时序线路测试生成的一个较优算法——星算法

本文讨论星算法在时序线路测试生成中的应用。被测时序线路可以是异步的,基本逻辑单元可以是门级或功能级元件,此外,算法具有自初始化的能力。文章开始,首先扼要介绍星算法的主要结果,然后通过例子详细描述利用星算法产生时序线路测试的过程,并与D算法和9值算法进行了比较。事实表明,星算法较之其它算法,具有更多的优点。     

组合线路中的桥接故障及二极管短路故障

组合线路中的桥接故障及二极管短路故障均可分成两种类型:组合型和反馈型。根据可测试性,反馈型故障本身又可划分成三类:组合可测,时序可测,振荡可测。所有上述故障可测的充要条件都得到证明。并提出了组合型故障的完整测试集公式及反馈型的组合,时序,振荡可测等故障的完整测试集公式。本文比文献〔1〕,〔2〕,〔3〕,〔4〕更具有普遍性,所以本文结论能包含上述文献的大多数结论。因线或桥接及二级管短路故障和线与桥接及二极管短路故障的结论完全相似,所以本文只给出了线与故障的结论。     

多层神经网络的内在容错性

把多层神经网络具有内在容错性归因于其信息处理和信息存贮的分布特性，以及每个神经园固有的故障屏蔽能力，将多层网内在容错性的概念进行了形式化，进而证明了在合理的统计条件下，感知器和两层网是内在容错的。     

用Logistic方程拟合番茄(Lycopersion)产量累积曲线的研究

本文对44个番茄品种(或F_1)的产量累积曲线与产量构成曲线分别用Logistic方程与其微分方程进行了拟合,拟合的精确性用相关指数R、R_1度量。用Logistic方程拟合番茄产量累积曲线其相关指数(R)在0.99035742—0.99934475之间,用其微分方程拟合的产量构成曲线,其相关指数(R_2)在0.72469047—0.98656061之间。本文对这两种方法拟合的结果进行了比较。本文还给出了这44个番茄品种(或F_1)的t_(A/2)值,并提出t_(A/2)值可作为番茄熟期的指标。