期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
7
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种提高时序安全属性静态检测实用性的方法
被引量:
2
1
作者
霍玮
李丰
+3 位作者
丁兆伟
桑春雷
张兆庆
冯晓兵
《计算机学报》
EI
CSCD
北大核心
2012年第2期244-256,共13页
程序时序安全属性可以用有限状态自动机(FSM)来描述,对该属性的静态检测是当前研究的热点之一.该文提出了FSM切片技术,以需求驱动的模式抽取出关于时序安全属性等价的程序切片.该切片使检测规模减小、程序结构简化,因而减小了检测中组...
程序时序安全属性可以用有限状态自动机(FSM)来描述,对该属性的静态检测是当前研究的热点之一.该文提出了FSM切片技术,以需求驱动的模式抽取出关于时序安全属性等价的程序切片.该切片使检测规模减小、程序结构简化,因而减小了检测中组合爆炸情形出现的机会,最终使时序安全属性的静态检测在准确性和可伸缩性上都得到了提高.实验表明,FSM切片可以使Saturn的可伸缩性平均提高到原来的6.34倍,使Fastcheck的准确性平均提高到原来的1.20倍.
展开更多
关键词
有限状态自动机
时序安全属性
切片技术
程序静态检测
F-衡量
下载PDF
职称材料
别名集切片与并行化研究
被引量:
1
2
作者
桑春雷
张兆庆
《计算机工程》
CAS
CSCD
北大核心
2011年第21期6-10,共5页
针对复杂程序的分析问题,提出基于别名集切片的切片级并行技术与并行程序分析技术。利用传统分析算法,在每个切片上并行地进行复杂程序分析,从而实现复杂程序分析的并行化,加快复杂程序分析速度。以SPEC CPU2000/CPU2006中的部分C程序...
针对复杂程序的分析问题,提出基于别名集切片的切片级并行技术与并行程序分析技术。利用传统分析算法,在每个切片上并行地进行复杂程序分析,从而实现复杂程序分析的并行化,加快复杂程序分析速度。以SPEC CPU2000/CPU2006中的部分C程序为测试用例进行实验,结果表明,利用别名集切片技术可在4个进程并行情况下,获得3.42的加速比。
展开更多
关键词
别名集切片
并行程序分析
切片技术
别名分析
程序检错
下载PDF
职称材料
基于切片技术的并行化研究
被引量:
1
3
作者
桑春雷
张兆庆
《计算机科学》
CSCD
北大核心
2011年第7期108-112,共5页
程序可以看作由很多计算组成(例如一个循环或一个平直代码片断),它们彼此相关或者无关,共同为计算最终的结果服务,其中彼此不相关的计算是并行性的重要来源。程序切片(Program Slicing)是一种程序分解技术,能够根据切片标准从程序中提...
程序可以看作由很多计算组成(例如一个循环或一个平直代码片断),它们彼此相关或者无关,共同为计算最终的结果服务,其中彼此不相关的计算是并行性的重要来源。程序切片(Program Slicing)是一种程序分解技术,能够根据切片标准从程序中提取出特定的计算,切片技术的应用很广泛,例如程序调试、理解、维护等软件工程应用。切片技术作为一项程序分解技术,也可以用来帮助串行程序并行化。研究利用切片技术表示和发掘程序中的无关计算带来的并行性。首先提出一种基于OpenMP扩展的切片并行编程模型,用以表达程序中的切片并行性。另外,开发了一个基于切片的并行化分析系统,用来辅助程序员发掘程序中的切片并行性。
展开更多
关键词
切片
并行化
OPENMP
分析工具
下载PDF
职称材料
蚯蚓摄食污泥对其肠道功能区微生物种群及耐药基因的影响
被引量:
5
4
作者
彭兰生
关孟欣
+2 位作者
黄魁
夏慧
桑春雷
《中国环境科学》
EI
CAS
CSCD
北大核心
2022年第1期465-473,共9页
以赤子爱胜蚓(Eisenia fetida)为实验蚓种,研究蚯蚓消化污泥前后,其肠道各功能区微生物种群结构及耐药基因(ARGs)丰度的变化情况.为表征活体功能性微生物,所取新鲜样品均采用叠氮溴化丙锭(PMA)预处理后,再进行DNA相关分析.结果表明:蚯...
以赤子爱胜蚓(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宿主细菌的结构多样性.
展开更多
关键词
污泥资源化
蚯蚓堆肥
抗性基因
肠道微生物
生物污染物
下载PDF
职称材料
城镇建筑小区汽车尾气污染物CO扩散的模拟研究
5
作者
桑春雷
刘存英
《农村经济与科技》
2016年第18期17-18,共2页
随着城市车辆的增加和道路拥堵现象的人日益严峻,汽车尾气成为城市污染源中的重要组成部分。城市中的建筑群尤其是临近主干道建筑小区的环境质量也明显降低,所以研究建筑小区内汽车尾气污染物的扩散状况具有重要的现实意义。本文以某建...
随着城市车辆的增加和道路拥堵现象的人日益严峻,汽车尾气成为城市污染源中的重要组成部分。城市中的建筑群尤其是临近主干道建筑小区的环境质量也明显降低,所以研究建筑小区内汽车尾气污染物的扩散状况具有重要的现实意义。本文以某建筑小区为模型,用数值模拟的方法模拟了建筑小区在冬季环境常态风速条件下的流场和受道路高峰时期汽车尾气污染物中CO的浓度场。结果发现:汽车尾气污染物CO的浓度的扩散与小区内空气速度以及速度变化有关,距离污染物越近且污染源位于迎风处空气流速突然减小地方的污染物浓度越高,建筑小区内部风速越大的地方污染物浓度就越低,风速越高越有助于污染物较快的扩散和稀释。
展开更多
关键词
建筑小区
数值模拟
汽车尾气
CO
下载PDF
职称材料
垂直流湿地接种蚯蚓对剩余污泥中有机物的去除效果
被引量:
2
6
作者
杨竞
桑春雷
黄魁
《环境污染与防治》
CAS
CSCD
北大核心
2022年第11期1422-1428,1433,共8页
在垂直流湿地中接种蚯蚓,构建蚯蚓垂直流湿地,以去除剩余污泥中有机物为研究目标,探讨蚯蚓垂直流湿地对剩余污泥的处理效果及机理。结果表明,蚯蚓垂直流湿地对剩余污泥中总固体(TS)、化学需氧量(COD)、氨氮及总磷(TP)的去除率分别为54.1...
在垂直流湿地中接种蚯蚓,构建蚯蚓垂直流湿地,以去除剩余污泥中有机物为研究目标,探讨蚯蚓垂直流湿地对剩余污泥的处理效果及机理。结果表明,蚯蚓垂直流湿地对剩余污泥中总固体(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)。研究结果证实,蚯蚓垂直流湿地可以有效去除剩余污泥中有机物,且高密度蚯蚓垂直流湿地有助于提升去除效果。
展开更多
关键词
蚯蚓
人工湿地
污泥
有机物结构
生物降解
接种密度
下载PDF
职称材料
开窗建筑周围污染物传播规律的研究
7
作者
刘存英
桑春雷
《农村经济与科技》
2016年第18期3-4,共2页
随着人们生活水平的提高,人们对于绿色环保的高质量生活有了更多关注。房屋建筑作为人们赖以生活的重要场所,它的地理位置与居住环境之间具有密切关系,而这种关系更多是从环境、空气质量、嘈杂度以及采光等方面体现的。本文从空气质量...
随着人们生活水平的提高,人们对于绿色环保的高质量生活有了更多关注。房屋建筑作为人们赖以生活的重要场所,它的地理位置与居住环境之间具有密切关系,而这种关系更多是从环境、空气质量、嘈杂度以及采光等方面体现的。本文从空气质量要素入手,对房屋室内和室外环境的空气品质对人体健康的影响进行了分析,在分析过程中,主要阐述了建筑的开窗对建筑周围污染物传播所带来的作用,并在此基础上对常见的污染物来源、性质及其干扰因素进行了阐述,并将其作为了对其传播规律研究的重要参考。这对于提高人们房屋居住舒适性,改善居住环境质量是具有重要促进作用的。
展开更多
关键词
开窗
房屋建筑
污染物
传播
下载PDF
职称材料
题名
一种提高时序安全属性静态检测实用性的方法
被引量:
2
1
作者
霍玮
李丰
丁兆伟
桑春雷
张兆庆
冯晓兵
机构
中国科学院计算技术研究所计算机体系结构国家重点实验室
中国科学院研究生院
出处
《计算机学报》
EI
CSCD
北大核心
2012年第2期244-256,共13页
基金
国家"八六三"高技术研究发展计划项目基金(2008AA01Z115)
国家自然科学基金青年科学基金项目(61100011)
+2 种基金
国家自然科学基金创新研究群体科学基金项目(60921002)
国家"核高基"重大专项基金项目(2009ZX01036-001-002)
国家"九七三"重点基础研究发展规划项目基金(2011CB302504)资助~~
文摘
程序时序安全属性可以用有限状态自动机(FSM)来描述,对该属性的静态检测是当前研究的热点之一.该文提出了FSM切片技术,以需求驱动的模式抽取出关于时序安全属性等价的程序切片.该切片使检测规模减小、程序结构简化,因而减小了检测中组合爆炸情形出现的机会,最终使时序安全属性的静态检测在准确性和可伸缩性上都得到了提高.实验表明,FSM切片可以使Saturn的可伸缩性平均提高到原来的6.34倍,使Fastcheck的准确性平均提高到原来的1.20倍.
关键词
有限状态自动机
时序安全属性
切片技术
程序静态检测
F-衡量
Keywords
finite state machine
temporal safety property
slicing
static program checking
F measure
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
别名集切片与并行化研究
被引量:
1
2
作者
桑春雷
张兆庆
机构
中国科学院计算技术研究所计算机系统结构重点实验室
中国科学院研究生院
出处
《计算机工程》
CAS
CSCD
北大核心
2011年第21期6-10,共5页
基金
国家"973"计划基金资助项目(2011CB302504)
"核高基"重大专项(2009ZX01036-001-002)
国家自然科学基金创新研究群体资助项目(60921002)
文摘
针对复杂程序的分析问题,提出基于别名集切片的切片级并行技术与并行程序分析技术。利用传统分析算法,在每个切片上并行地进行复杂程序分析,从而实现复杂程序分析的并行化,加快复杂程序分析速度。以SPEC CPU2000/CPU2006中的部分C程序为测试用例进行实验,结果表明,利用别名集切片技术可在4个进程并行情况下,获得3.42的加速比。
关键词
别名集切片
并行程序分析
切片技术
别名分析
程序检错
Keywords
alias set slice
parallel program analysis
slicing technique
alias analysis
program error checking
分类号
N945 [自然科学总论—系统科学]
下载PDF
职称材料
题名
基于切片技术的并行化研究
被引量:
1
3
作者
桑春雷
张兆庆
机构
中国科学院计算技术研究所计算机系统结构重点实验室
中国科学院研究生院
出处
《计算机科学》
CSCD
北大核心
2011年第7期108-112,共5页
基金
国家高技术研究发展计划(863)项目(2008AA01Z115)资助
文摘
程序可以看作由很多计算组成(例如一个循环或一个平直代码片断),它们彼此相关或者无关,共同为计算最终的结果服务,其中彼此不相关的计算是并行性的重要来源。程序切片(Program Slicing)是一种程序分解技术,能够根据切片标准从程序中提取出特定的计算,切片技术的应用很广泛,例如程序调试、理解、维护等软件工程应用。切片技术作为一项程序分解技术,也可以用来帮助串行程序并行化。研究利用切片技术表示和发掘程序中的无关计算带来的并行性。首先提出一种基于OpenMP扩展的切片并行编程模型,用以表达程序中的切片并行性。另外,开发了一个基于切片的并行化分析系统,用来辅助程序员发掘程序中的切片并行性。
关键词
切片
并行化
OPENMP
分析工具
Keywords
Slicing
Parallelization
OpenMP
Analysis tool
分类号
TP31 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
蚯蚓摄食污泥对其肠道功能区微生物种群及耐药基因的影响
被引量:
5
4
作者
彭兰生
关孟欣
黄魁
夏慧
桑春雷
机构
兰州交通大学环境与市政工程学院
出处
《中国环境科学》
EI
CAS
CSCD
北大核心
2022年第1期465-473,共9页
基金
国家自然科学基金资助项目(51868036,52000095)
兰州交通大学百人计划(第二批)
+1 种基金
甘肃省青年博士基金项目(2021-QB051)
甘肃省优秀研究生“创新之星”项目(2021CXZX-629)。
文摘
以赤子爱胜蚓(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宿主细菌的结构多样性.
关键词
污泥资源化
蚯蚓堆肥
抗性基因
肠道微生物
生物污染物
Keywords
sludge recycling
vermicomposting
resistance genes
gut microbiota
biological pollutants
分类号
X172 [环境科学与工程—环境科学]
下载PDF
职称材料
题名
城镇建筑小区汽车尾气污染物CO扩散的模拟研究
5
作者
桑春雷
刘存英
机构
菏泽市城市管理局城市管理服务中心
出处
《农村经济与科技》
2016年第18期17-18,共2页
文摘
随着城市车辆的增加和道路拥堵现象的人日益严峻,汽车尾气成为城市污染源中的重要组成部分。城市中的建筑群尤其是临近主干道建筑小区的环境质量也明显降低,所以研究建筑小区内汽车尾气污染物的扩散状况具有重要的现实意义。本文以某建筑小区为模型,用数值模拟的方法模拟了建筑小区在冬季环境常态风速条件下的流场和受道路高峰时期汽车尾气污染物中CO的浓度场。结果发现:汽车尾气污染物CO的浓度的扩散与小区内空气速度以及速度变化有关,距离污染物越近且污染源位于迎风处空气流速突然减小地方的污染物浓度越高,建筑小区内部风速越大的地方污染物浓度就越低,风速越高越有助于污染物较快的扩散和稀释。
关键词
建筑小区
数值模拟
汽车尾气
CO
分类号
X169 [环境科学与工程—环境科学]
下载PDF
职称材料
题名
垂直流湿地接种蚯蚓对剩余污泥中有机物的去除效果
被引量:
2
6
作者
杨竞
桑春雷
黄魁
机构
兰州交通大学环境与市政工程学院
甘肃省黄河水环境重点实验室
出处
《环境污染与防治》
CAS
CSCD
北大核心
2022年第11期1422-1428,1433,共8页
基金
国家自然科学基金资助项目(No.51868036)
兰州交通大学百人计划项目
+1 种基金
甘肃省青年博士基金项目(No.2021-QB051)
甘肃省科技计划项目(No.20JR2RA002)。
文摘
在垂直流湿地中接种蚯蚓,构建蚯蚓垂直流湿地,以去除剩余污泥中有机物为研究目标,探讨蚯蚓垂直流湿地对剩余污泥的处理效果及机理。结果表明,蚯蚓垂直流湿地对剩余污泥中总固体(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)。研究结果证实,蚯蚓垂直流湿地可以有效去除剩余污泥中有机物,且高密度蚯蚓垂直流湿地有助于提升去除效果。
关键词
蚯蚓
人工湿地
污泥
有机物结构
生物降解
接种密度
Keywords
earthworm
constructed wetland
sludge
organic matter form
biodegradation
inoculation density
分类号
X703 [环境科学与工程—环境工程]
下载PDF
职称材料
题名
开窗建筑周围污染物传播规律的研究
7
作者
刘存英
桑春雷
机构
菏泽市城市管理局城市管理服务中心
出处
《农村经济与科技》
2016年第18期3-4,共2页
文摘
随着人们生活水平的提高,人们对于绿色环保的高质量生活有了更多关注。房屋建筑作为人们赖以生活的重要场所,它的地理位置与居住环境之间具有密切关系,而这种关系更多是从环境、空气质量、嘈杂度以及采光等方面体现的。本文从空气质量要素入手,对房屋室内和室外环境的空气品质对人体健康的影响进行了分析,在分析过程中,主要阐述了建筑的开窗对建筑周围污染物传播所带来的作用,并在此基础上对常见的污染物来源、性质及其干扰因素进行了阐述,并将其作为了对其传播规律研究的重要参考。这对于提高人们房屋居住舒适性,改善居住环境质量是具有重要促进作用的。
关键词
开窗
房屋建筑
污染物
传播
分类号
X51 [环境科学与工程—环境工程]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种提高时序安全属性静态检测实用性的方法
霍玮
李丰
丁兆伟
桑春雷
张兆庆
冯晓兵
《计算机学报》
EI
CSCD
北大核心
2012
2
下载PDF
职称材料
2
别名集切片与并行化研究
桑春雷
张兆庆
《计算机工程》
CAS
CSCD
北大核心
2011
1
下载PDF
职称材料
3
基于切片技术的并行化研究
桑春雷
张兆庆
《计算机科学》
CSCD
北大核心
2011
1
下载PDF
职称材料
4
蚯蚓摄食污泥对其肠道功能区微生物种群及耐药基因的影响
彭兰生
关孟欣
黄魁
夏慧
桑春雷
《中国环境科学》
EI
CAS
CSCD
北大核心
2022
5
下载PDF
职称材料
5
城镇建筑小区汽车尾气污染物CO扩散的模拟研究
桑春雷
刘存英
《农村经济与科技》
2016
0
下载PDF
职称材料
6
垂直流湿地接种蚯蚓对剩余污泥中有机物的去除效果
杨竞
桑春雷
黄魁
《环境污染与防治》
CAS
CSCD
北大核心
2022
2
下载PDF
职称材料
7
开窗建筑周围污染物传播规律的研究
刘存英
桑春雷
《农村经济与科技》
2016
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部