胡燕
- 作品数:16 被引量:42H指数:4
- 供职机构:大连理工大学更多>>
- 发文基金:国家自然科学基金国家教育部博士点基金高等学校本科教学质量与教学改革工程项目更多>>
- 相关领域:自动化与计算机技术文化科学化学工程电气工程更多>>
- 一种混合式内存泄漏静态检测方法被引量:4
- 2008年
- 内存泄漏是导致系统性能降低的重要问题.提出一种基于模型检测算法的内存泄漏静态检查方法TMC.该方法依据程序的控制流图构建对应于程序执行的有限状态自动机,进而在此基础上应用模型检测算法分析程序中可能存在的内存泄漏.论文利用几个典型的程序实例详细说明了TMC的工作原理,并通过基于内存操作密集的测试程序集PtrDist的实验对TMC进行了验证.实验结果表明,TMC能够显著提升内存泄漏分析的精度.
- 胡燕龚育昌孙伟峰赵振西
- 关键词:内存泄漏别名分析自动机
- 基于聚类算法的测试用例排序被引量:2
- 2016年
- 在软件开发过程中,回归测试是一项重要而复杂耗时的工作。测试用例排序技术作为提高测试效率的一种有效手段,是近年的研究热点之一。测试用例排序技术根据测试目标对测试用例进行排序,使得最优的测试用例能够优先执行。同时,各种软件信息的底层结构及关联信息有助于提高测试效率。不同的代码单元在测试过程中拥有不同的测试需求。因此,利用聚类算法能够有效地分析测试用例间的结构信息,从而指导测试用例的排序过程。实验结果表明,新的测试用例排序策略有效地提高了测试用例排序的效果,能够更早地检测到软件错误。
- 蔡景媛任志磊胡燕朴勇江贺
- 关键词:聚类
- 基于Emmagee的移动应用性能测试实验设计被引量:1
- 2019年
- 移动应用性能测试是移动应用测试流程中的重要一环。良好的应用性能对于提升应用的用户体验具有非常积极的作用。为了帮助学生充分理解移动应用性能测试部分的课程内容,设计了基于Emmagee工具的性能测试实验。实验基于Emmagee工具,要求学生在完成Android SDK环境配置,并按照实验规定的流程完成Android应用的安装、Emmagee工具的安装,利用Emmagee工具搜集应用运行期间的性能数据,并对收集到的数据进行详细分析。通过实验的训练,帮助学生具体深入地了解了Android应用性能测试的流程,熟悉了主要的移动应用性能指标,并检验了基于性能数据进行不同角度性能剖析的能力。
- 胡燕孔维强陆坤
- 多电网调峰负荷分配问题的目标函数选取与求解被引量:11
- 2014年
- 大电网平台下,利用优质电源协调多个省级电网间差异负荷对缓解中国电力系统日益严重的调峰压力具有非常突出作用。针对现有网际协调方式和优化方法调峰效果不理想尤其局部时段范围内余荷频繁波动问题,提出一种基于电网理想余荷过程(简称理想解)的调峰建模方法。该方法采用N近邻平滑和分段平滑两种方式均化多个相邻时段余荷以构造理想解,并将计算余荷与理想解偏差最小作为优化目标,以尽可能平滑各电网局部负荷波动。采用邻域搜索算法进行模型求解,通过可变步长动态改变可行搜索区域,以改善收敛速度和结果质量。华东电网直调水火电系统的仿真调度实例表明,所提模型与算法能切实协调上海、江苏、浙江、安徽四省(市)的峰值负荷差异,得到较以往优化建模方法更合理的日调度运行结果。
- 孟庆喜申建建程春田任志磊胡燕江贺
- 关键词:调峰目标函数邻域搜索算法
- 在TS-1催化剂上用催化精馏法生产环氧丙烷工艺的开发
- 环氧丙烷是一种重要的基本有机化工原料,其用途十分广泛.目前,其工业上的生产技术主要有氯醇法和间接氧化法两种,但两种方法都不够理想.氯醇法存在着污染问题,间接氧化法存在着联产问题.为此,研究者们不断进行着探索,以寻求更好的...
- 胡燕
- 关键词:环氧丙烷催化精馏催化剂
- 文献传递
- 一种针对可执行代码的内存泄漏静态分析方案被引量:3
- 2009年
- 针对应用程序安全分析的实际需求,设计并实现了一个针对可执行代码的内存泄漏分析框架MLAB.MLAB首先从可执行代码中恢复控制流和数据流信息,依据恢复的控制流图建立程序的有限状态自动机,在此基础上运用模型检测算法分析程序可能存在的内存泄漏.利用几个典型的程序实例详细说明了MLAB方法的工作原理,并通过基于测试程序集MiBench的实验对方法进行了验证,结果说明了该方法的有效性.
- 龚育昌胡燕张晔赵振西
- 关键词:可执行代码内存泄漏
- 面向隐私保护的去中心化联邦学习激励方法
- 本发明属于联邦学习技术领域,公开一种面向隐私保护的去中心化联邦学习激励方法。任务发布节点给出支付预算和初始模型,参与节点根据给定的支付预算及系统状态决定贡献水平,多轮进化博弈达到进化稳定,确定最佳类型选择策略。矿工节点收...
- 胡燕李博覃振权
- 启发式算法设计中的骨架分析与应用被引量:4
- 2011年
- 骨架是指一个NP-难解问题实例的所有全局最优解的相同部分,因其在启发式算法设计中的重要作用而成为该领域的研究热点.本文对目前骨架及相关概念的研究成果进行了全面综述,将骨架本身的研究工作归纳为三个层面:理论基础层面主要考虑骨架与计算复杂性的关系问题;应用基础层面主要考虑如何高效地获取骨架;应用层面主要考虑如何利用骨架进行高效启发式算法设计.在此基础上,本文详细讨论了骨架研究亟待解决的难题,并指出了解决这些问题的努力方向.
- 江贺邱铁胡燕李明楚罗钟铉
- 关键词:NP-难解启发式算法
- 分布式数据库课程知识体系扩展探索(英文)
- 2016年
- 分布式数据库是软件工程专业研究生课程中的重要组成部分。本课程现有的部分教学内容及教学模式因与工业界发展速度不匹配,存在部分知识陈旧、教学模式落后等一系列问题。文章在总结已有讲授方式与数据库领域发展趋势的基础之上,选择以Mongo DB为案例,向学生补充非关系型数据库的相关知识。通过课堂匿名调查显示,课上所补充的知识激发了众多学生的学习兴趣并受到了认可。
- 任志磊赖晓晨胡燕
- 关键词:分布式数据库MONGODB
- TSP问题的脂肪计算复杂性与启发式算法设计被引量:5
- 2009年
- 旅行商问题(traveling salesman problem,简称TSP)是经典的NP-难解组合优化问题之一,求解它的高效启发式算法一直是计算机科学研究的热点.脂肪作为描述TSP结构特征的新工具,对启发式算法设计具有重要意义.目前,TSP问题的脂肪研究还处于初始阶段,缺乏理论分析结果及相关的启发式算法.首先分析了TSP问题的脂肪计算复杂性,通过构造偏移实例的技巧,证明了获取TSP的脂肪是NP-难解的,即在P≠NP的假设下,不存在算法可以在多项式时间内获得完整脂肪.在此基础上,通过分析TSP问题局部最优解与脂肪的关系,给出了求解TSP问题的元启发式算法——动态候选集搜索(dynamic candidate set search,简称DCSS)算法.利用该算法,改进了目前求解TSP问题最好算法之一的LKH.TSPLIB典型实例的实验结果表明,改进后的算法在解的质量上有较为明显的提高.新的基于脂肪的启发式算法对于求解其他NP-难解问题具有一定的参考价值.
- 江贺胡燕李强于红
- 关键词:旅行商问题NP-难解脂肪