基于资源扩展活动图的并发测试用例生成方法

对UML(统一建模语言)活动图进行共享资源的属性扩展,利用扩展的活动图对并发系统间任务的同步及数据的竞争关系建模,充分考虑并发软件运行原理、故障模式及测试效率,提出并发系统的测试覆盖原则及基于扩展活动图的并发测试用例生成方法。进一步通过举例验证该方法能够正确的生成并发测试用例同时又可防止用例数量爆炸,提高了并发软件测试的可靠性及效率。     

面向立方星的相对位姿测量视觉传感器设计

针对立方星在轨服务任务中的近距离相对导航问题，提出一种相对位姿测量视觉传感器设计。为应对空间复杂的光照条件，设计一种具有多层结构的立体靶标，选取波长为850nm的LED灯作为立体靶标的光源。在相机镜头处安装850nm的红外窄带滤镜以提高立体靶标成像质量。为提高视觉传感器的测量精度，提出一种迭代直接求解(iterative direct solution, IDS)的相对位姿估计算法。该算法直接利用立体靶标上的非共面点提供的深度信息获得初始相对位姿，然后引入Haralick迭代算法来优化初始测量结果。搭建六自由度实验平台对该视觉传感器进行性能测试。实验结果表明,该视觉传感器能克服背景光的干扰，且提出的 IDS相对位姿估计算法的精度优于经典的P3P算法和EPnP算法。     

利用视加速度补偿和推力逐级释放的垂直着陆制导方法

针对运载火箭子级垂直返回着陆段的制导问题，本文在应用凸优化的滚动时域在线规划基础上研究了制导鲁棒性的改善策略。为应对着陆后期控制能力不足的情况，在滚动规划过程中引入了推力上界逐级释放的策略。同时，考虑缓解干扰和误差累积的影响，在制导周期内引入视加速度信息对在线规划的推力指令进行补偿，以进一步改善滚动规划的递归可行性。最后，通过数值算例仿真及对比分析验证所提出的补偿策略的有效性。     

基于鸽群优化算法的实时避障算法

为保证机器人能安全无碰撞地抵达目标位置，提出一种在改进版圆形扩张（CSE+）法中融合鸽群优化算法的实时避障算法。所提算法引入对障碍物密集程度的判断机制，在障碍分布密集时选择最安全的路径，在障碍物分布稀松的环境中，利用鸽群优化算法在安全范围内寻找下一目标最优位置。此外，还引入了搜索树，可实现死角的检测与避免。仿真结果显示:所提避障算法能提高路径规划的性能，在障碍物分布稀松时效果更加明显，且可实现死角检测并能通过狭长通道。      

基于区间灰色不确定语言的工作类型优化方法

针对飞机维修任务工作类型优化过程中的模糊与灰色问题,采用区间灰色不确定语言变量建立工作类型的评价指标和决策模型,提出了军机维修任务工作类型优化方法。对优化方法进行了实例分析,工作类型排序结果和数据对比结果验证了优化方法的可行性与有效性。在某军机上对优化方法进行了工程应用,完成192项初始维修任务工作类型优化,应用结果表明了该优化方法具备良好的工程应用价值,可有效提升工作类型合理性。     

7°尖锥高超声速边界层转捩红外测量实验

为了推动高超声速边界层转捩研究的深入开展，给边界层转捩机理研究、物理模型验证、转捩数据库构建和转捩天地相关性的建立等提供基础风洞实验数据，在中国空气动力研究与发展中心的Φ1 m高超声速风洞开展了边界层转捩规律红外热图实验。针对半锥角7°尖锥模型，研究了不同单位雷诺数、迎角和马赫数对尖锥边界层转捩位置的影响规律。实验单位雷诺数（0.49~2.45）×107/m，迎角范围-10°~10°，马赫数5~7，模型头部半径0.05 mm。通过红外热图技术测量模型表面温度分布，获得了较为详细的转捩位置和转捩参数影响规律。实验结果表明:在马赫数5~7范围内，马赫数增大，尖锥转捩位置提前，分析认为是高马赫数时的雷诺数较大、自由流噪声水平较高引起；随着单位雷诺数的增大，边界层转捩位置前移，转捩雷诺数保持不变，约为3.0×106；小迎角时，随着迎角的增大，迎风面边界层转捩推迟，背风面边界层转捩前移，在10°大迎角时，迎风区中心线转捩前移，出现迎角"转捩逆转"现象，背风区出现了流动分离导致的低热流条带。     

基于有限元的单机耐压结构优化设计

针对某单机适应瞬时高压环境使用性的结构设计需求,应用PROE软件进行结构及优化设计、ANSYS有限元软件进行仿真分析、实验验证相结合的方式进行耐高压结构设计,经验证结构符合高压环境使用要求。这种结构及优化设计、有限元仿真分析与实验验证相结合的设计方式可有效保证单机结构强度满足环境适应性,为今后的耐高压结构设计提供了方法与方向。