期刊文献+
共找到32篇文章
< 1 2 >
每页显示 20 50 100
一个弱sober化不存在的例子
1
作者 张晓媛 徐晓泉 《江西师范大学学报(自然科学版)》 CAS 北大核心 2023年第6期558-561,共4页
该文基于偏序集的Alexandroff空间说明了以拟sober空间(弱sober空间,cut空间)为对象、以连续映射为态射的范畴QSob(WSob,Top_(cut))都不是Top0的反射子范畴.
关键词 拟sober空间 弱sober空间 cut空间 反射子范畴
下载PDF
ON SOME RESULTS RELATED TO SOBER SPACES
2
作者 李庆国 金梦洁 +1 位作者 苗化磷 陈思恒 《Acta Mathematica Scientia》 SCIE CSCD 2023年第4期1477-1490,共14页
This paper investigates sober spaces and their related structures from different perspectives.First,we extend the descriptive set theory of second countable sober spaces to first countable sober spaces.We prove that a... This paper investigates sober spaces and their related structures from different perspectives.First,we extend the descriptive set theory of second countable sober spaces to first countable sober spaces.We prove that a first countable T_(0) space is sober if and only if it does not contain a∏_(2)^(0)-subspace homeomorphic either to S_(D),the natural number set equipped with the Scott topology,or to S_(1),the natural number set equipped with the cofinite topology,and it does not contain any directed closed subset without maximal elements either.Second,we show that if Y is sober,the function space TOP(X,Y)equipped with the Isbell topology(respectively,Scott topology)may be a non-sober space.Furthermore,we provide a uniform construction to d-spaces and well-filtered spaces via irreducible subset systems introduced in[9];we called this an H-well-filtered space.We obtain that,for a T_(0) space X and an H-well-filtered space Y,the function space TOP(X,Y)equipped with the Isbell topology is H-well-filtered.Going beyond the aforementioned work,we solve several open problems concerning strong d-spaces posed by Xu and Zhao in[11]. 展开更多
关键词 sober space descriptive set theory function space strong d-space product space REFLECTION
下载PDF
Scott闭集格的C-代数性及其应用 被引量:5
3
作者 何青玉 徐罗山 《高校应用数学学报(A辑)》 CSCD 北大核心 2014年第3期369-374,共6页
引入了拟C-连续偏序集的概念,利用拟C-连续性证明了dcpo L是拟连续的当且仅当L上的Scott闭集格是拟连续格.证明了满足性质M的dcpo上的Scott闭集格都是C-代数格,从而给出了具有同构Scott闭集格的两dcpo同构的新的充分条件.
关键词 拟C-连续性 C-代数格 性质M SCOTT拓扑 Sober
下载PDF
可数连续格与局部Lindelf空间 被引量:8
4
作者 陆志军 尤飞 《徐州师范大学学报(自然科学版)》 CAS 2008年第3期57-60,共4页
引入可数连续格概念,证明了可数连续格在许多方面类似于连续格,并证明了可数连续的素frame范畴对偶于强Sober的局部Lindelf拓扑空间范畴.
关键词 可数连续格 强Sober空间 素frame
下载PDF
Prevention and Cure of Acute Alcohol Intoxication in Mice by Administration of Compound of Japanese Raisintree Fruit, Lobed Kudzuvine Flower Bud and Lightyellow Sophora Root 被引量:2
5
作者 孔玲 李杰 张秀珍 《Agricultural Science & Technology》 CAS 2014年第5期874-876,881,共4页
[Objective] We aimed to investigate the preventive and therapeutical effect of compound of traditional Chinese drugs (Japanese raisintree fruit, lobed kudzuvine flower bud and lightyel ow sophora root) on acute alc... [Objective] We aimed to investigate the preventive and therapeutical effect of compound of traditional Chinese drugs (Japanese raisintree fruit, lobed kudzuvine flower bud and lightyel ow sophora root) on acute alcohol intoxication in mice. [Method] Acute alcohol intoxication was induced by administering alcohol to mice. Three different doses (low, middle and high) of compound of traditional Chinese drugs were administered to mice before and after administering alcohol respectively to investigate the preventive and therapeutical effect of drugs on acute alcohol intox-ication through doing statistical analysis about drunk mice and their sleeping time. The concentration of malondialdehyde (MDA), reduced glutathione (GSH) and triglyc-erides (TG) in liver was also determined to investigate the protective effect of drugs on liver. [Result] The efficacy of compound of traditional Chinese drugs on acute al-cohol intoxication was dose-dependent. High-dose administration decreased the number of drunk mice significantly compared with control group; middle- and high-dose administration reduced the sleeping time of drunk mice and the concentration of MDA and TG in liver tissue; three doses al increased the concentration of GSH. [Conclusion] The compound of Japanese raisintree fruit, lobed kudzuvine flower bud and lightyel ow sophora root had preventive and therapeutical effect on hangover, and it also had certain preventive and therapeutical effect on liver damage caused by alcohol. 展开更多
关键词 Japanese raisintree fruit Lobed kudzuvine flower bud Lightyel ow sophora root Acute alcohol intoxication Anti-drunk Sobering effect
下载PDF
强 Sober 空间与一个范畴等价定理 被引量:2
6
作者 田晓明 王戈平 《数学杂志》 CSCD 北大核心 1993年第2期169-174,共6页
本文引入了强 sober 空间与强 sober 格概念,讨论了它们的基本性质,并证明了强 sober 空间范畴与强 sober 格范畴是等价的。
关键词 强Sober空间 范畴 强Sober格
下载PDF
基于可携带理念的个人信息流转平台探索 被引量:3
7
作者 曹亚廷 《征信》 2017年第10期23-26,共4页
面对个人信息保护不足背景下个人信息孤岛和滥用并存的局面,尝试性提出在坚持个人信息本人自决、自治的基本保护原则下,借鉴欧盟的个人信息本人可携带权理念,依托大数据、可信任云、区块链等征信科技(CreTech)手段,建立"个人信息... 面对个人信息保护不足背景下个人信息孤岛和滥用并存的局面,尝试性提出在坚持个人信息本人自决、自治的基本保护原则下,借鉴欧盟的个人信息本人可携带权理念,依托大数据、可信任云、区块链等征信科技(CreTech)手段,建立"个人信息流转平台"这一金融乃至数字社会的基础设施,让各来源渠道的个人信息在本人的指令和控制下,通过这个平台流转到特定的金融、商业场景中,创立服务信贷、金融、贸易等目的的个人征信服务新模式。 展开更多
关键词 可携带权 个人信息流转平台 征信科技(Cre Tech) “SOBER”原则
下载PDF
强Sober空间的若干性质
8
作者 罗淑珍 徐晓泉 《模糊系统与数学》 CSCD 北大核心 2009年第1期117-122,共6页
讨论了强Sober空间的一些基本性质,证明了强Sober空间关于闭子空间和紧饱和子集是遗传的,强Sober空间的乘积仍为强Sober空间,强Sober空间的连续收缩为强Sober空间。
关键词 滤子 超滤子 Sober空间 强Sober空间
下载PDF
完备集环是理想格的充分必要条件
9
作者 张玉琦 《内蒙古师范大学学报(自然科学汉文版)》 CAS 2004年第2期124-127,共4页
证明了如下结果 :设L是完备格 ,L是完备集环 L同构到L的完全并既约元有限生成的分配并半格F上的理想格I(F) .完备格L同构到一个格K的理想格I(K) ,L是完备集环
关键词 完备集环 理想格 完全并既约元 分配并半格 强Sober格 刻划 满射
下载PDF
关于Fuzzy拓扑的Sober性
10
作者 张立国 李辉 《沈阳理工大学学报》 CAS 2009年第4期90-91,89,共3页
给出关于Fuzzy拓扑空间的Sober性,与经典拓扑空间的Sober性作比较,并讨论FuzzySober性与其他分离公理的关系,从而完善Fuzzy拓扑学的分离公理理论.为研究经典拓扑学与Fuzzy拓扑学之间联系提供一点思路.
关键词 非标准聚点 Sober空间 分离公理
下载PDF
Z连续偏序集P上σ~Z(P)的Soberity
11
作者 王金林 夏璇 《南昌航空工业学院学报》 CAS 2001年第2期68-70,共3页
Sober空间是介于T0 空间与T2 空间之间又完全独立于T1 空间的一类拓扑空间 ,本文基于拓扑σZ(P) ,证明了Z 连续偏序集P上的拓扑σZ(P)当σD(P)≤σ(P)
关键词 Z-连续偏序集 Z-连续格 σ^Z(P)拓扑 Sober空间
下载PDF
关于sober空间与T_0、T_1、T_2空间的蕴含问题
12
作者 吴耀强 《宿州教育学院学报》 2004年第1期116-117,共2页
本文利用了拓扑空间的分离性定理,逐一揭示了sober空间与它们之间的蕴含关系。
关键词 sober空间 分离性定理 蕴含
下载PDF
超Sober空间与k-有界Sober空间的性质 被引量:6
13
作者 唐友 杨金波 《高校应用数学学报(A辑)》 北大核心 2020年第3期367-373,共7页
讨论了超Sober空间与k-有界Sober空间的一些性质,厘清相关拓扑之间的关系.特别地证明了一个空间是超Sober空间当且仅当其Smyth上幂空间为超Sober空间;任意一族k-有界Sober空间的积空间为k-有界Sober空间.
关键词 超Sober空间 k-有界Sober空间 上幂空间
下载PDF
基于Sober算法的飞控软件缺陷定位方法研究 被引量:1
14
作者 李志敏 殷蓓蓓 +2 位作者 张萍 王纪兵 杨飏 《航空兵器》 2015年第1期52-56,64,共6页
飞行控制软件(简称飞控软件)验证与测试是保障和提高飞控系统可靠性的重要手段。软件缺陷定位是软件验证与测试过程中的重要环节,其准确性和及时性直接影响了飞控软件的可靠性。本文对面向缺陷定位的飞控软件的特性进行了分析,并针对其... 飞行控制软件(简称飞控软件)验证与测试是保障和提高飞控系统可靠性的重要手段。软件缺陷定位是软件验证与测试过程中的重要环节,其准确性和及时性直接影响了飞控软件的可靠性。本文对面向缺陷定位的飞控软件的特性进行了分析,并针对其嵌入式特性,搭建了飞控软件仿真测试平台。在此基础上,以飞机着陆自动控制软件为实验对象,针对其特性,提出了基于Sober算法的缺陷定位方法,最后进行了仿真验证,证明了缺陷定位方法的可行性。 展开更多
关键词 飞行控制软件 软件测试 软件缺陷定位 Sober算法 嵌入式平台
下载PDF
仿sober与超sober拓扑空间
15
作者 袁珍艳 徐罗山 《扬州大学学报(自然科学版)》 CAS CSCD 2008年第4期1-3,15,共4页
对拓扑空间的sober分离性细致分析后引入类似于sober性的另外两种分离性:仿sober和超sober分离性;讨论了诸分离性的相关性质和相互关系,证明了非T1的仿sober空间一定是连通的、可分的sober空间;还探讨了dom a in上Scott拓扑与仿sober、... 对拓扑空间的sober分离性细致分析后引入类似于sober性的另外两种分离性:仿sober和超sober分离性;讨论了诸分离性的相关性质和相互关系,证明了非T1的仿sober空间一定是连通的、可分的sober空间;还探讨了dom a in上Scott拓扑与仿sober、超sober分离性的关系,证明了仿(超)sober偏序集均为代数dom a in. 展开更多
关键词 仿sober拓扑 超sober拓扑 特殊化序 DOMAIN SCOTT拓扑
下载PDF
可数sober化 被引量:2
16
作者 龚雅玲 史俊苗 《南昌大学学报(理科版)》 CAS 北大核心 2018年第4期322-326,共5页
对于给定的拓扑空间X,借助于X中的可数既约闭集给出了拓扑空间X的一种可数sober化。证明了拓扑空间X的可数既约集可以诱导出集合X上的一个拓扑,讨论了在该拓扑下的一些性质,特别地证明了可数sober空间上由可数既约集诱导的拓扑与原拓扑... 对于给定的拓扑空间X,借助于X中的可数既约闭集给出了拓扑空间X的一种可数sober化。证明了拓扑空间X的可数既约集可以诱导出集合X上的一个拓扑,讨论了在该拓扑下的一些性质,特别地证明了可数sober空间上由可数既约集诱导的拓扑与原拓扑一致。 展开更多
关键词 可数既约集 可数sober化 τCSI-拓扑
下载PDF
Observations on Irreducible Sets and Sober Spaces 被引量:1
17
作者 CHEN Dong-li ZHANG Yan 《Chinese Quarterly Journal of Mathematics》 CSCD 2014年第4期501-504,共4页
This paper, using the monads theory in the topological space, gives a new characterization of irreducible sets in the nonstandard enlarged models. Further, the discretization expression of Sober topological spaces is ... This paper, using the monads theory in the topological space, gives a new characterization of irreducible sets in the nonstandard enlarged models. Further, the discretization expression of Sober topological spaces is presented. 展开更多
关键词 MONAD irreducible set Sober space DISCRETIZATION
下载PDF
κ-有界sober空间的收缩与Smyth幂空间 被引量:2
18
作者 杨毅 鲍猛 徐晓泉 《纯粹数学与应用数学》 2022年第1期13-24,共12页
主要讨论κ-有界sober空间对遗传、收缩、函数空间和Smyth幂构造的封闭性,证明了κ-有界sober空间是饱和遗传的,但不是闭遗传的;对收缩与Smyth幂构造均不具有封闭性.还证明了存在κ-有界sober空间X使得函数空间[X→X]赋予点式收敛拓扑... 主要讨论κ-有界sober空间对遗传、收缩、函数空间和Smyth幂构造的封闭性,证明了κ-有界sober空间是饱和遗传的,但不是闭遗传的;对收缩与Smyth幂构造均不具有封闭性.还证明了存在κ-有界sober空间X使得函数空间[X→X]赋予点式收敛拓扑不是κ-有界sober空间. 展开更多
关键词 κ-有界sober空间 遗传性 收缩 函数空间 Smyth幂空间
下载PDF
完备格上S拓-扑的紧性与分离性
19
作者 范勇 《南京工业职业技术学院学报》 2011年第4期35-37,共3页
在完备格上引入S拓-扑,讨论了它的一些基本性质以及S拓-扑与Scott拓扑和Lawson拓扑之间的联系和区别,在此基础上证明连续格L上的S拓-扑是一个单调的Hausdorff零维正规空间,它是局部紧的sober空间但不是紧空间。
关键词 S拓-扑 S连-续 零维空间 局部紧 sober空间
下载PDF
关于L-fuzzy拓扑空间的分离公理的讨论
20
作者 李文 《鞍山师范学院学报》 2005年第2期4-6,共3页
对Fuzzy拓扑空间与经典拓扑空间的分离公理作了比较,讨论了Fuzzy拓扑空间的分离公理的一些基本性质;定义了Fuzzy拓扑空间的sober性,并讨论了其与其它分离公理的关系.
关键词 分离公理 sober性 特殊化序
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部