面向天基监视的红外弱小飞行目标识别算法

针对当前红外弱小飞行目标特征不明显、背景干扰大等问题,提出了一种基于深度学习的红外弱小目标识别算法。检测框架以YOLOv4模型为基础,通过使用K-means++算法对训练集的候选框进行聚类处理,在初始大小的选取上放弃随机生成初始点的方式,在样本集里选取某一个样本作为初始中心使锚框（anchor）大小的选取更加合理。在模型结构中引入卷积注意力模块,使算法模型计算资源分配更合理,对红外弱小飞行目标的特征信息更加敏感。改进空间金字塔池化模块,使用平均池化可以更多保留图像的原始信息,降低天基成像中的噪点与坏点的影响。仿真实验表明采用K-means++计算Anchor大小时准确率可以达到80.13%,在加入了SPP和CBAM模块后之后在测试集上算法识别准确率达到了83.3%,经过对模型的修改有效提升了对红外弱小飞行目标识别的准确率。     

基于逐步回归的模型误差估计及在天基测控系统中的应用研究

以双星定位系统的天基测控技术为应用背景,提出了一种能够自适应估计模 型误差的轨道确定方法。详细推导了观测模型中的系统误差形态,建立了能表征实际特征的 部分线性轨道改进模型,并利用二阶段法和核函数估计法对混合误差进行补偿,在此基础上 对补偿模型进行逐步回归分析,从中提取动力学模型误差,从而抑制了动力学模型误差的影 响,提高了轨道改进的精度。在本文的仿真环境下,部分线性轨道改进法能够有效抑制混合 误差对定轨精度的影响,提高天基测控的轨道确定精度。     

案例教学在思想道德修养课中的运用

传统单一的讲授式教学模式存在理论和实践脱节的弊端,学生学到的理论知识不能有效地内化为道德观念指导其行为。在德育中合理运用案例教学,有利于提高德育实效。本文对案例教学在思想道德修养课中的组织实施、意义和局限性进行了探讨。     

面向月球科研站任务的地月准实时遥操作模拟验证系统设计与关键技术研究

针对月球科研站任务地月遥操作需求和特点,设计地月准实时遥操作模拟验证系统,对其中的关键技术海量多尺度遥感数据环境感知、空地协同高精度定位、基于混合现实的预测仿真等进行了研究。提出了基于海量多尺度遥感数据的联合处理方法,环境感知数据融合可处理米级至厘米级环境感知结果;设计基于空地多运动平台协同定位的原型软件,空地协同地标约束下,定位精度不低于轨道器影像1个像素;开发了带有力觉反馈的预测仿真验证平台,在2~3 s变时延约束下可在仿真环境下协同演示遥操作过程,真实还原从端的遥操作作业场景,提高遥操作的执行效率和安全性。为地面人员的方案设计、操作手训练、故障处置等提供实时支持,为我国未来实施月球科研站任务筑牢基础。     

一种基于UML活动图模型的系统测试方法

UML活动图是基于UML开发的软件设计模型的重要组成部分,它描述了软件系统的动态行为,是软件系统测试过程中的一个重要的信息来源.提出了一个基于UML活动图的场景测试方法,给出了生成基本流和备选流的原则,对传统场景法进行了改进,避免了测试场景集数量爆炸.最后重点结合一个实例对该方法进行了论述.     

硅橡胶基防热涂层动态烧蚀行为及机理研究

针对两种典型硅橡胶基防热涂层开展高温燃气流烧蚀实验，通过对烧蚀后涂层的宏观及微观形貌分析，探讨了其防隔热机理及烧蚀模型。研究结果表明：烧蚀后两种涂层均存在液态层、陶瓷层、热解层以及原始层；烧蚀过程中甲基苯基硅橡胶涂层主要发生主链“回咬”成环反应，导致树脂基体交联密度降低，力学性能下降，涂层外表面发生开裂，甲基乙烯基硅橡胶涂层则主要发生侧基交联反应，使树脂基体交联密度上升，促进涂层发生陶瓷化转变；热辐射、热容吸热、热解反应吸热以及热阻塞效应为四种主要的热耗散机制，质量损失产生的原因主要包括反应气体释放以及气动剪切力导致的机械剥蚀。     

基于MBD的检测数据和三维模型关联与可视化技术

针对目前机械零件的检测数据和三维数模相脱离的问题,提出了一种基于MBD的检测数据和三维模型的关联与可视化技术。给出了组合、交叉、聚合三种检测数据和三维模型的关联方式,在CATIA二次开发环境中对检测数据进行特征建模,并且最后将检测数据和三维模型的关联结果进行可视化显示并通过实例验证。     

Approximate qualitative spatial reasoning

Qualitative relations between spatial regions play an importantrole in the representation and manipulation of spatial knowledge.The RCC5 and RCC8 systems of relations,used in the Region-Connection Calculus, are of fundamentalimportance. These two systems deal with ideal regions havingprecisely determined location. However,in many practical examples of spatial reasoning,regions are represented by finite approximations rather than known precisely.Approximations may be given by describing how a regionrelates to cells forming a partition of the space underconsideration. Although the RCC5 and RCC8 systems have beengeneralized to ``egg-yolk' regions, in order to modelcertain types of vagueness, their extension to regionsapproximated in this way has not been discussed before.This paper presents two methods, the syntactic and the semantic, by which the RCC5 and RCC8 systemsmay be defined for approximate regions. The syntactic uses algebraicoperations on approximate regions which generalize operations on preciseregions. The semantic method makes use of the set of preciseregions which could be the intended interpretation of anapproximate region. Relationships between these two methods arediscussed in detail.alternative to navigation training with a map.     

面向对象建模(UML)的理论分析

本文主要介绍统一建模语言（UML）的产生基础、UML的基本语义；面向对象的机制和过程。