模糊离散事件系统的状态反馈控制

在模糊离散事件系统中,首先定义了模糊谓词,给出了模糊谓词变换以及模糊谓词的控制不变和Σ_u-不变的定义,并证明了模糊谓词的控制不变和Σ_u-不变的等价性;其次,给出了模糊可控谓词的定义,并证明了对于预先给定的模糊谓词,存在一个状态反馈控制器使得闭环系统的可达模糊谓词等于该给定模糊谓词的充要条件是该模糊谓词是可控的。     

模糊错误逻辑事物毁灭转化联结词研究

给出模糊错误逻辑事物毁灭转化联结词所涉及的概念、运算及其模糊错误逻辑事物毁灭转化联结词与外延联结词否定,∧合取,∨析取,∨bxr不相容析取,→实质蕴涵等和对模糊错误逻辑事物毁灭转化联结词与内涵联结词∧n内涵合取词,∨n内涵析取,—n内涵差取,/nf l内涵分离,/nf h内涵分化,∥nhb内涵互补,∥-nhd l内涵对立等的关系作了一点研究。     

完全相容稳定模糊谓词转换器

谓词转换器语义是用程序验证技术来定义程序语言的一种方式.为描述程序的语义,在稳定模糊谓词的基础上建立完全相容稳定模糊谓词转换器,讨论完全相容稳定模糊谓词转换器的拓扑语义. 同时给出它与状态转换器之间的一个保序关系,说明完全相容稳定模糊谓词转换器一定是状态转换器.     

模糊合取性质的进一步研究

本文进一步研究了模糊合取及其诱导模糊蕴涵的相关性质。在讨论了模糊合取的EP性质与结合性之间关系的基础上,得到了一个模糊合取成为一个t-模的条件;还研究了两个模糊合取各自诱导的模糊蕴涵取小(取大)与模糊合取取大(取小)诱导的模糊蕴涵之间的关系;最后给出了关于模糊合取诱导模糊蕴涵刻画的一个结果。     

一阶模糊谓词逻辑公式的区间解释真度理论

通过引进一阶模糊语言变元集赋值的新概念,给出了一阶模糊谓词逻辑(或一阶模糊语言)公式的区间解释真度的定义,并讨论了它们的一系列性质。     

一阶模糊谓词逻辑公式的解释模型真度理论及其应用

基于一阶模糊谓词逻辑公式的有限和可数解释真度的理论,引入了一阶模糊谓词逻辑公式的解释模型及解释模型真度的概念,并讨论了它们的一系列性质及其在近似推理中的应用.     

FI代数的犹豫模糊滤子与犹豫模糊同余关系

将犹豫模糊集概念与FI代数的滤子和同余关系概念相结合,引入了FI代数的犹豫模糊滤子和犹豫模糊同余关系概念并研究它们的性质和相互关系.获得了FI代数在给定犹豫模糊同余关系下的商代数特征并建立了同态基本定理.证明了当分别在CFI代数的全体犹豫模糊滤子集和全体犹豫模糊同余关系集上定义适当的序关系后,二者保序同构.     

模糊谓词逻辑中基于有限解释的公式的条件α-真度理论

在一阶模糊谓词逻辑系统中基于有限解释提出了公式的条件α-真度的概念，并研究了它的性质。     

半群上的模糊群同余

设 S是一个半群 ,ρ是 S上的一个模糊同余。引进半群的模糊半正规子半群的概念 ,证明ρ是 S上的一个模糊群同余当且仅当它的模糊核 K(ρ)是 S的模糊半正规子半群 ;而且对每个给定的模糊半正规子半群 μ可以构造一个模糊同余 ρμ 使得它的模糊核 K(ρμ) =μ.     

剩余格的模糊滤子理论

运用模糊集的方法和原理进一步深入研究剩余格的滤子问题.在剩余格中引入了模糊预线性滤子,模糊可除滤子和模糊Glivenko滤子三类新的模糊滤子概念,给出了它们的若干性质和等价刻画.系统讨论了这三类模糊滤子以及模糊正关联滤子,模糊Boolean滤子,模糊MV滤子和模糊正则滤子间的相互关系,证明了一个模糊滤子为模糊MV滤子当且仅当它既是模糊正则滤子又是模糊可除滤子的结论.     

