建筑电气施工技术探讨

在工程建设项目中,电气系统起着十分重要的作用,一旦出现故障就会造成严重的后果,建筑电气施工中,关键在于它的安全性、可信性、可靠性、维修性及可实施性。随着人民生活水平的提高,建筑电气安装质量问题已成为社会关注的焦点之一。本文笔者主要对建筑电气工程施工中存在的问题进行分析,对各个施工阶段中存在的问题提出意见,并提出预防措施。     

PTFE/玻纤膜结构材料拉伸性能研究

为研究聚四氟乙烯(PTFE)/玻纤膜结构材料在工程应用中的力学性能,对其单向拉伸、面内各向拉伸及耐折叠性能等进行实验研究。结果表明:织物在织造和涂层中经向经纬向纱线受力和屈曲状态的差异,使得膜材在拉伸过程中强度和伸长率在纵向和横向均存在差异。PTFE/玻纤膜材是典型的各向异性材料,在不同的拉伸方向上表现不同。由于玻璃纤维本身的脆性及不耐折的特点,膜材在折叠后其强力有较大的损失,随着折叠次数增加,强力损失越大。     

喷气燃料萘系物含量对其热氧化安定性的影响

为了考察高芳烃含量的喷气燃料使用可靠性,曾开展了喷气燃料中萘系物含量对燃料热氧化安定性影响的研究。试验工作进行如下:先将2号喷气燃料用硅胶吸附柱分离脱除其中芳烃和胶质,然后在油样中加入不同含量(10、20、23、25、30％)的β-甲基萘。采用JFTOT仪按GB 9169方法测定各油样的热氧化安定性。评定油样时,油样先通入空气6min,使其基本达到饱和。燃料系统操作压力保持在3.45     

有界模型检测的优化

G(p)和G(p→F(q))是有界模型检测(bounded model checking,简称BMC)中的两个重要的常用模态算子.对验证G(p)和G(p→F(q))编码转换公式进行优化.通过分析当验证这些模态算子时FSM(finite state machine)的状态转移和线性时序逻辑(linear-time temporal logic,简称LTL)的语义特征.在现有的编码公式的基础上,给出了简洁、高效的递推公式,该公式有利于高效编码成SAT(satisfiability)实例;证明了递推公式和原转换公式的逻辑关系.通过实验比较分析,在生成SAT实例规模和易求解方面都优于BMC中求解这些模态算子的现有的两种重要方法AA_BMC和Timo_BMC.所给出的方法和思想对于BMC中验证其他模态算子时的编码优化也有参考价值.     

SNAR： 一种新型非氨基还原除酸脱硝工艺技术

为了解决当前脱硝技术存在的氨逃逸及安全隐患等问题,本文采用了一种新型选择性非氨基还原除酸脱硝工艺技术（SNAR）。首先,详细地阐述了SNAR工艺的技术原理和流程;然后基于天津石化热电部7^#煤粉炉工业试验,验证了该工艺技术的脱硝效果和是否存在氨逃逸;最后,通过对标分析选择性催化还原（SCR）和选择性非催化还原（SNCR）工艺技术,总结了SNAR工艺技术的优点及应用前景。研究结果表明：SNAR工艺技术的NO _x 脱除率为50%~90%,不会产生氨逃逸。该技术能够有效地避免氨逃逸带来的二次污染,解决腐蚀、结垢及安全等问题,给锅炉运行带来了极大的经济和环境效益。