-
公开(公告)号：CN112800423B
公开(公告)日：2022-10-11
申请号：CN202110103327.1
申请日：2021-01-26
Applicant: 北京航空航天大学
IPC: G06F21/56
Abstract: 本发明通过软件工程领域的方法，实现了一种二进制代码授权漏洞检测方法。通过包含四个流程：二进制文件加载，漏洞特征匹配，静态程序分析，以及符号执行的系统，对输入的文件分析文件内部程序的语法结构，进而针对硬编码口令和越权网络访问的行为特征进行识别，缩小待检测的程序路径的范围，并通过控制流分析、数据依赖分析、函数调用分析三个步骤生成函数调用图，最终利用函数调用图在符号执行流程计算出程序路径的输入，而后使用得到的程序路径的输入进行人工验证。这一系统通过深入分析硬编码口令与越权网络访问两类授权漏洞的触发原理与代码模式，实现了一种运行效率较高且运行成本较低的漏洞检测方法。
-
公开(公告)号：CN113391638A
公开(公告)日：2021-09-14
申请号：CN202110540149.9
申请日：2021-05-18
Applicant: 北京航空航天大学
IPC: G05D1/08
Abstract: 本发明公开了一种用于绳系拖曳离轨的系统组合体姿态协同控制方法，适用于柔性系绳连接的两体卫星系统进行拖曳离轨时的系统组合体姿态控制。给定离轨推力施加方向之后，也便确定了系统姿态期望值，在系统姿态控制下实现系统姿态机动，最终使得两星连线方向与离轨推力施加方向保持一致；系统姿态机动的过程中，以系统姿态作为任务星期望姿态，在任务星姿态控制下实时调整任务星姿态，实现对系统姿态的跟踪；系统姿态机动过程中，系绳方向随时发生变化，在目标星姿态摆动抑制下消除系统姿态机动引起的目标星姿态摆动现象，同时保持安全的星间距离。本发明提供的方法能有效实现绳系组合体姿态机动与稳定，为绳系拖曳离轨任务的安全稳定实施提供保障。
-
公开(公告)号：CN113277125A
公开(公告)日：2021-08-20
申请号：CN202110550867.4
申请日：2021-05-18
Applicant: 北京航空航天大学
Abstract: 本发明公开空间绳系拖曳转移中的一种间歇式脉冲伪连续推力离轨方式，提出一种适用于绳系组合体的安全、平稳、高效的轨道转移方式，属于卫星轨道转移设计技术领域。本发明工作时，太空拖船和废弃卫星通过系绳连接，太空拖船配置系绳收放装置，通过系绳收放装置收放系绳保持系绳连续小张力，废弃卫星受系绳张力作用离轨。太空拖船提供序列脉冲轨控推力，太空拖船轨控推力大于系绳张力，太空拖船通过判断与废弃卫星的距离和相对速度控制轨控推力开关机，保证太空拖船和废弃卫星相对距离在设定区间变化。空间绳系拖曳转移中的一种间歇式脉冲伪连续推力离轨方式具体实施过程包括四个阶段：加速远离段、减速远离段、加速接近段和减速接近段。
-
公开(公告)号：CN112800423A
公开(公告)日：2021-05-14
申请号：CN202110103327.1
申请日：2021-01-26
Applicant: 北京航空航天大学
IPC: G06F21/56
Abstract: 本发明通过软件工程领域的方法，实现了一种二进制代码授权漏洞检测方法。通过包含四个流程：二进制文件加载，漏洞特征匹配，静态程序分析，以及符号执行的系统，对输入的文件分析文件内部程序的语法结构，进而针对硬编码口令和越权网络访问的行为特征进行识别，缩小待检测的程序路径的范围，并通过控制流分析、数据依赖分析、函数调用分析三个步骤生成函数调用图，最终利用函数调用图在符号执行流程计算出程序路径的输入，而后使用得到的程序路径的输入进行人工验证。这一系统通过深入分析硬编码口令与越权网络访问两类授权漏洞的触发原理与代码模式，实现了一种运行效率较高且运行成本较低的漏洞检测方法。
-
-
-
Search Results
4
records
(took 0.026 seconds)
