-
公开(公告)号：CN112445665B
公开(公告)日：2024-03-15
申请号：CN202011334417.3
申请日：2020-11-24
申请人： 中国空间技术研究院
摘要： 本申请公开了一种星务软件模块故障复现的方法，该方法包括：确定星务软件模块整个执行过程的动作集合和状态集合，以及确定星务软件模块出现故障时的第一动作和第一状态；确定星务软件模块的初始状态，基于预设的强化学习算法、初始状态对动作集合和状态集合中的动作和状态进行遍历训练确定出执行每个动作后的预期未来奖励值Q，直到达到预设训练次数为止；从初始状态开始根据Q值模拟星务软件模块由初始状态迁移到第一状态。本申请解决了现有技术中无法对软件模块故障进行复现的技术问题。
-
公开(公告)号：CN109145607A
公开(公告)日：2019-01-04
申请号：CN201810924465.4
申请日：2018-08-14
申请人： 中国空间技术研究院
IPC分类号： G06F21/57
CPC分类号： G06F21/57 , G06F2221/033
摘要： 一种卫星安全关键软件系统性验证方法，首先构建安全关键软件多维影响要素模型，然后根据安全关键软件多维影响要素模型构建安全关键软件需求约束集，最后使用得到的安全关键软件需求约束集对安全关键软件进行验证。本发明结合安全关键软件的运行处理过程，通过抽象安全关键软件的控制过程处理模型，提炼形成了软件系统层面的安全约束集，并在此基础上设计了安全关键软件的验证集，实现了建立于软件处理过程模型上的安全性影响要素覆盖分析，以及从安全关键软件安全性影响要素到安全关键软件的验证集的无缝映射，与传统的测试验证方法相比，所验证的系统性问题数量提高大概20％以上，具有很好的使用价值。
-
公开(公告)号：CN116048748A
公开(公告)日：2023-05-02
申请号：CN202211435911.8
申请日：2022-11-16
申请人： 中国空间技术研究院
摘要： 一种基于属性要素模型的低轨通信卫星星务软件优化方法，包括两大方面：1)针对低轨通信卫星星务软件包含的功能模块(含子功能模块)，提出各功能模块的属性要素模型，包括关键属性要素、时间特性要素、控制开关要素等；2)基于各功能模块的属性要素模型，提出自适应调度设计方法。本发明提出基于属性要素模型的低轨通信卫星星务软件功能模块自适应调度设计方法，能够动态根据星务软件系统的实际运行情况，实现功能模块及子功能模块级别的自适应调度，从而实现了对星务软件机时的合理利用，确保软件稳定运行。
-
公开(公告)号：CN115664507A
公开(公告)日：2023-01-31
申请号：CN202211415744.0
申请日：2022-11-11
申请人： 中国空间技术研究院
摘要： 一种低轨通信卫星CAN总线终端模拟仿真方法及系统，包括：启动装有星务软件的模拟计算机，以及与模拟计算机通过CAN总线连接的终端设备；配置CAN总线应用层通信解析处理协议；配置CAN总线终端的结构化描述模型；配置CAN总线终端设备关联的遥测参数结构模型；配置CAN总线终端设备关联的指令响应结构模型；配置CAN总线终端设备关联的指令保存结构模型；星务软件通过CAN总线与终端设备建立正常通信。本发明提供了CAN总线应用层通信协议解析处理机制，给出了模拟仿真系统中各CAN总线终端数据包在与星务软件通信时，应用层数据传送格式，为模拟仿真奠定数据通信基础。
-
公开(公告)号：CN109947406B
公开(公告)日：2022-12-27
申请号：CN201910148031.4
申请日：2019-02-28
申请人： 中国空间技术研究院
摘要： 本发明涉及一种通用化星务管理系统架构，包括逻辑执行模块、数据交互模块和装订数据模块。装订数据模块接收外部输入的软件逻辑模型装订参数；所述软件逻辑模型包括逻辑序列及其执行顺序，每个逻辑序列包括逻辑动作以及逻辑动作之间的嵌套关系和执行顺序，每个逻辑动作包括按照不同的动作模板确定的流程执行的逻辑子操作；逻辑执行模块按照预设的执行周期，依次获取逻辑序列的逻辑动作，根据逻辑动作中逻辑子操作参数，调用逻辑子操作的处理函数，执行逻辑子操作的处理函数，得到卫星星务管理数据或星务执行指令并发送至数据交互模块；数据交互模块，用于通用化星务管理系统与外部接口通信。本发明通过逻辑模型自动实现业务功能，提高了工作效率。
-
公开(公告)号：CN112463462A
公开(公告)日：2021-03-09
申请号：CN202011331225.7
申请日：2020-11-24
申请人： 中国空间技术研究院
摘要： 本申请公开了一种卫星故障数据保存和下传的系统及方法，该系统包括：星载计算机以及地面站；其中，星载计算机，包括主份板卡、备份板卡以及容错板卡，在主份板卡和备份板卡上均设置有容错SRAM存储器，容错板卡包括多个电源模块，多个电源模块均与容错SRAM存储器连接，容错SRAM存储器供电；所述载计算机用于接收并保存卫星单机发送的卫星故障数据以及将卫星故障数据下传给地面站；地面站，用于接收星载计算机主动发送的卫星故障数据，或向星载计算机发送指令并接收星载计算机基于指令发送的卫星故障数据。本申请解决了现有技术中故障数据保存和下传的可靠性差的技术问题。
-
公开(公告)号：CN109947406A
公开(公告)日：2019-06-28
申请号：CN201910148031.4
申请日：2019-02-28
申请人： 中国空间技术研究院
摘要： 本发明涉及一种通用化星务管理系统架构，包括逻辑执行模块、数据交互模块和装订数据模块。装订数据模块接收外部输入的软件逻辑模型装订参数；所述软件逻辑模型包括逻辑序列及其执行顺序，每个逻辑序列包括逻辑动作以及逻辑动作之间的嵌套关系和执行顺序，每个逻辑动作包括按照不同的动作模板确定的流程执行的逻辑子操作；逻辑执行模块按照预设的执行周期，依次获取逻辑序列的逻辑动作，根据逻辑动作中逻辑子操作参数，调用逻辑子操作的处理函数，执行逻辑子操作的处理函数，得到卫星星务管理数据或星务执行指令并发送至数据交互模块；数据交互模块，用于通用化星务管理系统与外部接口通信。本发明通过逻辑模型自动实现业务功能，提高了工作效率。
-
公开(公告)号：CN112463462B
公开(公告)日：2024-03-15
申请号：CN202011331225.7
申请日：2020-11-24
申请人： 中国空间技术研究院
摘要： 本申请公开了一种卫星故障数据保存和下传的系统及方法，该系统包括：星载计算机以及地面站；其中，星载计算机，包括主份板卡、备份板卡以及容错板卡，在主份板卡和备份板卡上均设置有容错SRAM存储器，容错板卡包括多个电源模块，多个电源模块均与容错SRAM存储器连接，容错SRAM存储器供电；所述载计算机用于接收并保存卫星单机发送的卫星故障数据以及将卫星故障数据下传给地面站；地面站，用于接收星载计算机主动发送的卫星故障数据，或向星载计算机发送指令并接收星载计算机基于指令发送的卫星故障数据。本申请解决了现有技术中故障数据保存和下传的可靠性差的技术问题。
-
公开(公告)号：CN109101418B
公开(公告)日：2022-03-04
申请号：CN201810790517.3
申请日：2018-07-18
申请人： 中国空间技术研究院
IPC分类号： G06F11/36
摘要： 一种基于信息流交互特性的卫星能源管理软件测试方法，首先梳理卫星能源管理软件各个功能模块的输入和输出，依据不同功能模块间输入和输出的关联特性，建立功能模块间的信息流二元映射关系，然后根据能源管理软件的任务执行逻辑场景，划分得到当前任务执行逻辑场景对应的各个功能模块间的信息流二元映射关系，进而得到当前任务执行逻辑场景对应的测试集合架构，最后基于所形成的不同测试集合架构，对其中所含的各个功能模块间的信息流二元映射关系或者不与其他功能模块进行信号交互的功能模块，执行串行测试。
-
公开(公告)号：CN109212955A
公开(公告)日：2019-01-15
申请号：CN201811091935.X
申请日：2018-09-19
申请人： 中国空间技术研究院
摘要： 一种多源卫星系统时间智能管理方法，属于卫星时间系统智能化管理技术领域。本发明方法根据应用模式自主切换时间系统，在GNSS接收机、下位机时钟源、CPU系统时钟、温补晶振时钟源之间实现自主切换，根据GNSS接收机是否可用来确定是否使用GNSS接收机时间，通过绝对、增量和均匀校时方法来选择对温补晶振和CPU时钟进行校准，同时参考下位机时钟源进行时间偏差纠正，将以准确可靠的形式通过总线对时间需求终端进行授时，实现卫星星时的校准和分发，确保卫星系统时间统一，各项功能准确执行，解决了当前卫星时间管理系统的存在时间延迟且校准流程繁琐的问题，进一步地，还能够在卫星时间清零或者计算机复位等异常工况下，防止卫星错误星时向下位机蔓延的情况。
-
-
-
-
-
-
-
-
-
搜索结果
13 条记录 (耗时 0.031 秒)
