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

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

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

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

基于Adaboost和Camshift的人脸检测

Adaboost算法具有很好的实时性,但是也存在检测过程中鲁棒性不强,遇到遮挡问题检测失效等问题。针对这些问题,提出了基于改进Adaboost的人脸检测算法,该算法结合了Camshift人脸跟踪算法并改进了原算法中的颜色直方图模型。以实际人脸检测与跟踪实验为例,证明了该算法在人脸自动检测跟踪过程中具有速度快、准确度高,能有效克服检测过程中遮挡以及类肤色干扰问题等。     

海上同层侧钻井实施方案优选方法

为了评价同层侧钻井之裸眼水泥塞侧钻方式与套管开窗侧钻方式的经济性,优选侧钻方式,介绍了2口同层侧钻井的常规的设计及作业过程,分析弃井过程中打捞筛管工期的长短及裸眼水泥塞侧钻的经济性。通过建立应用侧钻方案决策图,筛选影响侧钻经济性的关键因素,归纳出的打捞筛管经济工期及经济临界剩余工期的计算方法,可用于在现场作业过程中出现筛管打捞困难的情况下,是否改变方案的决策,以达到节约成本之目的,具有一定的推广价值。     

并网逆变器输出电压直流分量的研究

与独立工作的逆变器相比,并网逆变器不仅要保证低的输出电压谐波畸变率和高效率,而且要求输出电压与电网电压大小、相位一致,更重要的是必须保证有低的进网电流谐波畸变率,以免对电网造成污染.双Buck逆变器类似于半桥逆变器,输入侧分压电容的电压偏差受很多因素的影响.分析了输出电压中的直流分量与分压电容电压偏差的关系以及对进网电流谐波畸变率的影响,并进行了实验验证.     

唐山市水利建设50年成就与展望

１ ５０年水利建设成就１．１防洪除涝工程日趋完善 建国前，全市基本无水利工程，大小河流也仅有单薄堤埝２１５ｋｍ，每遇洪水或旱情即发生灾害。解放后，唐山水利事业翻开了新的一页。１９４９年至１９６１年，全市先后修建了滦河、陡河、还乡河、蓟运河大堤，长２０１ｋｍ，兴建了陡河、邱庄、于桥３座大型水库，初步治理了滦河、陡河、还乡河、蓟运河的洪水灾害，河道防洪标准达到２０－５０年一遇。目前，全市的防洪除涝体系已基本形成。到１９９８年底，全市７０余条大小河流，有堤防１４６７．７ｋｍ，保护耕地３６．９万ｈｍ２，保…     

基于MATLAB/Simulink的交流电机建模与仿真

在传统电机理论的基础之上,使用MATLAB/Simulink中的滑块搭建了交流电机及逆变器系统的仿真模型。通过系统静态仿真实验波形,验证由此建立的系统运行可靠、响应快,可以在仿真研究中使用。     

水力喷射体积压裂裂缝间距优化方法研究

低渗储层在渤海油田占比较大,水力喷射压裂技术集水力射孔、分段隔离、喷射压裂于一体,受到海上压裂的青睐.为提高分段压裂储层改造体积,提高油气层采收率,本文基于二维裂缝诱导应力场模型建立了三维裂缝诱导应力场模型,从裂缝周围应力场的角度提出了裂缝间距优化方法.以渤海油田A井为例,由于受第一条裂缝产生的诱导应力场的影响,在距离...     

汶川地震震损水库特点及震害处理

本文对汶川大地震造成的我省灾区水利工程的震损情况进行了调查研究,举例说明了灾区水利工程的不同受损程度;统计分析了灾区水库大坝的震害特点和震害类型;并针对三种主要的震害类型（大坝裂缝、渗漏和滑坡）,总结了主要的整治措施,包括开挖回填,上截下排,放缓坝坡等。     

高温高压岩电参数测量装置研究

岩心岩电参数的实验研究是岩石力学的重要内容,也是研究岩石物性、进行测井评价的基础。本文介绍了自主研制的实验装置,该装置可以在温度150℃,压力90MPa进行全直径岩心和小岩心岩电参数测量,并取得了良好的实验效果。