-
公开(公告)号：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: 本发明实施例公开一种对程序异常情况处理的规约生成方法、装置、设备及介质，其中，该方法包括：将符合预设异常处理代码结构的被调用函数，确定为对异常情况处理的候选代码段；在候选代码段中，如果检测到包含错误语义特征的第一候选代码段，则从第一候选代码段中提取各函数对应的第一检测条件，如果检测到不包含错误语义特征的第二候选代码段，则从第二候选代码段中提取各函数对应的第二检测条件；对于任意一个被调用函数，从第一检测条件和/或第二检测条件中筛选出符合预设投票策略的目标检测条件，并将目标检测条件作为对程序异常情况进行处理的异常处理规约。通过采用上述技术方案，提高了接口异常处理规约的准确率和检测效率。
-
Patent Agency Ranking
公开(公告)号：CN107943481A
公开(公告)日：2018-04-20
申请号：CN201710367175.X
申请日：2017-05-23
Applicant: 清华大学 , 北京东方通科技股份有限公司
Abstract: 本发明首先针对源代码进行了五种代码特征定义模型的抽象化封装，并且通过程序元素间的属性关联实现了这五种代码特征定义模型的融合，为用户提供了一种融合的多维代码查询特征定义模型。使用文本式的查询语言PRDL，在解析PRDL的语义和执行其语法动作的同时，实现了对于目标程序源代码的对应分析和检查。通过使用本发明，用户能高效快捷的对编码规范规则进行形式化定义，并对代码进行自主检查，从而达到提高代码整合质量、提高编程效率的技术效果。
-
公开(公告)号：CN117411034A
公开(公告)日：2024-01-16
申请号：CN202310621578.8
申请日：2023-05-30
Applicant: 国网浙江省电力有限公司嘉兴供电公司 , 清华大学
Abstract: 本发明公开了一种基于新能源接入系统的季节性储能配置方法；通过采集历史季度数据，通过季度数据中单日最高温度和平均温度相同的本地库水位信息和太阳辐射数据确定季度对该数据影响的权重，通过比较获得权重值，并根据季度权重计算各个季度下，光照辐射量对温度的影响，从而计算温度对电站水位的影响，获取新能源之间的互补关系，并建立光伏水电出力模型。通过采集历年负荷缺口和线损比可以获得新能源储能设备需要配置的季度储能，此时可以通过预测出力配置太阳能板数量，以满足用电需求。
-
公开(公告)号：CN116454887A
公开(公告)日：2023-07-18
申请号：CN202310143644.5
申请日：2023-02-21
Applicant: 国网浙江省电力有限公司嘉兴供电公司 , 清华大学
IPC: H02J3/06 , H02J3/28 , G06F30/20 , G06Q10/0631 , G06Q50/06 , G06F113/04
Abstract: 本发明公开了一种大规模长期储释能调控方法。为了克服现有技术方案中无法做到对大规模电网的每个区域进行均匀地能源调控的问题，本发明建立大规模长期储释能调度模型，按照时间跨度划分储能调度周期与释能调度周期；将模型划分为若干子网分区，根据储能调度周期与释能调度周期界定子网分区间的电能调度规则；采用电能为主清洁能源辅助的供电方式，根据调度规则完成调控。通过将大区域分层若干子电网区域，通过为对子电网区域设置调控规则和约束信号，从而实现实时监测追踪能源配置走向，从而提高能源配置的效率，并且保证子电网区域能源的均匀配置。
-
公开(公告)号：CN111104335A
公开(公告)日：2020-05-05
申请号：CN201911356465.X
申请日：2019-12-25
Applicant: 清华大学
Abstract: 本发明实施例公开一种基于多层次分析的C语言缺陷检测方法及装置。该方法包括：基于路径敏感的指针分析方法计算函数调用关系图中的每个函数的指针指向信息，对函数调用关系图中的函数调用语句对应的调用函数进行过程间分析得到调用函数的摘要信息，针对控制流图中的每个节点，确定该节点对应的控制依赖对应关系和数据依赖对应关系，根据每个函数的指针指向信息、调用函数的摘要信息和每个节点对应的控制依赖对应关系以及数据依赖对应关系生成值流图，根据值流图对待测C语言程序进行缺陷检测得到检测结果。应用本发明实施例提供的方案，能够兼顾缺陷检测的精确度和效率。
-
公开(公告)号：CN109343855A
公开(公告)日：2019-02-15
申请号：CN201811150584.5
申请日：2018-09-29
Applicant: 清华大学
IPC: G06F8/41
Abstract: 本发明公开了一种基于指令伪装的程序编译抓取系统及方法，其中，该系统包括：指令伪装模块用于获取抓取对象的当前使用指令，以将伪装指令替代当前使用指令，并指示编译抓取方法执行伪装指令；指令参数处理模块用于根据伪装指令的关键信息识别指令执行类型，并得到当前使用指令的源头文件和目标文件；依赖文件抓取模块用于根据指令执行类型获取执行伪装指令过程中所有中间文件、链接库、依赖文件和/或编译结果文件，获取并存储抓取的结果文件。该系统可以在无人工的参与下，直接提供给静态分析技术或其他处理进行程序的相关检验，避免了编译过程中文件删除导致的编译抓取时文件丢失等情况，并且支持多平台编译，使得没有额外第三方的资源依赖。
-
-
-
-
-
-
-
-
Search Results
29
records
(took 0.02 seconds)
