张丽霞
- 作品数：7 被引量：4H指数：1
- 供职机构：安庆师范学院数学与计算科学学院更多>>
- 发文基金：安徽省优秀青年科技基金国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 直觉模糊同步机与最小化被引量：1
- 2013年
- 提出了具有输入和输出功能的直觉模糊同步机的概念,研究了直觉模糊同步机直觉容许关系、等价关系、同态的若干性质。在直觉模糊同步机同构的基础上,得到了极小化直觉模糊同步机。
- 王拥兵张丽霞
- 关键词：直觉模糊集等价同余
- 交换QF环上的有限生成模
- 2010年
- 给出了QF环上模的一些特征,刻画了交换QF环上的有限生成模,得出了交换QF环上的有限生成模的相关性质,并进一步讨论了交换QF环上的有限生成模对直和以及取直和项,上述性质仍然保持.
- 张丽霞杜先能王拥兵
- 关键词：有限生成模QF环投射模内射模GORENSTEIN投射模
- Gorenstein投射模与内射模
- 本文主要研究了Gorenstein内射模与Gorenstein投射模这两类特殊的模及其相关性质，并且对QF-环上的模进行了刻画，讨论了交换QF-环上的有限生成模满足条件时既是投射模和内射模，又是Gorenstein投射模...
- 张丽霞
- 关键词：GORENSTEIN内射模GORENSTEIN投射模
- 文献传递
- Gorenstein内射模和Gorenstein内射维数
- 2011年
- 作为特殊的交换Noetherian环——具有对偶模的局部Cohen-Macaulay环上的Gorenstein内射模和Goren-stein内射维数性质的推广,本文研究了一般结合环上Gorenstein内射模和Gorenstein内射维数的性质。
- 张丽霞
- 关键词：GORENSTEIN内射模
- 加权有穷自动机的代数性质被引量：3
- 2014年
- 在加权有穷自动机理论基础上,利用强同态的概念,证明两个加权有穷自动机在计算能力上是等价的,并在加权有穷自动机的状态集上建立一种等价关系,得到加权有穷自动机的商自动机,证明加权有穷自动机与其商自动机在计算能力上也是等价的。并通过引入加权有穷自动机的可交换性、分离性、(强)连通性及层的概念,讨论在(强)同态的条件下,两个加权有限状态机之间的可交换性、分离性、(强)连通性及层的关系。
- 张丽霞
- 关键词：形式幂级数同态强连通
- 基于量子逻辑的确定型正则文法
- 2013年
- 基于量子逻辑的文法理论是量子计算模型的一个重要研究方向。给出了基于量子逻辑的确定型正则文法的概念,证明了基于量子逻辑的确定型正则文法与基于量子逻辑的确定型自动机的等价性。利用此等价性,给出了量子确定正则语言的代数刻画和层次刻画,并得到量子确定正则语言关于正则运算的封闭性。
- 王拥兵张丽霞雷红轩
- 关键词：量子逻辑正交模格
- 加权有穷自动机的代数性质
- 算机科学中，白动机用作计算过程的动态数学模型，用来研究计算机的体系结构、逻辑操作、程序设计乃至计算复杂性理论。1961年，S chutzenberge:首先提出了加权自动机的概念，并提出了半环上的形式幂级数的概念，证明了...
- 张丽霞
- 关键词：形式幂级数连通性
