郭智莲
- 作品数：20 被引量：33H指数：3
- 供职机构：西北政法大学经济学院更多>>
- 发文基金：国家自然科学基金中国博士后科学基金西安市科技计划项目更多>>
- 相关领域：理学文化科学自动化与计算机技术经济管理更多>>
- 准连续Domain和稳定映射被引量：1
- 2006年
- 研究了准连续Domain的积结构,子结构和商结构.给出了有界完备准连续Domain上同余关系的等价刻画.讨论了有界完备准连续Domain上稳定映射及其相关性质,证明了有界完备准连续Domain上保定向并的映射是稳定映射当且仅当它保非空交,指出了有界完备准连续Do-main上保有限交的映射是稳定映射当且仅当它关于Lawson拓扑连续.
- 郭智莲赵彬
- Z_S-相容连续偏序集及其相关范畴性质被引量：1
- 2009年
- 引入了ZS-相容集系统的概念,讨论了ZS-相容连续偏序集的一系列性质。证明了ZS-相容连续偏序集范畴对偶等价于完全分配格范畴的一个满子范畴。
- 郭智莲杨海龙
- 相容拟半连续Domain和相容交半连续Domain被引量：1
- 2012年
- 引入了相容拟半连续Domain和相容交半连续Domain的概念,给出了一系列好的性质。分别给出了相容半连续Domain与相容拟半连续Domain、相容交半连续Domain间的关系,并且利用相容半Scott拓扑刻画了相容交半连续Domain。
- 郭智莲杨海龙
- 直觉模糊关系的α-分解
- 2010年
- 提出直觉模糊关系R是可α-分解的概念。得到直觉模糊关系R是可α-分解的两个等价刻画。在直觉模糊关系R是可α-分解时,分别给出使R=AαB成立的A与B的解集。
- 郭智莲
- 关键词：解集
- 自由Dcpo和自由并完备格的结构和性质被引量：1
- 2005年
- 给出了由偏序集生成的自由Dcpo及自由并完备格和由并半格生成的强自由Dcpo及强自由完备格的结构,分别讨论了它们的性质,证明了偏序集与并半格分别可以序嵌入到自由Dcpo、自由并完备格与强自由Dcpo、强自由并完备格.
- 郭智莲赵彬
- 关键词：完备格
- 相容连续Domain和模糊半连续Domain的研究
- Domain理论是计算机程序设计语言的指称语义学的数学基础.它的基本特征是序与拓扑相互结合、相互作用.正是这一特征使Domain理论成为计算机科学与拓扑学研究者共同感兴趣的领域,也使这一理论与许多数学学科产生了密切联系....
- 郭智莲
- 关键词：连续DOMAIN
- 文献传递
- 推理闭包空间的分离性被引量：1
- 2012年
- 目的引入推理闭包空间的T0,T1,T2,Sober以及Urysohn分离性,研究它们的若干性质。方法利用拓扑学中分离性的思想以及研究方法,讨论推理闭包空间的分离性。结果分别给出了它们的定义及相应的等价刻画,证明了T0,T1,T2及Urysohn分离性是可遗传的且在同胚映射下是保持拓扑不变的,得到了诸分离性之间的关系。结论通过推理闭包空间分离性的建立,展现和丰富了逻辑学的拓扑性质。
- 郭智莲杨海龙伏文清
- 关键词：分离性
- 双论域上的直觉模糊概率粗糙集模型及其应用被引量：11
- 2014年
- 基于一个直觉模糊关系,给出了双论域上的直觉模糊概率粗糙集模型的定义,同时也给出了逆下近似、上近似算子的概念.研究了它们的若干性质,为粗糙集的应用提供了新的理论基础与操作手段.最后,通过在临床诊断系统中的具体应用阐述了本文提出的直觉模糊概率粗糙集模型的有效性和优越性.
- 郭智莲杨海龙王珏
- 关键词：粗糙集下近似
- 相容Domain间Scott连续自映射的不动点被引量：1
- 2011年
- 研究相容连续L-dom a in之间的稳定映射以及相容FS-dom a in之间的一致交换映射的不动点之集的性质。
- 郭智莲赵彬
- 关键词：不动点
- 离散参数马尔可夫链状态空间的性质
- 2007年
- 以离散参数马尔可夫链状态空间E为集合定义该集合上的一个拓扑T,研究它的拓扑性质,得到拓扑空间(E,T)是离散空间的三个等价刻画以及(E,T)是平庸空间的一个等价刻画。
- 郭智莲杨海龙
- 关键词：马尔可夫链拓扑空间
