GNSS信号模拟器通道群时延标定方法

传统的全球导航卫星系统(GNSS)信号模拟器通道群时延标定方法有相位翻转点法和相关峰法两种,两者均在零伪距或固定伪距的特殊仿真场景下进行测量,且在通道传输特性非理想的情况下测得的群时延均存在偏差.提出了基于闭环伪距测量的模拟器通道群时延标定方法,并设计实现了GNSS信号模拟器通道群时延标定系统.首先,采用高速直接射频采样存储系统对模拟器正常星座动态仿真场景下输出的导航信号和秒脉冲(1 PPS)信号同时进行记录.其次,使用软件接收机对信号进行捕获跟踪,利用三次样条插值判定1 PPS上升沿位置作为伪距观测历元时刻,对软件接收机的伪距观测量和模拟器仿真的伪距记录值做数据比对,得到模拟器的群时延标定值.最后,分别利用上述方法对两种商用模拟器的群时延进行了标定,实验结果表明,闭环伪距测量法有效可行,测量不确定度优于0.7 ns.      

引入缺陷的细粒度软件变更识别方法

软件开发过程中,缺陷通过变更引入软件系统。为提高缺陷发现效率,降低人工审查成本,提出一种引入缺陷细粒度变更自动化识别方法。该方法基于机器学习分类思想,将细粒度变更作为实例,从时间、地点、内容、意图以及人员5方面构造特征集;采用程序静态分析与自然语言语义分析相结合的方法挖掘软件历史库,自动化构建细粒度变更实例;使用软件历史中的细粒度变更实例训练分类器,从而识别新的细粒度变更是否引入了缺陷。在实际软件系统上运用成本有效性评估策略验证方法有效性。结果表明相比于文件和事务粒度的引入缺陷变更识别方法,该方法可显著降低人工审查成本。     

基于程序变异的Simulink模型测试方法

为解决当前Simulink模型变异测试中测试执行开销大、测试用例生成效率低等问题,首先根据当前的Simulink模型变异算子集,基于程序变异技术提出了Simulink模型的变异测试过程和一组改进变异算子集.实验表明,在不影响测试用例集变异评分的情况下,该组变异算子集能够有效减少变异模型的生成数量,从而降低测试开销.其次,设计了一种基于搜索的Simulink模型变异测试用例生成方法,该方法将变异模型的测试用例生成问题转换为目标函数极小化问题,通过模拟退火算法对目标函数寻优,最终搜索出能够杀死该变异模型的测试用例.最后,将该方法应用于典型案例,验证了方法的正确性和有效性.      

基于改进相关向量机的锂电池寿命预测方法

锂电池具有轻便安全、循环寿命长和安全性能好等优点,作为一个被广泛应用的储能电源,锂电池健康管理和寿命预测是国内外研究的热点。建立锂电池寿命预测方法和模型,基于实验历史数据,建立电池衰减模型从而对整个电池的工作状态进行评估,及时对设备进行维护和替换,以确保电池工作的稳定。对相关向量机（RVM）的核函数进行了组合改进,优化了RVM的性能,减小了锂电池寿命预测的偏差度,提高了预测精度。      

基于深度强化学习的软件定义卫星姿态控制算法

深度强化学习（DRL）作为一种新型的基于机器学习的控制算法,在机器人和无人机等智能控制领域展现出了优异的性能,而卫星姿态控制领域仍然在广泛使用传统的PID控制算法。随着卫星的小型化、智能化以至软件定义卫星的出现,传统控制算法越来越难以满足姿态控制系统对适应性、自主性、鲁棒性的需求。因此对基于深度强化学习的姿态控制算法进行了研究,该算法使用基于模型的算法,比非基于模型的算法拥有更快的收敛速度。与传统控制策略相比,该算法无需对卫星的物理参数和轨道参数等先验知识,具有较强的适应能力和自主控制能力,可以满足软件定义卫星适应不同硬件环境,进行快速研发和部署的需求。此外,该算法通过引入目标网络和并行化启发式搜索算法之后,在网络精度和计算速度方面进行了优化,并且通过仿真实验进行了验证。      

燃机发电机组控制中现场总线技术的发展

综述了燃机发电机组控制中现场总线技术的发展,指出了燃机传统控制结构中存在的问题以及现场总线控制技术的特点,阐述了用于现场总线控制的组态软件的发展,论述了现场总线技术在燃机控制中的应用,最后,对我国燃机动力工程应用现场总线控制技术提出了建议。      

MATLAB环境下的疲劳寿命分布检验及参数估计

利用MATLAB提供的功能函数,采用相关系数法,在MATLAB环境下来识别疲劳寿命分布类型,该方法简单易行,分析精度高;同时在分布检验过程中利用功能函数计算出了分布参数、安全寿命和绘制出概率图,增加了直观性和对比性,并解决了象Weibull这种复杂分布的检验和其三参数估计的难题.     

利用线阵CCD实现航空相机镜头焦距的自动测量

介绍了一种以线阵CCD固态传感器取代读数显微镜，能够自动测量和实时显示结果的航空相机镜头焦距测量系统，论述了系统的工作原理、软件和硬件的设计，并给出了实测数据结果及相对误差分析。     

航空反潜武器检测系统的设计与实现

介绍了航空反潜武器检测系统的功能和工作原理 ,并给出了硬件构成和软件设计及其实现方法     

航空发动机在MATLAB与C＋＋接口支持下的建模方法

研究了MATLAB与C ++接口及数据处理问题 ;基于航空发动机稳态计算程序 ,导出了某型涡扇发动机稳态线性化模型 ,并对该模型的准确度进行了分析及验证