基于软件历史仓库和抽象语法树的相似缺陷识别方法

软件开发过程中,软件开发人员常常通过搜索软件历史仓库(historical software repository, HSR),再经复制/粘贴以实现软件复用。HSR中会保存被复用的代码的缺陷及修复信息,辅助处理相似缺陷。基于此,提出一种基于HSR挖掘的相似缺陷识别方法。首先,基于变更日志的分析,从HSR中提取出已知缺陷的模块,建立bug模块库。然后,采用基于抽象语法树(abstract syntax tree, AST)的相似代码检测方法,识别待测试软件与bug模块库中相似的代码,并借助HSR中保存的相应缺陷及修复信息,完成待测试软件中可能包含潜在缺陷的模块的识别。同时,为提高相似代码的识别精度,优化基于AST的代码特征度量。在18个C程序、164对克隆代码上进行实验,结果表明所提方法能够识别出全部相似代码且性能优于已有工具。在人工构建的bug模块库上验证了代码相似性对相似缺陷识别的作用。最后,在8个真实的大型C项目上进行验证,平均缺陷召回率达到94%,表明挖掘HSR可以有效地为跨项目传播的相似代码提供缺陷理解支持。     

电梯安全风险分析及风险控制策略

20世纪以来,随着电梯使用率的增加,电梯安全问题已备受社会各界所关注。本文以曳引式电梯为研究对象,进行了电梯典型事故的风险识别和风险因素分析,并在此基础上提出了针对性的电梯事故风险控制措施,对保障人身及财产安全具有重要意义。     

把握机会窗口期减缓气候变化对中国居民健康影响

为了全面评估气候变化对中国居民健康的影响以及中国采取的应对措施,清华大学联合国内外多家研究机构,撰写了中国柳叶刀倒计时年度报告2021.本文介绍了该报告的主要发现,并提出了四项中国应对气候变化、改善公众健康的政策建议.     

都市居民游憩取向对平山温塘旅游度假区开发的导引

都市居民休闲游憩行为取向,有效引导了周边旅游度假区的开发方向.平山温塘旅游度假区借助其独特的区位、资源特色、度假环境等地学特征,在石家庄及京津冀主要都市客源市场需求的引导下,不断调整产品结构,并在多业态共生、产品类型、经营模式及低碳环保方面得以体现.     

由"半费之讼"而被误解的"两难推理"

从逻辑的角度考察著名的"半费之讼"所涉及的推理,有很多不同的观点.多数人认为其总前提有问题,有人认为违反了同一律,有人认为违反了矛盾律.但是,还有人认为推理没有逻辑错误,是一个逻辑悖论.无论是否认为它是诡辩,多数人认为其推理在形式上没有问题,属于正式的"两难推理".从推理形式的角度分析"普罗泰戈拉推理"中的诡辩性质,指出其主要问题并不是违反同一律或者矛盾律,而是以偏概全,实施了隐蔽的不等价命题代换,认定它是一个形式错误的推理.     

不同截面微通道中流动阻力特性

实验研究了微通道内去离子水的流动阻力特性,微通道当量直径范围De=0.210～1.069mm,雷诺数范围Re=102～104,截面形状分为矩形、半圆形及三角形.通过测量微通道沿程压降及出、入口局部压降随流量变化关系,获得了沿程阻力系数及局部阻力系数.结果表明:当截面形状相同时,摩擦阻力系数随着当量直径的减小而降低;当量...     

高效降解秸秆纤维素菌株的筛选鉴定及产酶条件优化

从堆沤秸秆土壤中筛选到一株高产纤维素酶菌株YA-14,经菌株形态特性分析和18SrRNA基因序列分析,确定其为烟曲霉(Aspergillus Fumigatus).通过单因素及正交试验,研究了多种因素对菌株产酶效果的影响,确定最佳产酶条件为碳氮比2:1,初始pH值为5,Mg2+ 浓度为0.4 mg/mL,接种量为1.0...     

适应行为偏好分异的公园绿地包容性设计策略研究

包容性设计是实现公园绿地使用公平、满足多元化需求的重要途径.该研究通过实际使用情况、环境特征和个人背景三者间的关联分析,揭示了契合个人背景与实际使用情况的行为偏好群体分异特征,构建了与之相适应的包容性公园绿地环境设计策略.结果表明,根据行为类型和使用特点,公园绿地行为偏好可分为3大类、 7小类.以老龄、低收入为主的高频必要性群体在公园绿地中最为常见,具有社交聚集型行为偏好特征;中频选择性外出群体年龄覆盖面全且经济条件好,行为偏好以目的休闲型为主;低频偶然性外出群体具有年轻化特征.环境设计应在加强环境安全与卫生管理基础上,增加可识别性和安全性,加强适合社交活动的开放型场地和设施建设以提升公园绿地的整体包容性设计水平.     

巧家盆地河流沉积与重矿物特征对金沙江贯通的指示

通过对云南巧家盆地第四纪河流沉积和重矿物特征的研究,探讨金沙江下游巧家段水系的发展和演化过程。研究结果表明:1.6 Ma B.P.之前巧家盆地开启后,古金沙江巧家段南流水系也随之形成,并在盆地内发育了至少3期河流沉积,当时为宽阔的辫状河沉积环境,物源区位于巧家以北至四川西昌-昭觉一带的黑水河和西溪河流域,河流将玄武岩、灰岩、砂岩等砂砾携带至盆地中堆积,重矿物组合为锆石-绿帘石-金红石-电气石-角闪石-磷灰石;在0.5 Ma B.P.之前,由于云南高原的隆升使得古金沙江巧家段水系南流受阻,并在古水系支流的溯源侵蚀下被袭夺,造成巧家河段的倒转北流,金沙江贯通,巧家段水系物源区发生巨大变化,河流开始将金沙江中上游流域的板岩、千枚岩、片岩以及石英岩等砂砾带至盆地,重矿物类型中也开始出现石榴子石,在构造活跃期河流不断向西迁移并进行下切,形成了金沙江4级阶地。巧家盆地河流沉积与重矿物特征及相关年代的研究显示,巧家段水系的袭夺倒流,金沙江的贯通应发生于0.5 Ma B.P.之前。     

中学化学虚拟实验室智能诊断平台知识表示研究

为了能够让中学化学虚拟实验室的诊断功能更好的得到应用,本文给出了一种智能诊断的有限自动机的模型。首先,从实验操作完整性的角度给出了实验知识库的整体结构图。然后,根据实验的操作过程,分别给出了实验药品选择、实验仪器选择、实验操作步骤几方面的诊断规则及对应的有限自动机模型。最后搭建了统一模型,并给出有实际化学实验过程的有限自动机模型。为进一步通用中学化学虚拟实验智能诊断平台的开发奠定了基础。