补偿收缩混凝土防裂系统的探讨

自上世纪 80年代中期以来 ,我国补偿收缩混凝土技术发展很快 ,无论是膨胀剂的品种、数量、还是应用的混凝土量 ,均走在世界的前列。膨胀剂已广泛应用于建筑、交通、市政、水利、水电等多类混凝土工程 ,涉及众多大体积、大面积、超长、超厚、结构复杂的构筑物 ,如 :高层建筑、地下建筑、大型水池、体育场馆、立交桥、隧道、机场跑道等 ,抗裂防渗的效果良好。但是 ,有的工程使用了膨胀剂 ,仍然产生裂渗甚至严重裂渗 ;尽管原因各种各样 ,但多与补偿收缩混凝土抗裂水平的发挥不够 ,对“抗”与“放”的关系处理欠妥有关。根据作者亲历的补偿收缩…     

锦屏一级水电站大坝下游土石围堰基础涌水处理

大坝基坑围堰是保证大坝正常施工的重要临时建筑物。锦屏一级水电站大坝下游土石围堰在二道坝护坦基础开挖期间发生了基础覆盖层涌水,通过及时采取基坑渣料回填、对二道坝基坑下游开挖坡面实施反滤并压重、围堰坡脚基础加固及调整尾端护坦结构等措施,成功解决了围堰基础涌水及后续二道坝护坦设计和施工问题,保证了二道坝的安全运行。其施工经验可为类似水电工程围堰设计、施工提供借鉴。     

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

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

世界农药工业在近一年内的设备投资

在世界经济处于不景气的情况下,农药工业的设备投资仍很活跃。从1978年7月至1979年6月这一年中,一些主要企业的投资动向大致如下。Du Pont 公司:在法国东部 Cernay 城兴建了杀菌剂 Curzate 的制剂工厂,用于防治葡萄霉病。Diamond Shamrock 化学公司:收买了生产和销售苯氧类与激素类除草剂的工厂。     

基于改进 GNY 逻辑的 Kerberos *协议安全性分析磁

为了增强通讯网络安全性,研究者致力于通讯协议的形式化分析与验证。 Abdelmajid 在 Kerberos 协议中添加用户物理位置作为新的认证因素得到改进协议,并用改进 BAN 逻辑说明改进协议的安全性。针对添加用户物理位置这一因素进一步完善后的协议 Kerberos *,结合可识别性和管辖性构造一种新的管辖规则,运用改进 GNY 逻辑对协议 Ker-beros *进行安全性分析。分析结果表明,协议 Kerberos *是安全的,运用改进 GNY 逻辑证明过程比改进 BAN 逻辑更详细、更严谨,此方法可运用于其它类似协议形式化分析。     

基于 Spin/Promela 的 Woo-Lam 协议安全性质高效验证磁

形式化方法是分析验证安全协议的重要技术之一。模型检测是用在形式化方法中实现形式化自动验证的重要手段。基于 Promela 语言,将 P ．Maggi 和 R ．Sisto 提出的建模方法扩展到建立包含三个合法主体和一个攻击者的复杂模型,枚举法和打表法同时被运用在求解攻击者模型需要表示的知识项过程中,提高了协议建模效率,保证了建模准确性。以Woo-Lam 协议为例,运用 Spin 工具成功发现一个已知著名攻击。此通用方法适用于类似复杂协议形式化分析与验证。     

一种隐式关联页面的挖掘方法

点击流数据是分析互联网用户心理倾向的关键,用户感兴趣的页组关联就隐藏于WEB日志之中。网站页面间的隐式关联可以通过分析点击流数据实现。给出了一种挖掘关联页面的方法。关联页面发现算法采用了一种类似于Apriori的模型。算法克服了前人关联页面算法的一些缺点,能够更好地适应复杂的互联网环境。     

基于稀疏表示的多特征融合害虫图像识别

为提高害虫图像识别的准确率,针对不同害虫具有不同的颜色、形状、纹理的特点,提出一种将颜色、形状、纹理特征与稀疏表示相融合的害虫识别方法.该方法利用已标注的训练样本构造不同特征下的训练样本矩阵,通过求解样本的最优稀疏系数以实现害虫图像识别.由于相同样本通过不同特征训练字典求解的稀疏系数不同,进而识别结果也不同.因此,文中进一步通过设计不同特征下的识别分类器实现多特征的融合.在实验室环境与农田环境下的实验结果表明,相较于其他方法,该方法的害虫识别率获得较大的提高.