一种星载操作系统集成的故障快速自主处理方法

    公开(公告)号:CN105069052A

    公开(公告)日:2015-11-18

    申请号:CN201510441109.3

    申请日:2015-07-24

    CPC classification number: G06F17/30949

    Abstract: 本发明一种星载操作系统集成的故障快速自主处理方法,步骤如下:(1)为每种故障分配一个故障代码,并由用户自定义故障处理函数,作为一个记录项,以hash表的方式组织,实现以故障代码为关键字的快速插入和快速查找;(2)在星载操作系统运行过程中,当内核检测到故障时把故障代码发送到一个消息队列,通过消息队列取得故障消息,根据故障代码在hash表中进行查找,得出故障诊断的详细结果,并进行处理。本发明提供了应用层面的一种故障诊断和处理机制,能够采用软件手段有效解决系统中处理器中断或陷阱无法识别和处理的故障问题。

    一种优先级抢占时间片轮转操作系统中任务定时调度方法

    公开(公告)号:CN103713948B

    公开(公告)日:2015-09-23

    申请号:CN201310746023.2

    申请日:2013-12-30

    Abstract: 本发明一种优先级抢占时间片轮转操作系统中任务定时调度方法,步骤如下:(1)利用操作系统接口函数创建用户任务TaskEncap_N(),在用户任务TaskEncap_N()中对实际的用户任务函数TaskFunc_N()进行封装,即先挂起函数TaskFunc_N(),再调用函数TaskFunc_N();(2)定义一个用户任务的起始调度时刻位图和用户任务的起始调度任务位图,利用位图快速索引用户任务的起始调度时刻以及用户任务控制块指针;(3)时间片中断时,利用时间片中断钩子函数实现定时调度,即在需要任务调度的时刻,如果上一个时间段的任务未完成则重启动该任务,再恢复本时间段的任务;否则直接恢复本时间段的任务。

    一种航天星载软件可执行脚本自动转化方法

    公开(公告)号:CN103218290B

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

    申请号:CN201310108563.8

    申请日:2013-03-29

    Abstract: 本发明公开了一种航天星载软件可执行脚本自动转化方法,能够将航天星载软件测试用例自动转化为可执行脚本,对自然语言描述的测试用例进行字符读取,通过分号对测试用例进行切割获得每个测试序列块;通过逗号对每个测试序列块进行分割获得操作块,并获得每个测试序列块中每个操作块的具体描述字符串;对每个测试序列块中每个操作块的具体描述字符串进行比对处理获得处理后的字符串;对处理后的字符串经脚本信息提取、映射处理后得到可执行脚步,利用所述可执行脚本实现对星载软件的测试。

    一种星敏感器空间粒子干扰条件下的姿态捕获方法

    公开(公告)号:CN104567865A

    公开(公告)日:2015-04-29

    申请号:CN201410838400.X

    申请日:2014-12-29

    CPC classification number: G01C21/025

    Abstract: 本发明一种星敏感器空间粒子干扰条件下的姿态捕获方法,当星敏感器姿态捕获受到空间粒子干扰时,对从星敏感器像面上读出的有效像元进行滚动条带式存储以得到完整的星图星点信息;利用星图星点信息进行匹配识别,在匹配失败时比较多帧星点的位置信息,对偏差较大星点进行剔除后再次进行匹配识别;利用匹配识别结果进行姿态解算,比对验证多帧姿态捕获结果,结果间偏差满足要求时判断姿态捕获成功。本发明依据多帧完整星点位置信息进行比对筛选,能准确判别空间粒子干扰造成的伪星点,保证空间环境中星敏感器姿态捕获的正确性。

    一种用于SRAM型FPGA配置刷新的CRC校验方法

    公开(公告)号:CN104484238A

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

    申请号:CN201410783776.5

    申请日:2014-12-16

    Abstract: 一种用于SRAM型FPGA配置刷新的CRC校验方法,通过对SRAM型FPGA配置文件格式、存储形式和故障模式的研究,采用对SRAM型FPGA回读配置帧实时计算与PROM内预先存储的CRC校验码比对的方式,提出并实现了一种用于SRAM型FPGA配置刷新的CRC校验方法。本发明方法采用CRC校验码的形式,实现了FPGA配置信息校验的器件无关性,同时设置了使能标志和获取标志,实现了不同速率、大数据量校验的应用需求,在回读过程中实时完成回读数据的CRC校验,达到了节省存储资源与处理时间的目的。另外本发明方法使用的基于查表的字节型CRC算法,进行资源独立划分和管理,快速高效,提升了运算速度和工作频率。

    一种优先级抢占时间片轮转操作系统中任务定时调度方法

    公开(公告)号:CN103713948A

    公开(公告)日:2014-04-09

    申请号:CN201310746023.2

    申请日:2013-12-30

    Abstract: 本发明一种优先级抢占时间片轮转操作系统中任务定时调度方法,步骤如下:(1)利用操作系统接口函数创建用户任务TaskEncap_N(),在用户任务TaskEncap_N()中对实际的用户任务函数TaskFunc_N()进行封装,即先挂起函数TaskFunc_N(),再调用函数TaskFunc_N();(2)定义一个用户任务的起始调度时刻位图和用户任务的起始调度任务位图,利用位图快速索引用户任务的起始调度时刻以及用户任务控制块指针;(3)时间片中断时,利用时间片中断钩子函数实现定时调度,即在需要任务调度的时刻,如果上一个时间段的任务未完成则重启动该任务,再恢复本时间段的任务;否则直接恢复本时间段的任务。

    一种并发中断驱动软件系统的时序确定方法

    公开(公告)号:CN103699042A

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

    申请号:CN201310751632.7

    申请日:2013-12-31

    Abstract: 并发中断驱动软件系统的时序确定方法,通过功能分配,为每个具体的功能模块进行处理时间和调用时间间隔的时序确定,并对中断处理程序进行时序和功能模块组成确定。本发明通过将功能进行细化的时序分配,在设计中就考虑了时序约束,易于保证整个软件系统的时序正确性。本发明给出了放在中断处理中的功能模块的设计准则和处理方式。哪些功能模块需要放在中断中处理对系统时序影响很大,需要统筹考虑,如果不合适可能会导致时序错误。本发明中提供的准则指导了中断中模块的时序设计,减少了中断驱动软件系统行为的不确定性。

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

    公开(公告)号:CN103218289A

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

    申请号:CN201310108439.1

    申请日:2013-03-29

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

    星上挠性振动的二元智能结构控制装置及控制方法

    公开(公告)号:CN102085918B

    公开(公告)日:2013-03-13

    申请号:CN201010623825.0

    申请日:2010-12-31

    Abstract: 星上挠性振动的二元智能结构控制装置及控制方法,包括若干个压电敏感器、若干根形状记忆合金丝和控制器,若干个压电敏感器通过电缆将感应到的电压传输到控制器,控制器将电压转换为形状记忆合金丝控制电流通过电缆传输到若干根形状记忆合金丝,控制形状记忆合金丝产生张力,来控制星上挠性振动。本发明采用压电陶瓷(PZT)作为应变测量敏感器,形状记忆合金丝(SMA)作为执行机构,发挥这两种智能材料各自的优点,而避免其缺点,即压电作为敏感器具有灵敏度高的特点,但作为驱动器则驱动力小,且无法布置于铰链等处(否则影响帆板展开);而形状记忆合金作为驱动器其驱动力比压电大很多,且可以折叠,不影响帆板展开和锁定。

Patent Agency Ranking