国家自然科学基金(11001158)

作品数：22被引量：10H指数：2
导出分析报告
相关作者：刘妮韩胜伟潘芳芳李璧镜陈阳更多>>
相关机构：陕西师范大学宝鸡文理学院西安邮电大学西安邮电学院更多>>
相关期刊：《数学的实践与认识》《安徽农业科学》《山东大学学报（理学版）》《计算机工程与应用》更多>>
相关主题：QUANTALE核映射模态逻辑校园绿化半格更多>>
相关领域：理学农业科学建筑科学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
不可约Quantale
《计算机工程与应用》2016年第18期51-53,共3页潘芳芳 
国家自然科学基金(No.11001158);西安邮电大学青年教师科研基金项目(No.ZL2014-38);陕西省教育厅专项科研计划(No.15JK1667)
研究了Quantale上(强)伪同余的性质,讨论了伪同余与核映射的关系;引入了不可约Quantale的概念;利用伪同余给出了不可约Quantale的一般刻画。
关键词：QUANTALE (强)伪同余 不可约Quantale 
Z-半代数格及Z-半Scott拓扑
《模糊系统与数学》2015年第3期1-7,共7页李冰 刘妮 
国家自然科学基金资助项目(11001158);中央高校基本科研业务费专项资金资助项目(GK201302003)
在Z-双小于关系的基础上定义了Z-紧元并依此引入了Z-半代数格及强Z-代数格的概念,证明了一定条件下Z-半代数格的闭包算子的像还是Z-半代数格,强Z-代数格与其Z-紧元集的Z-理想集是同构的。最后,研究了Z-半连续格和Z-半Scott拓扑的基本性质。
关键词：Z-紧元 Z-半代数格 Z-半Scott拓扑 收缩 
D-半群上的拓扑
《南阳师范学院学报》2014年第9期1-3,21,共4页潘芳芳 曹文营 王顺钦 
国家自然科学基金资助项目(11001158);西安邮电大学青年教师科研基金项目(ZL2014-38);河南省基础与前沿技术研究计划项目(132300410477)
研究D-半群的结构性质.借助于Rees序,建立了D-半群范畴和序半群范畴之间的函子,并证明了幂等可换半群范畴ICSGr是D-半群范畴DSGr的余反射子范畴,同时,也研究了D-半群S上的右理想拓扑τS,证明了(S,τS)是T0-空间当且仅当S是幂等可换的半...
关键词：D-半群 Rees序 序半群 T0-空间 范畴 
模糊DCPO范畴的一个笛卡尔闭的满子范畴被引量：1
《模糊系统与数学》2014年第6期9-15,共7页刘妮 胡亚立 
国家自然科学基金资助项目(11001158);中央高校基本科研业务费专项资金项目(GK201002025)
引入了有界完备模糊dcpo的概念,研究了有界完备模糊dcpo的基本性质。证明了当赋值格L是Frame时,以模糊Scott连续映射为态射的有界完备模糊dcpo范畴BC-FDCPO是以模糊Scott连续映射为态射的模糊dcpo范畴FDCPO的笛卡尔闭子范畴。同时还给...
关键词：有界完备模糊dcpo 笛卡尔闭范畴 模糊完备交半格 模糊Scott连续映射 
模态逻辑系统S5中相容理论的构造方法
《计算机工程与应用》2014年第20期20-23,29,共5页李璧镜 
国家自然科学青年基金(No.11001158);宝鸡文理学院重点科研项目(No.ZK1047)
在模态逻辑系统S5中借助公式的状态描述等概念,提出了一种从最简单的原子公式对应的相容理论开始,对于较复杂的公式形式,寻找恰当的状态描述,再将对应的存在状态加入最初的相容理论后仍相容的方法。
关键词：模态逻辑 相容理论 存在状态 状态描述 
Quantale上的伪同余被引量：1
《山西师范大学学报（自然科学版）》2014年第3期1-4,共4页潘芳芳 韩胜伟 
国家自然科学基金资助项目(11001158);中央高校基本科研业务费专项资金资助(GK201402001);西安邮电大学青年教师科研基金项目(ZL2014-38)
为了研究Quantale内部结构,我们首先在Quantale上引入了伪同余的概念;讨论了伪同余与同余的关系;最后借助于伪同余,建立了Quantale与序半群之间的联系.
关键词：QUANTALE 核映射 同余 伪同余 
模态逻辑系统S5中极大相容理论的结构刻画被引量：1
《电子学报》2014年第8期1551-1555,共5页李璧镜 
国家自然科学青年基金(No.11001158);宝鸡文理学院重点科研项目(No.ZK1047)
在模态逻辑系统S5中提出了任意一模态公式关于一个极大相容理论的存在状态及状态描述等一系列概念,并且借助状态描述这一工具研究了相容理论的相容扩张,最后给出了模态逻辑系统S5中极大相容理论的一个结构刻画,证明了任何一个极大相容...
关键词：模态逻辑 极大相容理论 存在状态 状态描述 
模糊C-连续格被引量：1
《模糊系统与数学》2014年第2期95-103,共9页冯娟娟 刘妮 
国家自然科学基金资助项目(11001158);中央高校基本科研业务费专项(GK201002025)
在模糊完备格上定义了模糊beneath关系、模糊beneath紧元,并引入了模糊C-连续格和模糊C-代数格的概念,证明了它们分别是分明C-连续格和C-代数格的一种推广。讨论了模糊C-连续格上模糊beneath关系的性质,并利用模糊Galois伴随给出了模糊C...
关键词：模糊Scott闭集 模糊C-连续格 模糊Galois伴随 
模糊Quantale上的模糊同余关系及其同构定理
《陕西师范大学学报（自然科学版）》2014年第2期18-22,共5页贾巧会 刘妮 
国家自然科学基金资助项目(11001158);中央高校基本科研业务费专项资金项目(GK201002025)
在模糊Quantale上引入模糊同余关系的概念,证明了模糊Quantale上的模糊同余关系与模糊核映射是一一对应的,而且模糊同余关系之集模糊序同构于该模糊Quantale上的模糊核映射之集.基于模糊同余关系引入商模糊Quantale的概念,证明了任一模...
关键词：模糊偏序集 模糊Quantale 模糊同余关系 模糊核映射 
模糊预Dual quantale
《模糊系统与数学》2014年第1期57-64,共8页李艳 刘妮 
中央高校基本科研业务费专项(GK201002025);国家自然科学基金青年项目(11001158)
给出了模糊预Dual quantale的定义,讨论了它的一些性质,并证明了模糊Dual quantale恰好是含有单位元的的模糊预Dual quantale。最后讨论了模糊预Dual quantale上L-核映射和L-理想余核的关系,证明了在一类特殊的模糊预Dual quantale-模糊...
关键词：模糊预Dual QUANTALE 模糊预Girard QUANTALE L-核映射 L-理想余核 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部