快速产生组合电路初始输入引线完全测试集的一个算法

本文提出了一种算法,它利用组合网络的布尔函数Z(x),■和相对应的矩阵直接求出所有初始输入引线的完全测试集。由于所有初始输入引线完全测试集的并集能覆盖该组合网络中所有引线的可测单故障,所以该算法可用来快速计算组合电路组件的完全测试集。     

部分四值逻辑单纯可离函数集最小覆盖之判定

根据部分K值逻辑的完备性理论,通过剔除部分四值逻辑中能被其余准完备集覆盖的单纯可离函数集,缩小了判定最小覆盖的范围.     

P_k~*中互不相同的极大封闭集及其计算

在k值逻辑理论中,函数的完备性之判定是一个基本而重要的问题。此问题的彻底解决依赖于定出k值逻辑函数集中所有极大封闭集。对于完全定义的k值逻辑函数集P_k,经过、罗铸楷和Rosenberg等人的工作已在1973年完全解决。对于部分k值逻辑函数集P_k~*(包括完全函数和非     

部分多值逻辑函数的Galois理论

在k值逻辑理论中,函数封闭集之刻划问题是一个基本而重要的问题,其难度远远超过定出其所有的极大封闭集。对于k=2的情形,Post定出了完全2值逻辑函数集P_2的所有封闭集,但未能     

函数单向S-粗集的信度特征

利用函数单向S-粗集的结构,给出函数迁移的信度特征、函数集Q的下近似信度特征和函数集Q的上近似信度特征.利用这些结果,给出函数单向S-粗集的信度特征,提出函数单向S-粗集的随机结构与随机定理,得出函数单向S-粗集的结构是函数单向S-粗集的随机结构的特例,函数单向S-粗集的随机结构是函数单向S-粗集结构的一般形式.     

部分四值逻辑中L型函数集与拟线性函数集之确定

根据部分 k 值逻辑的完备性理论,给出了部分四值逻辑中 L 型函数集与拟线性函数集,从而推进了 P_4(?)中准完备集之最小覆盖的完全解决．     

组合电路中短路故障和固定型故障的测试

本文主要研究数字电路输入和输出端之间的反馈短路故障(feedback bridging fault,简称FBF)及其测试方法.利用一个新的时序机模型提出了一个带有反馈短路故障电路产生振荡或变成一个稳定异步时序电路的充分必要条件.证明了在任何组合电路中,只需两个测试码便能测试出所有可能的初级输入与输出端之间的短路故障.其次,证明了检测固定型故障的测试码(集)也能检测反馈短路故障。同时提出了一个产生完全测试集的方法,它可以同时测试无扇出(fan-out free)电路中的固定型和短路型故障.     

三值多β门电路的逻辑完备集

根据多β晶体管和二值多β反相电路的工作特点,提出了三值多β反相电路的设计方案,从而构成了三值多β门电路的逻辑完备集,PSPICE模拟证明了所设计的电路具有正确的逻辑功能。     

部分四值逻辑中保三元单纯可离关系函数集最小覆盖之确定

根据部分K值逻辑的完备性理论和相似关系概念,定出并证明了属于准完备集最小覆盖的保三元单纯可离关系函数集.     

多值逻辑中正规关系的分类

在K位逻辑理论中,函数系的完备性乏判定问题是一个基本而重要的问题,此问题的彻底解决依赖于定出K值逻辑函数集中的所有极大封闭集。对于完全K值逻辑函数集P_K,和分别定出了自对偶函数集S_σ,T型集T_(E,O,)单调函数集M中的所有极大封闭集,作者4.5定出了线性函数集L_G的所有极大封闭集,保分别函数集T_D~r的大量极大封闭集(仅剩一类尚未定出)。之后,作者~6于1964年证明了P_K中任意极大封闭集必是一个S_σ,T_(E,O,)M,L_G或T_D~r(由于该学报一度停刊未能及时刊出)。由此基本结论只要定出T_D~r中的所有极大封闭集使能得到P_K中的全部极大封闭集。于1965年Rosenberg也证明了此结论并定出了T_D~r中的所有极大封闭集。因此,现在著名的Rosenberg定理其主要结论已由文[6]中的基本定理给出,它只不过是定出了保分划函数集T_D~r中剩下一类的所有极大封闭集。随着完备性判定问题之解决,近十几年来完全K值逻辑函数的结构理论有了广泛、深入、系统的发展,并用于一些实际应用领域。对于部分K值逻辑函数集P_K~*(包括完全和非完全函数)的完备性理论是由王湘浩教授首先进行研究的,并用群论方法提出了一个完备性的充要条件,依此定出了P_2~*和P_3~*中的所有极大封闭集,无疑这些结果是十分重要而基本的,但对一般的K,未能定出P_K~*中的所有极大封闭集。之后,Freivald证明了P_K~*中任意极大封闭集必是某一个保K~2项关系的函数集并定出了P_2~*中的所有极大封闭集;POMOB定出了P_K~*中一些特殊的极大封闭集并依此定出了P_3~*中的所有极大封闭集。这些结果的大部分内容早已在文[3]中指出。本文用保关系的统一思想和方法证明了P_K~*中任意极大封闭集(除极大封闭集:P_K∪{*},保E函数集T_E以外~(3,6))必是保某一个k项关系的函数集,且必保5类特殊、整齐的m项正规关系之一,m≤k。这就从根本上解决了关系分类这一困难问题,从而极大地缩小了极大封闭集的范围,对判定向题的解决作了实质性的推进。根据此结论,作者在另一文中定出了P_K~*中的全部极大封闭集。本文所采用的一些基本概念、事实、符号除指明的以外均见文[3]。     

一类可优化的平方伪布尔函数

该文给出一类平方伪布尔函数f(x)=xQx^T+cx^T+d,它的最小点与最小值可在线性时间内找到。其基本思想在于将Q和C所关联的图转换为由NOT,AND,OR,NAND,NOR,XOR和XNoR门组成的逻辑电路,后者的相容信号值对应伪布尔平方函数的最小点。这种方法建立了平方伪布尔函数与逻辑电路之间的结构关系。     

量子隐形传态电路的优化设计

利用遗传算法完成量子隐形传态电路的优化设计,提出一种新的一维编码模式,即利用码的位置信息来存储量子门的位置信息. 这种编码模式与其他模式相比效率更高,编解码更方便,能很好地反映量子电路的结构,且容易推广到多位量子电路. 设计了合适的适应度函数,分两部分判断电路的功能和性能,详细探讨了遗传算法的改进及相应实验结果,得到了更优的电路结构.     

逻辑设计中ASM图的硬件电路实现方法

给出了基于A SM图的数字集成电路控制器的设计的主要电路实现方法,并给出了目前最常采用的方法——ED A法.     

多脉冲发放的Spiking神经网络

针对允许神经元发放多个脉冲的Spiking神经网络(SNN)的学习,提出采用更接近生物神经元的SRM模型,更全面地考虑了神经元在发放脉冲后的状态变化,并采用BP学习算法调整神经元的不应期. 通过对XOR问题、IRIS数据集以及泊松脉冲序列的测试,表明这种多脉冲发放的SNN比单脉冲发放的SNN能够更有效地传递信息,提高学习速度.     

逻辑函数的规范XOS和COD展开式

从香农展开定理出发，推导了任意逻辑函数在布尔减-异或及布尔除-符合代数系统中的规范减之异或和除之符合展开式，并给出了相应的图形表示。     

级联线性电路子电路故障诊断的理论与方法

提出了一种灵敏度序列字典法,可快速定位级联线性电路中单级子电路的故障,不管这个故障是何种性质(硬、软、单、多);提出了逐级搜索法,可定位两级以上子电路同时发生的故障,不管这些故障是何种性质.这种软、硬故障统一诊断字典法的继续和发展,使字典法成功地从"元件级"诊断进入了"子电路级"诊断.     

人字门CAD集成系统的开发与研究

针对船闸人字门的结构形式，采用流行的开发工具和开发平台，引进先进的空间薄壁结构理论，运用面向对象和参数化编程的方法，开发了一套集平面结构初步设计、空间有限元分析优化、施工详图绘制于一体的船闸人字门CAD集成系统，有效提高了人字门的设计效率与设计质量．     

卡诺图法化简异或逻辑函数

探讨了卡诺图化简异或逻辑函数的原理，提出了化简异或逻辑函数的新方法。     

船闸安全设施——闸门免碰装置设计方案

由葛洲坝船闸事故考虑到,船舶若按规范操作航行不会发生事故,但意外情况却会造成巨大损失。要确保万无一失,可考虑设计一个闸门免碰装置,防止事故发生。拦河索是一种简单易行、功能可靠的闸门安全设施。