广义粗集公理化的一个注记

广义粗集理论是基于等价关系的粗集理论的各种拓广。本文讨论了基于一般二元关系的广义粗糙集的公理化,通过实例分析了确定二元关系的必要公理组条件,并给出了各公理组的充分条件。     

区间集上R_0-代数的特征性质及其简化表示定理

首先论证了区间集上R0-代数的一组有趣特征性质及任意元与其相应的补的最小蕴涵关系式。其次,在引入两个新的运算算子的基础上,进一步讨论了区间集上R0-代数的又一组基本特征性质。最后,运用公理化思想方法简化了区间集上R0-代数表示形式的公理条数,以彰显其公理系统的相对独立性。     

二值命题逻辑中限制逻辑等价关系及其应用

给出了(F(S),ρ)中公式的一种逻辑等价分解,利用这种逻辑等价分解讨论公式的真度、伪距离和相似度的计算问题,并且引入了(F(S′),ρ)中公式的限制逻辑等价概念,建立了一种等价关系.作为限制逻辑等价关系的应用,得到了(F(S),ρ )中基于真度的τ(A→X) =α型逻辑方程的解集,利用限制逻辑等价关系进行的一种相等“直径”的子集划分结果,为二值命题逻辑系统的逻辑推理和程度化的进一步研究提供了方法.     

逻辑系统L~＊中公式的随机真度

在赋值格为[0,1]的模糊逻辑系统L＊中,利用序结构和赋值集的随机化方法提出了公式的随机真度,引入公式间的随机相似度和伪距离,导出随机真度和伪距离的若干性质,证明了随机逻辑度量空间中逻辑运算的连续性,拓宽了随机真度的近似推理理论的研究思路.     

热学和热力学的公理化体系

以热力学和热力学的几个定律为基础，用公理化思想建立了热学和热力学的理论体系。     

电磁媒质本构关系公理化约束

电磁媒质参数约束问题的研究在媒质特性的分析、新人工合成材料的制备以及媒质参数的反演等方面具有十分重要的意义. 从媒质本构关系应与物理学普遍适用的定律不相矛盾出发, 总结出了电磁媒质本构关系应满足的公理化约束, 主要包括确定性原理、客观性原理、因果性原理及许可性原理等, 并从最小耗能原理出发导出了任意线性均匀非时变媒质参数应满足的约束关系, 为任意电磁媒质本构关系的确定提供了一条新的技术途径.     

积分语义学中的积分相似度、伪距离与近似推理理论

进一步研究了积分语义学理论中的积分相似度、伪距离及近似推理理论，提出了改进的积分交推理规则，给出了公式集Γ的n次发散度的估计式；同时在近似推理中引入了“相离度”概念，并给出了判定相离度为0的充分必要条件。     

一般代数对象的根与半单类

最近，Puczylowski在用公理系统结构造的其中元素称为代数的对象类中建立了一般根论。本文的目的是用格论方法给出这种最广泛性的代数系统的根与半单类的几种特征刻划，此外，探讨SX是半单类的条件。     

论数学的人文素质教育功能

数学的人文素质教育功能表现在三个方面：第一，数学中的抽象化意识、逻辑推理和公理化方法培养着人的理性思维品格和思辩能力；第二，数学之美愉悦身心，激发创造、丰富想象；第三，数学的熏陶可以使人以领域辩证唯物主义的思想观点、培养严谨是的科学态度和诚实正直的品格。     

模糊谓词逻辑公式的有限和可数解释真度理论

提出了模糊谓词逻辑公式的有限解释真度和可数解释真度的概念，并讨论了它们的一系列性质．从而为引进公式间的相似度概念、导出全体公式集上的一种伪距离提供了依据，进而为模糊谓词逻辑的近似推理理论提供了一种可能的框架．