祝祯祯
- 作品数：9 被引量：4H指数：1
- 供职机构：淮北师范大学数学科学学院更多>>
- 发文基金：国家自然科学基金安徽省自然科学研究项目更多>>
- 相关领域：理学更多>>
- 关于格上二元运算“-”的性质研究
- 2014年
- 在格上定义了二元运算"—",得到一些运算性质,通过给出分散完备格的概念与性质,得出分散完备格与关于"-"运算满足分配律的格的等价性的刻画,最后,并在格矩阵上也定义了二元运算"—",从而得到相关性质与结论.
- 祝祯祯卢涛
- 关键词：分配格格矩阵
- 伪相容连续Domain局部基的若干性质
- 2014年
- 本文引入了相容定向集的容元,容集,以及伪相容连续Domain的局部基的概念,在此基础上讨论了伪相容连续Domain中容元的局部基的特点,并对伪相容连续Domain的局部基的其他相关性质进行了探讨.
- 祝祯祯卢涛
- 关键词：局部基
- 关于格矩阵行列式的若干计算问题研究
- 2014年
- 在完全分配格上定义格矩阵以及格矩阵的行列式,给出格矩阵行列式的一些性质,并通过行列式的性质给出计算若干典型矩阵的行列式的方法.
- 祝祯祯卢涛
- 关键词：格矩阵行列式正交
- 完备格上交既约元的性质被引量：3
- 2014年
- 根据格上交既约元、完全交既约元的概念,定义了连续交既约元,给出了它们之间的联系与区别,进而得出完备格上交既约元的一些性质及相关结论.
- 祝祯祯卢涛
- 关键词：完备格
- 半连续dcpo的局部半基的若干理论
- 2015年
- 对连续格、半连续格、半连续dcpo等的相关定义与主要性质进行比较,得到它们的联系与区别,作出一些补充,并给出半连续dcpo的局部半基的概念,从而得到一些相关性质与结论.
- 祝祯祯卢涛
- 关键词：连续格半连续格
- 伪相容连续Domain的若干研究
- 2014年
- 根据相容的概念,定义了伪相容连续与伪相容连续的基,进而得出若干等价命题及相关性质的证明.最后介绍了在伪相容连续偏序集中一类特殊的相容定向集,并加以证明.
- 祝祯祯卢涛
- 伪补格上的弱Way-below关系
- 2014年
- 本文首先给出伪补格的定义,然后根据偏序集上Way-below关系的定义在伪补格上定义了弱Waybelow关系,并给出它的等价判定,从而得到伪补格上满足弱Way-below关系的元素的相关性质.
- 祝祯祯卢涛
- 格上矩阵的乘积运算性质被引量：1
- 2014年
- 本文根据经典格论中的交、并运算的定义,在有补的分配格L上定义了格上的二阶矩阵的乘积运算,并给出了格上矩阵乘积运算的运算性质,得到关于几类特殊格上矩阵的相关结论.
- 祝祯祯卢涛
- 关键词：传递矩阵自反矩阵对称矩阵幂等矩阵幂零矩阵
- 完全分配格上矩阵的若干研究
- 2014年
- 在完全分配格上定义了格矩阵,以及对称矩阵、幂等矩阵、逆矩阵等,通过给出了格矩阵的若干运算性质,讨论了有关对称矩阵、幂等矩阵的一些性质和定理,并给出证明.
- 祝祯祯卢涛
- 关键词：格矩阵对称矩阵幂等矩阵
