基于混合元启发式算法的带容量约束的车辆路径获取方法

    公开(公告)号:CN114169488A

    公开(公告)日:2022-03-11

    申请号:CN202210120344.0

    申请日:2022-02-09

    Applicant: 清华大学

    Inventor: 李池 周旻 顾明

    Abstract: 本发明提供一种基于混合元启发式算法的带容量约束的车辆路径获取方法,属于计算机技术领域,通过随机贪婪策略在初始狼群中构造N条初始回路,N条初始回路为N条狼的N个初始解的组合;计算每个初始解的路径花费,并选择路径花费前三小的初始解所对应的狼的组合作为原始最优解;对含有原始最优解的狼群进行迭代更新,获取当前轮次的前3个最优解;利用当前轮次的最优解进行下一轮次的狼群迭代计算,直至达到设定的迭代次数,并获取末次迭代的前3个最优解;获取末次迭代的前3个最优解中第一条头狼代表的解,作为带容量约束的车辆路径问题的解。具有提升带容量约束的车辆路径问题的解精度的技术效果。

    基于规约导向的错误处理缺陷的检测方法及系统

    公开(公告)号:CN113961475A

    公开(公告)日:2022-01-21

    申请号:CN202111575302.8

    申请日:2021-12-22

    Applicant: 清华大学

    Inventor: 李池 周旻 顾明

    Abstract: 本发明提供一种基于规约导向的错误处理缺陷的检测方法及系统,属于计算机程序漏洞检测技术领域,通过获取待测的源代码文件以及规约文件;源代码文件以及规约文件进行预处理获得CFA图结构和规约实例;将规约实例中各个目标接口的调用者对应的CFA图结构分别作为待分析入口,通过符号执行技术获得两个以上的覆盖上下文信息的符号路径信息;对每个符号路径信息根据规约实例的目标接口进行路径提取,获得路径集合;利用符号路径以及规约实例,进行规约导向的错误处理缺陷检测,为多种类别的错误处理缺陷检测提供了可行的解决方法。本发明达到了提升错误处理缺陷的检测精度和效率的技术效果。

    一种基于多层次分析的C语言缺陷检测方法及装置

    公开(公告)号:CN111104335B

    公开(公告)日:2021-08-24

    申请号:CN201911356465.X

    申请日:2019-12-25

    Applicant: 清华大学

    Abstract: 本发明实施例公开一种基于多层次分析的C语言缺陷检测方法及装置。该方法包括:基于路径敏感的指针分析方法计算函数调用关系图中的每个函数的指针指向信息,对函数调用关系图中的函数调用语句对应的调用函数进行过程间分析得到调用函数的摘要信息,针对控制流图中的每个节点,确定该节点对应的控制依赖对应关系和数据依赖对应关系,根据每个函数的指针指向信息、调用函数的摘要信息和每个节点对应的控制依赖对应关系以及数据依赖对应关系生成值流图,根据值流图对待测C语言程序进行缺陷检测得到检测结果。应用本发明实施例提供的方案,能够兼顾缺陷检测的精确度和效率。

    一种基于PRDL规则描述语言的C程序代码规范检查装置

    公开(公告)号:CN106970819A

    公开(公告)日:2017-07-21

    申请号:CN201710191241.2

    申请日:2017-03-28

    Applicant: 清华大学

    Inventor: 周旻 顾明 孙家广

    Abstract: 本发明提供一种基于PRDL规则描述语言的C语言代码规范检查装置及其检查方法,代码规范检查装置包括五个功能模块:规则解析器,程序解析器,规则检查引擎,缺陷报告器,用户交互接口。其中,规则解析器由语义解析器和查询优化器两个子功能模块组成,负责解析PRDL规则语义生成初始逻辑查询计划,再对该计划进行重写优化。程序解析器由代码行解析器、标记流解析器、语法树解析器三个子功能模块所组成,负责对源代码进行文本特征抽取和结构特征抽取,将抽取得到的三个层次(代码行、标记、语法树)的模型融合成C程序模型。本发明对用户选择或定义的PRDL规则进行语义解析,从而获取违背规则的缺陷代码相关信息,将检查结果报告给用户进行审核与评估。

    一种基于信用曲面的回购交易风险预警方法

    公开(公告)号:CN120013659A

    公开(公告)日:2025-05-16

    申请号:CN202411849246.6

    申请日:2024-12-16

    Abstract: 本申请提出了一种基于信用曲面的回购交易风险预警方法,包括:获取并对回购交易数据进行数据清洗、编码、合并和归一化处理;通过B样条曲面拟合和多项式曲面拟合方法,构建质押率、担保品质量、回购利率的三维信用曲面,评估其风险水平;采用无监督学习模型对预处理后的回购交易数据进行特征提取和重建,通过计算重建误差识别异常交易行为,得到第一风险预警结果;采用监督学习模型对预处理后的回购交易数据进行分类和预测,得到第二风险预警结果;将第一风险预警结果和第二风险预警结果进行加权合并,得到最终风险预警结果。本申请构建了一个动态的、多维度的风险评估体系,用于实时监测和预警回购交易风险。

    对程序异常情况处理的规约生成方法、装置、设备及介质

    公开(公告)号:CN113392016B

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

    申请号:CN202110713929.9

    申请日:2021-06-25

    Abstract: 本发明实施例公开一种对程序异常情况处理的规约生成方法、装置、设备及介质,其中,该方法包括:将符合预设异常处理代码结构的被调用函数,确定为对异常情况处理的候选代码段;在候选代码段中,如果检测到包含错误语义特征的第一候选代码段,则从第一候选代码段中提取各函数对应的第一检测条件,如果检测到不包含错误语义特征的第二候选代码段,则从第二候选代码段中提取各函数对应的第二检测条件;对于任意一个被调用函数,从第一检测条件和/或第二检测条件中筛选出符合预设投票策略的目标检测条件,并将目标检测条件作为对程序异常情况进行处理的异常处理规约。通过采用上述技术方案,提高了接口异常处理规约的准确率和检测效率。

    一种遥感图像分层分割方法、装置、终端及存储介质

    公开(公告)号:CN112164066B

    公开(公告)日:2022-12-02

    申请号:CN202011079185.1

    申请日:2020-10-10

    Applicant: 清华大学

    Inventor: 周旻 张冉

    Abstract: 本发明实施例公开一种遥感图像分层分割方法、装置、终端及存储介质。该方法包括:读取待处理遥感图像,并获取尺寸信息;检测待处理遥感图像的波段数量和波段信息;计算图像金字塔所包括的缩略图层数、每层对应的缩略图尺寸和图像块数;根据图像金字塔中每层对应的缩略图尺寸和图像块数,计算图像金字塔每层中每个图像块的坐标信息;针对图像金字塔每层的每个图像块,计算该图像块对应在待处理遥感图像中待切割图片的坐标信息和尺寸;针对图像金字塔每层,选取目标波段在待处理遥感图像中进行切割,生成该层对应的缩略图;合并各缩略图,生成待处理遥感图像对应的通道合成图像。应用本发明实施例提供的方案,能够保证处理后图像的大小和质量。

Patent Agency Ranking