-
公开(公告)号：CN118132141B
公开(公告)日：2024-07-30
申请号：CN202410544530.6
申请日：2024-05-06
Applicant: 西安电子科技大学
Abstract: 本发明公开了一种基于代码特性图的函数自动重构方法及装置、电子设备，所述方法包括：提取待重构代码的静态特征和动态特征，得到树视图和流视图；提取待重构代码的注释得到注释表征；分别对树视图和流视图进行嵌入处理，得到树视图表征和流视图表征；分次融合树视图表征、流视图表征及注释表征，得到待重构代码的混合表征；将混合表征输入至训练好的代码重构模型，得到重构后的代码。根据本发明提供的方法，通过将能够表征代码静态特征的树视图和动态特征的流视图作为代码重构模型的输入来对代码进行重构，使得代码重构模型能够提炼出代码更全面的特征进行代码重构，增加重构后的代码的准确度。
-
公开(公告)号：CN118075596B
公开(公告)日：2024-06-25
申请号：CN202410475673.6
申请日：2024-04-19
Applicant: 西安电子科技大学
Abstract: 本发明公开了一种敏捷成像卫星指令序列自主生成方法，包括：获取下达给卫星的两个任务和各任务分配至星内各终端的指令块；获取四类约束；在判断两个任务符合粘合条件时，对各终端利用约简规则判断，若指令块满足约简条件则删除冗余指令块，进行剩余指令块粘合处理得到单终端指令序列；将各终端得到的单终端指令序列进行跨终端指令合并处理得到跨终端的指令序列全集；并从中得到备选待执行指令序列；利用确定的时间压缩规则对各备选待执行指令序列进行指令间隔时间压缩处理后，从中得到最优待执行指令序列；在最优待执行指令序列满足各类约束的要求时，将其作为可信总线指令序列；否则，根据未满足约束的部分返回相应步骤进行约束修正和序列重排。
-
公开(公告)号：CN117632430A
公开(公告)日：2024-03-01
申请号：CN202311644864.2
申请日：2023-12-01
Applicant: 西安电子科技大学
IPC: G06F9/48 , G06F16/22 , G06F16/242 , G06Q10/0631
Abstract: 本发明公开了一种基于映射表的敏捷卫星成像指令序列自主生成方法，包括：依次根据当前任务的任务基本信息、业务信息及时间信息，匹配任务系统映射表、业务指令映射表及时间约束映射表；得到执行当前任务的约束条件；根据任务基本信息、系统、执行内容及约束条件，生成卫星成像任务指令序列，其中，卫星成像任务指令序列用于在约束条件的约束下，指示系统根据执行内容执行当前任务。根据本发明提供的方法，通过任务信息匹配各类映射表，能够在卫星本体上实现指令的自动生成，无需人工和中继卫星的参与，能够降低指令生成对人工和星地间通信的依赖性，从而能够提高指令的生成效率、降低指令失效的风险。
-
公开(公告)号：CN116736695B
公开(公告)日：2024-09-10
申请号：CN202310423596.5
申请日：2023-04-19
Applicant: 西安电子科技大学
IPC: G05B13/04
Abstract: 本发明涉及一种面向运行时不确定性的航天器控制软件自适应方法，包括：对航天器控制软件进行纵向分层组件化设计，得到包括自上而下的应用业务层、系统管理层、服务组件层以及基础设备层的四个层组；构建包括感知‑分析模块、自适应知识库以及决策‑执行模块的自适应系统；建立包括星载设备、航天器控制软件以及自适应系统在内的自适应一体化模型，其中，通过星载设备和航天器控制软件与自适应系统直接交互实现航天器控制软件的自主适变；利用自适应一体化模型对监测到的异常事件生成对应的执行策略组合并执行，根据未知的异常事件更新自适应知识库。本发明方法能够针对未知异常通过事件的监控和分析自动匹配或快速生成应对策略。
-
公开(公告)号：CN118277623B
公开(公告)日：2024-08-09
申请号：CN202410695962.7
申请日：2024-05-31
Applicant: 西安电子科技大学
IPC: G06F16/901 , G06N3/126
Abstract: 本发明公开了一种基于约束分级的飞行器任务指令序列生成方法，属于卫星通信技术领域，包括：根据飞行器环境中所有任务对应的指令集合生成有向指令序列图，并根据当前实际任务的指令集合和有向指令序列图构造合法有向指令序列图；获取合法有向指令序列图中强连通分量，根据所有强连通分量对合法有向指令序列图进行去环处理，生成有向无环指令序列图；基于拓扑排序生成指令序列方法，对有向无环指令序列图中所有指令进行拓扑排序得到第一排序结果；基于优先级编码遗传的生成指令方法，从所有强连通分量中挑选最短路径，对最短路径的所有指令进行拓扑排序得到第二排序结果；合并第一、第二排序结果生成最终指令序列。本发明提高了指令序列生成效率。
-
Patent Agency Ranking
公开(公告)号：CN116521232A
公开(公告)日：2023-08-01
申请号：CN202310390203.5
申请日：2023-04-12
Applicant: 西安电子科技大学
IPC: G06F9/30 , G06F16/901
Abstract: 本发明涉及一种基于析取图的星载软件指令自主规划方法，包括；分析各终端任务指令间的约束，确定约束关系；初始化指令序列析取图；根据约束关系，删除析取图中不符合约束的路径；约简路径，形成最终析取图；根据评价指标，生成最优指令序列。本发明的方法通过对多终端指令约束机制进行分析，并基于析取图模型完成最优任务指令序列的生成，可以生成满足多种航天器指令约束的指令序列并可在有任务插入时快速调整指令序列，保障航天器在轨任务需求的安全性、实时性和可靠性，实现航天器在轨任务规划的自主智能。
-
公开(公告)号：CN118075596A
公开(公告)日：2024-05-24
申请号：CN202410475673.6
申请日：2024-04-19
Applicant: 西安电子科技大学
Abstract: 本发明公开了一种敏捷成像卫星指令序列自主生成方法，包括：获取下达给卫星的两个任务和各任务分配至星内各终端的指令块；获取四类约束；在判断两个任务符合粘合条件时，对各终端利用约简规则判断，若指令块满足约简条件则删除冗余指令块，进行剩余指令块粘合处理得到单终端指令序列；将各终端得到的单终端指令序列进行跨终端指令合并处理得到跨终端的指令序列全集；并从中得到备选待执行指令序列；利用确定的时间压缩规则对各备选待执行指令序列进行指令间隔时间压缩处理后，从中得到最优待执行指令序列；在最优待执行指令序列满足各类约束的要求时，将其作为可信总线指令序列；否则，根据未满足约束的部分返回相应步骤进行约束修正和序列重排。
-
公开(公告)号：CN116736695A
公开(公告)日：2023-09-12
申请号：CN202310423596.5
申请日：2023-04-19
Applicant: 西安电子科技大学
IPC: G05B13/04
Abstract: 本发明涉及一种面向运行时不确定性的航天器控制软件自适应方法，包括：对航天器控制软件进行纵向分层组件化设计，得到包括自上而下的应用业务层、系统管理层、服务组件层以及基础设备层的四个层组；构建包括感知‑分析模块、自适应知识库以及决策‑执行模块的自适应系统；建立包括星载设备、航天器控制软件以及自适应系统在内的自适应一体化模型，其中，通过星载设备和航天器控制软件与自适应系统直接交互实现航天器控制软件的自主适变；利用自适应一体化模型对监测到的异常事件生成对应的执行策略组合并执行，根据未知的异常事件更新自适应知识库。本发明方法能够针对未知异常通过事件的监控和分析自动匹配或快速生成应对策略。
-
公开(公告)号：CN118466404A
公开(公告)日：2024-08-09
申请号：CN202410352207.9
申请日：2024-03-26
Applicant: 西安电子科技大学
IPC: G05B19/418 , G06N3/042 , G06N3/0464 , G06N3/09
Abstract: 本发明提供了一种基于多维度代码属性图的卫星任务指令模板自主构造方法及装置，生成指令构造辅助代码的抽象语法树并提取出关键节点及属性；生成指令构造辅助代码的程序依赖图并从中提取出关键节点的依赖关系；利用关键节点和依赖关系生成多维属性代码图；设计图卷积神经网络；将多维属性代码图嵌入图卷积神经网络得到所述关键节点的分类结果；按照分类结果生成航天任务对应的指令模板。本发明适用于航天器的控制软件指令模板构造过程，通过自动化提取指令构造的关键要素并转化为模板形式保存，既因对原有复杂代码进行解耦增加了指令构造代码可读性与复用性，又因其自动化构造的特性大大缩短航天任务指令模板构造时间，进一步提高了指令构造效率。
-
公开(公告)号：CN118277623A
公开(公告)日：2024-07-02
申请号：CN202410695962.7
申请日：2024-05-31
Applicant: 西安电子科技大学
IPC: G06F16/901 , G06N3/126
Abstract: 本发明公开了一种基于约束分级的飞行器任务指令序列生成方法，属于卫星通信技术领域，包括：根据飞行器环境中所有任务对应的指令集合生成有向指令序列图，并根据当前实际任务的指令集合和有向指令序列图构造合法有向指令序列图；获取合法有向指令序列图中强连通分量，根据所有强连通分量对合法有向指令序列图进行去环处理，生成有向无环指令序列图；基于拓扑排序生成指令序列方法，对有向无环指令序列图中所有指令进行拓扑排序得到第一排序结果；基于优先级编码遗传的生成指令方法，从所有强连通分量中挑选最短路径，对最短路径的所有指令进行拓扑排序得到第二排序结果；合并第一、第二排序结果生成最终指令序列。本发明提高了指令序列生成效率。
-
-
-
-
-
-
-
-
-
Search Results
11
records
(took 0.019 seconds)
