邱道文
- 作品数:28 被引量:78H指数:6
- 供职机构:中山大学更多>>
- 发文基金:国家自然科学基金广东省自然科学基金国家杰出青年科学基金更多>>
- 相关领域:理学自动化与计算机技术更多>>
- 和不分明化拓扑的若干性质
- 1994年
- 本文给出了不分明化拓扑中“和拓扑空间Σs∈S(Xs,Js)是紧的(Ti(i=0,1,2,3,4)、第一、二可数、局部紧和局部连通)当且仅当每个空间(Xs,Js)是紧的(Ti(i=0,1,2,3,4)、第一、二可数、局部紧和局部连通)”等几个定理。
- 邱道文
- 关键词:不分明化拓扑紧性分离性可数性
- 一类Hardy空间的分子刻划被引量:1
- 2000年
- 基于各种等价的离散Hardy空间Hp(Z),进一步讨论其原子分解,定义离散Hardy空间Hp,q,s0(Z)(0
- 邱道文
- 关键词:HARDY空间原子分解齐型空间算子有界性
- 不分明化拓扑中的不连通性被引量:1
- 1995年
- 本文给出了不分明化拓扑中遗传不连通、零维性、极不连通等概念及其相关的一些性质。
- 邱道文
- 关键词:不分明化拓扑极不连通
- 不分明化拓扑中局部连通性的若干性质被引量:2
- 1992年
- 本文给出了不分明化拓扑中局部连通的概念,讨论了它的若干性质,特别地得到了定理:不分明化拓扑空间的乘积空间是局部连通的当且仅当每个因子空间是局部连通的,而且除了有限个因子空间外都是连通的.
- 邱道文沈继忠
- 关键词:不分明化拓扑
- 不分明化拓扑线性空间(Ⅱ)
- 1998年
- 给出了不分明化拓扑线性空间中有界性、完全有界性和紧性的概念,得到了其紧性的刻划定理。
- 邱道文
- 关键词:紧性
- 覆盖式不分明仿紧性
- 1998年
- 利用包含度提出了覆盖式不分明仿紧性,并说明了它有好的推广,而且它等价于已有的各种不分明仿紧性.然后在此框架下给出几个与局部有限性紧密相关的覆盖引理,从而得到了主要结果。
- 邱道文马剑兰
- 关键词:不分明拓扑仿紧性
- 基于绝热量子演化的量子纠缠态制备
- 量子纠缠态的准备是量子计算和量子通信必须面对的、具有挑战性的难题。最近的研究表明,绝热量子Grover搜索算法的初始态和末态都是积态,但其中间态一直处于纠缠态。受此结果启发,本文提出了一种基于绝热量子演化的量子纠缠态制备...
- 文家焱邱道文
- 关键词:量子纠缠态
- 文献传递
- 量子自动机的刻画被引量:6
- 2003年
- 澄清了各类量子自动机之间的相互关系,并给出了量子自动机的各种等价刻画定理.引入G-量子自动机、g-量子自动机、(广义)量子自动机及G-量子文法和g-量子文法,并阐明了它们与其他量子自动机之间的等价关系.在一定条件下讨论了G(g)-量子自动机与G(g)-量子文法的等价性,从而解决了关于量子文法产生量子正规语言的问题.讨论了量子语言与正规语言的关系,特别是回答了Gudder提出的两个公开问题.最后,给出了一种减少状态空间维数的方法.
- 邱道文
- 关键词:自动机理论文法正规语言
- 基于量子逻辑的自动机和文法理论被引量:17
- 2003年
- 初步建立了基于量子逻辑的自动机和文法理论的基本框架.引入了量子文法(称为l值文法),特别是证明了任意l值正规文法生成的语言(称为量子语言)等价于某种基于量子逻辑且含动作e的自动机(称为l值自动机)识别的语言,反之,任意l值自动机识别的语言等价于某l值正规文法生成的语言.建立了l值泵引理,并得到量子语言的判定性刻画.最后简要讨论了正规文法与量子文法(即l值正规文法)的关系.因此,为进一步研究更复杂的量子自动机(如量子下推自动机和Turing机)和量子文法(如量子上下文无关文法和上下文有关文法)奠定了基础.
- 邱道文
- 关键词:量子逻辑自动机计算机科学
- 关于覆盖式不分明紧性被引量:1
- 1998年
- 给出了不分明拓扑(fts)中覆盖式紧性的主要性质。
- 邱道文
- 关键词:不分明拓扑紧性弱诱导空间