-
公开(公告)号：CN109145607B
公开(公告)日：2021-06-11
申请号：CN201810924465.4
申请日：2018-08-14
申请人： 中国空间技术研究院
IPC分类号： G06F21/57
摘要： 一种卫星安全关键软件系统性验证方法，首先构建安全关键软件多维影响要素模型，然后根据安全关键软件多维影响要素模型构建安全关键软件需求约束集，最后使用得到的安全关键软件需求约束集对安全关键软件进行验证。本发明结合安全关键软件的运行处理过程，通过抽象安全关键软件的控制过程处理模型，提炼形成了软件系统层面的安全约束集，并在此基础上设计了安全关键软件的验证集，实现了建立于软件处理过程模型上的安全性影响要素覆盖分析，以及从安全关键软件安全性影响要素到安全关键软件的验证集的无缝映射，与传统的测试验证方法相比，所验证的系统性问题数量提高大概20％以上，具有很好的使用价值。
-
公开(公告)号：CN112731452A
公开(公告)日：2021-04-30
申请号：CN202011549979.X
申请日：2020-12-24
申请人： 中国空间技术研究院
摘要： 一种卫星星箭分离程控测试方法，基于卫星遥测快速下传测试功能和自动化测试系统，首先对星箭分离指令序列进行分析，整理出其对应的遥测参数，这些遥测参数将作为需要快速下传的遥测参数；由地面遥控制定需要快速下传的遥测参数，由应用软件形成选路快速下传源包至地面。被选为快速下传的遥测参数将占用固定的波道，在每一帧(即0.5秒)都会下传至地面，通过地面测试软件进行实时的判读，确认星上程控事件实际执行的自主指令内容的正确性。
-
公开(公告)号：CN102361445B
公开(公告)日：2014-02-19
申请号：CN201110244475.1
申请日：2011-08-23
申请人： 中国空间技术研究院
摘要： 基于数字频率合成器的高精度协议脉冲发生器，包括数字频率合成器、加法器和一个数字信号输出接口，数字频率合成器生成的时钟频率送至数字信号输出接口，同时与数字频率合成器生成的时钟频率对应的相位信息送至加法器；加法器将与数字频率合成器生成的时钟频率对应的相位信息与外部输入的一路信号的相位信息进行加法运算后送至数字信号输出接口；数字信号输出接口根据数字信号的上升沿和下降沿定位脉冲，更新信号输出。本发明改进了传统数字频率合成器的结构，可以根据协议单独配置相位信息，精确设定时钟频率及各数字信号相对于时钟的提前或延时信息，资源消耗少，结构精简。
-
公开(公告)号：CN102323904B
公开(公告)日：2013-11-20
申请号：CN201110244427.2
申请日：2011-08-23
申请人： 中国空间技术研究院
IPC分类号： G06F11/267
摘要： 一种卫星数字接口拉偏验证系统，包括时钟模块、上位机接口模块、FPGA、星上接口模块和电源模块；电源模块为上位机接口模块、FPGA和星上接口模块提供电源，时钟模块为FPGA提供时钟信号，上位机接口模块实现FPGA和上位机之间的数据交换和传输，星上接口模块实现FPGA和星上设备的数据交换和传输以及FPGA输出的时序信号上升沿和下降沿的拉偏；FPGA实现数据的交互以及时序信号的延时拉偏。本发明可实现数字信号的时序拉偏，通过FPGA产生不同数字信号之间的延迟量，测试卫星数字接口工作状况，得到时序容差值，并且可通过可变阻容网络实现信号上升沿、下降沿的实时变化。
-
公开(公告)号：CN102361445A
公开(公告)日：2012-02-22
申请号：CN201110244475.1
申请日：2011-08-23
申请人： 中国空间技术研究院
摘要： 基于数字频率合成器的高精度协议脉冲发生器，包括数字频率合成器、加法器和一个数字信号输出接口，数字频率合成器生成的时钟频率送至数字信号输出接口，同时与数字频率合成器生成的时钟频率对应的相位信息送至加法器；加法器将与数字频率合成器生成的时钟频率对应的相位信息与外部输入的一路信号的相位信息进行加法运算后送至数字信号输出接口；数字信号输出接口根据数字信号的上升沿和下降沿定位脉冲，更新信号输出。本发明改进了传统数字频率合成器的结构，可以根据协议单独配置相位信息，精确设定时钟频率及各数字信号相对于时钟的提前或延时信息，资源消耗少，结构精简。
-
公开(公告)号：CN109145607A
公开(公告)日：2019-01-04
申请号：CN201810924465.4
申请日：2018-08-14
申请人： 中国空间技术研究院
IPC分类号： G06F21/57
CPC分类号： G06F21/57 , G06F2221/033
摘要： 一种卫星安全关键软件系统性验证方法，首先构建安全关键软件多维影响要素模型，然后根据安全关键软件多维影响要素模型构建安全关键软件需求约束集，最后使用得到的安全关键软件需求约束集对安全关键软件进行验证。本发明结合安全关键软件的运行处理过程，通过抽象安全关键软件的控制过程处理模型，提炼形成了软件系统层面的安全约束集，并在此基础上设计了安全关键软件的验证集，实现了建立于软件处理过程模型上的安全性影响要素覆盖分析，以及从安全关键软件安全性影响要素到安全关键软件的验证集的无缝映射，与传统的测试验证方法相比，所验证的系统性问题数量提高大概20％以上，具有很好的使用价值。
-
公开(公告)号：CN102323904A
公开(公告)日：2012-01-18
申请号：CN201110244427.2
申请日：2011-08-23
申请人： 中国空间技术研究院
IPC分类号： G06F11/267
摘要： 一种卫星数字接口拉偏验证系统，包括时钟模块、上位机接口模块、FPGA、星上接口模块和电源模块；电源模块为上位机接口模块、FPGA和星上接口模块提供电源，时钟模块为FPGA提供时钟信号，上位机接口模块实现FPGA和上位机之间的数据交换和传输，星上接口模块实现FPGA和星上设备的数据交换和传输以及FPGA输出的时序信号上升沿和下降沿的拉偏；FPGA实现数据的交互以及时序信号的延时拉偏。本发明可实现数字信号的时序拉偏，通过FPGA产生不同数字信号之间的延迟量，测试卫星数字接口工作状况，得到时序容差值，并且可通过可变阻容网络实现信号上升沿、下降沿的实时变化。
-
公开(公告)号：CN116996452A
公开(公告)日：2023-11-03
申请号：CN202311062275.3
申请日：2023-08-22
申请人： 中国空间技术研究院
IPC分类号： H04L47/70
摘要： 本发明提供一种卫星测控信息矩阵图案接点优化分配方法，包括以下步骤：S1：明确矩阵图案可提供的接点数量，需要分配的卫星测控信息的总数量，分配资源和参数初始化设置；S2：对每组信息数量按照从大到小的顺序排列，形成一个排序列表；将信息数量值相同的组整合形成一个群；选择按行遍历或者按列遍历的原则遍历矩阵图案，将测控信息分配进矩阵图案中；S3：在每一次分配的过程中，进行填隙分配。采用本发明方法后，克服了传统方法分配资源浪费效率不高的缺陷，提高了分配方法的准确性和完整性，所设计的专用算法能够保证最优化地利用矩阵图案的接点空间，显著增加了测控容量，大幅拓展了载荷用户的在轨应用需求。未来推广应用前景广泛。
-
公开(公告)号：CN112463462A
公开(公告)日：2021-03-09
申请号：CN202011331225.7
申请日：2020-11-24
申请人： 中国空间技术研究院
摘要： 本申请公开了一种卫星故障数据保存和下传的系统及方法，该系统包括：星载计算机以及地面站；其中，星载计算机，包括主份板卡、备份板卡以及容错板卡，在主份板卡和备份板卡上均设置有容错SRAM存储器，容错板卡包括多个电源模块，多个电源模块均与容错SRAM存储器连接，容错SRAM存储器供电；所述载计算机用于接收并保存卫星单机发送的卫星故障数据以及将卫星故障数据下传给地面站；地面站，用于接收星载计算机主动发送的卫星故障数据，或向星载计算机发送指令并接收星载计算机基于指令发送的卫星故障数据。本申请解决了现有技术中故障数据保存和下传的可靠性差的技术问题。
-
公开(公告)号：CN112731452B
公开(公告)日：2024-05-03
申请号：CN202011549979.X
申请日：2020-12-24
申请人： 中国空间技术研究院
摘要： 一种卫星星箭分离程控测试方法，基于卫星遥测快速下传测试功能和自动化测试系统，首先对星箭分离指令序列进行分析，整理出其对应的遥测参数，这些遥测参数将作为需要快速下传的遥测参数；由地面遥控制定需要快速下传的遥测参数，由应用软件形成选路快速下传源包至地面。被选为快速下传的遥测参数将占用固定的波道，在每一帧(即0.5秒)都会下传至地面，通过地面测试软件进行实时的判读，确认星上程控事件实际执行的自主指令内容的正确性。
-
-
-
-
-
-
-
-
-
搜索结果
16 条记录 (耗时 0.03 秒)
