区间直觉模糊关系及其性质

首先引入区间直觉模糊关系的定义和性质,对区间直觉模糊逆关系、零关系、全关系、恒等关系进行了定义,研究了它们进行关系运算的基本规则、特殊性质及相关定理,且给出了必要的证明过程.最后定义了区间直觉模糊合成运算.研究了它们合成运算的基本性质.     

扰动模糊逻辑中的连续算子

本文提出了扰动模糊命题逻辑的概念,定义了扰动模糊命题的运算,然后将一维模糊逻辑算子推广到二维的扰动模糊逻辑算子中去,提出了扰动模糊连续算子,同时对这些逻辑算子的性质做了较为系统的研究,从而使模糊逻辑的概念及性质得到进一步的推广。     

交互时态逻辑下的三种模糊信念算子

前期工作交互时态信念逻辑ATBL仅在二值语义下刻画了三种信念算子,没有探?讨它们的模糊语义问题.利用可信度函数给出模糊并发博弈结构,以模态算子的形式在ATL的语法层面给出了三种模糊信念算子,在模糊并发博弈结构下给出其语义,建立了模糊交互时态信念逻辑FATBL,使得ATBL成为FATBL的特殊情况.对Agent认知形式化作了进一步探索,为多Agent系统研究提供了一个较好的形式化工具.     

关于k阶模糊关系的直觉模糊粗糙集

本文基于三角模研究了k阶模糊关系下的直觉模糊粗糙集,通过k阶模糊关系定义了近似算子及其性质.     

正规直觉模糊子群

本文讨论了直觉模糊子群的一些性质，给出了正规直觉模糊子群的定义，并给出了直觉模糊商群的概念。     

模糊逻辑不等式解的讨论

首次在代数([0,1], ,·,-)上提出了“β”算子,研究了“β”算子与“α”算子、“δ”算子之间的关系,得到了判别一般的模糊逻辑不等式解的存在性的充要条件;给出了在有解的条件下求所有解的一个可行方法。     

基于语言真值直觉模糊真度矩阵的多属性决策方法

针对含有模糊语言信息的决策问题,基于语言真值直觉模糊格蕴涵代数理论,提出了语言真值直觉模糊真度矩阵,给出了将语言真值直觉模糊判断矩阵转换为语言真值直觉模糊真度矩阵的方法,利用语言OWA算子对语言真值直觉模糊真度矩阵进行聚合、排序进而得出最优方案.将该方法应用于选择最佳创业项目为例,说明该方法的合理性和有效性.     

区间值直觉模糊子群

研究了区间直觉模糊子群,且引入了区间值直觉模糊正规子群概念,并利用集合套研究了区间值直觉模糊子群和区间值直觉模糊正规子群.     

区间直觉模糊软截集（英文）

首先讨论了区间直觉模糊软集在实际问题的应用,其次定义了区间直觉模糊软粗糙集,最后给出了区间直觉模糊软截集的定义及区间直觉模糊软分解定理和区间直觉模糊软表现定理,得到了一些有意义的结果.     

直觉模糊联盟合作对策的Banzhaf值

主要研究直觉模糊联盟合作对策的Banzhaf值。在模糊联盟合作对策和直觉模糊集的基础上建立直觉模糊联盟合作对策模型,并给出相应的定义;将经典合作对策的Banzhaf函数满足的四条公理进行拓展,并构造具有权重形式的直觉模糊Banzhaf值;通过算例来验证该方法的可行性。     

区间直觉模糊集的新相似性测度

相似性测度是度量两个集合相似性程度的重要方法.本文针对Liang和Shi提出的直觉模糊集的相似性测度存在的问题进行改进,并将改进后的直觉模糊集的相似性测度推广到区间直觉模糊环境.同时,归纳了一种计算区间相似性测度的一般步骤,最后通过实例验证了该方法的有效性.     

直觉模糊集的新相似性测度

相似性测度是度量两个直觉模糊集相似程度的重要方法.文章给出一个新的直觉模糊集相似性测度,讨论该相似性测度的一些性质及得到利用该相似测度对直觉模糊集进行聚类的一般步骤,最后通过实例验证了该方法的有效性。     

三参数直觉模糊集上的距离测度

距离测度是直觉模糊集理论的重要研究内容之一。本文基于三参数区间值模糊集,提出了三参数直觉模糊数与三参数直觉模糊集的概念,给出了三种含隶属度重心点的距离测度,并针对不同决策背景对三参数权重的距离测度进行分析,最后结合实例说明它的有效性。     

基于直觉模糊集距离测度的多属性直接聚类方法

距离测度是度量两个直觉模糊集的重要方法,在聚类分析中被广泛应用．本文基于相异度矩阵的思想,在直觉模糊多属性聚类中,定义了距离测度矩阵,然后根据不同的阚值要求转化为布尔矩阵进行聚类,最后通过实例验证该方法的有效性．     

基于PVS的时序逻辑语义模型及其实现

时序逻辑作为一种规格说明语言,能够很好地描述程序性质.为了能够利用现有的定理证明器PVS(prototype verification system)对用时序逻辑公式描述的程序性质予以证明,从而达到程序验证的目的.文中在PVS中建立了时序逻辑的语义模型,同时给出了其语义解释.然后通过一个简单的例子(求解整数平方根的程序),应用时序逻辑公式对该程序的部分性质进行了描述,取得了较好的效果.实现了程序性质的时序逻辑公式表示,为使用PVS验证程序的性质打下了一个好的基础.     

[0,1]上α、β算子的性质及其应用

讨论了α算子和β算子，研究了它们的性质及其相互关系并应用这两种算子求解含一个变量的不等式。     

解决Ad Hoc网络广播冗余竞争冲突的高效广播算法

针对盲目广播带来的广播风暴问题,提出了一种适用于Ad Hoc网络的跨层模糊逻辑广播算法(cross-layer fuzzy logic broadcasting algorithm,CLFBA).该算法应用跨层设计的方法,在保持原有介质访问控制层(medium access control,MAC)和路由层严格分离的基础上,允许路由层共享MAC的接收信号强度信息.采用模糊控制获得节点重播分组的概率,赋予增加通信面积大的节点和剩余能量高的节点较高的转发概率.CLFBA减少了广播过程中产生的冗余、竞争和冲突,均衡了网络中节点的能量消耗.仿真结果表明,与路由层应用泛洪和概率泛洪算法、MAC层应用IEEE802.11协议相比,CLFBA提高了转播节省率,延长了网络生命周期,降低了平均节点丢包率和平均端对端延迟.     

基于TOPSIS扩展的直觉模糊多属性群决策

研究直觉模糊环境下的多属性群决策问题,提出了一种基于TOPSIS扩展的直觉模糊多属性群决策方法.传统的TOPSIS方法中,理想解是以向量形式表示的,本文给出了理想解一种新的矩阵表示形式,通过实例分析验证了这种方法的可行性与有效性.