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代码的理解.     

基于软件度量的Solidity智能合约缺陷预测方法

随着区块链技术的兴起,智能合约安全问题被越来越多的研究者和企业重视,目前已有一些针对智能合约缺陷检测技术的研究.软件缺陷预测技术是软件缺陷检测技术的有效补充,能够优化测试资源分配,提高软件测试效率.然而,目前还没有针对智能合约的软件缺陷预测研究.针对这一问题,提出了面向Solidity智能合约的缺陷预测方法.首先,设计了一组针对Solidity智能合约特有的变量、函数、结构和Solidity语言特性的度量元集(smart contract-Solidity, SC-Sol度量元集),并将其与重点考虑面向对象特征的度量元集(code complexity and features of object-oriented program, COOP度量元集)组合为COOP-SC-Sol度量元集.然后,从Solidity智能合约代码中提取相关度量元信息,并结合缺陷检测结果,构建Solidity智能合约缺陷数据集.在此基础上,应用了7种回归模型和6种分类模型进行Solidity智能合约的缺陷预测,以验证不同度量元集和不同模型在缺陷数量和倾向性预测上的性能差异.实验结果表明,相对于COOP度量元集...     

利用浮游植物生物完整性对河流健康进行评价

2017年3—12月对江阴市4条河流的13个采样点进行调查研究,基于浮游植物生物完整性指数(P-IBI)评价了河流健康状况,并分析了P-IBI与环境因子的相关性。通过分析人为干扰程度划分出参照点与受损点,对18个候选参数进行指标筛选和Pearson相关性分析,最终选取硅藻门分类单元数、绿藻门百分比、席藻百分比、香农多样性指数和浮游植物生物量5个参数,采用比值法计算得到各参数分值,各个参数分值相加得到江阴市4条河流的浮游植物生物完整性指数分值P。结果表明:调查河流浮游植物优势种为颤藻、鱼腥藻、裸藻等,水体富营养化严重,整体水质较差;P与河流流速、透明度、矿化度和电导率相关性较高,人类活动引起的水土流失是浮游植物种群结构的主要影响因素;4条河流P与水质数据基本吻合,水质状况越好,P越高,表明采用浮游植物生物完整性指数对河流健康状况进行评价是可行的。     

代码注释自动生成方法综述

在软件的开发和维护过程中,与代码对应的注释经常存在缺失、不足或者与代码实际内容不匹配等问题,但手工编写代码注释对开发人员来说费时费力,且注释质量难以保证,因此亟需研究人员提出有效的代码注释自动生成方法.代码注释自动生成问题是当前程序理解研究领域的一个研究热点,论文对该问题进行了系统综述.主要将已有的自动生成方法细分为三类：基于模板的方法、基于信息检索的方法和基于深度学习的方法.论文依次对每一类方法的已有研究成果进行了系统的梳理、总结和点评.随后分析了已有的实证研究中经常使用的语料库和主要的注释质量评估方法,以利于针对该问题的后续研究可以进行合理的实验设计.最后总结全文,并对未来值得关注的研究方向进行了展望.     

关于北江生态流量调度的对策与措施

北江是珠江流域四大水系之一,其干流控制断面石角站来水量不仅能够表征北江流域河道内生态流量情况,还可在珠江三角洲咸潮期配合西江水量调度,控制思贤滘断面进入三角洲水量,对保障粤港澳大湾区供水安全有重要意义。首先对北江流域控制断面生态流量的现状保障情况进行分析,针对存在问题提出水库群调度模型,开展流域内生态流量调度研究,提出北江流域生态流量调度方案。     

钢板桩垂直护岸结构的反演分析及实测研究

以钢板桩+锚杆作为护岸结构的苏南运河常州西段"四改三"航道升级改造工程为实例,通过反演分析得到合理的土体计算参数,同时在反演分析的基础上,引入动态反演分析的方法,结合工程实际,对施工过程中的三个主要阶段逐次进行分析,并与现场实际监测位移值进行对比分析,为每一个阶段的变形提供可靠保证。对比结果表明模拟值与实测值吻合较好,表明反演结果是可信的,可为类似的工程提供参考。     

丰田2JZ-GE发动机谐波增压进气系统的结构与检修

本文介绍了发动机谐波增压进气系统的工作原理,并对丰田公司的2JZ—GE发动机谐波增压进气系统的结构与检修作了介绍。     

宁波市水库群联网联调

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

基于Ad Hoc网络的SMR优化算法的研究

SMR是一种基于DSR算法的多路径路由算法,这种算法的本身具有明显的局限性。第一,它可能在存在多条不相关多路径路由的情况下选择两条相关多路径路由作为最后的主路由与备份路由;第二,它在目的节点只收到一个RREQ分组的情况下只生成一条主路由,而实际可能存在多条传输线路。针对SMR算法的局限性,本文提出一种改进的SMR算法—ISMR,该算法保证了两条路由的形成,保证了在存在多条不相关多路径路由情况下,一定会生成两条不相关多路径路由。