一种基于证明树反演的安全漏洞定位方法

针对Web应用中普遍存在SQL注入漏洞等问题,提出了一种基于证明树反演的漏洞定位方法.该方法可对攻击产生的根源直接进行源代码的漏洞挖掘,其核心思想是:通过在脚本中反向追踪数据库操作所涉及的变量来检验其是否受到外界的影响,从而达到控制数据库操作的安全隐患.实验结果表明,所提方法能够准确验证53.8%的数据库操作的安全性,对于不能做出自动判定的风险操作,则能给出变量的依赖关系.该方法适用于以各种脚本语言和数据库系统搭建的Web应用平台.

中深层地热地埋管实际运行影响因素研究

为研究中深层地热地埋管运行的影响因素,分析西咸新区中深层地热地埋管供暖系统的长期运行结果,并结合关中地区地质数据,建立深度为2510 m的中深层地埋管换热器全尺寸模型,采用数值模拟法研究实际岩层分布下地埋管的运行、结构和材料因素对其取热能力的影响。结果表明,西咸新区某项目1号地埋管和2号地埋管两个地埋管,其平均取热功率均在310 kW以上,具有优良的取热能力。地埋管进水温度随季节变化明显,并引起用户侧负荷及热泵回水温度的波动。在结构方面,随内管径由63 mm增至125 mm,平均出口水温和换热功率分别降低1.9%和4.8%,但内管径过小将影响内管运行的安全性,综合安全和换热两方面因素,最佳内管径应选取ϕ110×10mm规格;随外管径由168.3 mm增至244.5 mm,平均出口水温和换热功率分别增加3.5%和9%,综合成本和换热两方面因素,最佳外管径应选取ϕ177.8×19 mm规格;在运行方面,地埋管出口水温随着流量的增加而减小,换热功率随着流量增加而增加;出口水温随着进水温度的升高而上升,换热功率也随之减小。在材料方面,减小内管导热系数和增加固井材料导热系数均能增加地埋管出口水温和换热功率,考虑换热功率变化和成本因素,在工程中导热系数为0.42 W/(m∙K)的内管和导热系数为3 W/(m∙K)左右的固井材料。

无干扰地热供暖的系统性评价研究

地热能作为一种低碳环保的可再生能源,储量大、分布广,对地热能进行合理的开发利用对于缓解能源危机、改善环境具有重要意义。基于全生命周期模型,以燃煤供暖、天然气供暖、无干扰地热供暖为评价对象,对不同供暖方式进行了环境效益的分析。研究结果表明:在技术和政策经济环境允许的情况下,采用无干扰地热供暖可以有效的减少常规化石能源的消耗,对改善大气环境质量,实现能源结构的调整具有重要意义。

无干扰地热供热全寿命周期经济效益分析

对地热资源进行了宏观分析,提出了无干扰地热供热成本及经济效益分析模型。在政府补贴的情况下,无干扰地热供热采暖季月单位面积收入和成本分别为7.05元/(月·m^(2))、3.95元/(月·m^(2))。将无干扰地热供热与燃煤、天然气供热方式进行了初始投资及成本对比分析,发现无干扰地热供热初始投资为142.70元/m^(2),相对较小,且运行期费用最低。无干扰地热供热在利润空间以及生态环境保护上具有较大优势。