徐罗山 作品数:75 被引量:286 H指数:11 供职机构: 扬州大学数学科学学院 更多>> 发文基金: 国家自然科学基金 江苏省高校自然科学研究项目 江苏省自然科学基金 更多>> 相关领域: 理学 经济管理 自动化与计算机技术 更多>>
BL代数的等价刻画及更多性质 被引量:11 2011年 研究了与Hájek的模糊命题演算系统BL相对应的BL代数,提出了仅涉及运算*和→的NBL代数概念并探讨了其有关性质,证明了BL代数与N-BL代数是等价的,进而得到了BL代数更多的性质。 朱翔 徐罗山关键词:模糊逻辑 伴随对 剩余格 BL代数 半连续格上的半基和局部半基 被引量:14 2010年 在完备格上引入了半基和局部半基的概念,给出了半基和局部半基的性质及若干等价刻画,证明了一个完备格是半连续格当且仅当它具有半基也当且仅当它每点有局部半基。在此基础上定义了半连续格的权和特征,探讨了半连续格的权和特征与其上赋予半Scott拓扑和半Lawson拓扑时的拓扑空间的权和特征的关系。解决了文献[8](赵彬,刘妮.连续Domain的特征和浓度,陕西师范大学学报,2002,30(2):1~6)中提出的一个问题。 李高林 徐罗山 陈昱关键词:半连续格 连续poset的投射像的连续性 2014年 本文用反例说明了连续poset的保定向并的投射像不必连续,指出了《Continuous Lattices and Domains》一书中定理I-2.2的错误.证明了连续poset在保定向并的核映射下的像和连续收缩核还是连续的。 徐罗山 栾云骏关键词:收缩核 广义近似空间的粗糙同胚与拓扑同胚 被引量:2 2017年 对广义近似空间之间的映射引入并刻画了粗糙连续性和拓扑连续性,探讨了他们的性质及相互关系.证明了两个粗糙连续映射的复合还是粗糙连续的,每个粗糙连续的映射都是拓扑连续的.在此基础上引入了粗糙同胚性质和拓扑同胚性质的概念,证明了拓扑同胚性质均为粗糙同胚性质并考察了广义近似空间的诸如分离性、连通性、紧性等的粗糙同胚不变性和拓扑同胚不变性. 荣宇音 徐罗山关键词:粗糙集 区间数系的内蕴拓扑及度量表示 被引量:8 1999年 单位区间I上的区间数系SI在自然序下是一个完全分配格,其上的区间拓扑是连通的紧可度量拓扑,并具有不动点性质.一般地,实数集R上的区间数系SR在自然序下是局部完全分配格,其上的双Scot拓扑是第二可数的局部紧连通可度量拓扑,该拓扑是R上通常序拓扑的自然推广,还是道路连通的.其实,SR这一空间可嵌入到R2中.当考虑代数运算时,SR和SI都是拓扑格。 徐罗山关键词:拓扑结构 区间拓扑 软泛代数及其整体结构性质 2012年 提出了软泛代数概念,将已有的软群、软环等概念统一纳入这一框架中,从整体上研究了软泛代数的序结构性质,证明了固定指标集和T-代数后,相应的软T-代数全体以点式序形成代数格。引入了Scott连续软泛代数概念,证明了从代数紧拓扑空间到给定T-代数的Scott连续软T-代数的全体以点式序形成代数格。 崔靖 徐罗山关键词:完备格 代数格 拓扑系统的紧性和分离性 被引量:9 2007年 考察拓扑系统的两种紧性——空间式紧和locale式紧,给出紧性的若干刻画,讨论了两种紧性的相互关系,证明了拓扑系统的两种紧性都是拓扑空间紧性的良好推广,说明了紧拓扑系统的闭子拓扑系统、有限和系统以及积系统仍是紧拓扑系统。最后在拓扑系统中考察了紧性加强分离性的问题,得到了紧,(强)T2拓扑系统为(强)T3,(强)T4拓扑系统等结论,并用理想收敛刻画了拓扑系统的强T2分离性。 李高林 徐罗山关键词:拓扑系统 紧性 分离性 LOCALE S-超连续偏序集的性质及等价刻画 被引量:5 2015年 研究偏序集上的S-超连续性以及与其他广义连续性间的若干关系。利用提升和主理想S-超连续等概念给出了S-超连续性的几个等价刻画。证明了一个交半格是S-超连续的当且仅当它是主理想S-超连续的。构造了反例说明偏序集的S-超连续性与主理想S-超连续性互不蕴涵。 毛徐新 徐罗山关键词:SCOTT拓扑 偏序集上的测度拓扑和全测度 被引量:10 2007年 在偏序集上引入测度拓扑和全测度概念,研究其性质以及与其它内蕴拓扑间的众多关系。主要结果有:连续偏序集的测度拓扑实际上是由其上的任一全测度所决定且可由它的定向完备化上的测度拓扑和全测度分别限制得到;当连续偏序集还是D om a in时,其上的测度拓扑与μ拓扑一致;连续偏序集有可数基当且仅当其上的测度拓扑是可分的;一个网如果测度收敛则存在最终上确界;任一ω连续偏序集上都存在全测度。 徐罗山关键词:SCOTT拓扑 格蕴涵代数的蕴涵表示定理 被引量:19 2010年 在对格蕴涵代数和模糊蕴涵代数研究的基础上,给出了格蕴涵代数的三个蕴涵表示定理。极大地简化了格蕴涵代数的定义形式,使得格蕴涵代数在形式上更加突出逻辑代数的特征及其与其它逻辑代数之间的联系与区别。为进一步研究格蕴涵代数及其与其它逻辑代数的关系提供了一个有力的工具。 刘春辉 徐罗山关键词:模糊逻辑 格蕴涵代数 蕴涵 表示定理