R上连续函数的六种等价定义

本文将几维拓扑空间E^n中的连续映照概念在1维实数空间R中具体化，从而得出实数空间R上连续函数的六个等价命题。     

关系数据模式中属性集闭包和FD集闭包的性质

本文主要给出了关系模式中两个重要概念——属性集闭包及ＦＤ集闭包的若干性质及其相互关系．     

Warshall算法之证明及若干应用

本文给出了 Warshall 算法的一个正确性证明,不仅简明,而且极有利于对 Warshall 算法本身的理解。对于自动编译程序构造中的基本问题之一,求非终极符所对应的终极符串的带头符(FIRST)和后继符(FOLLOW)集,本文还介绍了基于 Warshall 算法的计算办法。     

第Ⅰ类图的若干性质

本文证明了第Ⅰ类图的一个充要条件，得到了第1类图的一些性质。     

两个序数μ,ν的乘积空间是有小于λ=min{cfμ,cfν}点可缩性质的空间

日本数学家NobuyukiKemoto在 1996年论证了两个序数的乘积是遗传可数亚紧空间 .本文是在这个性质的基础上进行了进一步的研究 ,定义了点可缩性质 ,并得到了两个序数的乘积空间是有小于λ ={cfμ ,cfν}点可缩性质的空间 .这是对Kemoto结果的更进一步的推广 .     

生成等价关系的性质

文章给出如何从二元关系出发,构造等价关系的某些方法,并讨论了它们的性质。     

一种基于流量工程的网络端到端性能分析算法

网络性能分析与优化是面向流量工程网络设计与管理的关键任务之一。以流量工程为基础,应用网络图的方法描述网络拓扑,通过对链路性能参数描述矩阵的标准化变换及网络邻接关联矩阵传递闭包的求解,同时结合网络事件的随机性,给出一种求解网络链路数据传输能力、分析网络端到端连通性能的算法,为网络设计及其性能分析提供了一种便捷可行的方法。     

推理闭包空间的分离性

目的引入推理闭包空间的T0,T1,T2,Sober以及Urysohn分离性,研究它们的若干性质。方法利用拓扑学中分离性的思想以及研究方法,讨论推理闭包空间的分离性。结果分别给出了它们的定义及相应的等价刻画,证明了T0,T1,T2及Urysohn分离性是可遗传的且在同胚映射下是保持拓扑不变的,得到了诸分离性之间的关系。结论通过推理闭包空间分离性的建立,展现和丰富了逻辑学的拓扑性质。     

加权Hardy空间中解析函数的唯一性及多元指数多项式的加权逼近

将Malliavin在半平面关于一元解析函数唯一性的定理推广到多重复零点情形,并推广到多元情形,利用所得结果研究了多元复指数函数系对多元实函数的加权逼近及其闭包的描述.