Autonomous airship path following control: Theory and experiments

A novel path following control method related to the planar and spatial motions for an underactuated autonomous airship is presented. First, the trajectory linearisation control (TLC) theory is briefly described and the dynamic model of the airship is introduced. Then, based on the model, a path following strategy that integrates the guidance-based path following principle and the TLC theory is deduced. The designed control system possesses a cascaded structure composed of a guidance loop, an attitude kinematics loop and a dynamics control loop. Stability analysis shows that the controlled closed-loop system is asymptotically stable. Finally, experimental flight results for the airship following typical paths are illustrated to verify the effectiveness of the proposed approach.     

改进扰动观察法的光伏阵列最大功率点跟踪算法

为了更好地跟踪光伏阵列的最大功率点,分析单个光伏电池的物理特性,建立光伏阵列的Matlab仿真模型,分析光伏阵列随光照温度不同而变化的P-U、U-I特性.针对系统在工作工况发生变化时跟踪情况的不同,对传统的扰动观察法做了变步长的寻优算法,并结合调整策略搭建光伏系统最大功率点跟踪的仿真实验模型.结果表明该算法可以快速准确地跟踪最大功率点,稳态效果好,能够更好地提高光伏发电最大功率点跟踪系统的跟踪性能.     

一种混合的安全协议分析方法

在安全协议的形式化分析中,有两种完全不同的观点:模态逻辑和可证安全,两者各有优缺点.目前,将两者进行组合优化,建立统一的调和方法框架对安全协议进行分析是研究的热点和难点.通过对两种观点的研究,按照优势互补的原则将两者相调和,提出了一种新的形式化分析方法,该方法可提供更为完全的安全协议形式化分析.     

结合双流特征融合及对抗学习的图像显著性检测

为实现图像显著区域或目标的低级特征与语义信息有意义的结合,以获取结构更完整、边界更清晰的显著性检测结果,提出一种结合双流特征融合及对抗学习的彩色图像显著性检测(SaTSAL)算法.首先,以VGG-16和Res2Net-50为双流异构主干网络,实现自底向上、不同级别的特征提取;之后,分别针对每个流结构,将相同级别的特征图送入卷积塔模块,以增强级内特征图的多尺度信息;进一步,采用自顶向下、跨流特征图逐级侧向融合方式生成显著图;最后,在条件生成对抗网络的主体框架下,利用对抗学习提升显著性检测结果与显著目标的结构相似性.以P-R曲线、F-measure、平均绝对误差、S-measure为评价指标,在ECSSD,PASCAL-S,DUT-OMRON以及DUTS-test 4个公开数据集上与其他10种基于深度学习的显著性检测算法的对比实验表明,SaTSAL算法优于其他大部分算法.     

工程教育认证和"双创"理念下计算机专业实践课程改革探索

为了使计算机专业学生以创新思维解决复杂工程问题,将工程教育认证和创新创业理念融入计算机专业课程体系,提出一种通过构建具有创新复杂工程问题特征的计算机系统实践项目库,据此重构计算机实践课程的思路和方法.该方法通过将教师团队实际科研项目融入计算机相关实践教学中,基于案例法重新设计具有创新复杂工程问题特征的计算机系统实践项目,依据创新复杂工程问题实践项目的需求,重构计算机专业的创新性实践课程体系,从而使实践课程各教学环节与《工程教育专业认证标准》中的毕业要求以及创新复杂工程问题属性特征之间建立更加紧密的关系,使计算机专业实践课程更加符合工程教育认证和"双创"对培养学生的要求.     

红外光谱微量试样的简便制样方法

介绍了红外光谱测定中微量样品提取液的制样方法并对比了制样效果，该方法简单、快速且可靠。     

键合技术在微机械Golay-cell红外探测器中的应用

介绍多种硅片键合技术及其在基于高菜盒（Golay-cell）原理的微机械红外探测器中的应用。对多种键合方法在该器件中的实验结果进行比较，确定了现阶段最优的键合方法，即采用局部电场屏蔽方法的阳极键合方法，键合成功率在90％以上，并初步实现了器件的标准化制作。     

提高焊接接头疲劳强度的低相变点焊条和超声冲击方法

由于焊趾部位存在有应力集中和残余拉伸应力,焊接接头的疲劳强度远低于基体金属,超声冲击和低相变点焊条的应用是近年来发展的提高焊接接头疲劳强度方法。通过对横向对接焊接接头和纵向角接板焊接接头试件的疲劳试验,在2×106循环次数下与普通E5015焊条焊态试件相比,超声冲击处理的两种型式接头的疲劳强度分别提高50％和71％,低相变点焊条焊接的两种型式接头的疲劳强度分别提高11％和41％,相应接头的疲劳寿命也有大幅度的提高。试验结果说明,两种方法都是提高焊接接头疲劳强度的有效方法,其中超声冲击方法的提高程度较高,而由于免去了焊后加工处理工序,低相变点焊条方法更适合于具有高值残余拉伸应力纵向焊缝焊接接头疲劳强度的改善。     

非碳纳米管的合成进展与应用

介绍非碳类纳米管的合成方法，包括化学气相沉积法、激光烧蚀法、水热法、模板法和自组装法等。总结当前非碳类纳米管的研究进展，并对非碳类纳米管的应用前景作了展望。