关于部分K值逻辑中准完备集之最小复盖的一些结果（Ⅱ）

根据部分K值逻辑的完备性理论,证明了L型函数集L_(G4,2)是P_K~*中准完备集之最小复盖的必要组成部分。     

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

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

部分K值逻辑中准完备集之最小复盖的一些结果（Ⅰ）

根据部分K值逻译的完备性理论,证明了保E函数集T_E是P_K~*中准完备集之最小复盖的必需组成部分,它们的并集复盖了大量的准完备集。     

部分三值逻辑中准完备集的最小复盖

根据部分K值逻辑的完备性理论,定出了P_3~*中所有准完备集的最小复盖,并依此构造出大量的部分三值Sheffer函数。     

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

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

关于部分K值逻辑中准完备集之最小覆盖的一些结果（Ⅲ）

根据部分Ｋ值逻辑的完备性理论，证明了满足一定条件的完满对称函数集是Ｐｋ＊中准完备集之最小覆盖的必要组成部分．     

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

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

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

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

关于单值与集值映象的公共不动点

在单值与集值映象相容或次相容的条件下，给出了完备度量的空间中两个单与两个集值映象的公共不动点定理。     

关于集值映象对与单值映象的公共不动点

在单值映象与集值映象相容或次相容的条件下 ,给出了完备凸度量空间中集值映象对与单值映象存在公共不动点的一个充要条件和一个充分条件 ,改进和推广了某些已知结果     

逻辑函数的粗糙集表达及最小化方法

提出了基于粗糙集理论对逻辑函数进行知识表达的方法,给出了运用粗糙集进行组合逻辑化简的优化算法.为保证化简前后逻辑上的等价性,用化简前的逻辑矩阵中的on-set项是否被化简后的off-set项的补完全覆盖的方法进行检验,结果表明化简前后是等价的.算法通过了对20变量以下的组合逻辑函数标准的Benchmark例题和部分组合逻辑函数典型实例验证,保证了优化结果正确性和有效性.     

完全多值逻辑函数的完备性理论(英文)

多值逻辑的研究是计算机科学技术中的一个十分重要的领域,它与未来计算机密切相关。国际上技术先进的国家如美国、苏联、日本、加拿大等都十分重视。自1971年以来每年召开一次国际会议,完全多值逻辑函数的完备性理论自四十年代起始终是多值逻辑中引入注目的,活跃的课题之一。本文总结了近代的发展情况和主要的新成果,并对仅有中文的结论以简要的证明。     

群和线性半群的准完备性

本文提出了群完备和准完备的充要条件。同时,还较详尽地讨论了线性半群中的完备性问题。定出其所有的准完备类(即极大封闭集)     

卡诺图法化简逻辑函数一题多解的研究

通过分析、推理和证明 ,对卡诺图法化简逻辑函数出现的一题多解问题进行论证 ,阐述其产生原因和一般规律     

基于K图的逻辑函数变换方法

运用K图(卡诺图),不仅实现了与-或-非代数系统下逻辑函数的变换,并将逻辑函数的变换与化简结合起来,克服了代数法变换的繁琐与不足,丰富了变换的方法和途径;而且实现了将逻辑函数变换成与-异或代数系统下的RM展开式.K图法具有形象直观、方便快捷的特点,能提高数字电路的教学效果和设计效率.     

在实数集上构造具有紧支集的n阶可导函数

通常初等函数都不具有紧支集,而实际问题中常需要定义在无穷区间上的紧支集函数.在求解格林问题的基础上利用差分方法构造了具有紧支集且有直到n阶连续导函数的函数B(x),给出的两个例子说明该方法是简单可行的.     

有理函数积分的分式化简

利用多项式的泰勒公式,给出有理函数积分中的部分分式的极限化简方法.     

复合函数微分法的图示教学方法

对高等数学教材中复合函数求(偏)导的链式法则的教学提出了一种简单、直观的图示教学方法,该方法旨在将复杂的变量之间的函数关系用方向图表示,从而链式法则中的数学公式就可以通过其路径来刻画.其优点是帮助学生清楚地理清复杂的多变量之间的函数关系,运用简单的路径来计算复合函数的(偏)导数.     

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

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