一种基于事件队列的航天器故障诊断方法

    公开(公告)号:CN104743137A

    公开(公告)日:2015-07-01

    申请号:CN201510098358.7

    申请日:2015-03-05

    IPC分类号: B64G1/52

    摘要: 一种基于事件队列的航天器故障诊断方法,首先获取航天器故障诊断相关数据,并判断获得的故障诊断相关数据是否满足事件注册条件,若满足,则进行事件注册,否则判断当前事件队列中的事件是否满足事件触发条件,若满足,则执行相应的开关操作,否则,结束本周期的故障诊断,本发明将判断故障发生的时序条件抽象为事件,将故障处理措施抽象为动作,通过事件队列实现故障诊断与处理,实现了复杂故障诊断与处理场景的形式化描述,为了清晰、无二义性地描述航天器故障诊断的需求提供了一种方法,该方法既有利于航天器故障诊断与处理方案设计人员清晰明了地描述航天器故障诊断需求,又有利于实现故障诊断与处理方法的复用。

    一种星载软件测试自动执行方法

    公开(公告)号:CN103218289A

    公开(公告)日:2013-07-24

    申请号:CN201310108439.1

    申请日:2013-03-29

    IPC分类号: G06F11/36

    摘要: 本发明公开了一种星载软件测试自动执行方法,根据可执行测试脚本序列动态创建顺序执行线程和实时监控线程,将可执行测试脚本序列导入到顺序执行线程,将可执行测试脚本序列中的实时监控任务导入到实时监控线程中形成实时比对序列;所述可执行测试脚本序列包括多个脚本序列块,每个脚本序列块包括多个操作块。本发明不但可以基于测试事件的时间先后顺序,还可以通过比对变量的变化来触发测试事件的执行,提高了自动测试序列执行的灵活性和对各种状态更改的测试覆盖率。

    一种航天器无线敏感器确定自主监测发射窗口的方法

    公开(公告)号:CN116707669A

    公开(公告)日:2023-09-05

    申请号:CN202310552913.3

    申请日:2023-05-16

    IPC分类号: H04B17/15 H04B17/29

    摘要: 一种航天器无线敏感器确定自主监测发射窗口的方法,包括:确定从标称发射时刻起出现发射事件的概率模型;确定N个监测时段以及每个监测时段的监测时间;在N个监测时段内,初步设置最多m个待监测的发射窗口,并基于概率模型,在监测能耗约束下,采用遗传算法对最多m个待监测的发射窗口的起始时刻、结束时刻参数进行优化选择,使得监测到火箭发射事件的概率最大;根据不同数量的待监测的发射窗口下监测到火箭发射事件的最大概率,并在满足外部预设条件的情况下,确定最终的待监测的发射窗口个数;基于最终的待监测的发射窗口个数,以及每个待监测的发射窗口的起始时刻、结束时刻优化结果,确定每个待监测的发射窗口的加电、断电时刻。

    一种星载软件测试自动执行方法

    公开(公告)号:CN103218289B

    公开(公告)日:2015-07-08

    申请号:CN201310108439.1

    申请日:2013-03-29

    IPC分类号: G06F11/36

    摘要: 本发明公开了一种星载软件测试自动执行方法,根据可执行测试脚本序列动态创建顺序执行线程和实时监控线程,将可执行测试脚本序列导入到顺序执行线程,将可执行测试脚本序列中的实时监控任务导入到实时监控线程中形成实时比对序列;所述可执行测试脚本序列包括多个脚本序列块,每个脚本序列块包括多个操作块。本发明不但可以基于测试事件的时间先后顺序,还可以通过比对变量的变化来触发测试事件的执行,提高了自动测试序列执行的灵活性和对各种状态更改的测试覆盖率。

    一种51单片机高精度计时方法

    公开(公告)号:CN103605279A

    公开(公告)日:2014-02-26

    申请号:CN201310487916.X

    申请日:2013-10-17

    IPC分类号: G04F10/00

    摘要: 本发明涉及一种51单片机高精度计时方法,采用了连续读取定时器和适当屏蔽定时器的方法,其中:一、连续两次读取定时器的数值,解决了定时器低8位溢出进位造成的计时误差;二、适当屏蔽定时器并配合读取定时器溢出标志位,解决了定时器低16位溢出进位造成的计时误差,实现了51单片机的高精度计时,且本发明方法仅需要51单片中的定时器即可实现,不需要外围复杂的计时电路,具有相对较低的成本,且方法简单,易于实现,具有较强的实用性。

    一种基于事件队列的航天器故障诊断方法

    公开(公告)号:CN104743137B

    公开(公告)日:2017-01-04

    申请号:CN201510098358.7

    申请日:2015-03-05

    IPC分类号: B64G1/52

    摘要: 一种基于事件队列的航天器故障诊断方法,首先获取航天器故障诊断相关数据,并判断获得的故障诊断相关数据是否满足事件注册条件,若满足,则进行事件注册,否则判断当前事件队列中的事件是否满足事件触发条件,若满足,则执行相应的开关操作,否则,结束本周期的故障诊断,本发明将判断故障发生的时序条件抽象为事件,将故障处理措施抽象为动作,通过事件队列实现故障诊断与处理,实现了复杂故障诊断与处理场景的形式化描述,为了清晰、无二义性地描述航天器故障诊断的需求提供了一种方法,该方法既有利于航天器故障诊断与处理方案设计人员清晰明了地描述航天器故障诊断需求,又有利于实现故障诊断与处理方法的复用。

    一种51单片机高精度计时方法

    公开(公告)号:CN103605279B

    公开(公告)日:2016-06-01

    申请号:CN201310487916.X

    申请日:2013-10-17

    IPC分类号: G04F10/00

    摘要: 本发明涉及一种51单片机高精度计时方法,采用了连续读取定时器和适当屏蔽定时器的方法,其中:一、连续两次读取定时器的数值,解决了定时器低8位溢出进位造成的计时误差;二、适当屏蔽定时器并配合读取定时器溢出标志位,解决了定时器低16位溢出进位造成的计时误差,实现了51单片机的高精度计时,且本发明方法仅需要51单片中的定时器即可实现,不需要外围复杂的计时电路,具有相对较低的成本,且方法简单,易于实现,具有较强的实用性。