关于信息度量算法的进一步研究

Shannon熵在信息论的发展和应用中起着关键的作用,但是Shannon熵还存在许多局限性。为了更好地克服Shannon熵的局限性,在前人的基础上修改了Shannon熵的公理。用公理化的方法,推导出了有限分布列的离散型随机变量的信息量系,不仅将它推广到连续型随机变量,而且将信息量系的最大信息量定理推广到连续型随机变量,统一了离散型和连续型随机变量的信息度量算法。最后利用得出的结论对连续型随机变量信息熵给出两个验证性算例。     

一类新的集合及其应用

本文在集合论ZF公理系统基础上引入了一条新公理,即负集存在公理. 并应用这一公理定义了集合之间的加法和减法,给整数下了定义.     

连续型目标信息系统的属性约简

针对连续型数据的属性约简问题, 提出了一种新的属性约简方法[CD2]基于分配可辨识矩阵的属性约简方法。给出了基于连续型数据的分配协调集的概念, 研究了基于连续型数据的分配协调集的基本性质, 定义了基于分配协调集的辨识矩阵。在此基础上提出了基于辨识矩阵的连续型数据的属性约简方法, 并给出了计算辨识矩阵的算法。实例分析表明, 该方法能有效地对连续型数据进行属性约简。     

关于向量空间定义中第五条公理的独立性

文[1]证明了当且仅当域P不是素域时,向量空间定义中的公理⑥对P来说是独立的,本文证明了公理⑤也有类似于公理⑥的结果,从而最后地解决了向量空间定义中的公理的独立性问题。     

描述拓扑空间的几种方法

从映射的角度定义了内部运算、邻域系运算、邻域基运算及相应的公理,分别由它们导出了拓扑与拓扑空间,证明了闭集公理、内部公理、邻域基公理与所定义拓扑的三个条件等价,举反例说明了在等价前提下公理条件存在的必要性,最后讨论了导集的一些性质。     

导集运算与拓扑空间

利用非空集合中满足一定条件的子集族建立拓扑空间的方法有很多,如应用开集公理建立拓扑空间、应用邻域系公理建立拓扑空间、应用边界运算建立拓扑空间.笔者定义了导集运算,并应用这个定义建立了拓扑空间.     

代数结构与几何基础Ⅱ──域上的仿射几何和欧氏几何

在本文中我们将定义有序域上的仿射几何，并证明它满足Ｈｉｌｂｅｒｔ几何公理体系的结合公理，顺序公理和平行公理．然后我们定义Ｐｙｔｈａｇｏｒａｓ域上的欧氏几何，并证明它更满足合同合理．     

关于数学公理化方法的教学问题

数学中的公理实际上即是关于基本概念的隐定义 ,从逻辑方法上来讲 ,所谓基本概念即是在本系统中不可定义的概念。在公理化方法的教学中 ,不仅要让学生受到数学美的薰陶 ,而且要相信学生也可以自己动手去构建公理系统     

代数结构与几何基础Ⅳ——仿射几何的公理体系

在公理化方法定义的几何中引进“平行”关系,然后把结合公理I;改成“平行公理”,我们就得到一种新的几何——仿射几何．本文将证明这种几何同构于某一体(域)上的n维仿射几何,若添加牍序公理,则这种几何同构于某一有序体(域)上的n维仿射几何,最后我们指出：三维仿射几何的结合公理、平行公理和顺序公理就是Hilben公理体系中的结合公理、平行公理和顺序公理。     

基于宽松下近似概念的连续型决策表的属性约简方法

针对连续型决策表,利用模糊相容关系对样例聚类产生模糊决策表,运用宽松下近似概念定义属性重要度,利用函数弹性概念定义决策属性关于条件属性的敏感度,将其作为属性重要度的权重得到加权重要度,并以此为启发式信息提出了一种连续型决策表的属性约简方法.     

公理系统的完备性

本文首先给出公理系统完备的定义,公理系统的两个模型同构的定义,然后证明定理:下述性质     

灰数灰度的一种公理化定义

基于对已有的几种灰数灰度定义的讨论，建立了灰数灰度定义的公理系统；以灰数灰度定义公理为准绳，由灰数产生的背景或论域及灰数取数域的测度构造出一种新的灰数灰度定义式。新定义克服了原有定义中存在的问题，较为科学地描述了灰数的不确定程度。     

同质成本分配模型的公理体系及分配方法研究

在建立成本分配问题数学模型的基础上，提出了同质分配模型的公理体系，并研究了平均成本定价，充列成本定价和边际成本定价方法对这些公理的满足情况，最后通过界限分析，进一步比较了这三种成本分配方法的公理性质。     

三角范畴中八面体公理的几个等价命题

三角范畴是一个带有自同构(称为平移)的加法范畴,并且满足4条公理,其中的一条重要公理是八面体公理.作者结合一个自同构T定义了quasi-pushout与pushout,证明了在三角范畴中其它三条公理满足之下,quasi-pushout或pushout与八面体公理等价.     

泛邻元结构公理刻画的深入探讨

对汪培庄提出的泛邻元结构的公理刻画进行了化简，给出了Ｌ上的Ｒ－泛邻元结构公理刻画的定义，同时还给出了低一个层次的Ｘ上的Ｒ－泛邻元结构公理刻画的定义，证明了这２种结构能够依提升和限制相互唯一确定，并且能够与Ｘ上的Ｒ－开元系一一对应。     

用边界公理建立拓扑

首先给出边界公理的定义，然后证明边界公理与开集公里的条件等价，从而证明以从边界公理出发建立拓扑空间的概念。     

连续型随机变量的单位化

通过引入单位随机变量的定义，讨论连续型随机变量与单位随机变量关系，提出并证明了在一定条件下，连续型随机变量可转化为单位随机变量，或者说，连续型随机变量可用单位随机变量表示。     

质点力学的运动学基础

本文定义了时间、空间、位移、速度、加速度等量,并提出伽利略速度变换公理,为质点力学公理体系建立了运动学基础。     

关于几种逻辑代数定义的等价性讨论

目前常见的《逻辑代数》教材,如文〔1〕〔2〕〔3〕等,在逻辑代数公理化定义的处理上,均不考虑公理的独立性,这样作使得推导其它公式或定理比较方便,实用,但讨论公理的独立性,以加深对基本公理的了解,从而更好地理解逻辑代数的定义,是十分必要的,本文将对几种逻辑代数定义予以讨论,主要结果由定理示之。 首先,在文〔1〕中,将如下六条定律作为公理化定义的基本公理。     

关于S-分离性

本文引入了几个新的S-分离性公理,讨论了它们的性质及与文[3]定义的S-分离性公理的关系,得到了一些新的结果。