非安全协议脆弱性的混合分析方法

针对手动方法对非安全协议分析过程中存在的不足,提出一种用于非安全协议的混合分析方法,并在手动分析的基础上,应用形式化自动工具分析协议的脆弱性。通过将该方法应用到移动IPv6协议,发现了新的脆弱性问题。仿真实验结果表明,该方法适合分析非安全协议,能够检查协议设计中的细微脆弱性问题,具有一定的系统性和较好的完备性。     

基于确定性退火的移动传感器网络聚合算法

针对动态、异构的无线移动传感器网络拓扑控制问题,提出聚集的自组织无线传感器网络拓扑模型,并介绍分布式结点聚合算法。该算法采用确定性退火技术,同时考虑影响传感器性能的诸多因素。仿真实验结果表明,利用该算法形成的结点聚集规模适度,时间开销增长平缓,且具有良好的适应性和扩展性。     

输电线路绝缘子污秽在线监测系统的应用

提出了应用高压输电线路绝缘子污秽在线监测系统来预测绝缘子污闪的新思路,并介绍了该系统的性能特点、功能、软硬件配置及系统组成,分析了我局Ⅱ、Ⅲ级污秽区运行数据。结果表明,该系统能对高压输电线路安全运行提供可靠、科学的量化依据。     

电气控制PLC程序开发实例分析

西门子S7-200系列PLC在中国的自动化市场份额不小,也是很多高职院校的标准学习技术。虽然这方面的专著和使用手册有很多,但是在实际应用中还是要注意很多经验的积累才能达到真实有效的结果。本文在大量实践的基础上,整理出若干S7-200系列PLC的使用法则。     

基于子路径扩展的不可达路径检测方法

不可达路径是造成软件测试资源消耗的一个重要方面.在路径测试之前,检测程序中的不可达路径可以有效节约软件测试资源.提出了一种基于子路径扩展的不可达路径静态检测方法.该方法首先生成程序的子路径集,将路径的可达性问题转换为不等式组的求解问题.使用约束求解器判断子路径的可达性,可以分为:可达子路径,不可达子路径和无法判定三个部分,并对后面两部分的子路径扩展出的路径做二次可达性检测,最终获得程序中所有路径的可达性信息.可达性检测工作主要在子路径集上进行,因此有效地解决了路径爆炸问题.实验结果表明本文方法可以准确有效地检测出程序中的不可达路径.     

试论煤矿瓦斯回收与利用

我国是煤炭生产和消费大国 ,随着煤矿的开采 ,将有大量的瓦斯释放出来 ,对于高瓦斯煤矿每吨煤体中含 1 0ｍ3 以上的瓦斯。瓦斯在采煤过程中是有害气体 ,每年因瓦斯的释放而造成的事故是令人十分痛心的。如果将其视之为甲烷 ,并加以合理的回收、利用 ,则又是一种洁净的能源 ,若忽略了对其回收、利用 ,而排放到大气中 ,将对大气造成严重污染 ,对臭氧层造成严重破坏。随着采煤活动的发展 ,有限的不可再生的煤炭和瓦斯资源在加速地枯竭 ,而又严重的污染环境现象越来越成为人们十分关心的重要问题 ,近些年人们已开始着手研究回收、利用瓦斯方案 ,…     

建筑节能技术在建筑外围护结构设计中的应用研究

建筑外围护结构具有一定的特殊性,其具有的空间特点及使用性质均决定了其本身空调能耗大。所以,建筑外围护结构将严重威胁重成能源和环境,本文研究了建筑外围护结构的节能设计。     

关于幼儿园教育活动理念的探讨

在幼儿园教育活动中，以什么样的教育理念指导教育实践，以怎样的价值理念来对待教育问题，将直接影响教育活动的实际效果，影响教育所要培养的未来人才的质量。本文就幼儿园教育活动几个主要方面应树立的新理念进行研究探讨。