基础模糊命题演算系统BL~*的改进系统

基础模糊命题演算系统BL*是一个和基础命题演算系统BL相对独立的命题演算系统。命题演算系统L*是系统BL*的扩张,但不是系统BL的扩张。通过对系统BL*及其它模糊命题演算系统的研究,本文对BL*系统进行了修正,进一步改进了BL*系统中的公理体系。     

基础J^＊系统的一种扩张—Lukasiewicz系统

研究模糊命题演算的形式演绎系统J^*和Lukasiewicz命题演算系统Lu,提出基础系统J^*-BJ^*系统，证明BJ^*系统的一种扩张与Lukasiewicz系统之间的等价性，从而为J^*系统和BJ^*系统提供了一个应用实例。     

基础R0-代数与基础L*系统

研究了王国俊教授建立的模糊命题演算的形式演绎系统L^*和与之在语义上相匹配的R0-代数，以及：Petr Hajek建立的模糊命题演算系统BL和BL-代数，提出了基础R0-代数和基础L^*系统的观点，讨论了基础L^*代数与BL代数，基础L^*系统与BL系统之间．的相互关系及相对独立性，讨论了基础L^*系统关于基础风一代数的完备性问题，证明了MV-代数是特殊的基础R0-代数，指出了Lukasiewicz模糊命题演算系统是基础L^*系统的扩张，最后作为基础R0-代数与基础L^*系统的一个应用，证明了L^*系统关于语义Ωw的完备性，并在将模糊命题演算系统中的推演证明转化为相应逻辑代数中的代数运算方面作了一些尝试．     

R0-代数中一种混合运算的性质及L*系统的完备性

研究了王国俊教授建立的模糊命题演算的形式演绎系统L*及与之在语义上相关的R0-代数,讨论了R0-代数中混合运算():a()b= (a→()b)的性质,并以此为工具利用Petr Hajek证明Lukasiewicz模糊命题演算系统关于语义ΩL完备性的方法证明了L*系统关于语义ΩW的完备性.     

L~*系统的一种改进系统L_0~*

研究了王国俊教授建立的模糊命题演算的形式演绎系统 L*以及在语义上相关的修正的 Kleene逻辑系统 W,W,Wk,给出了 L*系统的一种改进系统 L*0 ,并证明了二者之间的等价性 ,为形式演绎系统 L* 的研究和应用提供了一个有益的途径     

模糊逻辑~*和NM的公理系统的简化

