量子最弱自由前置条件的交换性及其性质

首先给出了量子最弱自由前置条件(weakest liberal precondition,简称wlp)wlp (A,B,C)-可交换的定义,研究了wlp (A,B,C)-可交换的充分必要条件;其次,得到了wlp 不是良好的谓词转换,验证了wlp 是比量子最弱前置条件(weakest precondition,简称wp)更弱的谓词转换,揭示了wlp 和wp 的本质区别;最后证明了wlp 的序列合成、并行合成和块结构等性质.     

建筑施工进度管理的重要性及管理措施

随着我国社会经济的快速发展,特别是城市化建设的不断深入,建筑行业得到了长足的发展。在建筑工程施工过程中,有效的管理是提升施工企业综合竞争力的有效手段,而进度管理是施工管理中重要的组成部分,是建筑项目管理的核心。加强企业进度管理,不仅能够规范施工操作,提升工程施工质量,确保施工的安全,同时能够保证在规定施工工期内完工,确保施工企业履行施工合同中的相关要求。可以说施工进度管理是建筑工程项目成功的关键,本文首先分析建筑工程施工进度管理的重要性,然后分析影响建筑施工进度的主要因素,最后提出加强建筑工程施工进度管理的有效措施,供有关人员参考。     

超高压输电线下复杂场景的工频电场分析

为更准确地研究超高压输电线路下方存在复杂场景时的工频电场分布,该文采用模拟电荷法作为输电线下工频电场强度计算的主要计算方法。通过将模拟点电荷与线电荷结合,推导出适用于输电线下不同场景工频电场强度计算的公式。当输电线下存在建筑物、树木时,建立相应的简化模型。对离地1.5 m和建筑物顶部的平面内的电场强度进行仿真,发现建筑物墙体对其内部的工频电场起到屏蔽作用,在建筑物顶部电场强度会产生较大的畸变;输电线下存在树木时,树木会对工频电场起一定的屏蔽作用,树冠的大小会影响树木的屏蔽效果;在建筑物周围布置树木,发现树木对建筑物周围的畸变电场有明显削弱作用。计算结果可为输电线下方存在建筑物和树木时的工频电场强度分析提供依据。     

粉喷桩处理软基施工的质量控制

在近期沙颍河治理工程中,采用粉喷桩对沙河护岸工程的软基进行处理,其施工质量好坏直接影响到护岸工程。结合工程施工中的实际情况,分析了施工中的质量控制措施等要点。     

4G通信技术及其在广播电视领域的应用

本文首先对4G移动通信技术进行了简单介绍,然后对4G的网络结构、技术特征和关键技术进行了阐述,最后对我国主导的4G国际标准TD-LTE在多个城市应用体验情况,以及4G电视直播系统的优越性进行了重点分析。     

模糊控制的镇定性能

证明了可控的过程必可用模糊控制来控制 ,可渐进稳定控制的过程必可用模糊控制器达到相同的稳定控制性能     

航天器电子探测技术初探

阐述了发展航天器电子探测技术的意义，对航天器面临的电子干扰进行了分析，在此基础上提出了航天器电子探测的总体思路，并对强微波干扰信号及噪声调频干扰信号的识别以及对干扰源的定位方法进行了重点分析和仿真说明。     

KSC轻质隔墙板施工技术

KSC轻质隔墙板作为一种新型施工材料,拥有轻质、高强、隔音、隔热、防潮、防火等诸多特点,广泛适用于框架、高层、超高层结构建筑分户内隔墙。其采用纤维石、粉煤灰、工业废渣、建筑垃圾等为原材料,实现了资源综合利用;基于传统建材,其减轻了楼房荷载、降低了工程造价,有效增加了实用面积;在施工中安装便捷可提高施工效率。