论文部分内容阅读
本文给半序空间设置了一套合理的公理系统,对其上取值的抽象度量空间引入拓扑结构。证明了抽象度量空间中点列的收敛性与同一点列在所引入拓扑下的收敛性是一致的,并在隔离性、可分性及紧性方面得到与通常度量空间中相似的结果。
抽象度量空间的拓扑结构
【摘 要】
：
本文给半序空间设置了一套合理的公理系统,对其上取值的抽象度量空间引入拓扑结构。证明了抽象度量空间中点列的收敛性与同一点列在所引入拓扑下的收敛性是一致的,并在隔离性
【机 构】
：
华中理工大学数学系
【出 处】
：
华中理工大学学报
【发表日期】
：
1990年6期
其他文献
本文阐述了一个实用的水轮机初步设计CAD系统——HUST—WTCAD的结构和功能。整个系统的设计采用模块化结构程序设计的方法,模块的划分是按数据流模块分割法和功能模块分割法
本文建立了广义二分图和广义二分树的概念,证明了线图树集可以转换为线图的广义二分树集,在此基础上提出了求线图树集的GBT<p,q>公式。
本文提出MSS数据波谱形态相关模型和直方图决策树分类法。这一方法从数据直方图和矫正的波谱形态曲线中提取模型参数、直方图特征参数、各波段相关系数参数,同时提取波谱反转特性参数,然后利用直方图决策树分类器进行计算机判决分类。将该方法应用于咸宁市县级土地利用状况调查中,取得了满意效果。
本文提出一个基于知识库和专家系统技术的水轮发电机组振动故障诊断与咨询的专家系统。本系统应用关于水轮发电机组振动、振动试验、频谱分析和运行管理人员现场经验的知识,
本文研究了在互联项可用子系统的某些可测量表示时未知互联系统的分散模型参考自适应系统(MRAS)的鲁棒控制;给出了自适应律;证明了系统的稳定性。分析表明,本文提出的分散MRAS鲁棒控制器,使系统的稳定性、鲁捧性、动态品质都得到了提高。
本文将以热物性为温度的弱多项式函数的非线性不稳定导热问题,转化为线性方程求解,并提出有限元素方法求解的数值计算公式。
<正>Telles和黄玉盈用不同方法分别求得了各向同性弹性半平面问题的基本解。本文借助F.J.Rizzo等人给出正交异性全平面问题的基本解,利用镜象法导出了正交异性弹性半平面问题
本文对空间板壳结构的有限元网格自动生成进行了研究,讨论了结构整体网格的拼合及可展曲面的网格自动生成等问题,并提出了一个新的二维三角形网格自动生成算法,算法具有精确拟合边界、多连通域处理及局部网格加密等功能.