摘要：远程控制FPGA是卫星执行地面指令和转发地面数据的核心部分,且该FPGA使用的帧协议较为复杂,帧传输数据协议数据格式变化多样;为了对远程控制FPGA进行充分的验证,以提高FPGA软件的可靠性,避免存在设计隐患,提出了一种使用目前较先进的通用验证方法学UVM建立了一体化闭环仿真验证平台用来测试远程控制FPGA;仿真结果表面,该验证平台具有带约束收敛的测试向量随机生成和自动检查输出结果正确性功能,能够进行功能覆盖率检测,并有效提高远程控制FPGA验证的效率和质量,较好地满足了验证需求。

摘要：随着航天器交会对接任务越来越复杂,对其高效性、自主性和安全性的要求急剧增加。近年来,引入强化学习技术来解决航天器交会制导问题已经成为国际前沿热点。障碍物避撞对于确保航天器安全交会对接至关重要,而一般的强化学习算法没有对探索空间进行安全限制,这使得航天器交会制导策略设计面临挑战。为此,提出了基于安全强化学习的航天器交会制导方法。首先,设计避撞场景下航天器自主交会的马尔可夫模型,提出基于障碍预警与避撞约束的奖励机制,从而建立用于求解航天器交会制导策略的安全强化学习框架;其次,在该安全强化学习框架下,基于近端策略优化算法(PPO)和深度确定性策略梯度算法(DDPG)这两种深度强化学习算法生成了制导策略。实验结果表明,该方法能有效地进行障碍物避撞并以较高的精度完成交会。另外,通过分析两种算法的性能优劣和泛化能力,进一步证明了所提方法的有效性。