一种S-蕴涵模糊逻辑系统的真度理论

来源 :山西大学学报:自然科学版 | 被引量 : 0次 | 上传用户:xiaobeisc
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
利用计量逻辑学中真度理论的思想,首次对S-蕴涵的模糊逻辑系统的真度理论进行研究.在模糊逻辑与语义解释为乘积算子,蕴涵解释为其相应S-蕴涵的模糊逻辑系统中,借助逻辑公式A所诱导的函数引入逻辑公式A的积分真度概念,建立一种S-模糊逻辑系统下的真度理论,得到其真度推理规则.
其他文献
指出了树参在药用方面和园林绿化都有良好的市场前景,目前对树参种子繁殖技术还没有系统完整的论述。这对树参播种繁殖过程进行了系统总结,并通过对比试验,发现种子的贮藏方式和
从暖通空调专业出发,探讨了在绿色技术银行研究背景下,暖通空调相关设备,包括小型户用分体空调、大中型中央空调系统的可再生能源利用技术,并以绿色技术整体评估框架为基础,
指出了国家营造林工作已进入新阶段,转变营林工作方向,由过去全面人工造林向全面进行中幼林抚育转变,改变森林次生退化问题,提升森林质量,提出了全面探讨、研究和推广施行国
讨论均衡约束最优化问题,利用一个互补函数和扰动技术将原问题转换为非线性等式和不等式约束最优化问题,结合罚函数法提出了一个共轭投影梯度算法,在适当的条件下,证明了算法
利用路收缩技术,证明了,如果有向图D满足下列条件中的任何一个,(1)最小半度δ0(D)≥(n+p+q)/2;(2)D是(p+q+1)强连通有向图,且d+(x)+d+(y)+d-(u)+d-(v)≥2(n+p+q)-1,这里,x,y是任意控制顶点对,u,v是任意被控制
利用山路定理证明了一类带奇异项的非线性项椭圆方程解的存在性.方程中的非线性项满足非Ambroset-ti-Rabinowitz条件的超线性条件.
考虑半空间中具有Navier边界条件的重调和方程组,文章结合积分不等式使用移动平面法证明了一个新的Liouville型定理.
针对K-均值聚类算法存在的不足,提出了一种新的整合粒子群优化算法(PSO)和K-均值算法的聚类算法.在新算法中,首先结合使用粒子群优化算法和K-均值算法搜索全局最优解的位置,
讨论了Banach空间二阶边值问题-u″(t)=f(t,u(t)),t∈[0,1],au(0)-bu′(0)=∫0 1 g(s)u(s)ds,cu(1)+du′(1)=∫0 1 h(s)u(s)ds正解的存在性与多重性.通过对非紧性测度的计算,利用严格集压缩映射的不
一个图G的Wiener指数W(G)是一个基于距离的拓扑指数,它是图G中所有顶点之间的距离之和.文章证明了对于圈数λ≥7或9存在两类图G,它们满足性质W(G)=W(L(G)),这里L(G)表示图G的