半群中的粗糙模糊理想及粗糙模糊素理想

将粗糙集的理论方法用于模糊半群的研究。给出上(下)粗模糊子半群及上(下)粗模糊左(右)理想、粗糙模糊素理想等概念,研究它们的有关性质。证明上粗模糊子半群与上粗模糊理想是通常的模糊子半群与模糊理想概念的扩张。     

半群中的粗模糊理想

将粗糙集的理论方法用于模糊半群的研究。首先，给出上(下)粗模糊子半群及上(下)粗模糊理想等概念，并研究了它们的有关性质。随后，证明了上粗模糊子半群与上粗模糊理想是通常的模糊子半群与模糊理想概念的扩张。特别地，运用粗糙集的思想方法研究半群上的模糊同余及其截关系，给出它们的一些基本性质。     

模糊粒度空间的性质研究

在文献[16]基础上,进一步将模糊粒度空间推广到更一般地模糊等价关系上,研究了模糊粒度空间的性质,主要获得了3个结论.首先,引入了有序的等价关系集的概念,给出了下列的四个命题是等价的:(1) 给定一个模糊等价关系;(2) 给定一个等腰归一化伪距离;(3) 给定一个有序的粒度空间;(4) 给定一个有序的等价关系集.第二,通过模糊等价关系诱导的等腰归一化伪距离的投影距离和扩展距离,建立了模糊粒度空间上的距离,即是等腰归一化距离,并且给出了模糊粒度空间上距离度量的动态性质研究.最后,给出了模糊粒度空间与模糊等价关系之间的序关系,即它们的序是一致的.这些研究工作进一步完善了模糊粒度空间的理论,为模糊粒度计算提供了更为直观的数学理论和工具.     

模糊数在投资组合优化中的应用研究及实证分析

采用模糊数处理不确定性信息.以模糊期望收益率最大为目标函数,使总的风险不高于给定的模糊数,建立了一种新的模型.在给定的截集下,期望收益率转化为区间数,目标函数转化为对该区间数的下限求最大值.基于模糊数大小的概率比较,从而将模糊优化模型转化为不等式约束下的线性规划模型.利用Matlab编程可解得其最优解.最后通过实例分析,验证该模型的可行性.     

广义模糊子半群和广义模糊完全正则子半群

给出了广义模糊子半群和广义模糊完全正则子半群的定义并在此定义下推得了它们的一些重要性质.     

N(2,2,0)代数的T-模糊子代数和T-模糊理想

为了深入研究N(2,2,0)代数的代数结构,在N(2,2,0)代数中引入了T模糊子代数和T模糊理想的概念,进一步讨论了它们的性质.分别给出了N(2,2,0)代数的模糊子代数和模糊理想与子代数和理想的关系.证明了N(2,2,0)代数的两个T模糊子代数的模交也是T模糊子代数,而N(2,2,0)代数的两个T模糊理想的模交也是T模糊理想.     

基于模糊系数的投资组合优化模型及其实证分析

采用模糊数处理不确定性信息．以模糊期望收益率最大为目标函数,使总的风险不高于给定的模糊数,建立了一种新的模型．在给定的截集下,期望收益率转化为区间数,目标函数转化为对该区间数的下限求最大值．基于模糊数大小的概率比较,从而将模糊优化模型转化为不等式约束下的线性规划模型．利用Matlab编程可解得其最优解．最后通过实例分析...     

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

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

正则剩余格上的模糊理想及模糊蕴涵理想

对正则剩余格的结构作进一步研究。利用正则剩余格上、算子并结合模糊数学的思想和方法,在正则剩余格上引入了模糊理想和模糊蕴涵理想的概念,讨论了它们的基本性质。主要结果是:(1)给出了模糊理想和模糊蕴涵理想的等价刻画;(2)证明了模糊蕴涵理想一定是模糊理想,模糊理想不必是模糊蕴涵理想;(3)证明了全体模糊理想之集在给定的运算下是一个完备的分配格。     

模糊一致环

本文定义了模糊一致环概念,研究了它与模糊拓扑环的关系及它与模糊一致空间的关系;给出了借助于环的模糊子集族对模糊一致环的刻画,还引入了模糊一致子环,模糊一致剩余类环与模糊一致环的直积;并讨论了它们的分离性.