一种保障1553B总线通信时序正确性的时序确定方法

    公开(公告)号:CN103744813B

    公开(公告)日:2016-03-30

    申请号:CN201310751624.2

    申请日:2013-12-31

    Abstract: 一种保障1553B总线通信时序正确性的时序确定方法,根据1553B总线各个子地址通讯方式和特点,确定了通讯的时序要求,保障了总线通讯时序正确性。本发明解决了传统分析中时间要求不全面的问题。本发明识别出各个通讯功能的通讯时间和通讯间时间间隔要求,为分析提供了更为系统全面的因素。本发明不仅分析不同通讯功能之间有先后顺序和时间要求,还给出了多个通讯共同完成同一系统功能时,需要考虑的时序问题。这样减少了软件系统行为的不确定性。

    一种控制力矩陀螺替代动量轮的卫星稳态控制方法

    公开(公告)号:CN103950556B

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

    申请号:CN201410163314.3

    申请日:2014-04-22

    Abstract: 本发明公开了一种控制力矩陀螺替代动量轮的卫星稳态控制方法。当正常工作的动量轮数量为三个时,传统方式下动量轮只能以角动量过零方式工作实现姿态稳定控制,此时控制精度有所下降。针对这一问题,本发明提出了将备份控制力矩陀螺高速转子作为角动量固定动量轮使用,通过转动低速框架角提供某一方向的固定偏置角动量,使得剩余三个动量轮可以工作在偏置状态,从而使系统进入以备份控制力矩陀螺高速转子和三个工作在偏置角动量状态的动量轮组成的零动量控制系统的稳态控制模式,避免动量轮过零使用的精度损失问题。该方法使冷备份控制力矩陀螺兼顾了侧摆机动和稳态控制的备份作用,提高了该类卫星执行机构在轨使用的可靠性。

    一种基于控制流的数据竞争误报降低方法

    公开(公告)号:CN103678136B

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

    申请号:CN201310744664.4

    申请日:2013-12-30

    Abstract: 一种基于控制流的数据竞争误报降低方法,是一种针对航天嵌入式C程序数据竞争检测的改进方法,目的在于降低误报、提高分析准确度。一般认为,主程序和中断服务程序具有共享变量时,如果二者中至少一个对该共享变量进行了写操作,那么该变量可能会发生数据竞争。本发明以语法分析技术为基础,结合领域特征,识别无害的数据竞争,降低数据竞争检测的误报率。本发明提出的检查方法降低了数据竞争检测的误报率,有利于发现真正有害的数据竞争。

    一种嵌入式软件可信性保障方法

    公开(公告)号:CN103677849B

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

    申请号:CN201310738865.3

    申请日:2013-12-26

    Abstract: 本发明公开了一种嵌入式软件可信性保障方法,通过构建基于可信要素的五元组技术体系,实现在每一个研制阶段针对每一个可信要素利用理论方法、工具以及度量评估对嵌入式软件的可信性进行系统全面的保障。本发明以工程实践中提炼出的嵌入式软件可信要素为基础,将软件可信性保障按照可信要素分配到软件研制各阶段,使得可信性保障更具有针对性。使用不同粒度的、与研制阶段相关联的可信要素来指导可信性保障活动,保证了可实施性。本发明采用工具作为嵌入式软件可信性保障活动的最终手段,与目前大多数依赖过程管理体系保证软件质量的方法有明显不同,实现了软件可信性保障从依赖人到依赖工具的转变。

    一种嵌入式软件可信性保障方法

    公开(公告)号:CN103677849A

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

    申请号:CN201310738865.3

    申请日:2013-12-26

    Abstract: 本发明公开了一种嵌入式软件可信性保障方法,通过构建基于可信要素的五元组技术体系,实现在每一个研制阶段针对每一个可信要素利用理论方法、工具以及度量评估对嵌入式软件的可信性进行系统全面的保障。本发明以工程实践中提炼出的嵌入式软件可信要素为基础,将软件可信性保障按照可信要素分配到软件研制各阶段,使得可信性保障更具有针对性。使用不同粒度的、与研制阶段相关联的可信要素来指导可信性保障活动,保证了可实施性。本发明采用工具作为嵌入式软件可信性保障活动的最终手段,与目前大多数依赖过程管理体系保证软件质量的方法有明显不同,实现了软件可信性保障从依赖人到依赖工具的转变。

    航天器控制软件IP程序实体实现方法及装置

    公开(公告)号:CN116860232A

    公开(公告)日:2023-10-10

    申请号:CN202310800420.7

    申请日:2023-06-30

    Abstract: 本发明提供了一种航天器控制软件IP程序实体实现方法及装置,其中方法包括:基于待开发航天器控制软件的需求规格说明,获取待生成程序实体的目标IP模块;IP模块为需求规格说明中的可复用功能点;提取目标IP模块包括的接口、参数变量、状态变量和自定义函数;接口包括数据接口和服务接口;数据接口用于所述目标IP模块与外部程序的数据交互,服务接口用于向外部程序输出功能;获取对目标IP模块的接口、参数变量、状态变量和自定义函数分别进行声明或声明及定义后得到的头文件和源文件;对得到的头文件和源文件进行编译和单元测试,当测试通过后,将得到的头文件和源文件确定为目标IP模块的程序实体。本方案,能够提高IP程序实体的复用性。

    一种利用磁力矩器卸载卫星合成角动量的双滞环方法

    公开(公告)号:CN110127088A

    公开(公告)日:2019-08-16

    申请号:CN201910368565.8

    申请日:2019-05-05

    Abstract: 本发明涉及一种利用磁力矩器卸载卫星合成角动量的双滞环方法,属于卫星姿态控制技术领域。该方法针对磁卸载在地磁场方向刚满足卸载条件的轨道弧段附近磁控电压的频繁切换的问题,针对角动量误差以及地磁场矢量与角动量误差矢量夹角引入双滞环卸载策略,最后对卸载电压进行滤波平滑后输出,有效降低磁控力矩对卫星姿态稳定度的影响,实现了卫星的高稳定度姿态控制。相比传统磁卸载方法,采用本发明的方法可降低磁控力矩引起的卫星姿态角和角速度的波动,有效克服磁卸载对卫星的姿态稳定度产生的恶劣影响。

    一种用于推进剂贮箱中的推进剂管理装置

    公开(公告)号:CN104691786B

    公开(公告)日:2016-08-24

    申请号:CN201510008141.2

    申请日:2015-01-07

    Abstract: 一种用于推进剂贮箱中的推进剂管理装置,包括中心支柱、导流叶片、支柱叶片、大叶片、蓄液叶片、上压板、上网片、上支板、小圆柱、骨架、下压板、下网片、下支板;导流叶片、支柱叶片、大叶片均径向固定安装在中心支柱上从而形成一个整体结构,所述整体结构通过中心支柱固定安装在上压板上,支柱叶片与大叶片安装于同一平面内,导流叶片的安装平面与大叶片的安装平面成一定的夹角;蓄液叶片径向固定安装在上压板上,上压板、上网片、上支板、小圆柱、骨架、下压板、下网片、下支板从上往下依次固定安装从而形成一个整体结构即蓄集液体组件。本发明具有抑制液体晃动功能,在轨工作适用范围广泛,可实现地面重复大流量加注。

    一种航天器软件空间使用安全性检查方法

    公开(公告)号:CN103745153B

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

    申请号:CN201310746198.3

    申请日:2013-12-30

    Abstract: 一种航天器软件空间使用安全性检查方法,是一种针对航天器软件内存空间使用安全的检查方法,目的在于检查航天器软件是否会出现内存使用违例的情况,包括全局数据区溢出的检查方法和程序栈溢出的检查方法。全局数据区溢出的检查方法主要检查软件编译固化时,全局变量占用的空间是否超过了静态分配的空间。程序栈溢出的检查方法主要是分析软件运行时,程序使用的栈空间是否可能超过静态分配的栈空间大小。本发明提出的检查方法能够在不需要运行软件的情况下,完成上述两种软件空间使用安全问题的检查,具有良好的适应性。本发明方法的复杂度低,适用于大规模软件。

    一种用于集成环境的多层软件总线结构

    公开(公告)号:CN103714035B

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

    申请号:CN201310751618.7

    申请日:2013-12-31

    Abstract: 一种用于集成环境的多层软件总线结构,所述结构包括多层总线和插件;多层总线由若干处于不同层次的总线组成,这些总线按照树的拓扑结构组织在一起:最底层有且只有一条总线,称为全局总线,其他各层次的总线都称为局部总线,以全局总线为树根,形成多层的树状结构;插件是集成环境中被集成的软件的封装,以服务的形式将被集成软件的功能加入集成环境中。本发明所提出的多层总线结构实现了总线协议的可扩展性,能够通过增加新的局部总线,对总线协议进行扩展,以针对新类型工具进行更加高效、紧密的集成。

Patent Agency Ranking