【摘 要】
：
为了刻画开放量子系统的量子属性,扩展现有的量子马尔可夫链是有必要的.通过构建Exogenous量子算子逻辑,定义了Exogenous量子马尔可夫链.作为新型量子马尔可夫链,重点研究了4
【机 构】
：
陕西师范大学计算机科学学院,福建农林大学计算机与信息学院
【基金项目】
：
国家自然科学基金(11271237,61228305);福建省自然科学基金资助项目(2016J01283);福建省教育厅中青年教师教育科研项目(JA13115)~~
论文部分内容阅读
为了刻画开放量子系统的量子属性,扩展现有的量子马尔可夫链是有必要的.通过构建Exogenous量子算子逻辑,定义了Exogenous量子马尔可夫链.作为新型量子马尔可夫链,重点研究了4种可达性公式,给出可达性公式可满足性问题的求解,并分析了它们的可判定性问题.作为应用,实例说明广义量子Loop程序的终止问题可以归结为Exogenous量子马尔可夫链的最终可达性,进而通过检测量子公式可满足性来判定程序的终止问题.
其他文献
总结介绍太阳能热水器行业中热水器内胆的焊接方法及工艺,重点阐述常压太阳能真空集热管式热水器内胆的常用焊接方法中的钨极氩弧焊和电阻缝焊、钨极氩弧焊和电阻缝焊焊接工
我国图书馆事业自建国以来迅速发展，但与国外发达国家的图书馆事业相比还有很大差距。其中，对于读者权利的保护是需要弥补的一个重要缺陷。与之相关的理论建设方面，没有形成一套
公立医院作为卫生服务体系中最重要的组成部分,是实现卫生事业公益性的重要依托。但伴随着我国卫生体制改革的开展与推进,医疗服务行业出现了片面套用企业化运作模式,过度地
本文分析比较幅流式二沉池不同池型的流态,认为幅流式宜为设计选用池型,并结合工程设计实例,介绍了絮凝—沉淀新工艺在幅流式二沉池中的一种应用方法。
目的探讨动脉内溶栓联合血管成形术治疗椎-基底动脉系统缺血性卒中6 h内患者的疗效及安全性。方法收集2006年4月—2012年2月椎-基底动脉系统急性缺血性卒中(发病时间<6 h)患
<正>文旅融合之后,城市之间的竞争日趋激烈。城市要想在竞争中取胜,要想创造、提升自我价值、增益其核心竞争力,就必须以城市为营销主体,运用现代化市场手段,通过对城市经济
通过庆阳环县农村饮用水水源地的实地考察及其水源水质的监测,分析环县东南部的曲子镇、木钵镇和樊家川乡饮用水水源现状,并根据实际情况提出具体可行的水源保护措施.
<正>目的探讨血型不合肝移植治疗肝功能衰竭的可行性和疗效。方法回顾性分析本中心包括21例血型不合在内的66例肝移植治疗肝功能衰竭的临床资料,包括 MELD 评分、生存率和主
民国初期，蒙古地区处于严重危急局面。袁世凯当政之后，采取种种羁縻笼络和软硬兼施手段，初步稳定了内蒙古局势。又通过谈判等手段，至少在形式上恢复了中国在外蒙古和呼伦贝尔的主