中央高校基本科研业务费专项资金(GK201002025)
- 作品数：7 被引量：3H指数：1
- 相关作者：刘妮胡亚立梁少辉冯娟娟韩胜伟更多>>
- 相关机构：陕西师范大学西安科技大学更多>>
- 发文基金：中央高校基本科研业务费专项资金国家自然科学基金博士科研启动基金更多>>
- 相关领域：理学更多>>
- 关于Quantale矩阵M-P广义逆的注记被引量：1
- 2011年
- 主要指出文[1]关于M-P广义逆若干定理成立遗漏的条件,并在文[1]的基础上对M-P广义逆进行深入研究,得到关于Quantale矩阵M-P广义逆的一些新结论。
- 韩胜伟梁少辉
- 关键词：QUANTALE矩阵
- 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连续映射
- 模糊C-连续格被引量：1
- 2014年
- 在模糊完备格上定义了模糊beneath关系、模糊beneath紧元,并引入了模糊C-连续格和模糊C-代数格的概念,证明了它们分别是分明C-连续格和C-代数格的一种推广。讨论了模糊C-连续格上模糊beneath关系的性质,并利用模糊Galois伴随给出了模糊C-连续格的一个等价刻画。
- 冯娟娟刘妮
- 拟阵范畴的一个反射子范畴
- 2012年
- 对简单拟阵范畴(以强映射为态射,以全体简单拟阵为对象的范畴)与拟阵范畴(以强映射为态射,以全体拟阵为对象的范畴)之间的关系进行了研究.证明了任意拟阵的简单化拟阵与该拟阵在平行相等关系下的商拟阵同构,构造了从简单拟阵范畴到拟阵范畴的含入函子的左伴随,从而证明了简单拟阵范畴是拟阵范畴的一个反射的满子范畴.
- 刘妮
- 关键词：反射子范畴
- 模糊DCPO范畴的一个笛卡尔闭的满子范畴被引量：1
- 2014年
- 引入了有界完备模糊dcpo的概念,研究了有界完备模糊dcpo的基本性质。证明了当赋值格L是Frame时,以模糊Scott连续映射为态射的有界完备模糊dcpo范畴BC-FDCPO是以模糊Scott连续映射为态射的模糊dcpo范畴FDCPO的笛卡尔闭子范畴。同时还给出了模糊完备交半格、强模糊完备交半格的定义,并研究了它们与有界完备模糊dcpo之间的关系。
- 刘妮胡亚立
- 模糊预Dual quantale
- 2014年
- 给出了模糊预Dual quantale的定义,讨论了它的一些性质,并证明了模糊Dual quantale恰好是含有单位元的的模糊预Dual quantale。最后讨论了模糊预Dual quantale上L-核映射和L-理想余核的关系,证明了在一类特殊的模糊预Dual quantale-模糊预Girard quantale上L-核映射和L-理想余核是一一对应的。
- 李艳刘妮
- 关键词：QUANTALEQUANTALE
- 模糊Quantale上的模糊同余关系及其同构定理
- 2014年
- 在模糊Quantale上引入模糊同余关系的概念,证明了模糊Quantale上的模糊同余关系与模糊核映射是一一对应的,而且模糊同余关系之集模糊序同构于该模糊Quantale上的模糊核映射之集.基于模糊同余关系引入商模糊Quantale的概念,证明了任一模糊Quantale同余关系诱导的模糊Quantale商与基于该模糊同余关系的商模糊Quantale是同构的.
- 贾巧会刘妮
- 关键词：模糊同余关系
