-
公开(公告)号：CN114169488A
公开(公告)日：2022-03-11
申请号：CN202210120344.0
申请日：2022-02-09
Applicant: 清华大学
Abstract: 本发明提供一种基于混合元启发式算法的带容量约束的车辆路径获取方法，属于计算机技术领域，通过随机贪婪策略在初始狼群中构造N条初始回路，N条初始回路为N条狼的N个初始解的组合；计算每个初始解的路径花费，并选择路径花费前三小的初始解所对应的狼的组合作为原始最优解；对含有原始最优解的狼群进行迭代更新，获取当前轮次的前3个最优解；利用当前轮次的最优解进行下一轮次的狼群迭代计算，直至达到设定的迭代次数，并获取末次迭代的前3个最优解；获取末次迭代的前3个最优解中第一条头狼代表的解，作为带容量约束的车辆路径问题的解。具有提升带容量约束的车辆路径问题的解精度的技术效果。
-
公开(公告)号：CN113961475A
公开(公告)日：2022-01-21
申请号：CN202111575302.8
申请日：2021-12-22
Applicant: 清华大学
Abstract: 本发明提供一种基于规约导向的错误处理缺陷的检测方法及系统，属于计算机程序漏洞检测技术领域，通过获取待测的源代码文件以及规约文件；源代码文件以及规约文件进行预处理获得CFA图结构和规约实例；将规约实例中各个目标接口的调用者对应的CFA图结构分别作为待分析入口，通过符号执行技术获得两个以上的覆盖上下文信息的符号路径信息；对每个符号路径信息根据规约实例的目标接口进行路径提取，获得路径集合；利用符号路径以及规约实例，进行规约导向的错误处理缺陷检测，为多种类别的错误处理缺陷检测提供了可行的解决方法。本发明达到了提升错误处理缺陷的检测精度和效率的技术效果。
-
公开(公告)号：CN115391793B
公开(公告)日：2023-02-17
申请号：CN202211314916.5
申请日：2022-10-26
Applicant: 清华大学
Abstract: 本申请提供一种基于FlowDroid工具的实时漏洞检测系统、方法与存储介质，属于计算机漏洞检测技术领域。所述系统包括：实时监控模块，用于在检测到目标Web应用的内容发生变化时，向所述中央服务器发送所述目标Web应用变化的上下文信息；中央服务器，用于在接收到所述目标Web应用变化的上下文信息后，确定所述目标Web应用的最新版本，并将所述目标Web应用变化后的最新版本的URL地址和当前检测的安全规则放入消息队列中；漏洞检测模块，根据所述消息队列中的URL地址，下载所述目标Web应用的目标项目，并基于所述当前检测的安全规则，通过改进的FlowDroid工具生成变化后的目标Web应用的漏洞检测结果。本申请旨在增强Web应用程序的安全性。
-
公开(公告)号：CN115391793A
公开(公告)日：2022-11-25
申请号：CN202211314916.5
申请日：2022-10-26
Applicant: 清华大学
Abstract: 本申请提供一种基于FlowDroid工具的实时漏洞检测系统、方法与存储介质，属于计算机漏洞检测技术领域。所述系统包括：实时监控模块，用于在检测到目标Web应用的内容发生变化时，向所述中央服务器发送所述目标Web应用变化的上下文信息；中央服务器，用于在接收到所述目标Web应用变化的上下文信息后，确定所述目标Web应用的最新版本，并将所述目标Web应用变化后的最新版本的URL地址和当前检测的安全规则放入消息队列中；漏洞检测模块，根据所述消息队列中的URL地址，下载所述目标Web应用的目标项目，并基于所述当前检测的安全规则，通过改进的FlowDroid工具生成变化后的目标Web应用的漏洞检测结果。本申请旨在增强Web应用程序的安全性。
-
Patent Agency Ranking
公开(公告)号：CN113392016B
公开(公告)日：2024-07-26
申请号：CN202110713929.9
申请日：2021-06-25
Applicant: 中债金科信息技术有限公司 , 清华大学
Abstract: 本发明实施例公开一种对程序异常情况处理的规约生成方法、装置、设备及介质，其中，该方法包括：将符合预设异常处理代码结构的被调用函数，确定为对异常情况处理的候选代码段；在候选代码段中，如果检测到包含错误语义特征的第一候选代码段，则从第一候选代码段中提取各函数对应的第一检测条件，如果检测到不包含错误语义特征的第二候选代码段，则从第二候选代码段中提取各函数对应的第二检测条件；对于任意一个被调用函数，从第一检测条件和/或第二检测条件中筛选出符合预设投票策略的目标检测条件，并将目标检测条件作为对程序异常情况进行处理的异常处理规约。通过采用上述技术方案，提高了接口异常处理规约的准确率和检测效率。
-
公开(公告)号：CN114611755A
公开(公告)日：2022-06-10
申请号：CN202210121552.2
申请日：2022-02-09
Applicant: 清华大学
Abstract: 本发明提供一种基于混合元启发式算法的旅行商最优路径确定方法，属于旅行商技术领域，构建旅行商问题，设置初始狼群中狼的数量N；通过随机贪婪策略在初始狼群中构造N条初始回路，N条初始回路为N条狼的N个初始解的组合；计算每个初始解的路径花费，并选择路径花费前三小的初始解所对应的狼的组合作为原始最优解；通过局部搜索算法对含有原始最优解的狼群进行迭代更新，获取当前轮次的前3个最优解；利用当前轮次的最优解进行下一轮次的狼群迭代计算，直至达到设定的迭代次数，并获取末次迭代的前3个最优解；获取末次迭代的前3个最优解中第一条头狼代表的解，作为旅行商问题的最优路径。具有提升初始解质量和旅行商最优路径获取精度的技术效果。
-
公开(公告)号：CN114169488B
公开(公告)日：2022-05-20
申请号：CN202210120344.0
申请日：2022-02-09
Applicant: 清华大学
Abstract: 本发明提供一种基于混合元启发式算法的带容量约束的车辆路径获取方法，属于计算机技术领域，通过随机贪婪策略在初始狼群中构造N条初始回路，N条初始回路为N条狼的N个初始解的组合；计算每个初始解的路径花费，并选择路径花费前三小的初始解所对应的狼的组合作为原始最优解；对含有原始最优解的狼群进行迭代更新，获取当前轮次的前3个最优解；利用当前轮次的最优解进行下一轮次的狼群迭代计算，直至达到设定的迭代次数，并获取末次迭代的前3个最优解；获取末次迭代的前3个最优解中第一条头狼代表的解，作为带容量约束的车辆路径问题的解。具有提升带容量约束的车辆路径问题的解精度的技术效果。
-
公开(公告)号：CN113961475B
公开(公告)日：2022-04-15
申请号：CN202111575302.8
申请日：2021-12-22
Applicant: 清华大学
Abstract: 本发明提供一种基于规约导向的错误处理缺陷的检测方法及系统，属于计算机程序漏洞检测技术领域，通过获取待测的源代码文件以及规约文件；源代码文件以及规约文件进行预处理获得CFA图结构和规约实例；将规约实例中各个目标接口的调用者对应的CFA图结构分别作为待分析入口，通过符号执行技术获得两个以上的覆盖上下文信息的符号路径信息；对每个符号路径信息根据规约实例的目标接口进行路径提取，获得路径集合；利用符号路径以及规约实例，进行规约导向的错误处理缺陷检测，为多种类别的错误处理缺陷检测提供了可行的解决方法。本发明达到了提升错误处理缺陷的检测精度和效率的技术效果。
-
公开(公告)号：CN113392016A
公开(公告)日：2021-09-14
申请号：CN202110713929.9
申请日：2021-06-25
Applicant: 中债金科信息技术有限公司 , 清华大学
Abstract: 本发明实施例公开一种对程序异常情况处理的规约生成方法、装置、设备及介质，其中，该方法包括：将符合预设异常处理代码结构的被调用函数，确定为对异常情况处理的候选代码段；在候选代码段中，如果检测到包含错误语义特征的第一候选代码段，则从第一候选代码段中提取各函数对应的第一检测条件，如果检测到不包含错误语义特征的第二候选代码段，则从第二候选代码段中提取各函数对应的第二检测条件；对于任意一个被调用函数，从第一检测条件和/或第二检测条件中筛选出符合预设投票策略的目标检测条件，并将目标检测条件作为对程序异常情况进行处理的异常处理规约。通过采用上述技术方案，提高了接口异常处理规约的准确率和检测效率。
-
-
-
-
-
-
-
-
Search Results
9
records
(took 0.017 seconds)
