电气化铁路对埋地天然气管道交流干扰电压的影响

天然气是一种清洁能源,作为改善环境的一项措施,近年来被广泛推广应用于居民用气、工业燃料、化学化工、电力工业等。但由于天然气本身具有易燃易爆的危险性,每年因天然气管道腐蚀穿孔引起的燃爆类安全事故屡屡发生。所以,了解天然气管道周围杂散电流的干扰程度,及时监测管道的腐蚀情况并采取合理有效的防护措施,对延长管道的使用寿命,保证管道的安全运行具有十分重要的意义。本工作主要对电气化铁路对埋地天然气管道交流电压的影响进行论述。     

基于IP网络计费系统的研究和实现

比较了IP计费一些常用的方法,并分析了各种计费方式存在的问题.在此基础上综合现有计费方式的优点提出了一种IP网络计费解决方案.最后详细讨论了该计费系统的流程和实现的关键技术.     

基于SPIN的模块化模型检测方法研究

该文针对模型检测过程中所存在的状态爆炸问题,提出了一种基于模型检测工具SPIN的模块化模型检测方法。所提出的方法能够将指定的抽象模型分解成若干的模块,并对这些验证复杂度相对低的模块执行模型检测,以替代对原模型的模型检测。所提方法所用的分解过程保留了原模型所有的语义,同时不增加额外的语义,从而使得验证所有模块等同于验证原模型。理论和实验分析结果显示了所提方法的有效性。     

基于JSP的Web动态数据库交互技术的探讨

本文在基于JSP的Web动态数据库应用程序现有开发技术的基础上,提出了Web动态数据库交互编程的一种新思路,并在此基础上开发了一套行之有效的JavaBean生成工具。经过大量实践,表明该编程思路可以明显提高代码的重用程度和程序设计的效率。     

普通混凝土和轻骨料混凝土强度尺寸效应的对比研究

介绍了3组普通混凝土和轻骨料混凝土立方体试件的抗压强度试验,进一步验证了普通混凝土尺寸效应的规律,初步得出了轻骨料混凝土的尺寸效应规律。     

彩叶植物在园林绿化中的应用

在现代城市建设大潮中,随着人们审美需求的提高,彩叶植物在园林绿化业种发挥着越来越重要的作用。本文介绍了彩叶植物的定义、分类,色彩变化的原因,同时阐述了彩叶植物在园林绿化中的应用原则,应用方式。充分肯定了彩叶植物在园林绿化中的应用价值。