CN115079228B 一种卫星自主任务规划复杂指令时序验证方法 （北京控制工程研究所）

一种卫星自主任务规划复杂指令时序验证本发明涉及一种卫星自主任务规划复杂指令动作的正确性等功能进行时序验证和自动判发明能够解决任务规划结果最主要的指令时序划软件和系统测试提供了一种更加高效可靠的2加入成像任务的动作执行时序的细化设计、数传任务相邻2个任务周期各模式之间的机—相机开机—相机参数设置—数传设置—相机关机—传开机—姿态机动开始—相机开机—姿态机动到位—相机参数设置—数传设置—姿态跟态机动开始—天线预置开始—相机开机—天线跟踪开始—姿态机动到位—相机参数设S1、当成像任务的起始动作为相机开机时，相机开机的3式的时间间隔为T10；当前任务周期的边记边放模式到下一任务周期关机模式的时间间隔设定当前任务周期的关机模式到下一任务周期的擦除模式的时间间隔为任务周期的擦除模式到下一任务周期擦除模式的设定当前任务周期的关机模式到下一任务周期记录模式的时间间隔为T任务周期的记录模式到下一任务周期记录模式的时间间隔为T1；设定不切压缩比状态下，周期的边记边放模式到下一任务周期记录模式的时间间隔设定当前任务周期的关机模式到下一任务周期回放模式的时间间不切天线状态下，当前任务周期的边记边放模式到下一任务周期回放模式的时间间隔为设定当前任务周期的关机模式到下一任务周期边记边放模式的时间间隔为10.根据权利要求9所述的一种卫星自主任务规划复杂指令时序验证方法，其特征在4[0002]以观测成像为主要目标的遥感卫星自主任务规划的主要功能是针对地面目标序放模式、边记边放模式；对数传任务相邻2个任务周期各模式之间的时间间隔进行细化设[0012]加入成像任务的动作执行时序的细化设计、数传任务相邻2个任务周期各模式之5始—相机开机—姿态机动到位—相机参数设置—数传设置—姿态跟踪—相机关机—数传开始—相机开机—天线跟踪开始—姿态机动到位—相机参数设置—数传设置—姿态跟前任务周期的边记边放模式到下一任务周期关机模式的时间间前任务周期的擦除模式到下一任务周期记录模式的时间间隔为T4；设定切压缩比状态下，6任务周期的边记边放模式到下一任务周期记录模式的时[0030](1)本发明给出一种全新的验证策略，该策略能够解决任务规划测试验证依赖整[0031](2)本发明提出了一种高效的规划结果指令时序验证策略。该方法可推广应用于7[0037]确定数传任务的动作执行时序，以数传任务的动作执行时序开机—相机开机—相机参数设置—数传设置—相数传开机—姿态机动开始—相机开机—姿态机动到位—相机参数设置—数传设置—姿态为：数传开机—姿态机动开始—天线预置开始—相机开机—天线跟踪开始—姿态机动到位—相机参数设置—数传设置—姿态跟踪—相放模式、边记边放模式；对数传任务相邻2个任务周期各模式之间的时间间隔进行细化设机模式的时间间隔为T10；当前任务周期的边记边放模式到下一任务周期关机模式的时间8前任务周期的擦除模式到下一任务周期记录模式的时间间隔为T4；设定切压缩比状态下，任务周期的边记边放模式到下一任务周期记录模式的时[0055]加入成像任务的动作执行时序的细化设计、数传任务相邻2个任务周期各