语言真值直觉模糊逻辑的知识推理

针对格蕴涵代数、直觉模糊集及知识表示、基于语言真值直觉模糊代数的相关性质及运算方法,提出了六元语言真值直觉模糊代数的相关逻辑性质,并在六元语言真值直觉模糊知识表示的基础上,将模糊推理的CRI方法进行扩展,研究得出了六元语言真值直觉模糊推理的方法即6LTV-CRI算法。而后将直觉模糊推理与六元语言真值直觉模糊推理方法进行对比分析,验证了6LTV-CRI推理算法的合理性,并分析了其优缺点。     

线性模糊微分系统的稳定性

利用模糊结构元方法研究了初始条件为模糊数的线性模糊微分系统的稳定性问题。将线性模糊微分系统化成同解的线性分明微分系统,给出了线性模糊微分系统解的解析表示,得到了系统稳定的充要条件。讨论了2维线性模糊微分系统平衡点的类型以及判定条件,说明在一定条件下线性模糊微分系统与线性分明微分系统平衡点的稳定性一致。最后,给出了2个实例并画出了系统相应的轨线,表明了模糊结构元方法的有效性和可行性。     

语言真值直觉模糊命题逻辑系统的推理规则

提出了一种基于语言真值直觉模糊代数的直觉模糊命题逻辑系统。基于语言真值格蕴涵代数生成语言真值直觉模糊代数,可同时处理具有可比性或不可比性信息。该方法可以同时处理不确定性问题的正面证据和反面证据。研究了语言真值直觉模糊命题逻辑系统LP(S)的性质,得到了其公理及推理规则,也获得了LP(S)中的证明与定理。实例说明,该方法在处理同时具有可比性和不可比性的直觉模糊决策问题中更灵活、更有效。     

多变量模糊系统控制设计及其在并行混合电动汽车中的应用

利用矩阵半张量积方法研究了多变量模糊系统模糊逻辑控制器的设计,并得到了若干新的结果.首先给出了模糊规则新的表示形式,基于该表示形式,构造了模糊逻辑控制器的结构矩阵,将复杂的模糊推理转变成了简单的代数等式.然后当模糊控制规则不完全时,建立了最小入度控制算法;当模糊控制规则不一致时,给出了相应的处理方法.最后将得到的结果应用到并行混合电动汽车(PHEV)能量管理和控制策略的模糊控制器设计.     

模糊Büchi自动机的等价刻画

模糊语言的研究是形式语言研究的焦点之一,然而如何对模糊语言进行刻画甚至更好地分类是其中一个重要研究方向.文章在模糊ω-语言的研究基础上,从模糊逻辑角度研究了模糊ω-正则语言的等价刻画.首先借助广义子集构造方法,证明了任一模糊Büchi自动机与具有分明初始状态和状态转移函数且具有模糊终状态的模糊Büchi自动机是等价的,藉此研究了模糊ω-正则语言的代数刻画和层次刻画,讨论了模糊ω-正则语言关于正则运算的封闭性;其次引入单体二阶(L)ukasiewicz逻辑的概念,给出模糊Büchi自动机识别语言的等价逻辑刻画;最后通过引入ω-星自由和ω-非周期模糊ω-语言,利用“层次化”处理技巧得到了多值逻辑意义下的分类定理,对模糊ω-正则语言给出了一种分类方法.     

基于随机Petri网的可修系统可用性模糊评价

结合模糊集理论和随机Petri网理论提出了一种可修系统可用性建模与分析的新方法——模糊随机Petri网方法。随机Petri网的状态可达图同构于连续时间马尔可夫链，由可达图可得到系统的稳定状态概率方程组。利用模糊代数理论解该模糊方程组即可得到系统转移概率和各种性能指标的模糊数，通过解模糊可得到系统的可用性指标值。文章进行了实例分析并与已有文献作比较，举例进行分析求解，结果表明该方法是可行的。     

基于T模剩余蕴涵算子的直觉模糊粗糙集

构造并系统研究了直觉模糊T模的剩余蕴涵。在此基础上,推导出了直觉模糊粗糙集的一种构造模型,证明了Pawlak粗糙集、直觉模糊集、模糊粗糙集、粗糙模糊集及模糊T粗糙集都是直觉模糊粗糙集的特殊情形。最后给出并证明了直觉模糊粗糙集的一些性质。     

模糊Flow-shop问题及其遗传优化

研究模糊生产环境下的Ｆｌｏｗ－ｓｈｏｐ调度问题．针对实际生产中加工时间的不确定性,应用模糊加工时间参数替代传统的清晰参数表示方法,引入了一种新的模糊数比较方法——面积补偿法,构造了一种解模糊Ｆｌｏｗ－ｓｈｏｐ问题的有效遗传算法．最后给出计算实例及仿真结果．⒇     

模糊控制中解模糊方法的研究

论述了解模糊方法在模糊控制器中所起的作用，模糊控制器的解模糊过程对由模糊规划推理获得的控制性能影响很大，因此研究解模糊方法对模糊控制器的影响是十分重要的。在此对几种解模糊的方法进行了分析研究，并给出了相应的仿真试验结果。     

模糊BCK-代数及其模糊左(右)简理想

将Dib的模糊空间和模糊二元运算的概念引入BCK-代数中,给出了研究模糊BCK-代数的一个新方法。提出了模糊子代数、模糊左(右)简理想和模糊同态的概念,初步建立了新的模糊BCK-代数理论。结果表明,经典的 BCK-代数之模糊子代数、模糊左右简理想都是新理论的特例,因而这种新方法提供了发展模糊BCK-代数理论的一个有力工具。