基于鲸鱼优化算法的类图重构研究

为了提高软件质量,组合使用重构技术、软件度量和元启发式搜索可以有效改进软件的结构而不影响其功能.本文提出一种基于鲸鱼优化算法的类图重构方法,并结合耦合、继承、抽象3个指标所构建的质量模型来指导类图重构序列寻优.在6个不同的开源程序上使用鲸鱼优化方法对类图进行重构,研究结果表明:基于鲸鱼优化算法的类图重构在质量增益上优于模拟退火算法和爬山算法,可有效提高重构质量.     

Banach空间中寻求(α,β)-适度混合集值映像吸引点的一般迭代格式

引入（α，β）-适度混合集值映像与条件I^*的概念，提出了用于寻求（α，β）-适度混合集值映像吸引点的一般迭代法.在一致凸Banach空间中，利用条件I^*与半紧性质，建立了所提（α，β）-适度混合集值映像的迭代格式的强收敛性.结论改进与修正了之前文献中已发布的相应结果.     

舰载机出动离场调度优化算法

出动离场调度是舰载机起降作业中关键一环, 可抽象为NP(non-deterministic pdynoial)难问题的混合车间调度问题。首先，在传统数学规划模型基础上, 引入逻辑约束及间隔变量, 建立了约束规划模型。然后，通过调度分解技术构建多机调度转化为单机调度的启发式规则, 并提出了单机约束引导启发式搜索与约束规划二分法迭代算法, 给出了问题的求解流程。算例仿真表明, 约束规划可有效解决不同规模下的离场调度, 并快速收敛到阈值内; 在中小规模出动时, 所提算法效率比传统智能方法提升约2个数量级, 具有较强实时规划能力, 但随着实验规模增大算法收敛时间呈线性变化趋势, 而在本文研究范围内仍优于传统智能算法, 具有良好实用价值。最后，用起飞位数量对出动效率进行灵敏度分析, 发现C2起飞位对出动效能贡献最大。     

分数阶中立型时滞微分方程解的存在性及指数估计

近年来,随着分数阶微分方程在众多领域的广泛应用,其理论研究也引起了国内外学者的关注.论文研究分数阶中立型时滞微分方程在解存在的前提下其解的指数估计.首先,由分步法讨论分数阶中立型时滞微分方程的解的存在唯一的条件;然后,在解存在的前提下,利用Gronwall不等式,给出分数阶中立型时滞微分方程解的指数估计.     

网关控制器BootLoader系统设计

为实现某款车用网关控制器的实车应用程序更新功能、方便实车调试,设计了基于CAN总线的BootLoader系统.介绍了BootLoader系统实现的基本思路及具体实现方式,详细分析了以飞思卡尔控制器XET256为平台的存储空间分配、地址表示方式、存储空间擦除与写入方法.基于以CAN标准协议为基础的简单自定义命令和S19文件协议,实现了BootLoader与上位机之间信息的交互.试验结果表明,该BootLoader系统能够正确实现应用程序的更新及引导应用程序的执行,提高了网关控制器实车调试效率.     

基于改进Sobel算法的焊缝X射线图像气孔识别方法

提出一种具有自适应能力的焊缝X射线图像气孔检测方法.通过局部动态阈值分割法设计了多方向的焊缝X射线图像模板,采用Sobel算法对复杂背景下的焊缝进行边缘检测和区域标记,并在标记区域对原始图像x和y方向的灰度梯度进行分析,以增强小气孔和粘连气孔的识别能力.检测应用效果表明,所提出的方法具有良好的自适应能力且准确快速,能够有效地克服人工评片中产生的漏判与误判等缺点,并且能够存储和查询检测数据.     

飞行器健康监控的概念及其发展

飞行器健康监控技术是当前国内外的一个研究热点，其应用对于提高飞行器的可靠性、安全性和经济性具有重要的意义。文章从健康监控技术的概念、发展及相关技术三个方面进行了介绍。     

试论高校图书馆的教育支持服务体系

从有利于高校教育发展与支持教学工作的角度出发,分析了高校图书馆现有管理体系中存在的问题,并以支持教育教学发展为目的,提出了教育支持服务管理体系,以期能为高校图书馆管理者提供一些帮助。     

后实证主义的兴起对心理学理论建设的意义

后实证主义的兴起对实证主义统治下的心理学危局有一定的挽救意义,它超越了传统的二元论视野,扶正了理论建设在心理学中的地位,为心理学提供了元理论基础和新的评价标准。