论文部分内容阅读
摘要：基于量子逻辑的文法理论是量子计算模型的一个重要研究方向。给出了基于量子逻辑的确定型正则文法的概念，证明了基于量子逻辑的确定型aY-．~4文法与基于量子逻辑的确定型自动机的等价性。利用此等价性，给出了量子确定正则语言的代数刻画和层次刻画，并得到量子确定正则语言关于正则运算的封闭性。
基于量子逻辑的确定型正则文法
【摘 要】
：
摘要：基于量子逻辑的文法理论是量子计算模型的一个重要研究方向。给出了基于量子逻辑的确定型正则文法的概念，证明了基于量子逻辑的确定型aY-．~4文法与基于量子逻辑的确定型自
【机 构】
：
安庆师范学院数学与计算科学学院,内江师范学院数学与信息科学学院
【出 处】
：
计算机工程与科学
【发表日期】
：
2013年9期
【基金项目】
：
安徽省优秀青年人才基金项目（2011SQRL097）,安庆师范学院青年科研基金项目（KJ201214）
其他文献
针对传统混合蛙跳算法存在收敛速度慢、容易陷入局部最优和搜索精度不高的缺陷，提出了基于三角函数搜索因子的混合蛙跳算法。该算法将基于三角函数搜索因子的局部进化策略和产
访问控制模型为系统的信息安全提供了一个理论框架,其目的是保护系统资源不被非法用户盗用,防止合法用户对受保护信息进行非法使用。然而,现有的访问控制模型大部分属于静态
由于全球变暖,冰川正逐年退缩,随之引发的冰湖溃决洪水已不容忽视,但静态和孤立地研究冰湖已不能满足人们对冰湖信息的需求,本文基于20世纪70年代的地形图数据和2000年以来的ASTER遥感影像数据,使用GIS手段矢量化朋曲流域20世纪70年代和近期的冰川及冰湖的空间分布,并进行编目。对于获得的空间数据分析结果表明,在过去30年里该区冰川面积减少近9％,冰湖面积则增加了13％,在此基础上比较二者的联系
随着系统生物学的兴起和迅速发展,为了探索不同生物层次信息之间的关联关系,对不同层次生物科学计算数据综合可视化的需求日益迫切。提出了一种通过构建集成框架实现分子结构与基因组序列数据的综合可视化方法。综合可视化集成框架可实现不同层次可视化工具统一管理以及统一用户交互界面,通过定义关联数据描述方法,建立已有的分子结构与基因组序列数据间的关联性,有效支持分子结构数据与基因序列数据的综合可视化功能开发。应用
用P2O5和Ca(NO3)2作为前驱体溶液,将溶胶-凝胶法与氧化铝模板(AAO)技术相结合,大面积制备出结构均匀、晶相一致、彼此平行且高度有序的羟基磷灰石(HAP)纳米线.结果表明,通过
用60 MeV的18O8+离子照射UO2(NO3)2,靶子物质溶于王水.经 (φ=20%TBP-C6H6萃取,浓盐酸沉淀,0.4 mol/L的HDEHP-n-heptane萃取,8 mol/L的HCl反萃,得到了含有12种稀土元素的18种
报道了一种新型的多层阳极结构在电致发光器件中的应用,其结构为ITO/Ag/ITO,该阳极表面方块电阻为2 Ω/口.制成器件的结构为ITO/Ag/ITO/TPD:PVK/Alq/Al,在同样测试条件下,测
我国第三代短波通信技术的研究仍处于起步阶段,并且国内的大多短波通信系统都是基于第二代的短波通信标准.相比于第二代短波通信的数据链路协议,第三代短波通信的自动链路建
磺胺类药物是一类具有广谱抗菌活性的化学药物,广泛地应用于人和动物细菌性疾病的治疗和预防.磺胺类药物不合理使用导致其在动物产品中残留,将严重危害人类健康.免疫分析方法
求解支持向量机的核心问题是对一个大规模凸二次规划问题进行求解。基于支持向量机的修正模型,得到一个与之等价的互补问题,利用Fischer-Burmeister互补函数,从一个新的角度