【摘 要】
：
将模糊命题逻辑中的∑-α-重言式理论与计量逻辑学中的真度理论相结合,在模糊命题逻辑系统(￡)*n中引入了公式集相对于有限理论的∑Γ-模糊真度理论,讨论了其中的主要性质.并利
论文部分内容阅读
将模糊命题逻辑中的∑-α-重言式理论与计量逻辑学中的真度理论相结合,在模糊命题逻辑系统(￡)*n中引入了公式集相对于有限理论的∑Γ-模糊真度理论,讨论了其中的主要性质.并利用真度关系:τΓ(A)+τΓ(A→B)≤1+τΓ(B)在模糊命题逻辑系统(￡)*n中的公式集F(S)上引入相对于有限理论的Γ-伪距离概念,从而为在模糊命题逻辑系统(￡)*n中建立相对于有限理论的近似推理框架奠定了基础.
其他文献
研究了施加稳恒磁场(H=0~0.7 T)对电沉积铁-镍合金箔的影响。测定了垂直电流方向,不同强度磁场下的电流效率、合金组成及合金箔的磁性能,并用扫描电镜和X射线衍射观察合金箔
在Lw-空间中,以文[3]为基础,进一步引入Lw-空间中的w*-正则性、w*-正规性、w*Ti(i=3,4)分离性,讨论了它们与Lw-空间中已有分离性之间的关系,证明了它们是w-闭遗传的、w-同胚
将球状壳聚糖铈配合物树脂(RCCM)通过静态和动态方式应用于橙汁脱苦研究,检验了RCCM对橙汁的脱苦效果及其品质的影响.实验结果显示,RCCM能脱除橙汁中54.86%的柚皮苷和43.20%
采用消失模铸渗的方法在铸钢件表面制备了钒铬复合层,用MM200型摩擦磨损试验机研究了不同渗剂成分试样的干滑动摩擦磨损性能,并用扫描电镜观察了试样的磨损形貌,分析了复合材
本文研究矩阵方程X+A*X-qA=Q(q≥1)的Hermitian正定解,给出了存在正定解的充分条件和必要条件,构造了求解的迭代方法.最后还用数值例子验证了迭代方法的可行性和有效性.
利用Abelian积分的等价性原理,把一类生态系统化为Lienard方程,然后利用Hopf分支等定性理论,简便的证明了该系统无环和有唯一极限环的条件.
为从极端环境微生物中获得抗肿瘤药物先导化合物,作者从采自内蒙古盐湖的沉积物中分离了96株耐盐真菌.采用小鼠乳腺癌细胞株tsFT210和海虾(Artemia salina Leach)筛选抗肿瘤
采用均匀色空间Munsell系统检验和验证了CIELAB和色貌模型CIECAM02色空间的均匀性.利用Munsell色卡所对应的三刺激值X,Y,Z作为模型的输入值,预测色空间模型的明度、彩度和色
利用高速逆流色谱法对一株内生真菌活性代谢产物进行了分离。两相溶剂系统为正己烷-乙酸乙酯-甲醇-水(体积比为1∶3∶3∶3),固定相为系统上相,下相为流动相。从内生真菌的代
研究了M/M/c(c≥1)排队系统等待时间的分布函数,由此可以计算顾客等待时间在一定范围内的概率,特别在军事系统内可计算运动目标在一定时间里的突防概率.