关系模式分解和设计的泛系研究及关系闭包的微机实现

从泛系方法论的观点出发，对关系数据库理论的基本问题从新的角度进行了概括和分析，提出了一些有待深入探讨的问题。通过一个实例，说明了在关系模式的分解中是否蕴含了没有包括在内但可供选择和分析的子模式，以及这些子模式如何确定并求出。最后得到了一个判定定理。在这些分析讨论后，对关系理论中的核心问题之一－－求属性子集的闭包，在与ＩＢＭ ＰＣ兼容微机上，使用高级语言Ｐａｓ－ｃａｌ进行了程序设计。通过对一个实例进     

关于r-块对角占优矩阵的对角Schur补

对于r-块对角占优矩阵的对角Schur补的研究,主要是利用矩阵范数和分块矩阵的相关理论,将其由点元素推广到块元素,进而证明了矩阵分块后块元素的r-块严格对角占优阵的对角Schur补仍是r-块严格对角占优阵,同时利用连续性证明了r-块对角占优阵的对角Schur补还是r-块对角占优阵。     

实线性空间中的广义向量类凸性

作者利用向量闭包给出了实线性空间上广义向量类凸映射的一个性质,并依此说明在向量优化问题中,如果约束映射是广义向量类凸的则Slater约束品性成立.另外,作者利用鞍点准则刻画了实线性空问中的真有效性.     

L-闭包空间的c-可数紧性

在L-闭包空间中给出了Lα-c-开覆盖的概念,引入了c-可数紧空间,研究了其若干性质．证明了它对L-闭包空间中的闭子集是遗传的,具有若同胚不变性等．     

关于P-网络空间的若干性质

研究得出了一些关于CP-网络空间以及更广泛的P-网络空间的性质.     

向量优化中改进集的一些拓扑性质

改进集是研究向量优化问题的一个十分重要的工具。首先证明了改进集的有关拓扑闭包和拓扑内部的一些性质。进一步,在改进集的条件下给出了拓扑向量空间中两个非空集合之和的拓扑内部与拓扑闭包的一些运算性质,并得到了它的一些等价刻画。最后给出了一些具体的例子对主要结果进行了解释。