公开(公告)号：CN118394624A

公开(公告)日：2024-07-26

申请号：CN202410006660.4

申请日：2024-01-03

Applicant: 杭州电子科技大学

Inventor： 徐向华 ,  王欣月

IPC: G06F11/36 ,  G06N7/02

Abstract: 本发明涉及一种基于函数执行时间优化的定向灰盒模糊测试方法与系统，该测试方法在静态分析阶段分析被测程序，生成函数调用图CG图和程序控制流图CFG图，并初始化CG图各个节点参数，生成含参CG图，所设计的参数能够很好的保留CFG图的路径信息，在保证计算精度的同时降低计算复杂度。在动态执行阶段迭代更新时间强度参数，该时间强度参数依据模糊器提供的实时反馈数据提取出种子在各个节点的执行时间，并运用本发明的计算方法即可得到时间强度参数值；更新参数后的含参CG图能够很好的调整种子队列的执行顺序并优化调度过程，最后，生成漏洞报告。本发明适用于类似补丁测试的定向模糊测试漏洞检测，模糊测试覆盖率高、漏洞发现高效。

公开(公告)号：CN119997101A

公开(公告)日：2025-05-13

申请号：CN202411818924.2

申请日：2024-12-11

Applicant: 电子科技大学

Inventor： 范慧龙 ,  卢国明 ,  詹思瑜 ,  王欣月 ,  张晓云 ,  霍留伟 ,  王尚鹏

IPC: H04W28/084 ,  H04W28/082 ,  H04B7/185 ,  H04B17/391 ,  H04W84/06

Abstract: 该发明提出了一种低轨卫星网络边缘计算卸载与资源分配联合优化方法，属于卫星通信与遥感技术领域。通过二阶锥规划来优化卫星的观测路径和侧摆角度的调整，从而在观测过程中有效地减少遮挡和任务冲突。为了提升计算效率与适应性，该发明采用了拉格朗日松弛法处理资源约束，使得优化问题可以分解为多个子问题进行并行求解，降低了计算复杂度。引入基于Pareto前沿的多目标优化模型，并结合权重自适应调整机制，在任务完成率与能耗之间进行权衡。该机制根据卫星网络当前的资源状态和任务需求，动态调整不同目标之间的优先级，从而确保任务的有效执行并最大程度地节约能耗。该发明结合混合非线性规划与分布式计算的优势，实现了在复杂环境下的高效协同观测任务规划。