直觉主义视角下量子逻辑的进一步解释

量子计算机将成为计算机科学未来的发展方向之一,量子逻辑是反映量子计算与量子信息的数学基础。Von Neumann用希尔伯特空间的闭子空间表示量子物理系统的性质,构成正交模格,其元素有明确的物理意义,但无法刻画叠加性质;Bob Coecke填加析取元素来表示叠加性质,借助Heyting代数,基于正交模格构造命题格对量子逻辑进行刻画,命题格中元素有明确的数学含义,但物理意义不够明确。针对后者,文中对命题格中元素的物理含义做出了进一步的解释,认为补充的析取元素代表的物理意义为描述叠加性质时所依赖的"观察者视角",使得命题格中所有元素都获得了清晰的物理含义,通过阐述量子逻辑在测量时的应用,为量子计算中的隐形传态、超距同步等技术提供了重要的理论依据。     

原油发泡问题研究进展

介绍了泡沫的基本性质与原油泡沫的特点,阐述了原油泡沫形成及稳定性机理的研究现状,归纳了国内外对于原油泡沫的实验研究方法,结合实验方法总结了原油组成、温度、气体性质等影响原油泡沫形成与稳定的因素,基于研究现状展望了今后的研究方向,指出原油泡沫的稳定机理与机械作用对泡沫的影响仍有待研究,且目前缺少贴合现场实际的原油泡沫测试方法。     

温柔地诉说 莫干山入云餐厅

<正>入云餐厅位于莫干山景区。建筑主体是一座钢木混搭的老楼,设计师受托对其进行改造设计,为当地这家20年的餐饮老店重新“整装出发”。原建筑所在的场地东侧紧挨着居民楼,西侧视野开阔,北面是大片竹林,南面则是内部的草坪。建筑内部木梁、柱子、栏杆、门窗等错综复杂,所以,使建筑主体有效回应场地环境以及对内部结构的梳理是本次设计的切入点。     

基于城市联系度的武汉城市圈动态发展研究北大核心

在区域一体化的时代背景下,以人流、物流为表现形式的有形交通流和以信息流、资金流为表现形式的无形经济流共同决定了城市间的联系度强弱,进而决定了城市群的空间职能结构。交通流和经济流必须相互匹配,城市群才能健康、稳定地发展。基于此,文章选取2010年及2013年武汉城市圈的相关数据,分析三年来其内部交通流、经济流强度的变化情况,并从交通流与经济流耦合的角度对城市联系度进行综合评价和动态分析,发现武汉城市圈处于单核心集聚的初级阶段,武汉市的经济流与交通流的耦合程度增加,而其他城市仍然处于不耦合状态。根据研究结果,文章提出武汉城市圈空间结构的优化建议,以期实现城市圈的健康稳定发展。     

Inconel 625 合金粉末的雾化制备方法对比

分别采用旋转电极、等离子雾化、无坩埚雾化、真空气雾化、水雾化制备出了Inconel 625粉末。对粉末的球形度、流动性、松装密度、氧含量等性能进行了对比。结果表明,旋转电极方法制备的Inconel625粉末球形度最好,均匀性最佳,但是较难制备出细粒径粉末。无坩埚雾化制备出的粉末性能综合性能相对较好,能够制备出球形度较好的较西粒径粉末。水雾化法制备出的粉末氧含量及球形度等性能最差。     

适用于智能家居的格上基于身份多方认证密钥协商协议

随着物联网应用的日益普及,物联网设备终端数量激增、种类多样、层次复杂,常处于不可控的环境之中,因此,确保数据传输过程的安全性和隐私性至关重要。对基于物联网架构的智能家居服务进行探讨得出,启用智能家居应用需涉及多个方面,如用户、云、物联网智能集线器(the IoT smart hub, ISH)和智能设备,它们需要多方验证以进行安全通信。由此提出了一种针对智能家居应用的格上基于身份多方认证密钥协商协议,并证明在eCK模型下是安全的。其安全性可以归约到环上带误差学习(ring learning with errors, RLWE)问题的困难性,能够抗量子计算攻击。所提协议由一个格上基于身份的加密方案转换而成,无须公钥证书,避免了部署一个庞大的公钥基础设施(public key infrastructure, PKI)。通过信息交互实现显式认证,且可具有一定的匿名性质,与其他相关的后量子格上多方认证密钥协商协议方案相比,该协议在安全性和执行效率方面更具优势。     

喷雾干燥YPSZ纳米结构热喷涂粉末材料制备及表征

YPSZ纳米结构粉末材料的研究是热喷涂制备YPSZ纳米结构涂层必须首先进行研究的问题。本文采用喷雾干燥方法制备适合于热等离子体喷涂的YPSZ纳米结构粉末原料,同时采用等离子体喷涂制备涂层。利用扫描电子显微镜分析晶粒大小、颗粒形貌,X射线衍射分析相组成,对喷雾干燥后粉末进行热重-差热分析,测定粉末的松装密度、振实密度及流动性。结果表明制备的YPSZ粉末材料具有实心、流动性好、松装密度高、振实密度高、球形度高、单斜相少等优点,采用热等离子体喷涂沉积制备YPSZ纳米结构涂层。     

分离器气泡分离计算模型

分离器设计中,液相分离气泡过程研究较少,现场多凭经验选取一定分离停留时间,但无法保证气泡完全从液相分离。基于Karamanev公式,利用Matlab软件求解提出了一种气泡分离的简化模型。通过计算发现:原油黏度越大,气泡越不易分离;分离效果对气泡直径变化较为敏感;气泡分布、停留时间、分离器长径比均对气泡分离效果有影响。建议适当延长停留时间和提高操作温度来促使气泡分离,也可优化入口构件或增加聚结构件来增大气泡直径,改善气泡分布进而促进气泡分离。     

低反射电阻阵列加载单锥TEM室研制与测试

为了减小单锥末端反射、拓展镜面单锥TEM室时间窗,基于母线长0.9 m单锥TEM室计算了不同电阻加载条件下的馈电端口电压反射系数,通过搭建电阻阵列加载单锥TEM室实验平台对仿真结果进行了验证,在此基础上,通过改进锥体吊装结构、调整镜面板与吸波材料之间距离等方式对单锥结构进行了优化,设计并研制了国内首个低反射单锥微波暗室。研究结果表明,在单锥锥体末端与镜面板边缘之间加载阻抗匹配回路,解决了单锥TEM室低频吸收问题,减小了单锥TEM室末端反射,突破了由母线长度决定的时间窗限制,拓展了单锥TEM室的适用范围,实现了HEMP、LEMP等瞬态电磁脉冲传感器幅值灵敏度和波形保真度的全校准。     

罗汉乡脱毒马铃薯不同密度栽培试验

2010年开展了威芋3号脱毒马铃薯单作条件下种植密度试验研究,旨在为指导马铃薯生产提供依据。