梁少辉
- 作品数：27 被引量：61H指数：5
- 供职机构：西安科技大学理学院更多>>
- 发文基金：国家自然科学基金博士科研启动基金陕西省教育厅科研计划项目更多>>
- 相关领域：理学医药卫生更多>>
- 双Quantale模中的同余及核映射被引量：1
- 2011年
- 作者给出了双Quantale模的定义,讨论了双Quantale模的一些相关性质并在此基础上给出了双Quantale模中的同余及核映射的概念,探讨了它们的一些性质,得到了双Quantale模的满同态像同构于某一双Quantale模核映射,证明了双Quantale模上所有的同余构成的完备格与所有的核映射构成的完备格是同构的.
- 梁少辉赵彬
- 关键词：同余核映射同构
- E-quantale范畴
- 2015年
- 引入了E-quantale的定义及其一些相关概念,讨论了E-quantale的一些重要性质。证明了Quantale的幂集和E-quantale的乘积均可构成E-quantale,给出了Quantale的一种自然扩张,由E-quantale可以扩张成一个Quantale。在Quantale子范畴和E-quantale范畴之间定义了一个嵌入函子K,并在函子K与遗忘函子U之间构造了一个自然变换,证明了在一定条件下一个E-quantale和某个单位Quantale的幂集同构。
- 梁少辉
- 关键词：QUANTALE函子自然变换
- 连续Quantale与双Quantale模范畴
- 自从C．J．Mulvey于1986年提出Quantale概念以来，Quantale理论受到了数学家和逻辑学家的关注。对它的研究涉及到非交换C~*-代数，环的理想理论，逻辑和计算机科学等诸多领域。Quantale自身具有丰...
- 梁少辉
- 文献传递
- Quantale中的模糊滤子被引量：6
- 2010年
- 在Quantale中引入模糊滤子的概念,研究了它的一系列性质,得到了若干等价刻画,讨论了Quantale中滤子和模糊滤子之间的相互确定关系,证明了Quantale态射既保模糊滤子又反射模糊滤子。给出了模糊滤子在Quantale态射下的像的具体结构。
- 王顺钦梁少辉
- 关键词：完备格QUANTALE线性逻辑滤子模糊滤子
- 格蕴涵代数中的极小素理想及α-理想被引量：1
- 2018年
- 在格蕴涵代数中,证明了极小素理想与极小格素理想的等价性,继而给出了极小素理想与零化子的相互表示定理。提出了格蕴涵代数中的α-理想概念并给出其若干等价刻画,证明了极小素理想是α-理想。证明了全体素α-理想之集S_α(L)是一个紧的Stone空间,进一步给出S_α(L)分别是T_1、T_2拓扑空间的充要条件。
- 孟彪龙付巧峰梁少辉
- 关键词：零化子拓扑空间
- 格蕴涵代数上的相对零化子被引量：1
- 2017年
- 在格蕴涵代数中,提出对合理想的概念,证明全体对合理想之集是一个完备Boolean格;继而提出相对零化子概念,研究它的若干性质,证明相对于某一固定点的全体零化子之集是一个完备格;并用相对零化子给出理想的一个分解定理,证明格蕴涵代数的素理想定理。
- 孟彪龙辛小龙付巧峰梁少辉
- 关键词：零化子完备格
- 带90°相位差电连接过渡件的新结构
- 本实用新型要解决的技术问题是提供一种带90°相位差电连接过渡件的新结构，该新结构包括铜芯，连接铜芯的接触件和接触件插入室，所述铜芯中间两侧设置有导电性过渡件，在铜芯的周向设置有绝缘管，所述导电性过渡件外设置有连接绝缘管。...
- 梁少辉
- 文献传递
- 一种固、液两用实验室容器的新结构
- 本实用新型要解决的技术问题是提供一种可拆卸的，固、液两用实验室容器的新结构，该新结构包括箱体，箱体设置有可打开部分和固定部分，所述固定部分含有向其一侧延伸的水平方向的前端，所述前端设置有可拆卸溶液槽，溶液槽通过固定端固定...
- 梁少辉
- 文献传递
- Dcpo上的辅助序与拓扑
- 2007年
- 目的讨论Dcpo上的辅助序与拓扑的关系。方法利用映射的复合。结果通过映射建立了Dcop上的辅助序与拓扑之间的联系。结论可以由Dcop上的一个逼近的辅助序通过映射构造出一个拓扑,反过来,通过一个拓扑也可以构造出一个辅助序,从而把辅助序和拓扑联系起来。
- 梁少辉
- 关于Quantale矩阵M-P广义逆的注记被引量：1
- 2011年
- 主要指出文[1]关于M-P广义逆若干定理成立遗漏的条件,并在文[1]的基础上对M-P广义逆进行深入研究,得到关于Quantale矩阵M-P广义逆的一些新结论。
- 韩胜伟梁少辉
- 关键词：QUANTALE矩阵
