一种不影响正常运行的在轨修改星上产品软件的方法

    公开(公告)号:CN110308920A

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

    申请号:CN201910471291.5

    申请日:2019-05-31

    Abstract: 本发明提供了一种不影响正常运行的在轨修改星上产品软件的方法,星上产品执行下列步骤:(1)、获取包括新的产品功能执行代码和注入区首地址的第一注入代码信息,并从中提取新的产品功能执行代码存入注入区;(2)、获取包括跳转至注入区首地址的跳转函数执行代码和待修改代码所在的存储区域首地址的第二注入代码信息,并从中提取跳转函数执行代码,存储至待修改代码所在的存储区域,将星上产品中正在运行的程序中待修改代码替换为跳转函数执行代码,跳转函数执行代码使程序指针运行至待修改代码处时,跳转到注入区首地址,调用新的产品功能执行代码,并执行新的产品功能执行代码。本发明大大提高了产品在轨运行的安全性和产品可维护性。

    一种主被动一体化的四足会聚式隔振器

    公开(公告)号:CN108278309B

    公开(公告)日:2019-09-06

    申请号:CN201810057862.6

    申请日:2018-01-19

    Abstract: 一种主被动一体化的四足会聚式隔振器,包括上连接板(1)、斜置微振动控制单元(2)、第三开槽碟形弹簧(4)、下连接板(5)、开槽圆柱弹簧(6);开槽圆柱弹簧(6)一端连接第三开槽碟形弹簧(4),另一端固定在下连接板(5)中部;第三开槽碟形弹簧(4)固定在上连接板(1)中部;各斜置微振动控制单元(2)绕开槽圆柱弹簧(6)的中心轴沿上连接板(1)周向均匀分布,倾斜安装,一端与上连接板(1)相连,另一端与下连接板(5)相连。本发明采用主被动一体化结构,能实现宽频段的微振动控制,提高了隔振器的隔振效率和对复杂环境及变化对象的适应性。

    一种本地工作区与远程数据服务器结合的高效软件数据管理方法

    公开(公告)号:CN103646077B

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

    申请号:CN201310676324.2

    申请日:2013-12-11

    Abstract: 一种本地工作区与远程数据服务器结合的高效软件数据管理方法,步骤如下:建立远程数据存储库服务器,对数据进行集中存储和共享;在终端用户所使用的计算机本地硬盘上建立工作区,存储用户当前使用的数据本地工作区是用户在本地硬盘指定的文件夹,通过该文件夹下的特定文件记录该文件夹内所有子文件夹和文件的类型和状态,及与远程数据存储库数据的对应关系;本地工作区内的数据与数据存储库对应的数据实现被动同步;对数据存储库内数据的删除通过直接对数据存储库操作来实现,不涉及本地工作区与数据存储库的同步;对本地工作区数据的删除,仅执行对本地工作区数据的删除,不删除远程数据存储库中对应的数据。本发明解决了高效、安全的数据共享。

    一种框架驱动供电一体化组件

    公开(公告)号:CN103471576B

    公开(公告)日:2015-10-21

    申请号:CN201310439310.9

    申请日:2013-09-24

    Abstract: 本发明公开了一种框架驱动供电一体化组件,属于空间执行机构领域。该框架驱动供电一体化组件包括框架支承组件、导电环组件、超声电机组件、双通道绝对零位式圆感应同步器组件、同步器转子锁紧螺母、导电环固定板。本发明的框架驱动供电一体化组件实现了框架驱动组件和框架供电组件一体化设计,框架电机采用新型超声电机,测角装置采用双通道绝对零位式圆感应同步器,实现了高精度、低功耗和轻小型化,适合于微小卫星应用。

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

    公开(公告)号:CN103714035A

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

    申请号:CN201310751618.7

    申请日:2013-12-31

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

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

    公开(公告)号:CN103678136A

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

    申请号:CN201310744664.4

    申请日:2013-12-30

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

Patent Agency Ranking