闭模糊拟阵模糊基的判定

通过讨论闭模糊拟阵的导出拟阵序列和模糊基的结构,找到了判定闭模糊拟阵的模糊基的一个充要条件。根据此充要条件,给出了从导出拟阵序列得到闭模糊拟阵的模糊基的一种算法。     

闭正则模糊拟阵的子拟阵的正则性

研究了闭正则模糊拟阵的子拟阵的正则性等性质.得到了闭正则模糊拟阵的两种子拟阵的正则性等性质,即k-子拟阵为闭正则模糊拟阵,限制子拟阵不是闭正则模糊拟阵,给出了闭正则模糊拟阵的收缩拟阵为闭正则模糊拟阵等结论.     

闭模糊拟阵模糊圈的算法研究

用闭模糊拟阵的基本序列来研究和描述它的模糊圈,找到了从闭模糊拟阵的模糊相关集或模糊独立集计算模糊圈的方法,并给出了相应的算法.     

关于G-V模糊拟阵的对偶模糊拟阵概念的推广

模糊拟阵的研究方法之一就是通过基本序列和导出拟阵序列将模糊拟阵问题转化为普通拟阵问题来进行研究。本文正是采用这个研究方法,主要完成了三项工作:一是给出并证明了闭正规模糊拟阵和正规模糊拟阵的几个充要条件;二是将对偶模糊拟阵概念从闭正规模糊拟阵推广到正规模糊拟阵并讨论了有关性质和计算;三是证明了除正规模糊拟阵外,其他模糊拟阵不存在这样的对偶模糊拟阵。     

闭模糊拟阵模糊圈的极值问题

本文主要方法是通过基本序列、导出拟阵序列和模糊集分解定理,将模糊圈的研究转化为对圈子集套和数组的研究。在闭模糊拟阵中,我们得出三个结论:以同一集合为支撑集的模糊圈的最大模糊圈总是存在;以同一子集串为圈子集套的模糊圈的最大模糊圈不一定存在。但是,找到了存在最大模糊圈的充要条件;以同一集合为支撑集的模糊圈的最小模糊圈,以同一子集串为圈子集套的模糊圈的最小模糊圈都是不存在的。但它们的最小模糊势是存在的,而且找出了计算最小模糊势的公式。我们构造了两个算法:一是构造支撑集最大模糊圈算法。通过这个算法可构造出支撑集最大模糊圈,同时计算出其最大模糊势;二是判断和构造圈子集套最大模糊圈算法。通过这个算法首先判断最大模糊圈是否存在,如果存在就可以找出圈子集套最大模糊圈同时计算出最大模糊势。     

初等模糊拟阵与基本截片模糊拟阵的若干性质

对两种初等模糊拟阵和基本截片模糊拟阵的定义进行了比较,研究了它们之间的关系.研究了初等模糊拟阵的若干性质,得到了初等模糊拟阵和基本截片模糊拟阵为闭正则模糊拟阵等结论,给出了初等模糊拟阵的等价刻画以及初等模糊拟阵与其截拟阵之间的关系.     

模糊拟阵综述

自从Goetschel和Voxman于1988年首次提出了GV-模糊拟阵的概念后,模糊化拟阵问题的研究受到了众多学者的关注。特别地,近些年来兴起的和模糊拟阵相关的基于不确定权的优化问题的研究使得模糊拟阵研究中的一些成果的应用成为可能,这又促使了模糊拟阵研究的发展。本文介绍模糊拟阵发展过程中的一些重要的结论、思想和方法以及进一步可研究的问题。     

准模糊图拟阵基的交换

本文讨论了准模糊图拟阵基的交换定理,在此基础上给出了基有序的准模糊图拟阵的一些性质.     

准模糊图拟阵基图的性质

模糊拟阵的基图是模糊拟阵的基本概念.在准模糊图拟阵的基础上,讨论了准模糊图拟阵基图的一些基本性质,得到了相关的几个结论,这些结论有利于进一步研究模糊拟阵的其它性质.     

关于模糊横贯拟阵的最大表示

本文利用横贯拟阵的最大表示及其性质来定义和研究模糊横贯拟阵的最大表示问题。首先,推广横贯拟阵的最大表示概念定义横贯拟阵的p-最大表示。同时解决了p-最大表示的存在性、唯一性和算法等问题;然后,再推广横贯拟阵的最大概念定义模糊横贯拟阵的最大表示。证明了模糊横贯拟阵的最大表示也是简洁表示,最大表示的截短子集族是导出横贯拟阵的p-最大表示以及其它性质和结论;接下来,利用这些研究结果,通过简洁表示和p-最大表示概念提出并证明了模糊横贯拟阵的表示是最大表示的充要条件;最后,根据这个充要条件证明了模糊横贯拟阵的最大表示总是存在并且唯一。给出了从模糊横贯拟阵的一个表示计算最大表示的算法,而且证明了这个算法的有效性。     

关于模糊拟阵的独立子集套和独立集函数

本文的研究方法主要是将模糊拟阵问题转化为普通拟阵问题来研究的方法。本文首先建立独立子集套概念,并使用这个概念和独立集函数概念构建了闭模糊拟阵的充要条件和模糊独立集的充要条件;然后,本文仔细分析了模糊基的性质,找到了一个使用独立子集套和独立集函数来描述的模糊基的充要条件;最后,利用模糊基的这个充要条件提出并证明了闭正规模糊拟阵的充要条件。     

拟阵上模糊合作对策的Banzhaf函数

首先通过对清晰拟阵定义的拓展,给出了模糊拟阵的概念。通过定义具有多线性扩展形式的模糊合作对策在静态结构和动态结构拟阵上B anzhaf函数的公理体系,分别探讨了此类模糊合作对策在这两种拟阵上关于B anzhaf函数的存在性和唯一性。同时,通过定义具有Choquet积分形式模糊合作对策在静态结构和动态结构拟阵上B anzhaf函数的公理体系,分别探讨了此类模糊合作对策在这两种拟阵上关于B anzhaf函数的存在性和唯一性。     

模糊子模函数与模糊秩函数

讨论模糊集合的一些性质;再以一般子模函数为蓝本,定义模糊子模函数,研究模糊子模函数和模糊秩函数的性质;然后利用这些性质推广通过模糊秩函数确定模糊拟阵的一个重要定理。     

L-拓扑空间的弱局部强F紧性及单点强F紧化

以R.Lowen的强F紧性为基础,定义了L-拓扑空间的弱局部强F紧性及单点强F紧化,推广了有关弱局部紧拓扑空间和拓扑空间的单点紧化的若干结果,证明了L-拓扑空间的弱局部强F紧性是拓扑空间的弱局部紧性的L-推广。     

有限链值的GV状模糊拟阵及其等价刻画

给出了完全L-拟阵及规范GV状模糊拟阵的等价刻画(其中L为有限链),推广了相关文献中的部分结果.     

Matroids and a forest cover problem

A forest cover of a graph is a spanning forest for which each component has at least two nodes. IfK is a subset of nodes, aK-forest cover is a forest cover including exactly one node fromK in each component. We show that the weighted two matroid intersection algorithm determines the maximum costK-forest cover.Centro de Matemática e Aplicações Fundamentais (Projecto 6F91).     

模糊粗糙集的模糊邻域算子刻画

在模糊集合的公理化定义及其直积的基础上，提出基本模糊点的模糊邻域算子概念。用模糊邻域算子来定义模糊集的上近似和下近似。可以用模糊集的上、下近似来刻画模糊关系的自反性、对称性和传递性等性质。在模糊粗糙集的模糊邻域算子定义下，模糊粗糙集与粗糙模糊集可以统一起来。