GC-MCR:有向图约束指导的并发缺陷检测方法

约束求解应用到程序分析的多个领域,在并发程序分析方面也得到了深入的应用.并发程序随着多核处理器的快速发展而得到广泛使用,然而并发缺陷对并发程序的安全性和可靠性造成了严重的影响,因此,针对并发缺陷的检测尤为重要.并发程序线程运行的不确定性导致的线程交织爆炸问题,给并发缺陷的检测带来了一定挑战.已有并发缺陷检测算法通过约减无效线程交织,以降低在并发程序状态空间内的探索开销.比如,最大因果模型算法把并发程序状态空间的探索问题转换成约束求解问题.然而,其在约束构建过程中会产生大量冗余和冲突的约束,大幅度增加了约束求解的时间以及约束求解器的调用次数,降低了并发程序状态空间的探索效率.针对上述问题,提出了一种有向图约束指导的并发缺陷检测方法 GC-MCR (directed graph constraint-guided maximal causalityreduction).该方法旨在通过使用有向图对约束进行过滤和约减,从而提高约束求解速度,并进一步提高并发程序状态空间的探索效率.实验结果表明:GC-MCR方法构建的有向图可以有效优化约束的表达式,从而提高约束求解器的求解速度并减少求解器的调用次...     

基于双重信息检索的Bash代码注释生成方法

Bash是Linux默认的shell命令语言.它在Linux系统的开发和维护中起到重要作用.对不熟悉Bash语言的开发人员来说,理解Bash代码的目的和功能具有一定的挑战性.针对Bash代码注释自动生成问题提出了一种基于双重信息检索的方法 ExplainBash.该方法基于语义相似度和词法相似度进行双重检索,从而生成高质量代码注释.其中,语义相似度基于CodeBERT和BERT-whitening操作训练出代码语义表示,并基于欧式距离来实现;词法相似度基于代码词元构成的集合,并基于编辑距离来实现.以NL2Bash研究中共享的语料库为基础,进一步合并NLC2CMD竞赛共享的数据以构造高质量语料库.随后,选择了来自代码注释自动生成领域的9种基准方法,这些基准方法覆盖了基于信息检索的方法和基于深度学习的方法.实证研究和人本研究的结果验证了ExplainBash方法的有效性.然后设计了消融实验,对ExplainBash方法内设定(例如检索策略、BERT-whitening操作等)的合理性进行了分析.最后,基于所提方法开发出一个浏览器插件,以方便用户对Bash代码的理解.     

静态软件缺陷预测方法研究

静态软件缺陷预测是软件工程数据挖掘领域中的一个研究热点.通过分析软件代码或开发过程,设计出与软件缺陷相关的度量元;随后,通过挖掘软件历史仓库来创建缺陷预测数据集,旨在构建出缺陷预测模型,以预测出被测项目内的潜在缺陷程序模块,最终达到优化测试资源分配和提高软件产品质量的目的.对近些年来国内外学者在该研究领域取得的成果进行了系统的总结.首先,给出了研究框架并识别出了影响缺陷预测性能的3个重要影响因素:度量元的设定、缺陷预测模型的构建方法和缺陷预测数据集的相关问题;接着,依次总结了这3个影响因素的已有研究成果;随后,总结了一类特殊的软件缺陷预测问题(即,基于代码修改的缺陷预测)的已有研究工作;最后,对未来研究可能面临的挑战进行了展望.     

粗糙集理论在启动子识别中的应用研究

针对目前基于计算机的启动子识别技术的研究现状,指出现有启动子识别技术的不足,并探讨将粗糙集理论应用于启动子识别研究可能的改进方向.     

代码生成技术在MDA中的实现

针对如何将具体的业务模型转换为应用程序代码的问题,提出了一个采用XSLT技术的代码生成器设计方案,用来实现MDA中的自动代码生成。从介绍代码生成器的输入文件入手,讨论了代码生成器的处理原理,最后举了一个采用XSLT技术的代码生成器生成代码的例子。     

宁波市水库群联网联调

为解决宁波市水资源短缺及时空分配不均等问题,分析了宁波市水库群联网联调的必要性,结合宁波市中心城区现状供水格局,探讨水库群联网联调的可能性,提出西线水库群联网联调、东线水库群联网联调和东西线联网连通3个工程方案。计算分析得出水库群联网联调的实施,可有效缓解水资源时空分配不均矛盾,实现洪水资源化,提高区域供水能力和水资源应急保障能力,发挥水库防洪、生态和农业灌溉等综合效益。     

基于决策树的个人住房贷款信用风险评估模型

在决策树理论的指导下，通过信息增益的应用和公式的构造获取属性重要程度评价值，结合决策树挖掘得到个人住房贷款风险评估模型。经过对该模型进行测试和评价，得出它们预测准确率较高的结论，实现了能够从真正意义上帮助银行信贷人员进行信贷分析并为信贷决策提供支持的模型。同时，该方法对其它评价模型的构造也有一定借鉴意义。     

基于XML与ASP技术的三层结构网络辅助教学系统

计算机网络辅助教学系统是基于三层客户／服务器模型的体系结构，系统主要包括在线考试和网上两个方面，开发该系统的目的是辅助教师的课堂教学和使学生在课余时间可随时利用网络资源进行实时自学，自测及在线答疑等学习活动。     

基于正交极差分析的青龙河流域HSPF模型参数寻优模式

为评价桃林口水库水文水质状况,建立其上游青龙河流域的BASINs/HSPF水文水质模拟模型.以Nash-Sutcliffe效率系数作为评价标准,联合正交设计和极差分析法进行参数寻优研究和可靠性分析.结果表明:BASINs/HSPF模型参数寻优的正交极差联合分析模式可大幅减小参数的寻优次数和寻优区间,是获得模型灵敏度参数和参数满意解的高效模式,可为模型参数寻优算法开发提供借鉴;应用正交极差分析的参数率定结果,以青龙河流域下游桃林口水库监测点2011年实测径流数据对模型进行验证,验证期(2011年)的Nash-Sutcliffe效率系数为0.79,稍低于率定期(2012年)的Nash-Sutcliffe效率系数(0.81)以及PEST自动校准的Nash-Sutcliffe效率系数(0.84),水质模拟结果也基本吻合;针对青龙河流域BASINs/HSPF模型,应用正交极差分析方法识别出6个高灵敏的BASINs/HSPF模型参数(IRC、INFILT、AGWRC、DEEPFR、AGWETP和LZSN);应用正交极差分析方法获得的BASINs/HSPF模型参数满意解取值区间依次为:LZSN[2.0,6.3],INFILT[0.084,0.167],AGWRC[0.90,0.95],DEEPFR[0.209,0.333],BASETP[0.067,0.199],AGWETP[0.067,0.199],CEPSC[0.14,0.27],UZSN[1.35,2.00],IRC[0.392,0.483].     

建筑阳角浅析

建筑的阳角是广泛存在又常常被忽略的细部。阳角的三维特性是一柄双刃剑,增加设计难度同时带来表现潜能。提出切实可行的策略,应对问题的同时凸显价值,有助于推动建筑的精细化设计。