P4*中保三元正则可离关系函数集非最小覆盖成员的确定

根据部分K值逻辑的完备性理论[1]以及准完备集之间的相似关系理论[2],定出了必不属于部分四值逻辑中保三元正则可离关系函数集之最小覆盖的成员.     

部分四值逻辑准完备集最小覆盖之确定——保四元单纯可离关系的成员

根据部分K值逻辑的完备性理论，定出并证明了属于准完备集最小覆盖的保四元单纯可离关系函数集．     

部分K值逻辑中单纯可离函数集结构研究

根据部分K值逻辑的完备性理论,研究了部分K值逻辑中单纯可离关系函数集的结构。首先解出了部分K值逻辑中m元关系直接划分的个数,然后根据划分求出了部分四值逻辑的所有单纯可离函数集,最后分析了部分K值逻辑中保K元单纯可离关系函数集的性质。     

数据库中函数依赖集的泛系分析

本文从泛系分析出发对关系数据库理论中函数依赖集的闭包的结构进行了讨论。证明了在函数依赖集与函数依赖集的闭包之间存在着一个集合;函数依赖集的闭包可由该集合直接导出。本文的后半部分讨论了全体最小覆盖集的求解方法。     

Hausdorff空间Borel σ-代数上的集值集函数的Alexandroff 型定理

在比Gavrilut等学者提出的更为广义的紧致条件的基础上,进一步研究了集值集函数的抽象正则性,研究了抽象正则性与连续性等性质之间的关系,以及在局部紧第二可数Hausdorff空间Borelσ-代数上的集值集函数的Alexandroff型定理。     

关于保分划之函数集的极大封闭性(Ⅰ)

在 k 值逻辑理论中,函数集的完备性之刻划问题是一个基本而重要的问题.到目前为止,除2值和3值外尚未很好地解决.此问题的彻底解决依赖于定出所有的极大封闭集.С.В.Яблонский(1958)和В.В.Мартынюк(1960)定出了若干极大封闭集.本文研究了保分划之函数集(包括С.В.Яблонский(1958)提出的 U 型集和 T 型集以及     

线性函数集和环的极大封闭性

在 k 值逻辑理论中,函数系的完备性之刻划问题是一个基本而重要的问题,到目前为止除2值和3值外尚未很好地解决.此问题的彻底解决依赖于定出所有的极大封闭集,(1958)定出了若干极大封闭集.本文研究了广义的线性函数集(包括(1958)提出的极为特殊的线性函数集),并得到了新的极大封闭集,主要的结论是定理5.此外,我们还讨论了环的极大封闭性,主要的结论是定     

连续参数集值鞅正则与收敛关系定理

给出了连续参数集值鞅的几种收敛定义．利用连续参数集值鞅正则性与收敛性的基本结果，给出了连续参数集值正则鞅与集值鞅收敛的几个关系定理，即在一定条件下，连续参数集值正则鞅具有某种收敛性；在一定条件下，具有某种收敛性的连续参数集值鞅是集值正则鞅．     

抛物型Baouendi-Grushin Laplace方程解的W1,pγ估计

拟研究一类退化抛物Baouendi-Grushin Laplace方程.通过构造与Baouendi-Grushin向量场相对应的抛物Carnot-Carathéodory度量，利用极大值函数的强p-p估计、L~p函数的几何测度估计以及改进后的Vitali覆盖定理来证明方程解梯度的L~p估计.本结论推广了二阶抛物方程解的正则性理论.     

反链在正则三值逻辑函数个数计算中的应用

正则三值逻辑函数个数的计算十分复杂，本文将这一问题与ｎ维三元偏序集Ｅｎ以及的幂集中反链的计算联系起来，得到了两个有用的计数公式和，从而为解决这一问题提供了一种新的途径．     

对四值逻辑图形化简法的研究

在文献［１,２］的基础上,讨论了四值逻辑的代数化简方法．根据二值逻辑卡诺图的构成特点,提出四值逻辑函数的Ｋ图及图形化简方法,详细地探讨了Ｋ图的构成特点,并指出了尚待研究和探讨的问题．     

一种基于积项扩展的大变量多输出逻辑优化算法的设计与实现

提出的算法是根据给定的输入积项计算出无共享积项的假集矩阵、阻塞矩阵和覆盖矩阵，对阻塞矩阵和覆盖矩阵依据最小列覆盖的选择算法得到最小列覆盖集合和提升集合，形成输入积项扩展后的积项形式．对于二级SOP型的多输入多输出逻辑函数，设计了基于积项扩展的多输入多输出集成电路逻辑优化软件，允许的最大输入变量数为128、最大输出变量数为256、最大输入输出变量总和为300、最大输入积项数为20000，并通过了Benchmark例题的测试和正确性验证．     

一种基于积项扩展的大变量多输出逻辑优化算法的设计与实现

提出的算法是根据给定的输入积项计算出无共享积项的假集矩阵、阻塞矩阵和覆盖矩阵,对阻塞矩阵和覆盖矩阵依据最小列覆盖的选择算法得到最小列覆盖集合和提升集合,形成输入积项扩展后的积项形式.对于二级SOP型的多输入多输出逻辑函数,设计了基于积项扩展的多输入多输出集成电路逻辑优化软件,允许的最大输入变量数为128、最大输出变量数为256、最大输入输出变量总和为300、最大输入积项数为20 000,并通过了Benchmark例题的测试和正确性验证.     

基于模型诊断中用逻辑数组计算最小碰集

在基于模型诊断中 ,冲突集的最小碰集就是诊断目标 .提出用二维逻辑型数组计算冲突集的最小碰集的一种新的算法 .     

基于逻辑的一种诊断方法

基于逻辑的故障诊断方法中一个没有解决好的问题就是如何求得所有极小冲突集。讨论了如何由极小不协调子集求得极小冲突集，然后经出了求所有极小不协调子集的一种方法。对如何应用该算法求得所有的极小冲突集，给出了求诊断的一个过程，最后与相关工作进行了比较。