国家自然科学基金(11226266)
- 作品数：3 被引量：2H指数：1
- 相关作者：韩召伟李永明畅大为更多>>
- 相关机构：陕西师范大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 量子Bchi自动机的代数及逻辑刻画被引量：1
- 2013年
- 提出量子Bchi自动机(简记为LVBA)的概念,利用量子状态构造方法证明了一般LVBA与状态转移为经典函数的LVSBA间的相互等价性,籍此研究了量子无穷正则语言的代数刻画、层次刻画和Bchi刻画以及对于正则运算的封闭性;通过引入单体二阶量子逻辑(简记为LVMSO)的概念,给出量子Bchi自动机所识别无穷语言的单体二阶逻辑描述,深化和推广了量子逻辑意义下的Bchi基本定理.
- 韩召伟
- 关键词：量子逻辑
- 高阶2PPJ迭代收敛的充要条件
- 2019年
- 探讨线性方程组Ax=b的高阶2PPJ迭代收敛的充要条件。假设系数矩阵A的Jacobi矩阵特征值的平方为零或纯虚数,利用A的Jacobi矩阵特征值与高阶2PPJ迭代矩阵的关系,结合外插迭代引理,进一步给出此类方程组高阶2PPJ迭代收敛的充要条件。给出了2个数例对结论加以验证。
- 王晶畅大为马静
- 关键词：收敛性特征值JACOBI矩阵
- 量子Müller自动机与单体二阶量子逻辑被引量：1
- 2014年
- 给出量子Müller自动机(简称LVMA)的概念,通过引入量子有限步可识别语言和量子状态构造方法,证明了在量子逻辑意义下4类量子Müller自动机彼此相互等价.利用该等价性,建立了量子无穷正则语言的代数刻画和层次刻画,籍此研究了量子无穷正则语言关于无穷正则运算的封闭性.同时,给出了量子Müller自动机所识别语言的单体二阶逻辑描述,深化和推广了量子逻辑意义下的Büchi基本定理.
- 韩召伟李永明
- 关键词：量子逻辑正交模格
