-
公开(公告)号：CN117664144A
公开(公告)日：2024-03-08
申请号：CN202311398211.0
申请日：2023-10-26
申请人： 中国科学院微小卫星创新研究院 , 上海微小卫星工程中心
摘要： 本发明公开了一种获取空间异面目标交会成像的最优交线点的方法，根据空间交会成像任务需求，考虑主动航天器姿态以及载荷约束，给出所有满足条件的交线点参数，并基于聚类算法筛选出最优的交线点参数；所述交线点参数的定义为主动航天器与目标卫星在交线点的高度差和相位差。
-
公开(公告)号：CN117508641A
公开(公告)日：2024-02-06
申请号：CN202311390289.8
申请日：2023-10-25
申请人： 中国科学院微小卫星创新研究院 , 上海微小卫星工程中心
IPC分类号： B64G1/24
摘要： 本专利公开了考虑误差收敛和碰撞预警的异面目标多脉冲交会分解方法，具体步骤如下：步骤一、根据交会时间精度要求，给出多脉冲控制量分配满足条件；步骤二、考虑碰撞预警的处理时间和任务要求，给出可行的控制间隔和控制量分配策略；步骤三、根据任务所需的单脉冲控制速度增量以及航天器单次控制约束，给出多脉冲控制次数。能够充分考虑交会精度和碰撞预警，给出单脉冲速度增量到多脉冲控制的分解策略，包括控制次数、控制间隔以及每次控制的控制量分配，给出切实可行的多脉冲分解结果。
-
公开(公告)号：CN111989548A
公开(公告)日：2020-11-24
申请号：CN201980020559.1
申请日：2019-10-28
申请人： 中国科学院微小卫星创新研究院 , 上海微小卫星工程中心
IPC分类号： G01C25/00
摘要： 一种用于基于单指标阈值监测卫星单机故障的方法，包括下列步骤：提供单机指标解析函数(302)；提供故障服务处理函数(304)；调用单机指标解析函数以获取单机的指标数值(306)；确定单机的指标数值是否超过指标阈值并且确定指标数值连续超过指标阈值的次数(308)；以及根据次数调用故障服务处理函数以执行故障处理(310)。还公开了一种用于基于单指标阈值监测卫星单机故障的系统。通过该方法和系统，可以通过配置单机指标解析函数和故障服务处理函数来监测不同单机的不同故障类型，而无需改动监测程序的其它部分，由此极大地简化监测工作。
-
公开(公告)号：CN106569944B
公开(公告)日：2019-12-13
申请号：CN201610899082.7
申请日：2016-10-14
申请人： 上海微小卫星工程中心
IPC分类号： G06F11/36
摘要： 本发明公开了一种基于约束树的星载软件测试数据分析方法，包括：将预设的需求的逐项描述逐一转换为表格化描述，并将所述表格化描述定义为约束表；采用主元融合法对所有所述约束表进行处理，生成需求约束树；采用主元融合法对实际测试生成的记录表中的各个用例的测试结果进行处理，生成与每个用例一一对应的结果约束树；将每个所述用例各自生成的结果约束树与所述需求约束树进行比较，分析当前用例生成的结果约束树与所述需求约束树是否相符。本发明依据软件需求自动建立需求约束树，并通过分析测试数据自动建立结果约束树，将结果约束树自动化进行分析其是否满足需求约束树分支条件、节点健康等，以自动化的完成测试正确性分析。
-
公开(公告)号：CN106569944A
公开(公告)日：2017-04-19
申请号：CN201610899082.7
申请日：2016-10-14
申请人： 上海微小卫星工程中心
IPC分类号： G06F11/36
摘要： 本发明公开了一种基于约束树的星载软件测试数据分析方法，包括：将预设的需求的逐项描述逐一转换为表格化描述，并将所述表格化描述定义为约束表；采用主元融合法对所有所述约束表进行处理，生成需求约束树；采用主元融合法对实际测试生成的记录表中的各个用例的测试结果进行处理，生成与每个用例一一对应的结果约束树；将每个所述用例各自生成的结果约束树与所述需求约束树进行比较，分析当前用例生成的结果约束树与所述需求约束树是否相符。本发明依据软件需求自动建立需求约束树，并通过分析测试数据自动建立结果约束树，将结果约束树自动化进行分析其是否满足需求约束树分支条件、节点健康等，以自动化的完成测试正确性分析。
-
-
-
-
搜索结果
5 条记录 (耗时 0.048 秒)
