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

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

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

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

中间λ康托集上可积函数空间的完备性

首先通过一类特殊的分形集——中间λ康托集的构造，得到它的一些重要拓扑性质和分形特征；进而利用控制收敛定理，证明了中间λ康托集上P方可积函数空间是完备的．     

P*4中保二元正则可离关系非最小覆盖的剔除

为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论, 对部分四值逻辑的最小覆盖进行分析,证明了270个保二元正则可离关系函数集中的222个函数集必不属于部分四值逻辑中最小覆盖的成员。     

F集值函数的微分

本文讨论了F染值函数微分的几个不同定义及其相互关系,在F不定积分的基础上,给出了F集位函数F Huygens微分与F不定积分问的关系得到了经典分析学中微分与不定积分间关系的相应结论.     

用零体积集刻划黎曼可积函数类

本文引进了新概念“零体积收敛”和“强几乎处处相等”,给出了几个关于黎曼可积函数类的新结果。     

集值函数关于非可加集值测度的Choquet积分

按照集值积分的经典定义方法,不可避免地涉及集值函数和集值测度两方面的选择问题.本文利用集值函数关于非可加测度的实值Choquet积分,定义和讨论了集值函数关于非可加集值测度的Choquet积分,并刻画了其原函数性质.结果表明,弱零可加性、零可加性、凸零可加性、伪度量性质以及Darboux性质在其不定积分中均可遗传到其原函数中.     

集值有界变差函数的单值表示

给出了集值有界变差函数的单值表示定理.     

多值逻辑函数的分解及T门实现

本文首先讨论了多值逻辑函数的分解方法,这种分解方法可以利用真值表的分解较方便地实现。然后给出了利用 T 门实现多值逻辑函数的一种方法。应用这种方法,分别研究了完全指定的函数和不完全指定的函数的分解及 T 门实现。     

用解逻辑方程的方法化简互斥多变量逻辑函数

论述了用解逻辑方程的方法化简互斥多变量逻辑函数的问题,并给出由真值表直接求解最简逻辑函数表达式的简单方法。     

直觉模糊语义匹配的相似性度量

首先引用Atanassov直觉模糊集的基本概念和运算,综合考虑其隶属度函数与非隶属度函数两个因素的影响,通过对Zadeh模糊集相似度的计算模型进行扩展,给出了直觉模糊语义匹配的相似度的几种扩展计算方法,即最大最小法、算术平均最小法、几何平均最小法、相关系数法、指数法等,并举例阐明其应用,从而使直觉模糊语义匹配度的计算方法得到进一步拓广。最后,研究了直觉模糊相似关系,证明了直觉模糊相似矩阵的一个定理。     

函数S-粗集的区间分解

-基于函数S-粗集区间属性,定义了区间等价类和区间函数S-粗集,并给出了闭区间等价类有限覆盖定理及闭区间函数S-粗集的有限覆盖定理,从理论上证明了函数S-粗集与S-粗集之间的关系．     

逻辑函数最小覆盖唯一性问题

对于存在冒险的逻辑函数，当数组A中元素排列不同时，其最小覆盖并不唯一。     

逻辑函数的组合项化简法

提出了逻辑函数的组合项化简法,它吸取了卡诺图化简法和列表化简法的优点,是一种全新的逻辑函数化简法,与代数化简法,卡诺图化简法和列化简法相比,显更加直接和简便,所谓组合项,即由几个最小项合并而成的项。