Frank三角范数的三值模糊逻辑系统的真度理论

本文在Frank三角范数的三值R-蕴涵模糊逻辑系统中,借助逻辑公式A所诱导的函数,建立逻辑公式A的真度概念,得到一些三值R-蕴涵逻辑系统下的真度推理规则。同时,利用真度定义公式间的相似度和伪距离,给出相似度和伪距离的性质,为Frank三角范数命题逻辑系统中的近似推理提供了一种理论框架。     

一类退化抛物型方程组解的爆破性质

研究了一类带有非局部源的退化抛物型方程组解的爆破性质,运用构造上下解的方法得出解在有限时间内爆破的充分条件,并且得出解同时爆破的充分条件。