论文部分内容阅读
给出格值一阶逻辑系统LF(X)中广义量词的定义,讨论了带广义量词的不确定性推理的性质,为语言值逻辑推理提供科学的逻辑平台.
格值一阶逻辑系统LF(X)中的广义量词
【摘 要】
：
给出格值一阶逻辑系统LF(X)中广义量词的定义,讨论了带广义量词的不确定性推理的性质,为语言值逻辑推理提供科学的逻辑平台.
【机 构】
：
西南交通大学,四川师范大学,西南民族大学
【出 处】
：
模糊系统与数学
【发表日期】
：
2004年期
其他文献
给出了基于三I算法和α-三I算法的几种典型模糊系统的插值表达式.指出,基于三I算法和α-三I算法的模糊系统对于某些蕴涵算子具有函数逼近的泛性,而对于不少蕴涵算子只具有阶
对聚醚砜(PES)改性环氧体系在两种不同固化机理(逐步聚合和链增长聚合)的情况下的聚合诱导相分离行为进行了对比研究.采用光学显微镜、时间分辨激光光散射、流变仪等手段对相分离的全过程进行了跟踪.结果表明,小分子的扩散行为是控制相分离的主要因素,对于逐步聚合体系扩散主体为环氧低聚物,而链增长聚合体系扩散主体为环氧单体.在高含量PES(SPES-20%)体系中,光散射结果显示了黏弹相分离的过程且相分离的
目的研究甘氨双唑钠(CMNa)在乏氧环境下对人胰腺癌Panc-1细胞的放射增敏效果。方法在乏氧和加不同浓度CMNa环境下对体外培养的人胰腺癌Panc-1细胞进行单次大剂量的γ射线照射
本文通过构造一个特殊的锥,利用范数形式的锥拉伸不动点定理对较广泛的一类二阶奇异超线性微分方程边值问题做了研究,得到所述问题的C1p[0,1]正解存在的充分条件、必要条件,
介绍了荧光灯和HID气体灯电子镇流器的差异;分析了解决HID气体灯声共振问题的不同方法的特点,重点对低频方波电子镇流器进行介绍;最后介绍了HID气体灯电子镇流器的市场现状并
对可拓学在产品制造模式优化中的应用进行了研究.首先,对可拓学的核心--"物元分析"和"可拓方法"进行了综述,对各种产品制造模式及其定制点进行了分析和比较.在此基础上,把可
提出了具有Holling-p类功能性反应的捕食链系统,利用微分方程比较定理得到保证此系统持久性的充分性条件;并通过构造lyapunov函数,得到了保证此系统全局稳定的充分条件.
在较弱的条件下,我们研究了Banach空间中二阶脉冲积分-微分方程初值问题解的存在性,建立了解的存在定理,本质地改进了郭大钧的相关结果.同时,利用非紧性测度还给出了存在最大
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
研究了初始处于Schr(o)dinger猫态光场与纠缠态原子相互作用体系的压缩特性.通过数值计算,讨论了光场强度和相干态相位角对体系中的双原子偶极压缩和光场压缩的影响.结果表明