基于锁集合算法的增强型数据竞争检测方法

针对锁集合算法误报率高的缺点,采用增强型数据竞争检测方法对锁集合算法及算法实现两方面进行改进.增强型锁集合算法提出了更强必要条件的检测算法.该算法通过分析线程结束情况和理解变量的线程信息,精化数据竞争检测条件.算法实现采用系统体系结构扩展的方法,通过扩展锁表部件,将集合操作精确映射到位图操作,进一步提高检测精度和减少误报.实现了无干扰免插桩检测技术,避免了二进制代码插桩带来的干扰性和不确定性问题.与同类系统的对比实验结果表明,该方法能够有效地将误报率减小到0.67,并且具有很高的检测效率.     

磁性活性炭吸附剂脱汞性能研究

为了制备同时具有优良脱汞性能和磁分离特性的磁性活性炭(MAC),采用共沉淀法制备Fe~(3+)和Fe~(2+)的不同离子配比及不同磁质量分数的MAC,并对其进行比表面积、磁化强度、扫描电镜、X射线衍射、热失重试验等分析,得到Fe~(3+)和Fe~(2+)摩尔比为1∶1,磁质量分数为25%的MAC具备良好的磁分离特性和脱汞性能。在固定床试验台上对MAC进行脱汞性能影响试验,结果表明:γ-Fe_2O_3是MAC上主要的磁性物质,O_2和HCl的存在均能加强元素汞的氧化脱除,促进MAC对汞的吸附,且其含量越高脱汞性能越好;SO_2对MAC的脱汞效率无明显影响,接触初期在MAC表面产生竞争吸附现象,造成脱汞效率先降低后升高现象;水蒸气减弱了MAC对汞的吸附效果。     

木质水泥板在亚洲的发展

一般木质水泥板可分为二大类：门木丝水泥板（WWCB）和水泥刨花板（CBPB）,它们有不同的性能及应用范围,但有一点相同,即都为环保产品。门）木丝水泥板是一种优良的隔热、吸音材料,用于轻质吸音天花板、建筑屋顶隔热板,还能用于轻房建造,高层建筑的混凝土永久性模板等。终饰可选择油漆、粉刷。木丝水泥板由木丝（长约100～500mm）和水泥等经充分搅拌后铺于模板上再加压到所需的厚度而成,木丝的宽度为回～2mm的板作吸音天花板,3～5mm的作隔热板。成品板相对密度较轻,隔热及隔音性能好,同时还具备耐火及石膏板没有的耐潮性能。…     

一个基于J2EE的税务系统框架

电子税务要求税务部门将执行事务性工作的环境网络化、信息化,需要集成目前税务部门已存在的一些异质应用系统,面对这样的环境和需求,新的税务系统必须基于Web提供服务,能够跨平台运行、可重用、可扩展,同时要求能与现有系统协同工作。基于此需求文中给出了一种基于J2EE的税务系统框架和其实现。在该框架里采用XML,和ⅡOP多种协议来进行数据交换,可方便地将现有异质系统集成进来。     

燃煤电厂烟气CO2捕集系统的控制策略

为减少燃煤电厂烟气中CO2的排放量,2008年我国首个电厂CO2捕集工业级示范系统在华能北京热电厂建成,该装置采用化学吸收法进行CO2的捕集.简单介绍了该CO2捕集示范系统的工艺流程,着重阐述了系统的控制策略.实际运行结果表明:在自动投入率基本达到100%的情况下,系统能够长时间平稳运行,具有良好的CO2捕集能力.     

基于膜技术的灵芝粗多糖分级分离及抗氧化活性比较

本文主要研究膜分离技术对灵芝粗多糖分级分离效果及其抗氧化活性的影响.以灵芝子实体为原料,通过热水浸提后用100、10和1 kDa超滤膜多级组合对灵芝粗多糖进行分级分离,分别记为GLP100、GLP10和GLP1.比较3种不同孔径膜对灵芝粗多糖的分级效果、理化性质和抗氧化活性的差异.傅里叶红外变换光谱分析结果证明3种多糖...     

膜分离与醇沉技术纯化猴头菇粗多糖的比较

研究膜分离和醇沉两种技术对猴头菇粗多糖分离效果及其抗氧化活性的影响。以猴头菇子实体为原料,通过热水浸提后分别用醇沉、纳滤、纳滤＋醇沉、微滤＋纳滤、微滤＋纳滤＋醇沉5 种方法得到猴头菇粗多糖,分别记为A-He P、B-He P、C-He P、D-He P和E-He P。比较5 种方法对猴头菇粗多糖的分离纯化效果、理化性质和抗氧化活性的差异。结果表明,微滤＋纳滤技术分离纯化效果较好,其粗多糖得率为10.08%,纯度为43.01%,提取液中80.34%的多糖得到保留。经傅里叶变换红外光谱分析,5 种工艺处理获得的粗多糖样品均具有典型的吡喃型葡聚糖和β-型糖苷键吸收峰。5 种处理获得的粗多糖样品中均含一定量的蛋白质,且B-He P的蛋白质量分数高于C-He P,说明微滤处理可以除去部分蛋白而提高多糖的纯度。还原力、·OH、2,2’-联氮双(3-乙基苯并噻唑啉-6-磺酸)二铵盐阳离子自由基、1,1-二苯基-2-三硝基苯肼自由基清除结果表明,5 种粗多糖样品均具有一定的抗氧化能力,且D-He P的抗氧化能力最佳。     

中压紫外线技术在包装饮用水中的杀菌应用

铜绿假单胞菌,又名绿脓杆菌,因其可产生多种外毒素、内毒素等致病因子,是导致急性肠道疾病和皮肤炎症的完全致病菌,故成为包装饮用水检测中一项非常重要的指标。鉴于铜绿假单胞菌的致病性,《食品安全国家标准包装饮用水》(GB 19298-2014)明确规定,每250mL水样中铜绿假单胞菌不得检出,并要求出厂前对每批次成品包装饮用水进行铜绿假单胞菌检测,若检出该物质,则为不合格产品,必须召回且停止销售。     

计算机动态模拟方法在城市交通噪声监测中的应用

阐述城市道路交通噪声高污染区域的监测与模拟研究。实现基于微观交通仿真的交通噪声动态模拟方法,采用该方法对峡谷型道路十字交叉口和公交车站两类典型的城市道路交通噪声高污染区域进行了动态模拟,同时对这两类区域的交通噪声进行了实地监测。监测结果和模拟结果的对比表明：该方法对等效声级Leq和统计声级L10,L50和L90等的预测具有较高的准确性,对交通噪声实地监测的优化布点和区域噪声分析有较强的指导意义。     

面向领域资源的智能元搜索技术研究

如何快速、有效地从互联网中获取特定领域资源信息,已成为当前研究热点之一。本文提出并构建了一种基于元搜索技术的领域资源检索系统,介绍了其中的关键技术,包括：领域资源模型构造、查询请求与调用、查询结果处理等。最后以计算机教学资源检索为例进行了实例验证。