北京航空航天大学学术学位硕士研究生《学术报告》考核表学院自动化科学与电气工程学院学号SY1403207姓名成梁序号学术报告题目报告人地点时间1北航第十一届学术论坛自动化科学与电气工程分论坛开幕式暨专家报告会王艳东、郭雷主楼4052014.10.152英国埃塞克斯大学谷东兵教授来我校作报告谷东兵D6392014.10.273北航第十一届研究生学术论坛自动化科学与电气工程学院分论坛第一次宣讲会祝国强、任传麒、桑云、张生、韩静雅E7062014.10.294北航第十一届研究生学术论坛自动化科学与电气工程学院分论坛第二次宣讲会肖瑾、高明、朱寰宇、朱寰宇、何致伟E7062014.10.315北航第十一届研究生学术论坛自动化科学与电气工程学院分论坛第三次宣讲会赖李媛君、高维金、张贵铭、胡亚强E7062014.11.56北航第十一届研究生学术论坛自动化科学与电气工程学院分论坛第五次宣讲会潘辉、丁帅、唐荻音、王虎、崔梦曦、陈潜E7062014.11.147北航第十一届研究生学术论坛自动化科学与电气工程学院分论坛第六次宣讲会杨闳竣、张鹏、纪占玲、徐龙,张磊、赵鹏E7062014.11.178北航第十一届研究生学术论坛自动化科学与电气工程学院分论坛第八次宣讲会王自鹏、曹晓希、夏体智、杨柳E7062014.11.249德国帕德博恩大学Mertsching教授来我院做学术报告MertschingD2182015.3.1210PerformanceEnhancementstoCity-ScaleTrafficSimulationGaryTanE7062015.6.19考核成绩:导师签字:年月日学院教务公章年月日要求:硕士研究生选听学术报告总数不少于10次。本考核表由导师给出考核成绩,学院研究生教学秘书审核后,录入成绩,并作为原始记录文件长期保存。《学术报告》总结学院姓名学号导师北京航空航天大学研究生院年月日北京航空航天大学学术学位硕士研究生选听学术报告总结报告人肖瑾、高明、朱寰宇、王静静、何致伟学术报告题目北航第十一届研究生学术论坛自动化科学与电气工程学院分论坛第二次宣讲会学术报告地点新主楼E706学术报告时间2014年10月31日学术报告总结:本次报告会,自动化科学与电气工程学院的博士生肖瑾、高明、朱寰宇、王静静,硕士生何致伟,分别为大家做了学术报告,许多对这些领域感兴趣的硕士生、博士生参加了该场专题报告。首先,肖瑾博士作了报告,她首先介绍了三维激光扫描仪设计的背景和深入研究的意义,并详细介绍了自己课题中新型三维激光扫描仪的设计原理,实验测试过程,性能评估,并介绍连续小波变换模极大值方法的误差补偿来提高激光测距精度和可靠性的方法。其次为大家讲解的是高明博士,他带来了题为《权重异性和标准稀疏的空间图像超分辨率重建》的报告。首先,他首先介绍了空间图像处理的原理,和提高分辨率的要求及难度,再提出权重异性和标准稀疏的空间图像超分辨率重建的具体方法,并通过对比,仿真以及实际测试方式作了具体展示,并对未来前景作了展望。接下来为大家讲解的是朱寰宇博士,针对空间飞行器存在的常微分和偏微分的耦合效应,给出了理论推导和分析,并提出了模糊保成本控制器耦合系统的设计,取得了较为理想的仿真结果。接着进行宣讲的是王静静博士,她的研究方向为模式识别与智能系统。针对空间飞行器对接的精度要求,提出了一种基于视觉测量的检测和跟踪合作目标的方式,她向我们具体展示了实验过程,让我们大开眼界。最后进行宣讲的是硕士生何致伟,他的研究方向为软件可靠性与测试。他首先介绍了GUI软件测试研究状况,重要性以及与国外领先技术的差距,介绍了自己论文中GUI测试的具体实现方法,并取得了良好的实验结果。我对何志伟的研究方向很感兴趣,自己也查了一些GUI测试方面的资料,GUI(graphicuserinterface)测试是一种通过对被测应用GUI元素的测试,以验证被测应用的功能与规约是否一致的测试方法。现有的GUI自动化测试方法主要包括基于录制回放的GUI自动化测试和基于模型的GUI自动化测试。基于录制回放的GUI自动化测试方法前期录制测试人员的GUI操作并记录GUI操作相关信息,后期回放前期录制的GUI操作以检测GUI状态是否与录制时的操作一致。这种方法存在脚本录制工作量巨大、测试脚本难以维护、测试不足等缺点。另外,这种方法抽象程度不高,一旦GUI界面发生改变,前期录制的测试脚本很难运用于后续的测试当中。因此,越来越多的研究工作转向基于模型的GUI自动化测试。基于模型的GUI自动化测试方法采用的主要模型为事件流模型。EFG中的结点表示事件,有向边表示事件之间发生的先后关系,测试覆盖准则根据相邻结点序列的长度制定;依据测试覆盖准则,在事件流图上遍历生成测试用例。基于EFG的GUI测试方法存在如下不足:(1)基于EFG的测试覆盖准则,仅考虑具有特定长度的相邻事件序列覆盖,忽略了事件对应的事件处理函数中代码结构的覆盖以及事件处理函数之间数据依赖关系的覆盖,导致生成的测试用例的代码结构覆盖率不高,致使生成的测试用例可能无法覆盖事件处理函数中的某些代码结构,如果在这些代码结构中存在错误,则生成的测试用例无法探测。(2)随着测试覆盖准则中要求的相邻事件序列长度的增加,生成的测试用例规模呈指数级增长。产生上述两个不足的原因是:EFG模型只关注事件以及事件之间的交互,而未关注事件对应的事件处理函数的代码结构以及事件处理函数之间的数据依赖关系。事件处理函数响应用户GUI操作并完成软件预定义功能,事件处理函数以及事件处理函数之间的关系实现是否与规约一致,是GUI测试的重点。因此,针对上述两个不足,从分析与利用事件处理函数的角度出发,可以用一种基于事件处理函数的GUI测试模型——事件处理函数图(event。handlerfunctiongraph,简称EHG)模型。在该模型中,每个结点表示一个事件处理函数,结点之间的有向边表示事件处理函数被触发的先后关系。同时,从事件处理函数的代码结构以及事件处理函数之间的依赖关系的角度出发,提出两个测试覆盖准则,即完整最短路径覆盖准则和完整最短路径定义。引用对覆盖准则。为了提高生成的测试用例的完整最短路径覆盖率和完整路径定义。引用对覆盖率,利用完整最短路径之间的关系以及完整最短路径中条件与输入之间的关系等,实现了一种基于反馈的测试用例生成算法。各位嘉宾的宣讲条理清晰,简洁明快,专业细致,报告会的气氛也十分活跃。大家也在讲座中学习了报告人的学术态度与科研精神,给在座的同学有很大的触动。在讲座进行过程以及讲座最后的提问环节中,同学们热烈踊跃提问,与五位嘉宾进行了良好的学术交流,本次报告会在积极融洽的氛围中结束,观众报以热烈而持续的掌声。报告人赖李媛君、高维金、张贵铭、胡亚强学术报告题目北航第十一届研究生学术论坛自动化科学与电气工程学院分论坛第三次宣讲会学术报告地点新主楼E706学术报告时间2014年11月5日学术报告总结:本次报告会,博士生赖李媛君、高维金,硕士生张贵铭、胡亚强分别为大家做了题为“Iterative_budget_algorithm_for_large-scale_virtual_machine_migration”、“箱式动力结构的振动传递特性研究”、“基于智能PI算法的多电机同步控制”、“欠驱动倒立摆的自适应神经滑模控制”的学术报告,自动化学院部分硕士研究生、博士研究生参加了该场报告会。赖李媛君博士首先进行宣讲报告,她的研究方向为智能优化算法及其在复杂产品仿真与制造系统中的应用。报告会上赖李媛君博士首先介绍了虚拟机迁移技术在大型分布式系统中的应用背景以及发展现状,接下来针对虚拟机迁移过程所产生的迁移成本问题、通信负载和能耗问题,建立了以最小化通信负载和能耗为目标,以迁移成本为约束的优化模型,并提出了一种新的迭代预算算法,通过对待迁移虚拟机的迁移预算来确定其迁移目标,实现较短时间同时处理计算资源过载和轻载问题,提高虚拟化分布式系统运行效率。报告内容虽然理论性较强,但赖李媛君博士的讲解条理清晰,深入浅出,收到很好的效果。接下来为大家带来精彩报告的是高维金博士,他的研究方向主要包括结构动力学拓扑优化、振动控制及结构-控制协同优化。报告过程中,高维金博士首先介绍了箱式动力结构的的概念和研究背景,然后他以二级减速箱为研究对象,主要介绍在不同激励条件下齿轮轴-轴承-箱体的振动传递特性。期间,他主要通过图形来介绍他的研究内容,使得讲解更加直观。之后他分析了箱体缩聚节点处及轴承内圈处的动态加速度响应。最后基于BlockLanzos法提取出箱体的固有特征频率。通过数值分析方法得出结论并指出该研究下一步改进的计划。他的讲解幽默风趣,现场气氛很好。然后为大家作报告的是张贵铭硕士,他的研究方向包括伺服电机的驱动及应用和工业自动化控制。报告过程中,他首先建立了以永磁同步电动机(PMSM)矢量控制系统为基础,采用相邻交叉耦合控制策略的多电机同步控制模型,将智能PI算法应用于同步控制器和PMSM的速度环。对于两台以上电机的同步控制,他采用了相邻交叉耦合控制策略,耦合度高,鲁棒性好。经过他的研究,得出智能PI算法能根据系统运行状态实时改变调节器结构和参数,缓解了同步控制器中传统PI控制导致转速同步性和平稳性的矛盾,适用于工业控制。他通过展示实验现象的对比结果,使得结论更加直观。最后为大家讲解的是胡亚强硕士,他的研究方向是飞行器控制和计算机控制。他首先介绍了欠驱动系统的概念,以及他实验所用的欠驱动倒立摆系统。他在设计中应用变结构滑模控制和神经网络理论,并且利用线性反馈化技术,设计了自适应神经滑模控制器。并利用Lyapunov稳定性理论,证明了控制器的稳定性。报告过程中,他减少对于理论推导的介绍,而是主要讲解了解决问题的过程,让人印象深刻。我对胡亚强介绍的欠驱动系统很感兴趣。欠驱动系统是指系统的控制输入量个数少于广义坐标个数的一类非线性系统。与完全驱动系统相比,欠驱动系统在节约能耗、降低造价、减轻整体重量、增强系统可靠性等方面具有不可替代的优势。因此对于欠驱动系统的研究具有重要的理论意义和实用价值。同时由于欠驱动系统具有高度非线性、参数摄动、多目标控制要求、控制输入量受限等特点,使得实现欠驱动系统的稳定控制具有较高的难度。作为一种具有完全鲁棒性的变结构控制方法,滑模控制具有响应迅速、对系统参数变化和外界扰动不敏感、无需系统在线辩识、物理实现简单等优点。因此,可以考虑采用滑模控制方法来解决欠驱动系统的控制问题。报告人杨闳竣、张鹏、纪占玲、徐龙、张磊、赵鹏学术报告题目北航第十一届研究生学术论坛自动化科学与电气工程学院分论坛第六次宣讲会学术报告地点新主楼E706学术报告时间2014年11月17日学术报告总结:本次北京航空航天大学第十一届研究生学术论坛暨第十一届自动化与仪器科学分论坛报告会邀请到了杨闳竣、张鹏、纪占玲、徐龙、张磊、赵鹏。各位嘉宾分别为同学们做了自适应控制方向,流体传动与控制,现代设计方法与理论,目标跟踪和识别及检测技术与自动化装置等研究方向,报告分别为《Observerdesignforaflexible-linkmanipulatorwithPDEmodel》、《滚压控制系统的H∞迭代学习控制研究》、《高温载荷下金属蜂窝夹芯结构相变和塑性分析》、《基于PF的雷达误差配准实时算法研究》、《DynamicRandomSoftwareTestingBasedontheEstimationofTestingProfile》、《基于LabWindows/CVI的振动压实信号检测系统的设计与实现》,我们都积极参加了这次报告会。首先,杨闳竣博士的研究方向是自适应控制和分布参数建模。他生动形象地介绍了灵活机械手的PDE建模过程,然后针对实际问题,讲了相关的设计与分析,并且展示了结合实际的灵活机械手平台进行的仿真结构,最后展望了灵活机械手建模的未来发展。报告内容生动形象,调起了大家的兴趣。其次为大家讲解的是张鹏博士,他的研究方向是流体传动与控制。张鹏博士介绍了扭力轴滚压液压控制系统具有诸多非线性、大量不