机立窑烟气治理应慎用静电除尘器

目前，我国水泥工业仍有上万台的机立窑，由于其管理差距很大，故不少立窑企业质量不稳定、劳动生产率低、资源利用率低等因素而倍受各方关注，尤其是环境污染问题。长期以来，因为观念、资金、技术等原因，部分机立窑水泥生产线环保问题一直没有得到很好地解决。沉降室、水收尘、湿法收尘、电收尘、水电复合收尘、袋收尘等各种形式的除尘技术与装备相继被应用到机立窑烟气治理中。沉降室、水收尘、湿法收尘因除尘效率低而被许多地方明令禁用，袋收尘因除尘效率高，且能稳     

氯化聚乙烯接枝马来酸酐胶粘剂的研究

本文介绍了改性聚丙烯（PP）基泡沫材料用的水溶性胶粘剂的研制。该胶粘剂不影响泡沫材料的阻燃性能和吸声性能，并有较好的热稳定性和储存性以及优化的耐水性。     

浅谈虚拟机技术在计算机实验室中的应用

简要介绍了虚拟机的概念,分析了目前高校计算机实验室管理中存在的主要问题以及计算机实验室应用虚拟机的优势,阐述了如何利用虚拟机技术对计算机实验室进行更加合理地管理与维护,使现有的机器资源发挥最大的效率,从而保证高校计算机相关课程实验教学和科研工作的顺利开展。     

丙烯酸乙酯合成反应产物的GC／MS分析

本文叙述了丙烯酸乙酯合成产物的ＧＣ／ＭＳ分析．从分析结果看出，本应在酯化反应前除去的ＣＨ３Ｃｌ３仍有较大的含量，这也许是导致丙烯酸乙酯被氯代的原因。     

河流突发水污染事件的水库应急调度流量研究 ——以珠江上游红水河为例

珠江是云南、贵州、广西、广东等地的重要水源,研究该流域内水污染物的运移扩散过程及突发河道水污染事件处置对策对于供水安全极为重要。假设枯水期内龙滩水库下游约12 km处(广西天峨县)发生排放未达标污水的突发事件,设置了水库应急调度方案集。采用EIAW11软件包中的水质模型模拟污染物的运移过程,模拟了不同浓度污染物(以BOD为例)在不同河道流量下的下游各断面的浓度变化过程。结果表明,该模型能较合理地模拟污染物的迁移过程和影响范围,分析得出使污染物浓度达标需要的龙滩水库下泄流量,并能根据不同达标位置对突发水污染事件做到准确调度,最大程度减少水资源的耗损,充分发挥龙滩水库的作用。模拟结果可为珠江流域突发水污染事件应急方案的制定提供一定科学依据。     

多晶硅生产中氢气消耗分析及优化

在多晶硅生产过程中,氢气是最为主要的原料之一,氢气的总体消耗量与多晶硅生产成本有着紧密相连的关系.下文主要针对多晶硅生产过程中氢气消耗点进行全方位多层次的分析、探讨,进而提出诸多可行的优化措施,保证能够有效降低氢气在多晶硅生产中的消耗量,最终确保多晶硅生产成本有所降低.     

智慧风电5G工业终端边缘计算算法设计和调试

5G工业终端在靠近用户设备的位置提供网络、计算、存储服务,不仅能够实现流量的本地化处理,降低对传输网络和数据中心的流量冲击,而且能够提供低时延和高稳定的应用运行环境,有利于计算框架在终端和数据中心间的延展,有助于实现场景需求、算力分布和部署成本的最佳匹配.风电厂常地处偏远,目前光纤环网敷设成本高,可靠性低,带宽小,难以满足智慧风场业务的发展需求,本文利用5 G工业终端对风电主控PLC内的各项数据进行采集,可实现对风机机械、电气、控制等设备的运行状态的实时监控,还可在设备处就近应用边缘算法进行机组部件运行健康度和衰退预测等.     

氧化锌避雷器在配电系统运行中的测试及应用

介绍了氧化锌避雷器在输配电线路上的应用发展和氧化锌避雷器的预防性试验和在线检测;这对避雷器正常工作和线路设备的安全运行,均有现实意义.     

基于事件逻辑的改进Needham-Schroeder协议安全性证明

安全协议是现代网络安全的基础,密码协议的安全性证明是一个挑战性的问题。事件逻辑是一种描述分布式系统中状态迁移的形式化方法,用于刻画安全协议的形式化描述,是定理证明的基础。用事件序语言、事件类和一个表示随机数、密钥、签名和密文的原子类,给出身份认证协议可以被形式化定义和强认证性证明理论。利用该理论对增加时间戳的Needham-Schroeder协议安全性进行证明,证明改进的Needham-Schroeder协议是安全的。此理论适用于类似复杂协议形式化分析与验证。     

运用SPIN对开放授权协议OAuth 2.0的分析与验证

OAuth 2.0协议是一种开放授权协议,主要用于解决用户账号关联与资源共享问题。但是,其弱安全性导致各网络公司海量用户信息泄露,且OAuth 2.0传输数据采用的https通道效率低下,成为黑客攻击对象。提出采用http通道传输OAuth 2.0协议数据,基于Promale语言及Dolev-Yao攻击者模型对OAuth 2.0协议建模,运用SPIN进行模型检测。形式化分析结果表明,采用公钥加密体系对OAuth 2.0协议进行加密不安全。上述建模方法对类似的授权协议形式化分析有重要借鉴意义。