L-模糊集的截集的公理化描述

在F格L中，利用极小集与极大集可以对L－fuzzy集给出16种截集的定义及相应的分解定理，本用3要公理对16种截集给出公理化描述，从而揭示了每种截集最本质的三条性质。     

模糊下割集的性质

给出了一个新的模糊割集的概念，称之为模糊下割集，并讨论了它们的几个属性。     

模糊粗糙集中依参数粗糙度的新算法

自M.Banerjee和S.K.pal提出了模糊粗糙集的基本模型以来,模糊粗糙集一直是粗糙集理论研究的一个重要课题。本文在模糊粗糙集基本模型基础上首先从λ-模糊截集的概念出发,提出了基于λ-模糊截集的上、下近似的概念,给出了依参数粗糙度的新计算方法,从而使模糊粗糙集中依参数粗糙度得到了显著的改进,并通过具体实例证明了该方法的有效性,特别是当处理的数据较多时该方法尤为优越。     

粗糙模糊集的截集性质及其应用

本文研究了粗糙模糊集的截集性质,粗糙模糊集的上、下近似算子具有保截集性质.在此基础上给出了粗糙模糊集的分解定理,证明了模糊上、下近似算子是其限制在经典集合上算子的典范扩张.最后,利用截集性质简化了模糊集的粗糙度和精度的计算,并给出一个应用实例.     

用基本割集组的余组生成含指定边的生成树

利用连通图基本割集组的余组,给出了求连通图含指定边生成树的一种简单、快捷的方法.     

一种求解信赖域子问题的精确解法

在Hessian矩阵正定的前提下,首先利用线性插值构造了一条折线,并利用该折线提出了一种求解信赖域子问题的精确求解方法,称为分段折线法.并且证明了分段折线路径的合理性,最后分别通过与牛顿法、单折线法、双折线法和切线单折线法的数值实验作比较,数值结果表明新算法是有效且可行的.     

图的点割集及连通度的矩阵判断

给出一种利用图的邻接矩阵判断图的点割集及连通度的矩阵方法。     

集合代数上几种代数运算的极小完备集

选取一个非空集合X作为全集,2~X对交,并,差,补四种运算作成一个代数系统,文中给出了这四种运算的几个极小完备集。     

Fuzzy数收敛性的一个注记

文章利用截集,讨论了Fuzzy数序列的水平Fuzzy收敛性与点式弱收敛性的关系。证明了Fuzzy数序列的水平Fuzzy收敛性蕴涵点式弱收敛性,但反之不真。     

极大独立集与极小覆盖集的逻辑及递归算法

本文主要研究了图的极大独立集与极小覆盖集之间的关系．并给出了将图的所有极大独立集与极小覆盖集一次性给出的逻辑及递归算法。     

Calculation of minimal dominating set in wireless sensor network with host switch-on/off

This paper proposes a simple and efficient distributed algorithm for calculating minimal dominating set in wireless sensor network. This method can avoid maintaining the connectivities between backbone hosts. Considering that the hosts in mobile networks have different characteristics, this paper proposes a method of calculating minimal dominating set with weight. The nodes can be chosen to form a minimal dominating set when the network topology changes. For the host switch on/off operation, the updating algorithm was provided. The change in the status of a host affects only the status of hosts in the restricted vicinity. Simulation results show that the proposed method can ensure fewer dominators but with higher weight to form the minimal dominating set and the nodes can be adaptive to the changes of network topology.     

一个新的基于EFALC的推理算法

针对目前的扩展模糊描述逻辑缺乏TBox约束下的推理算法,提出TBox约束下扩展模糊描述逻辑EFALC截概念可满足性问题及其推理算法.该算法的设计参考用于经典描述逻辑的tab-leau算法;详细描述了EFALC的转化规则和推理算法的过程,并使用递归函数调用、分支裁减和引入中间结果集合这3种技术对算法进行优化.证明了该优化推理算法的最坏时间复杂性为指数,且具有完备性和正确性,同时证明了TBox约束下EFALC截概念可满足性问题的复杂性是指数时间完全的.     

关联规则中一种负增量更新算法的探讨

针对关联规则负增量更新的挖掘问题,提出了一种高效的关联规则负增量更新算法,即NIUA。该算法充分利用原数据库中已有的频繁项集、所有1-项集来生成最小非频繁项集;并采用选样等策略求出删减数据后的频繁项集。整个算法只需扫描删减后的事务数据库一遍,从而提高了关联规则的更新效率。     

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

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

直觉模糊集的新的分解定理与表现定理

本文给出了直觉模糊集的下截集的概念,讨论了它们的基本性质,并在此基础上提出直觉模糊集新的分解定理和表现定理。     

限定顶点个数为p的最大割问题的一种近似算法

给出了求解限定顶点个数为P的最大割问题的一种近似算法,讨论了它的性能保证,利用Pipage技术,为最大割问题设计出了0．5-近似算法．     

图的支配集的有效算法

给出了利用命题逻辑公式的析取范式和主析取范式求图的全部极小支配集和最小支配集以及全部极小边支配集和最小边支配集的一般算法     

一种基于模糊划分的知识发现

借助截集和覆盖的思想,并利用包含度理论定义了覆盖因子,刻画了条件属性包含于决策属性的程度,也即决策属性对条件属性的依赖程度,对模糊信息系统进行知识发现。就医疗诊断系统进行规则提取并进而得出了较客观的诊断。     

决定周期为up~n序列的极小多项式的快速算法(英文)

给出了一个快速算法决定有限域Fq上周期为upn序列的极小多项式.设p,q,u为不同素数,q为模p2的本原根,m为最小正整数使得qm≡1modu和gcd(m,p(p-1))=1.利用一个算法把有限域Fq上周期为upn序列化为几个有限域Fq(ζ)上周期为pn序列,其中ζ为一个u次本原单位根,从而利用肖国正等的算法得到每个周期为pn序列的极小多项式.     

完全分配格中标准极大（小）集的一个刻画

定义了偏序集L上的一个新关系〉,对任意完备格L引入了标准极大集的概念.当L为完全分配格时,利用L上的关系〉（way below关系〈〈）给出了标准极大（小）集的一个刻画.