量子Bchi自动机的代数及逻辑刻画

来源 :电子学报 | 被引量 : 0次 | 上传用户：0364jill2

【摘要】

：

提出量子Bchi自动机(简记为LVBA)的概念,利用量子状态构造方法证明了一般LVBA与状态转移为经典函数的LVSBA间的相互等价性,籍此研究了量子无穷正则语言的代数刻画、层次刻

【作者】

：

韩召伟

【机构】

：

陕西师范大学数学与信息科学学院;

【出处】

：

电子学报

【发表日期】

：

2013年06期

【关键词】

：

量子逻辑量子Bchi自动机量子无穷正则语言代数刻画单体二阶量子逻辑 Bchi定理

【基金项目】

：

国家自然科学基金(No.11271237);国家自然科学基金数学天元专项基金(No.11226266);陕西师范大学科研启动基金(No.999553)

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

提出量子Bchi自动机(简记为LVBA)的概念,利用量子状态构造方法证明了一般LVBA与状态转移为经典函数的LVSBA间的相互等价性,籍此研究了量子无穷正则语言的代数刻画、层次刻画和Bchi刻画以及对于正则运算的封闭性;通过引入单体二阶量子逻辑(简记为LVMSO)的概念,给出量子Bchi自动机所识别无穷语言的单体二阶逻辑描述,深化和推广了量子逻辑意义下的Bchi基本定理.

其他文献

谈《茶经》

成书于8世纪的陆羽《茶经》,是全世界第一部较完整的茶叶专著。它凝聚了陆羽一生的心血,对促进唐代及后世茶业发展起到了巨大的推动作用。但作为时代产物并不是十全十美,历代

期刊

茶经陆羽茶文化

自主机器人视觉与行为模型及避障研究

主动的障碍物探测与避障行为控制一直是自主机器人的重点研究课题 .在以往的研究中 ,机器人的视觉系统与电动机驱动系统往往是各自独立的构成控制体系 ,人们很少关注它们之间

期刊

视觉与行为模型动态避障强化学习光流场

面向个体的分类型公交通勤行为影响因素研究

公共交通通勤乘客出行行为受诸多因素影响,明确不同类型乘客的出行行为影响因素,有助于准确分析乘客出行需求,促进公共交通运营调度优化.基于RP调查数据和北京市公共交通多源

期刊

公共交通通勤乘客出行行为影响因素结构方程模型

一种自适应离散粒子群算法及其应用研究

本文提出了一种改进的离散粒子群算法.为了克服算法的早熟收敛问题,引入了一个排斥过程用于增加群体的多样性,提出了一种控制群体多样性的准则,实现了算法运行过程中吸引和排

期刊

粒子群算法作业调度群体多样性

不均匀流动磁流体发电机的特性与研究进展

本文分析不均匀流动磁流体发电机实现高焓取出率的机理，述评研究进展，最后讨论需要解决的关键问题。

期刊

不均匀流动磁流体发电机等离子体凝块

浅谈血液透析患者护理中的人文关怀

目的探讨我科血液透析患者护理人文关怀的重要性。方法统计2012年1月至2013年1月血液透析患者130例,护理上注重基础护理的同时对患者关心、尊重,在工作中注意细节体现出人

期刊

人文关怀血液透析护理

磁流体／蒸气联合循环系统分析软件包的微机移植

本文描述了磁流体／蒸气联合循环系统分析软件包植移的具体方法，着重阐述其技术处理，并以一系标准算例作验证，其微机计算结果与ＶＡＸ机计算结果完全相同，证明移植成功

期刊

软件包微机移植技术处理

考虑枕效应的网状可展开天线电性能预测

提出了一种预测网状可展开天线电性能的数值计算方法.针对网状可展开天线采用三角形拼合的这一特点,首先从结构力学出发确定天线枕效应变形,然后采用巴斯卡图插值进行面片网

期刊

网状可展开天线枕效应网格划分电性能

巴特的族群理论述评

族群研究的重点是族群边界问题,族群边界的作用在于组织、沟通、结构和规范人们之间的互动。族群认同在于自识和他识,只要人们在互动中保持族群认同,就会确立其成员的标准和

期刊

巴特族群族群边界族群认同社会组织

热化学再生磁流体发电系统──烧煤磁流体发电研究技术路线探讨

本文简要回顾了磁流体发电研究发展的历史，讨论热化学再生磁流体发电系统的特点和意义，这一系统有可能导致烧煤磁流体发电技术的新突破。

期刊

热化学再生快速热解煤渣

量子Bchi自动机的代数及逻辑刻画

与本文相关的学术论文