您的位置： 专家智库 > >

国家自然科学基金(11001158)

作品数：22 被引量：10H指数：2
相关作者：刘妮韩胜伟潘芳芳李璧镜陈阳更多>>
相关机构：陕西师范大学宝鸡文理学院西安邮电大学更多>>
发文基金：国家自然科学基金中央高校基本科研业务费专项资金陕西省教育厅科研计划项目更多>>
相关领域：理学农业科学建筑科学更多>>

文献类型

  • 22篇中文期刊文章

领域

  • 19篇理学
  • 2篇农业科学
  • 1篇建筑科学

主题

  • 9篇QUANTA...
  • 5篇映射
  • 4篇核映射
  • 3篇同余
  • 3篇模态逻辑
  • 2篇序半群
  • 2篇序集
  • 2篇偏序
  • 2篇偏序集
  • 2篇拓扑
  • 2篇校园
  • 2篇校园绿化
  • 2篇绿化
  • 2篇半格
  • 2篇半群
  • 1篇代数
  • 1篇代数格
  • 1篇等价
  • 1篇等价关系
  • 1篇笛卡尔

机构

  • 15篇陕西师范大学
  • 3篇宝鸡文理学院
  • 3篇西安邮电大学
  • 2篇西安邮电学院
  • 1篇南阳师范学院
  • 1篇西安科技大学
  • 1篇榆林学院

作者

  • 7篇刘妮
  • 6篇韩胜伟
  • 5篇潘芳芳
  • 3篇董鸿昆
  • 3篇刘东
  • 3篇何璐
  • 3篇李璧镜
  • 3篇陈阳
  • 2篇周异辉
  • 1篇单晓伟
  • 1篇王顺钦
  • 1篇李艳
  • 1篇冯娟娟
  • 1篇梁少辉
  • 1篇马崛
  • 1篇李冰
  • 1篇胡亚立

传媒

  • 5篇模糊系统与数...
  • 4篇计算机工程与...
  • 3篇陕西师范大学...
  • 3篇南阳师范学院...
  • 2篇安徽农业科学
  • 1篇电子学报
  • 1篇数学的实践与...
  • 1篇山西师范大学...
  • 1篇山东大学学报...
  • 1篇Acta M...

年份

  • 1篇2016
  • 1篇2015
  • 8篇2014
  • 4篇2013
  • 7篇2012
  • 1篇2011
共 22 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
D-半群上的拓扑
2014年
研究D-半群的结构性质.借助于Rees序,建立了D-半群范畴和序半群范畴之间的函子,并证明了幂等可换半群范畴ICSGr是D-半群范畴DSGr的余反射子范畴,同时,也研究了D-半群S上的右理想拓扑τS,证明了(S,τS)是T0-空间当且仅当S是幂等可换的半群,并且d=idS.
潘芳芳曹文营王顺钦
关键词：序半群
Quantale上的伪同余被引量：1
2014年
为了研究Quantale内部结构,我们首先在Quantale上引入了伪同余的概念;讨论了伪同余与同余的关系;最后借助于伪同余,建立了Quantale与序半群之间的联系.
潘芳芳韩胜伟
关键词：QUANTALE核映射同余
模态逻辑公式的真度理论被引量：2
2013年
在模态逻辑系统中,对可能世界进行了深入的分析,首次提出了完整模型的概念,并且在这个完整模型的框架下定义了模态公式的真度概念,建立了公式的真度理论。并且证明了:若模态公式φ不含任何模态词,即经典逻辑公式,它对应的模态真度τ(φ)就由区间退化为一个点,并且这个点就是该公式的Borel型真度值。
李璧镜
关键词：BOREL测度真度
Z-半代数格及Z-半Scott拓扑
2015年
在Z-双小于关系的基础上定义了Z-紧元并依此引入了Z-半代数格及强Z-代数格的概念,证明了一定条件下Z-半代数格的闭包算子的像还是Z-半代数格,强Z-代数格与其Z-紧元集的Z-理想集是同构的。最后,研究了Z-半连续格和Z-半Scott拓扑的基本性质。
李冰刘妮
模糊C-连续格被引量：1
2014年
在模糊完备格上定义了模糊beneath关系、模糊beneath紧元,并引入了模糊C-连续格和模糊C-代数格的概念,证明了它们分别是分明C-连续格和C-代数格的一种推广。讨论了模糊C-连续格上模糊beneath关系的性质,并利用模糊Galois伴随给出了模糊C-连续格的一个等价刻画。
冯娟娟刘妮
不可约Quantale
2016年
研究了Quantale上(强)伪同余的性质,讨论了伪同余与核映射的关系;引入了不可约Quantale的概念;利用伪同余给出了不可约Quantale的一般刻画。
潘芳芳
关键词：QUANTALE
Order Topology and Bi-Scott Topology on a Poset被引量：2
2011年
In this paper, some properties of order topology and bi-Scott topology on a poset are obtained. Order-convergence in posets is further studied. Especially, a sufficient and necessary condition for order-convergence to be topological is given for some kind of posers.
Bin ZHAO Kai Yun WANG
Quantale中的L-模糊滤子及其相关性质被引量：1
2013年
基于完备格L,在Quantale中引入了L-模糊滤子的概念,并研究了L-模糊滤子的基本性质.在L是闭集格的条件下,得到了Quantale中的L-模糊滤子的等价刻画;在L是空间式Frame且Q是幂等左半可换Quantale的条件下,证明了LQ上的生成滤子映射是Quantale核映射,进而全体L-模糊滤子构成的Quantale FilL(Q)是LQ的幂等的商Quantale;在Quantale中定义了L-模糊滤子拓扑,并得到了Quantale同态关于相应的L-模糊滤子拓扑连续的结论.
单晓伟刘妮
关键词：QUANTALE连续映射
Quantale上的左(右)蕴含核映射
2012年
为了进一步讨论Quantale内部结构之间的对应关系,我们首先引入了左(右)蕴含核映射的概念;其次讨论了左(右)蕴含核映射的一些性质,左(右)蕴含Quantale商的等价刻画,并且给出了一个映射是左(右)蕴含核映射的等式刻画。最后,证明了在预Girard quantale上左(右)蕴含核映射与右(左)理想余核之间是一一对应关系。
潘芳芳韩胜伟
关键词：QUANTALEQUANTALE
模态逻辑系统S5中相容理论的构造方法
2014年
在模态逻辑系统S5中借助公式的状态描述等概念,提出了一种从最简单的原子公式对应的相容理论开始,对于较复杂的公式形式,寻找恰当的状态描述,再将对应的存在状态加入最初的相容理论后仍相容的方法。
李璧镜
关键词：模态逻辑
全选 清除 导出
共3页<123>
聚类工具0