紫外/臭氧复合杀灭水中细菌性能研究

为开发一种高效灭菌方法,研究了UV/O3的复合灭菌性能,对紫外辐射、臭氧和羟基自由基等在体系中的各自作用进行探讨,同时考察pH值、温度等对灭菌效果的影响.结果表明,UV/O3较单独紫外或臭氧灭菌时效果有所提高,在初始臭氧质量浓度为5.02mg·L-1,液面紫外辐射强度为6.5mW·cm-2,灭菌时间1.5～9.0s时,UV/O3对细菌总数灭菌率达3.6～6.4,单独紫外时为1.8～4.7,单独臭氧时仅为1.6～3.0.羟基自由基的产生是复合灭菌效果增加的主要原因.随紫外辐射强度和臭氧投加量的增加,复合灭菌作用得到提高.pH值在5.5～8.5变化时,UV/O3灭菌效果随原水pH值的增加略有提高.温度由10℃上升到27℃时,灭菌效果稍有下降.由此可见,UV/O3是一种高效可行的水体灭菌技术。     

一种动态不确定环境下的机器人路径规划算法

为了提高机器人在动态不确定环境下的实时性和适应能力,提出了一种机器人实时路径规划新方法.采用环境信息处理算法,通过搜索实时局部环境信息特征信息的方式对环境信息进行分析和处理.该方法能够捕捉动态障碍物并对动态障碍物的运动规律进行预测,将特征信息及时更新给运动动作规划算法部分.运动动作规划算法是通过引入启发式思想选择双安全子目标点,完成规划运动动作并实现优化路径.在不同环境下进行仿真实验,检验了算法的有效性,证明算法在动态不确定环境下具有良好的实时性和适应性。     

Corrosion of Different Materials in Combustion Chamber of Yellow Phosphorus Tail Gas in Industrial Boiler

The corrosion of materials in combustion chamber of yellow phosphor tall gas was investrgated. The results reveal that the corrosion behavior is different for different materials under actual work conditions.     

基于多样化进化策略的基因表达式编程算法

针对传统GEP（Gene Expression Programming）算法的未成熟收敛以及陷入局部最优问题,提出一种基于多样化进化策略的基因表达式编程算法（DS-GEP：Gene Expression Programming based on diversified develop-ment strategy）。该算法通过基因空间均匀分布策略,自适应地交叉和变异算子以及淘汰算子等方法,对种群给予不同的进化策略,以保持种群的多样性,从而增强算法的寻优能力。通过对函数挖掘的实验证明,多样化进化策略各个部分均对改善挖掘效率发挥了作用,提高了DS-GEP函数挖掘算法的成功率。与传统GEP算法相比较,该算法的平均成功进化代数缩短了11%,成功进化时间缩短了8%,进化成功率提高了20%。     

离子液体辅助TiO_2/蒙脱石材料的制备与性能研究

在1-丁基-3-甲基咪唑四氟硼酸盐[Bmim]BF4离子液体中合成了TiO2,经负载蒙脱石后,制备成TiO2/蒙脱石纳米复合材料.利用X射线衍射(XRD),差热分析法(TG-DSC)和红外光谱(FTIR)等分析手段对复合材料进行结构表征。结果表明,离子液体合成的TiO2粒径小,负载后的TiO2/蒙脱石复合材料耐热性较好,更加稳定;钛土比为1.5mmol/g,煅烧温度为400℃时,复合材料性能最佳,光照时间达到150min,催化剂对甲基橙的降解率为100%;将复合催化材料用于蓝藻水溶液的处理,效果较纯TiO2显著,显示出良好的应用前景.     

拉法基屋面施工技术

为解决传统坡屋面易渗漏、不耐久、易污染、保温性能差等问题,提出拉法基坡屋面系统所采用的防水、保温、隔辐射热、通风等较先进的施工工艺,使坡屋面工程在外观、使用年限以及节能减排等各方面效果均有显著提升.     

基于最大熵原理的大坝安全监控组合预测模型研究

大坝性态受到内外多种不确定因素的影响,使得监测效应量在一定程度上呈现出随机和不确定性的特点,单一的安全监控预测模型不可避免地存在某些缺陷。采用最大熵原理建立大坝安全监控的组合预测模型,该模型以各单一模型的预测结果作为约束信息,利用最大熵原理得到预测结果的分布。实例分析表明该方法能够突出监测量变化的随机性特点,有效地提高了大坝安全监控模型的预测精度。     

Fuzzing技术的样本数据组合研究*

提出了基于样本数据组合的Fuzzing技术,并抽象出了解决样本数据覆盖问题（data sample covering problem,DSCP）的数学模型;为了更好地解决样本数据覆盖问题,提出了改进遗传算法(developed genetic algorithm,DGA),通过实例实验说明了DGA的有效性,并且通过仿真实验,验证了算法在求解复杂协议文件样本数据覆盖问题时比贪心算法和简单遗传算法具有更高的效率。     

基于Petri网和逻辑电路的网络安全验证

利用Petri网的库所和变迁来描述网络的状态和行为,用逻辑代数的0和1形象表示库所的状态,将复杂的PN模型转换成简单的逻辑表达式,提出了Petri网与逻辑电路相结合的新型网络数据流验证方式。这种方法具有的形式化步骤与数学模型相支持,是一种新型快捷的网络安全验证方法。     

多维Fuzzing技术综述*

Fuzzing技术是一项有效的动态漏洞挖掘技术,但是当前对多维Fuzzing技术的研究还不多见。把多维Fuzzing技术面临的问题归纳为组合爆炸、覆盖脆弱语句和触发潜在漏洞三个问题,对存在的多种多维Fuzzing技术进行了研究和比较,并总结出多维Fuzzing技术的三个基本步骤：定位脆弱语句、查找影响脆弱语句的输入元素和多维Fuzzing测试挖掘脆弱语句中的漏洞。最后,给出了多维Fuzzing技术的进一步发展方向。