一种提高时序安全属性静态检测实用性的方法

程序时序安全属性可以用有限状态自动机(FSM)来描述,对该属性的静态检测是当前研究的热点之一.该文提出了FSM切片技术,以需求驱动的模式抽取出关于时序安全属性等价的程序切片.该切片使检测规模减小、程序结构简化,因而减小了检测中组合爆炸情形出现的机会,最终使时序安全属性的静态检测在准确性和可伸缩性上都得到了提高.实验表明,FSM切片可以使Saturn的可伸缩性平均提高到原来的6.34倍,使Fastcheck的准确性平均提高到原来的1.20倍.

别名集切片与并行化研究

针对复杂程序的分析问题,提出基于别名集切片的切片级并行技术与并行程序分析技术。利用传统分析算法,在每个切片上并行地进行复杂程序分析,从而实现复杂程序分析的并行化,加快复杂程序分析速度。以SPEC CPU2000/CPU2006中的部分C程序为测试用例进行实验,结果表明,利用别名集切片技术可在4个进程并行情况下,获得3.42的加速比。

基于切片技术的并行化研究

程序可以看作由很多计算组成(例如一个循环或一个平直代码片断),它们彼此相关或者无关,共同为计算最终的结果服务,其中彼此不相关的计算是并行性的重要来源。程序切片(Program Slicing)是一种程序分解技术,能够根据切片标准从程序中提取出特定的计算,切片技术的应用很广泛,例如程序调试、理解、维护等软件工程应用。切片技术作为一项程序分解技术,也可以用来帮助串行程序并行化。研究利用切片技术表示和发掘程序中的无关计算带来的并行性。首先提出一种基于OpenMP扩展的切片并行编程模型,用以表达程序中的切片并行性。另外,开发了一个基于切片的并行化分析系统,用来辅助程序员发掘程序中的切片并行性。

蚯蚓摄食污泥对其肠道功能区微生物种群及耐药基因的影响

以赤子爱胜蚓(Eisenia fetida)为实验蚓种,研究蚯蚓消化污泥前后,其肠道各功能区微生物种群结构及耐药基因(ARGs)丰度的变化情况.为表征活体功能性微生物,所取新鲜样品均采用叠氮溴化丙锭(PMA)预处理后,再进行DNA相关分析.结果表明:蚯蚓消化污泥5d后,细菌16S rDNA和真核生物18S rDNA的丰度在其胃中分别显著增加了28.2倍和42.2倍(P<0.05),而在砂囊和后肠中均显著性降低(P<0.05).此外,蚯蚓消化污泥使其砂囊中的优势菌门由变形菌门变为软壁菌门,胃中的优势菌门由拟杆菌门变为厚壁菌门,而对后肠微生物种群结构的影响较小.对于ARGs而言,大环内酯类耐药基因ermF、四环素类耐药基因tetX和磺胺类耐药基因sul2在蚯蚓胃中的丰度分别显著升高了1.9×10^(2)倍、8.4×10^(5)倍和25.9倍(P<0.05),而在其砂囊和后肠中ARGs总丰度分别显著下降了11.0倍和45.2倍(P<0.05).基于网络分析结果显示,蚯蚓摄食污泥可影响其肠道内ARGs宿主细菌的结构多样性.

城镇建筑小区汽车尾气污染物CO扩散的模拟研究

随着城市车辆的增加和道路拥堵现象的人日益严峻,汽车尾气成为城市污染源中的重要组成部分。城市中的建筑群尤其是临近主干道建筑小区的环境质量也明显降低,所以研究建筑小区内汽车尾气污染物的扩散状况具有重要的现实意义。本文以某建筑小区为模型,用数值模拟的方法模拟了建筑小区在冬季环境常态风速条件下的流场和受道路高峰时期汽车尾气污染物中CO的浓度场。结果发现:汽车尾气污染物CO的浓度的扩散与小区内空气速度以及速度变化有关,距离污染物越近且污染源位于迎风处空气流速突然减小地方的污染物浓度越高,建筑小区内部风速越大的地方污染物浓度就越低,风速越高越有助于污染物较快的扩散和稀释。

垂直流湿地接种蚯蚓对剩余污泥中有机物的去除效果

在垂直流湿地中接种蚯蚓,构建蚯蚓垂直流湿地,以去除剩余污泥中有机物为研究目标,探讨蚯蚓垂直流湿地对剩余污泥的处理效果及机理。结果表明,蚯蚓垂直流湿地对剩余污泥中总固体(TS)、化学需氧量(COD)、氨氮及总磷(TP)的去除率分别为54.17%~84.13%、71.11%~98.47%、62.65%~86.57%和57.15%~85.63%。其中,高密度蚯蚓垂直流湿地对TS与COD的平均去除率较低密度蚯蚓垂直流湿地分别增加了6.02%和6.83%(P<0.05)。高、低密度蚯蚓垂直流湿地出水的特征紫外吸光度(SUVA)比进泥分别增加了79.75%和95.09%(P<0.05),而出水的溶解性有机碳(DOC)含量分别降低了79.91%和74.91%(P<0.05),同时,高密度蚯蚓垂直流湿地基床的有机质累积率较低密度蚯蚓垂直流湿地显著提高(P<0.05),对污泥中类腐殖酸表现出更高的转化效率。另外,蚯蚓垂直流湿地中细菌数量由上至下依次减少,而高密度蚯蚓垂直流湿地的细菌数量比低密度蚯蚓垂直流湿地在各层均显著降低(P<0.05)。研究结果证实,蚯蚓垂直流湿地可以有效去除剩余污泥中有机物,且高密度蚯蚓垂直流湿地有助于提升去除效果。

开窗建筑周围污染物传播规律的研究

随着人们生活水平的提高,人们对于绿色环保的高质量生活有了更多关注。房屋建筑作为人们赖以生活的重要场所,它的地理位置与居住环境之间具有密切关系,而这种关系更多是从环境、空气质量、嘈杂度以及采光等方面体现的。本文从空气质量要素入手,对房屋室内和室外环境的空气品质对人体健康的影响进行了分析,在分析过程中,主要阐述了建筑的开窗对建筑周围污染物传播所带来的作用,并在此基础上对常见的污染物来源、性质及其干扰因素进行了阐述,并将其作为了对其传播规律研究的重要参考。这对于提高人们房屋居住舒适性,改善居住环境质量是具有重要促进作用的。