摘要：指针分析是对软件进行编译优化、错误检测的核心基础技术之一.现有经典指针分析框架,如Doop,会将待分析程序和分析算法转化成Datalog评估问题并进行求解,如程序规模较大,单次求解分析时间开销较大.在程序频繁变更发布的情况下,相关程序分析的开销更是难以负担.近年来,增量分析作为一种在代码频繁变更场景下有效复用已有分析结果提升分析效率的技术受到了越来越多的关注.然而,目前的增量指针分析技术通常针对特定算法设计,支持的指针分析选项有限,其可用性也受到较大限制.针对上述问题,设计并实现一种基于差分式Datalog求解的增量指针分析框架DDoop(Differential Doop).DDoop实现增量输入事实生成技术与增量分析规则自动化重写技术,将多版本程序增量分析问题表达为差分Datalog评估问题,从而可以充分利用成熟的差分式Datalog求解引擎,如DDlog,来实现端到端的增量指针分析,并最大化兼容复用Doop中已有的指针分析实现,提供透明的增量化支持.在广泛应用的真实世界程序上对DDoop进行实验评估,实验结果显示DDoop相较于非增量的Doop框架具有显著的性能优势,同时高度兼容Doop中已有的各种指针分析规则.

摘要：代码溯源是开源软件复用中的常见实践,溯源过程依赖于高效的程序分析方法支撑。现有的程序分析方法主要识别完整的语法结构,分析时间依赖于整体代码规模,缺乏增量分析能力,难以满足大规模开源代码仓库的高效分析需求。针对开源代码仓库中相邻快照间高度相似的特点,该文提出了一种有效的增量分析方法,仅对快照中变更的代码进行分析,从而有效减少分析规模。首先解析文件快照获得历次代码的修改内容,其次设计映射算法将上述修改内容映射成完整的、可分析的函数,最后将上述函数转化为指纹进行函数比对。与传统分析方法相比,该文方法有效减少了开源代码仓库的分析规模,加快了函数比对速度,能更好地支撑代码溯源等开源软件复用需求。

摘要：针对目前工作应力状态下加筋边坡设计方法的不合理性,介绍了一种新的分析计算思路。基于潜在滑裂面处的筋土变形协调和非线性弹性邓肯-张土体本构关系,利用广义胡克定律推导得到非线性弹性增量算法。并通过3个不同倾角的边坡算例,将分析结果与有限元结果进行对比。结果表明:当坡面垂直时,增量算法与有限元解匹配度极高,表明该算法极适合于加筋边坡坡面垂直的情况;当坡面与竖直方向的夹角增大时,增量算法的偏差将逐渐变大,可通过坡面倾角折减系数予以修正。增量算法具备简洁、实用、高效的工程要求特点,具有广阔的应用空间。期望本研究成果能促进筋土相互作用机理清晰化和加筋边坡设计方法合理化。

摘要：城镇居民基本医疗保险对于参保人承载着门诊和住院等多方位医疗保险利益。在保险设计中,各项保险待遇的改变和保险政策的变更均需重新考虑保费定价,以维持保险基金的安全和良性、稳定的运作,由此而进行全盘测算则工作量甚大。在结合城镇居民基本医疗保险既往定价经验数据的基础上,运用增量分析法改进城镇居民基本医疗保险的保费测算模型,简化测算程序,大大提高了工作效率。

摘要：社区发现能够揭示真实社会网络的拓扑结构和动态特性.目前的社区发现算法多针对静态社会网络所设计,而绝大多数真实社会网络的社区结构是动态变化的.针对动态社区发现,现有算法通常基于社区结构平稳变化的假设,无法处理演化过程中可能出现的大量社区消亡或涌现等突发事件.为解决有效并高效地发现大规模动态社会网络的社区结构的问题,提出了一种基于邻域跟随关系的社区表示模型Follow-Community,模型刻画的社区由不同角色的节点以及节点间的跟随关系组成,通过发现节点间存在的直接或间接的跟随关系,可将跟随同一个节点的节点所构成的集合归为一个社区.基于该模型提出了一种具有接近线性时间复杂度的邻域跟随算法NFA(Neighborhood Following Algorithm),遍历网络节点一次即可得到静态社会网络的社区结构.进一步扩展得到增量邻域跟随算法iNFA(incremental Neighborhood Following Algorithm).通过更新网络演化过程中相关节点的邻域跟随关系,iNFA可发现动态社会网络的社区结构及社区演化.实验结果验证了算法在大规模动态社会网络社区发现方面具有精度、效率以及稳定性的优势.

摘要：开源代码复用是重要的软件开发模式,但开源许可证侵权与代码同步更新是当前开源代码复用中的2个主要问题。利用代码快照间的高度相似性特点,设计一种代码仓库的高效增量分析方法,在此基础上,利用Simhash算法将函数代码映射成函数指纹,提出以函数为基本分析单元的工程相似度计算方法,从而降低分析结果的存储空间并提高代码比对速度。设计3组实验分别从代码分析效率、工程相似度判定和函数更新检测方面进行评估,结果表明,该方法能满足开源代码复用中相似度检测和代码溯源的需求,且能够有效缩短总体分析时间。

摘要：为了消除水电站调峰对下游河道供水、灌溉、生态环境、航运等方面的不利影响 ,充分发挥河流梯级开发的综合利用效益 ,需要在调峰水电站的下游布置反调节工程。本文针对反调节工程的特点和作用 ,根据边际分析理论 ,提出了在不同情况下反调节工程的国民经济评价和财务评价方法 ,并给出实际算例。

摘要：在进行雷达天线加罩后效费比增量分析的基础上 ,以取得最佳效费比为最终目标 。

摘要：程序理解是软件开发过程中一项重要活动，为了保证该活动的准确性和高效性，有理解工具的半自动支持是很关键的．青鸟Ｃ＋＋程序理解工具（ＪＢＰＣ－Ｃ＋＋）支持用户的多样需求，辅助多种理解策略，为用户理解程序提供了很大帮助．该文概要介绍了青乌Ｃ＋＋程序理解工具（ＪＢＰＣＴ－Ｃ＋＋）的设计目标和原则、体系结构以及基本功能．

摘要：为保证动态社区发现效率,提高动态社区划分结果的准确性,提出一种基于拓扑势的增量式动态社区发现方法。增量式方法以前一个时间片网络的社区划分结果为基础,动态调整网络变化部分的社区归属,其余部分的社区结构仍保持不变。传统增量式方法只考虑增量节点,实际上,增量节点的邻居节点也会受到影响而出现社区归属的变化。该方法考虑增量节点,依据拓扑势场理论,进一步计算增量节点影响范围内的邻居节点,重新判定这些节点的社区归属。在真实和人工网络上的实验结果表明,该算法扩大了传统增量更新的范围,在保证计算效率的基础上,有效提高了社区划分结果的准确性。