从王国俊教授提出的模糊命题演算形式系统*、0*的性质以及它们与F.E steva和L.G odo提出的M TL、IM TL和NM的关系出发,借助代数方法证明了*和NM中的公理(L1*0)和(NM)可以由一条只含一个命题变元且形式更为简单的公理模式((L*W)代替。这一结果简化了*和NM的公理系统。     

∧~*系统的公理化扩张

通过对模糊逻辑命题演算形式系统L*的代数语义——R0代数的研究,给出了R0代数簇的完整分类,并利用L*系统与幂零极小逻辑(NML)的等价性,由系统L*是可代数化逻辑出发,得到与R0代数真子簇对应的L*系统的全部公理化扩张,文中所用的方法用样适用于其他满足逆序对合关系的逻辑的扩张,具有较好的扩展性。     

L*系统的公理化扩张

通过对模糊逻辑命题演算形式系统L*的代数语义--R0 代数的研究,给出了R0代数簇的完整分类,并利用L*系统与幂零极小逻辑 (NML)的等价性,由系统L*是可代数化逻辑出发,得到与R0代数真子簇对应的L*系统的全部公理化扩张,文中所用的方法用样适用于其他满足逆序对合关系的逻辑的扩张, 具有较好的扩展性.     

基础R0-代数的性质及在L*系统中的应用

研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相关的R0-代数,提出了基础Ro-代数的观点并讨论了其中的一些性质,在将L*系统中的推演证明转化为相应的R0-代数中的代数运算方面作了一些尝试,作为它的一个应用,证明了L*系统中的模糊演绎定理.     

模糊逻辑(ξ)*和NM的公理系统的简化

从王国俊教授提出的模糊命题演算形式系统(ξ)*、(ξ)0*的性质以及它们与F.Esteva和L.Godo提出的MTL、IMTL和NM的关系出发,借助代数方法证明了(ξ)*和NM中的公理(L10*)和(NM)可以由一条只含一个命题变元且形式更为简单的公理模式(L*w)代替.这一结果简化了(ξ )*和NM的公理系统.     

G—R型模糊命题逻辑系统完备的一个充分必要条件

引入基模糊公式的概念,在Gaines-Rescher蕴函算子下,给出模糊命题逻辑系统完备的一个充分必要条件。     

一种改进的基于再励学习算法的模糊神经BOXES控制系统

本文给出了一种改进的基于再励算法的神经网络ＢＯＸＥＳ控制系统,引入超维椭球体模糊划分状态空间的概念,并且通过神经网络的再励学习邮对状态空间的自动划分。最后,应用到倒立摆控制中的仿真结果展示了控制系统的有效性。     

一类模糊数系数矩阵的模糊线性方程组的迭代算法

讨论模糊线性方程组X=A~X U解的存在条件及其迭代算法(其中,A~是以模糊数为元素的n×n矩阵,未知量X和常量U都是以模糊数为元素的n维向量,并且其加法和乘法均由Zadeh的扩张原理定义)。首先研究解的存在条件,尔后探讨求解的迭代算法及误差估计。     

基于FI-代数的一个逻辑系统

建立一种基于FI-代数的模糊命题演算的形式演绎系统．并讨论了该系统语义的完备性。其目的在于使通常的众多模糊推理系统能够纳入该逻辑系统之中．以便在一个更加广泛的代数和逻辑框架下来研究模糊推理的逻辑基础问题。     

机电系统全寿命模糊数值模拟

重大机电产品可靠性研究具有广阔的工程背景和较高的经济效益，但其可靠性试验常造成资源浪费和环境污染。为使此类系统可靠性研究可持续发展，介绍一类可采用的模糊一灰色模拟方法，以及虚拟样机技术在此领域的最新突破，同时文中加以丰实的工程实例验证。     

一类模糊线性方程组的迭代算法及其误差估计

讨论模糊线性方程组X=AX+U解的存在条件及其迭代算法(其中,A是区间数为元素的n阶矩阵,未知量X和常量U都是以模糊数为元素的n维向量,并且其加法和乘法均由Zadeh的扩张原理定义).首先研究解的存在条件,尔后探讨求解的迭代算法及误差估计.     

模糊逻辑系统中广义有效推理的真度递减定理

在模糊逻辑系统中提出了广义有效推理;根据积分真度的性质,证明了广义有效推理的积分真度递减定理,从而在模糊逻辑系统中实现了根据推理前提的真度计算推理结论的真度;最后,把真度递减定理与利用斐波那契数列对推理结论真度的推算结果进行了对比,说明了真度递减定理的优越性.     

一种新的模糊推理方法--ECRI

针对模糊专家系统中的模糊推理提出了一种新的扩展CRI方法（简称ECRI法），该方法克服了传统CRI法则的某些不足，满足假言推理和逼近原则，有很强的凝聚作用，更具有合理性。将ECRI法由一维推广到多维模糊推理的情况，并与其它推理方法进行实验比较，验证了本文方法的有效性。     

基于模糊DEA的ERP系统选型方法

提出了一种基于模糊数据包络分析的企业资源计划系统选型方法.以系统的实施复杂性、预计实施成本、功能匹配度和系统供应商的企业形象等作为主要评价指标,运用模糊集相关理论争方法对系统选型过程中的不确定性进行刻画和描述,对候选系统的相对有效性进行客观评价,解决了系统选型过程中的不确定性和模糊性问题.并通过实证研究说明了该方法的应用.