【摘 要】
：
本文展示了量子物理中一个状态-性质对偶关系的形式化.在性质方面,Piron证明了Piron格（最初被称为不可分解的命题系统）刻画了量子系统的可测试性质所组成的结构.在状态方面,我
【基金项目】
：
funded by China Scholarship Council(CSC),,supported by NSSFC Grant 14ZDB015
论文部分内容阅读
本文展示了量子物理中一个状态-性质对偶关系的形式化.在性质方面,Piron证明了Piron格（最初被称为不可分解的命题系统）刻画了量子系统的可测试性质所组成的结构.在状态方面,我们定义量子Kripke框架来刻画量子系统的状态在非正交关系之下所组成的结构.而且,我们定义了Piron格之间的线性态射,并把Piron格所组成的类组织成一个范畴.我们也定义了量子Kripke框架之间的连续同态,并把量子Kripke框架所组成的类组织成一个范畴.最后,我们证明了在范畴论的意义上Piron格所组成的范畴和量子Kripk
其他文献
从碾压混凝土的原材料、配合比、铺筑和碾压等方面，比较全面地介绍了龙滩水电站碾压混凝土的质量控制要点。
中风是老年人易患的疾病。但是,老年人若能每天吃一根香蕉,便会大大减少中风的发生机会,因为香蕉里富含钾。
时下,在各个大型商场,中型商店及个体经销店,到处都是琳琅满目的商品,这表明市场经济的发展带来了市场商品的极大丰富与繁荣。在这欣欣向荣的现象后面,也存在着一些诸如鱼目
针对无锡地铁粉细砂地层高承压水基坑,建立了基坑突涌塑性破坏的有限元计算模型,研究了基坑突涌塑性破坏受力变形特征,分析了承压水位降深和坑底土粘聚力对基坑突涌的影响。
分析了变压器内部故障保护方案之一的差动保护的不足，阐明了励磁涌流产生的机理，探讨了判别励磁涌流的方法。
随着生活水平的提高,传统的饮品——茶水、白开水已不能满足人们的消费心理而日遭冷落,取而代之的是各类具有时代特征的时兴饮料。目前市场上的饮料品种繁多,为了迎合消费者
本文结合现阶段大中型水电工程建设征地对小水电补偿的实施情况，举例分析、总结了小水电补偿设计中存在的问题，并就如何解决问题、缓解大中型水电站业主与小水电权属人之间的矛
上课班级大、人数增加给提高体育教学效果和质量带来了新的挑战。经过几年的教学实践证明，只要正确地诱导和培养学生学习动机，把学习主体已形成的潜在的学习需要充分调动起来，就
为了加强对产品质量的监督管理,明确产品质量责任,保护用户、消费者的合法权益,维护社会经济秩序,促进社会主义市场经济的发展,安徽省人大常委会1994年10月16日通过并公布施