非正规锥度量空间上具有Suzuki压缩条件映射的不动点定理

通过构造非正规锥度量空间上收敛序列讨论不动点的存在问题, 推广了一个已知的不动点定理, 并得到了满足两个不同形式Suzuhi型压缩条件的映射的唯一不动点存在定理.     

线性时序逻辑基于DTMC的计量化方法

考虑随机Kripke模型离散时间马尔可夫链DTMC,并利用DTMC建立线性时序逻辑LTL中公式的满足度理论。首先在DTMC的全体无穷路径之集上引入某种适当的概率测度,考虑任一DTMC D中满足某个LTL公式φ的无穷初始路径占总路径的比例,以此为基础定义D关于公式φ的满足度概念;讨论满足度的若干性质,并指出这一概念体现了DTMC满足某个LTL公式的程度,故可将其作为模型检测理论中“D满足φ”这一概念的计量化推广;引入LTL公式之间的相似度,并诱导全体LTL公式之集上的伪度量,从而构建LTL逻辑度量空间。     

度量李代数的扩张

3-李代数在数学及数学物理的很多领域有着广泛的应用,利用李代数实现3-李代数,一直是人们关注的问题,文章主要研究利用度量李代数的维数扩张实现3-李代数.利用m-维度量李代数V及V上的线性函数f,分别做V的一维扩张与二维扩张,构造了(m+1)-维3-李代数与(m+2)-维3-李代数,并研究了3-李代数的度量结构.     

骨髓增生异常综合征12例临床分析

为重新全面认识骨髓增生异常综合征(MDS).对12例MDS患者的临床和实验室资料进行分析.MDS患者外周血象中两系或三系减少,血象中有明显形态异常,骨髓像中必有两系或三系病态造血,特别是见到:中性粒细胞颗粒减少、PeLger-Huet异常、多核红细胞、巨大红细胞、微巨核细胞、巨血小板更具有诊断意义,有力证实了骨髓增生异常是MDS的病理特征.     

关于等价度量的若干等价判定及应用

在同一度量空间中可诱导出相容的两个不同度量会给人们处理问题带来方便,因此,度量的等价性是一个值得讨论的课题。首先,介绍了度量空间中的等价度量、度量拓扑、等价拓扑基及同胚映射等基本概念。然后,在此基础上讨论了等价度量的基本性质及各种概念间的内在联系,并由此给出了关于等价度量的判定性定理及其重要推论,给出了等价度量应用的简单实例。最后,通过构造的方式,给出了一种重要的等价度量形式。     

锥度量空间中压缩映射不动点定理及应用

在锥度量空间中,运用锥理论与迭代方法,研究了完备锥度量空间中一类含有参量映射T的压缩型映射,证明了其映射不动点的存在唯一性,最后通过实例进行说明.     

超凸锥度量空间的不动点定理

定义了超凸锥度量空间.通过对超凸锥度量空间的研究,得到了超凸锥度量空间的一些不动点定理.并证明了超凸锥度量空间的压缩映射有唯一不动点.     

模糊命题逻辑L*中公式的条件随机真度

在赋值格为[0,1]的模糊逻辑系统L*中,基于条件概率的思想和赋值集的随机化方法提出了公式的条件随机真度,证明了条件随机真度的MP规则和HS规则。引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,推导出条件伪距离的若干性质,证明了条件随机逻辑度量空间中逻辑运算的连续性,并初步研究了给定条件下的近似推理理论。     

锥度量空间中增算子的不动点定理

在锥度量空间E中通过E上的泛函引入了半序,而使得E成为一个半序锥度量空间.然后在E上定义了单调算子并研究增算子的不动点存在性问题,得到了一些不动点存在性定理.所得结论推广了部分文献中的相应结果.     

闭映射和稳定集拓扑

首次引入稳定集拓扑空间的概念,研究了稳定集拓扑空间并得到了稳定集拓扑空间的一些命题.然后利用这些命题,得到了闭映射的一个新的特征.利用稳定集拓扑空间的技巧,证明了关于子量量空间完全像的一个定理.