一般拓扑

作品数：19被引量：16H指数：1
导出分析报告
相关领域：理学更多>>
相关作者：宋延奎彭良雪沈世镒卢国祥郁文生更多>>
相关机构：辽宁师范大学北京理工大学南开大学海淀走读大学更多>>
相关期刊：《辽宁师范大学学报（自然科学版）》《江西师范大学学报（自然科学版）》《北京理工大学学报》《平顶山学院学报》更多>>
相关基金：国家自然科学基金天津市科技发展战略研究计划项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Coq的杨忠道定理形式化证明被引量：1
《软件学报》2022年第6期2208-2223,共16页严升 郁文生 付尧顺 
国家自然科学基金(61936008)。
实现拓扑学定理的机器证明,是吴文俊院士生前的宿愿.杨忠道定理涉及一般拓扑学中的诸多基本概念,对深刻理解拓扑空间的本质有重要意义.该定理表明,拓扑空间中每一个子集的导集为闭集当且仅当此空间中的每一个单点集的导集为闭集,是一般...
关键词：COQ 形式化证明 公理化集合论 一般拓扑 拓扑空间 杨忠道定理 
求解时谐涡流场离散系统分裂迭代法的参数改进被引量：1
《平顶山学院学报》2020年第5期1-7,共7页魏江超 马昌凤 
国家自然科学基金(11901098)。
针对时谐涡流场的离散鞍点系统,改进了其预处理分块交替分裂隐式(PBASI)迭代法,引入了新的参数,称为双参数的预处理分块交替分裂隐式(DPPBASI)迭代法.给出了新的迭代方法的收敛性分析,并且给出了简单拓扑与一般拓扑下一种分裂的具体计...
关键词：时谐涡流问题 双参数 简单拓扑 一般拓扑 收敛性分析 
一般拓扑习作课教学的思考被引量：1
《宁德师范学院学报（自然科学版）》2013年第3期320-323,共4页郑春燕 
结合具体教学实践,从教案组织和课堂教学两个环节,提出关于一般拓扑习作课的几点思考.
关键词：一般拓扑 习作课 数学 
由一般拓扑度量空间所产生的Alignment空间被引量：5
《工程数学学报》2008年第6期1097-1101,共5页卢国祥 沈世镒 
天津市科技发展计划项目(043185111-17)
Alignment空间是一个在广义误差下定义的度量空间。在以往的信息处理问题中,一般只讨论离散状态下的序列比对Alignment问题,并由此产生一种新的非线性度量空间-Alignment空间。本文将离散状态下的Alignment空间推广到一般情况,得到了由...
关键词：由度量空间产生的Alignment空间 度量空间的基本定理 Alignment距离 Levenshtein距离 
日本第39届一般拓扑论坛
《国际学术动态》2005年第4期48-48,F0003,共2页汪守礼 
在学校国际交流年的目标指导下，在国家自然科学基金委、校外事处、数学院领导和省外事办的帮助下，本人于2004年5月18日～6月8日赴日本松山爱嫒大学，参加了日本第39届一般拓扑论坛，应邀作了大会报告，会后又进行了为期2周的合作研究...
关键词：一般拓扑 日本 论坛 国家自然科学基金 2004年5月 国际交流 合作研究 外事 
S^+-可数紧性和S^+-Lindel(o|¨)f性质
《牡丹江师范学院学报（自然科学版）》2005年第2期1-2,共2页杨桂琴 
本文在[0,1]-拓扑空间中引入了S+-可数紧性和S+-Lindelof性质的概念,它们有一般拓扑中相应概念的几乎所有性质与特征．
关键词：[0 1]拓扑 S^+-紧性 S^+-可数紧性 S^+-Lindeloef性质 LINDELOEF性质 可数紧性 拓扑空间 一般拓扑 中相 
L-Fuzzy化拓扑被引量：1
《锦州师范学院学报（自然科学版）》2000年第1期54-56,共3页张杰 宁锁燕 赵佳因 
辽宁省高校科研基金资助!( 970 92 1112 2 )
本文给出了 L- Fuzzy化拓扑的概念 ,并讨论它与一般拓扑之间的关系 ,利用集合套理论讨论 L- Fuzzy化拓扑的分解和构造。
关键词：L-Fuzzy化拓扑 一般拓扑 模糊数学 
任重道远　再攀高峰
《学会》1996年第8期46-46,共1页林寿 
任重道远再攀高峰宁德师范高等专科学校副校长林寿今天我们荣幸地参加运盛（福建）青年基金会成立三周年庆典暨第三届运盛青年科技奖颁奖大会，并受到大会的表彰，心情分外喜悦。我们能够获得这种殊荣，完全有赖于所处的跨世纪时代及运...
关键词：中老年知识分子 师范高等专科学校 青年基金 良好环境 开展学术活动 数学修养 现代数学 高产作者 成长为 一般拓扑 
一种介于B－性质与P－性质之间的拓扑性质
《四川大学学报（自然科学版）》1996年第3期225-232,共8页陈世平 
引入了一种介于Ｂ－性质与Ｐ－性质之间、介于中紧与可数中紧之间的拓扑性质──中Ｂ性质，并对这种性质作了系统的研究，分别讨论了它的等价条件、遗传性和映射保持性，还讨论了乘积空间的中－Ｂ性质，最后举例说明中Ｂ－性质严格介于...
关键词：拓扑性质 中-B性质 一般拓扑 B-性质 
关于集值局部连通映射的连通性和连续性
《沈阳化工学院学报》1996年第2期138-142,共5页谢彦红 宋延奎 
把单值映射局部连通性的概念推广到集值映射上，并且给出了集值局部连通映射是连通映射和连续映射的条件．
关键词：一般拓扑 集值映射 连续映射 连通映射 拓扑 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部