镀W碳纳米管增强Al基复合材料的力学性能与导电率

以羰基钨为前驱体,采用羰基热分解法在碳纳米管表面镀覆了金属W.利用球磨混粉和放电等离子体烧结制备了镀W碳纳米管(W-CNTs)/Al复合材料,并研究了球磨时间和W-CNTs含量对材料力学性能和导电率的影响.结果表明:球磨6h粉体烧结后致密度高达99.5％,接近完全致密;随球磨时间延长,W-CNTs/Al复合材料抗拉强度...     

利用模块化燃气热水装置实现高效环保局域供暖

文章介绍了用于局域供暖的模块化燃气热水装置的技术特点结构和性能等。     

基于状态的工控协议Fuzzing测试技术

针对传统Fuzzing测试应用于工控系统存在测试覆盖率和有效性低、异常监测手段受限等不足,提出了一种基于状态的工控协议Fuzzing测试方法。该方法采用XML脚本对协议状态机进行描述,设计了基于协议状态机的测试序列生成算法PSTSGM,对被测对象进行状态引导以求达到更高的命中率和覆盖率。提出了基于心跳的异常监测与定位方法HFDLM,采用心跳探测和循环定位的方式,对被测嵌入式设备进行异常行为监测和异常用例定位。设计并实现了基于中间人代理的模糊测试原型系统SCADA-Fuzz,对电力SCADA系统进行了测试。实验结果表明,利用状态引导的测试能够有效发现安全漏洞。     

混凝土蓄水池产生裂缝的原因和预防措施

在近几年的农业灌溉工程中,混凝土蓄水池得到了广泛应用。在施工和应用中发现混凝土水池产生的裂缝是很普遍的现象。笔者根据多年的工程经验,分析探讨了混凝土水池出现裂缝产生原因及预防措施。钢筋混凝土水池产生裂缝而发生渗漏是很普遍的现象,本文探讨分析了钢筋混凝土水池常见裂缝的产生原因和预防措施。     

碳纳米管增强铝基复合材料的力学和物理性能

采用磁力搅拌与放电等离子烧结技术制备了碳纳米管(CNT)增强铝基复合材料.对试样进行了扫描电镜和透射电镜表征,测试了试样的力学性能、摩擦性能、电学性能和热学性能.当碳纳米管在试样中的质量分数为1%时,可在铝基体中均匀分布且CNT/Al界面结合良好,此时试样的抗拉强度和硬度较纯A1分别提高了29.4%和15.8%.在获得最佳力学性能强化和最佳减磨效果的同时.试样电导率较纯Al仅降低8.0%.碳纳米管可提高基体的热导率.但强化效果不明显.      

镀钨碳纳米管增强铜基复合材料的制备及性能

采用羰基热分解法对多壁碳纳米管表面进行镀钨处理,并以镀钨碳纳米管和电解铜粉为原料,进行机械球磨混粉和放电等离子体烧结,制备了镀钨碳纳米管/铜基复合材料.采用场发射扫描电镜观察了粉体和复合材料的组织形貌,并对复合材料物相进行了X射线衍射分析.探讨了镀钨碳纳米管含量和放电等离子体烧结温度对复合材料致密度、抗拉强度、延伸率和电导率的影响.结果表明,镀钨碳纳米管质量分数为1%和烧结温度为850℃时,复合材料的致密度、抗拉强度和电导率最高.与烧结纯铜相比,复合材料的抗拉强度提高了103.6%,电导率仅降低15.9%.      

陕县农村水利工程建设的现状与对策

水利是农业的命脉,在改善农业生产条件、提高农民生活水平、保护生态环境等方面具有不可替代的重要地位和作用。文章探讨了陕县农村小型水利工程的现状、存在的问题及原因,并提出了对策和建议。     

一种基于FSM的BGP-4协议模糊测试方法

BGP-4路由协议的安全性对于保障整个网络安全、可靠运行具有重要意义。现有的模糊测试方法在对BGP-4协议测试时存在状态测试困难、测试用例冗余等问题。为了解决这些问题,提出了一种基于有限状态机的BGP-4协议模糊测试方法BFuzz,设计了测试序列生成算法TSGF（Test Sequences Generation for Fuzzing）和测试用例生成算法TCGVF（Test Cases Generation based on Vulnerable Fields）,实现了原型系统BFuzzer。测试结果表明该方法能够有效地挖掘BGP-4协议中的漏洞。     

全孔一次高压注（HSC）浆技术研究与应用

在大伙房输水隧洞工程施工中成功拓展的"全孔一次高压注(HSC)浆技术",从工艺上吸纳了"常规分段注(水泥)浆技术"和非常规的"纯压式全孔一次高压注浆技术"的优点,采用了HSC特种注浆材料,是一种新的超前预注浆技术,施工效率高,可控性、可灌性优异,注浆效果显著,具有明显的经济性.     

基于范式语法的工控协议Fuzzing测试技术

针对工控协议Fuzzing测试存在测试脚本编写工作量大、测试用例的覆盖面小、测试效率低等问题,文章提出了一种基于范式语法的工控协议Fuzzing测试方法。方法首先以改进的扩展巴科斯范式(Modified Augmented Backus-Naur Form: MABNF)描述工控协议;然后根据范式语法模型,将报文样本解析为范式语法变异树,进而生成范式语法变异树的描述脚本;文章提出了基于MABNF变异树的测试用例生成算法(MABNF-mutation-tree based Test-cases Generating Method: MTGM),算法先对MABNF变异树进行深度优先遍历,再采用语义变异策略对节点实施变异;最后利用MTGM得到冗余少、有效性高的测试用例集。使用该方法,文章实现了基于Peach的工控协议Fuzzing测试原型系统M-Peach,对供水SCADA系统进行了测试。与Peach的对比实验表明,文章所提出的方法能有效减少测试冗余,提高测试用例集的覆盖面和测试效率。