期刊文献+
共找到1,188篇文章
< 1 2 60 >
每页显示 20 50 100
A RECOGNITION PROBLEM IN CONVERTING LINEAR PROGRAMMING TO NETWORK FLOW MODELS 被引量:1
1
作者 林诒勋 《Applied Mathematics(A Journal of Chinese Universities)》 SCIE CSCD 1993年第1期76-85,共10页
The main goal of this paper is to study the following combinatorial problem : given a finite set E = (e1, e2, ...,em} and a subset family a - [S1,S2, ... ,Sk} of E , does there exist a tree T with the edge set E such ... The main goal of this paper is to study the following combinatorial problem : given a finite set E = (e1, e2, ...,em} and a subset family a - [S1,S2, ... ,Sk} of E , does there exist a tree T with the edge set E such that each induced subgraph T[Si] of Si is precisely a path (1≤i≤k) ? 展开更多
关键词 Linear programming Network flow Polygon-matrix SEQUENCING Tree.
在线阅读 下载PDF
城市轨道交通网络韧性优化研究 被引量:6
2
作者 张开冉 殷苏平 蒋明君 《安全与环境学报》 北大核心 2025年第2期527-535,共9页
修复策略优化是提高突发事件发生后城市轨道交通网络韧性的重要手段。当前的研究多集中在单一层面的韧性评估,对乘客出行行为的考虑也较少关注对网络熟悉度的随机性。为此构建了城市轨道交通网络韧性优化双层模型,以提高网络对不利因素... 修复策略优化是提高突发事件发生后城市轨道交通网络韧性的重要手段。当前的研究多集中在单一层面的韧性评估,对乘客出行行为的考虑也较少关注对网络熟悉度的随机性。为此构建了城市轨道交通网络韧性优化双层模型,以提高网络对不利因素的应对能力。综合考虑多个层面提出了恢复速度和网络性能双韧性指标,以双韧性指标最大化为目标,考虑乘客出行行为决策,构建了基于修复策略的韧性优化双层模型。并以杭州地铁网络作为实际案例进行验证分析。结果表明:模型所求的修复策略优于其他修复策略;在一定范围内恢复速度韧性随着预算修复资金增加而减小,网络性能韧性随之增大而增大,恢复速度韧性随着修复队伍数量增大而增大,网络性能韧性随之增大而减小。 展开更多
关键词 安全系统学 城市轨道交通网络 韧性优化 客流分配 双层规划 修复策略
原文传递
考虑应急车辆优先通行的网联汽车-交叉口协同控制方法 被引量:1
3
作者 蒋贤才 李梦颖 梁辰 《交通运输系统工程与信息》 北大核心 2025年第3期163-177,共15页
鉴于交通信号控制无法保证应急车辆(EMergency Vehicle, EMV)快速通行交叉口,且抢占式信号控制策略对社会车辆利益侵占严重的状况,本文基于动态公交专用道构建EMV在交叉口的空间优先通行权,提出一种网联交通环境下交叉口EMV借用冲突车... 鉴于交通信号控制无法保证应急车辆(EMergency Vehicle, EMV)快速通行交叉口,且抢占式信号控制策略对社会车辆利益侵占严重的状况,本文基于动态公交专用道构建EMV在交叉口的空间优先通行权,提出一种网联交通环境下交叉口EMV借用冲突车流绿灯时间通行的两层优化策略。上层利用网联汽车可诱导/轨迹可控的优势,以交叉口车均延误及预期车速达成度倒数的乘积最小为优化目标,建立网联汽车(Connected Vehicles, CVs)轨迹与信号配时的联合优化模型,优化交叉口的信号配时和CVs运行轨迹;下层基于优化后的信号配时,以EMV速度达成度为约束,决策协同的冲突车流及采取的绿灯借用策略。以相位绿灯时长和CVs加速度为决策变量,考虑交叉口相位间的冲突和车辆轨迹等约束条件,建立动态规划模型求解目标函数。仿真结果表明:相较于仅开展信号优化控制,借用通行策略能显著降低EMV在交叉口的行程时间;与抢占式信号控制策略相比,能极大改善社会车辆的利益侵占。研究显示,公交小时交通量是制约EMV快速通行的关键因素。 展开更多
关键词 智能交通 冲突车流绿时拆借 动态规划 网联汽车 应急车辆优先通行
在线阅读 下载PDF
基于Return-Oriented Programming的程序攻击与防护 被引量:6
4
作者 黄志军 郑滔 《计算机科学》 CSCD 北大核心 2012年第B06期1-5,23,共6页
随着W⊕X等技术的引入,传统的代码注入攻击几乎被消除,return-to-lib攻击受到很大程度的抑制。在此背景下,Hovav Shacham提出了Return-Oriented Programming(ROP)的思想,该思想基于栈溢出的原理,通过使用程序库中有效的以ret指令结尾的... 随着W⊕X等技术的引入,传统的代码注入攻击几乎被消除,return-to-lib攻击受到很大程度的抑制。在此背景下,Hovav Shacham提出了Return-Oriented Programming(ROP)的思想,该思想基于栈溢出的原理,通过使用程序库中有效的以ret指令结尾的短指令序列构建gadget集合,使之具有图灵完备特性,来完成计算和攻击。讲述ROP思想自提出以来的一些研究成果和其实际的攻击能力,阐述ROP自动化的当前成果与未来可能的发展方向,进而分析和预测ROP自动化的下一步的研究方向。同时,也将从ROP的几个特征分析消除这种攻击的策略和方法,并介绍目前已有的防护思想和成果,论述这些方法的优缺点和改进方向。综合阐述ROP攻击与ROP防护这一矛与盾的问题,力争使读者理解ROP的思想,知悉当前的发展状态,并在此基础上能够进一步推进ROP攻击及其防范的研究。 展开更多
关键词 ROP 程序自动化 地址随机化 栈溢出 程序控制流 程序安全
在线阅读 下载PDF
考虑动库容影响的水库发电优化调度研究
5
作者 彭杨 崔永红 +1 位作者 于显亮 姚礼双 《水力发电学报》 北大核心 2025年第9期15-26,共12页
针对河道型水库动库容变化及库区干支流非恒定流传播对发电调度的影响,本文构建了一种耦合一维河网非恒定流模型的水库发电优化调度模型。该模型采用基于OpenMP的并行动态规划算法进行求解,并应用于三峡水库发电调度实例研究。结果表明... 针对河道型水库动库容变化及库区干支流非恒定流传播对发电调度的影响,本文构建了一种耦合一维河网非恒定流模型的水库发电优化调度模型。该模型采用基于OpenMP的并行动态规划算法进行求解,并应用于三峡水库发电调度实例研究。结果表明:所建模型能有效模拟三峡库区干支流河道沿程流量和水位变化过程;与静库容模型相比,动库容模型在消落期、汛期和蓄水期的发电量变化呈明显差异——消落期和汛期变化过程更平稳,而蓄水期波动幅度增大,三个时期总发电量分别减少2.06亿kW·h、1.29亿kW·h和0.47亿kW·h,其中动库容对消落期总发电量影响最大;在消落期和蓄水期调度初期,动库容模型通过增大出库流量来提高发电量。研究结果可为河道型水库发电调度精细化模拟提供参考。 展开更多
关键词 发电优化调度 河道型水库 动库容 一维河网非恒定流 并行动态规划
在线阅读 下载PDF
基于统一潮流控制器的负序抑制最优潮流算法
6
作者 陈谦 陈杉桐 +2 位作者 张裕 王姝莼 刘莹 《电力科学与技术学报》 北大核心 2025年第1期47-54,共8页
随着新能源发电比例越来越高,其受电网三相不平衡的影响越来越明显,尤其负序超标是导致电力系统安全性降低的重要原因。统一潮流控制器(unified power flow controller,UPFC)具有调节各序电流输出的能力,可用于提升系统的平衡性。为此,... 随着新能源发电比例越来越高,其受电网三相不平衡的影响越来越明显,尤其负序超标是导致电力系统安全性降低的重要原因。统一潮流控制器(unified power flow controller,UPFC)具有调节各序电流输出的能力,可用于提升系统的平衡性。为此,首先建立基于解耦-补偿原理的UPFC正序最优补偿潮流算法;其次构建UPFC的负序补偿电流控制模型,将电压不平衡补偿的优化求解问题归结为凸二次约束二次规划(quadratically constrained quadratic programming,QCQP)问题,并采用原-对偶内点法求取UPFC的负序电流最优输出值;最后提出计及正序网损与负序电压指标的负序电压补偿最优潮流(optimal power flow,OPF)计算方法以及区域负序电压总体补偿策略。通过算例分析验证所提出方法的可行性与有效性。 展开更多
关键词 统一潮流控制器 二次约束二次规划 原-对偶内点法 解耦-补偿法 负序抑制
在线阅读 下载PDF
基于程序流程图和图注意力网络的跨语言代码抄袭检测方法 被引量:2
7
作者 张峰 韦友良 秦玉成 《小型微型计算机系统》 北大核心 2025年第1期249-256,共8页
跨语言代码抄袭检测在软件知识产权保护和计算机程序设计类课程教学等领域有广泛的应用.然而,不同编程语言的语法差异降低了代码之间的相似度,导致抄袭检测的准确率较低.因此,本文提出一种基于程序流程图和图注意力网络的跨语言代码抄... 跨语言代码抄袭检测在软件知识产权保护和计算机程序设计类课程教学等领域有广泛的应用.然而,不同编程语言的语法差异降低了代码之间的相似度,导致抄袭检测的准确率较低.因此,本文提出一种基于程序流程图和图注意力网络的跨语言代码抄袭检测方法.首先,将代码转换为程序流程图,并利用图注意力网络提取程序流程图的特征作为代码的表示;其次,采用交叉匹配方法逐行对比代码的表示,以获得代码的相似特征向量;最后,拼接待检测代码的相似特征向量,并通过全连接神经网络计算抄袭的概率.实验结果表明,与现有的跨语言代码抄袭检测方法相比,本文提出的方法在查准率、查全率和F1值方面均有提高.其中,与基于属性计数的CLCDSA方法、基于抽象语法树的ASTLearner方法相比,F1值分别提高了11%和16%. 展开更多
关键词 代码抄袭检测 跨编程语言 程序流程图 图注意力网络
在线阅读 下载PDF
大型活动下城轨车站客流协同控制及优化
8
作者 左忠义 杨欣然 《大连交通大学学报》 2025年第1期9-14,38,共7页
大型活动散场时段的短时大客流需求具有空间分布失衡性,易造成城市轨道交通站台出现乘客聚集现象,不仅影响乘客乘车的舒适度,还存在安全事故隐患。为解决该问题,将乘客进站与列车运行时间离散化,以乘客最佳进站人数与列车运行长短交路... 大型活动散场时段的短时大客流需求具有空间分布失衡性,易造成城市轨道交通站台出现乘客聚集现象,不仅影响乘客乘车的舒适度,还存在安全事故隐患。为解决该问题,将乘客进站与列车运行时间离散化,以乘客最佳进站人数与列车运行长短交路作为决策变量,基于客流演化与列车运行的动态关系,建立以乘客总等待时间和列车运行时间最小化为目标的多站联合限流与长短交路开行方案协同优化模型,并运用蜂群优化算法进行模型求解。以某轨道交通线路为例,验证模型的有效性。结果表明,与常规运营策略相比,协同优化策略下运营成本减少了5.3%,乘客等待时间减少了19.2%,实现了对大型活动背景下车站短时大客流的有效控制。 展开更多
关键词 城市轨道交通 多目标规划 蜂群算法 客流协同控制 优化策略
在线阅读 下载PDF
混合流场景下信号配时与车辆轨迹多目标联合优化方法 被引量:1
9
作者 柳清泉 李萌 郭娅明 《中国公路学报》 北大核心 2025年第7期303-316,共14页
针对智能网联车辆(Intelligent Connected Vehicles, ICV)和人工网联车辆(Human-driven Connected Vehicles, HCV)并存的混合流场景,为了协调交叉口各个方向车辆复杂的冲突关系,提出了一种针对信号配时与车辆轨迹的多目标联合优化方法... 针对智能网联车辆(Intelligent Connected Vehicles, ICV)和人工网联车辆(Human-driven Connected Vehicles, HCV)并存的混合流场景,为了协调交叉口各个方向车辆复杂的冲突关系,提出了一种针对信号配时与车辆轨迹的多目标联合优化方法。在信号方面,基于非固定周期的相位设置方式,灵活组合绿灯相位,提升交通信号配时的灵活性;在轨迹方面,对ICV和HCV分别建立跟驰约束,同时预测HCV轨迹并优化ICV轨迹。最终,统一考虑车辆延误和油耗2个优化目标,建立单层联合优化模型,同时获取信号配时与车辆轨迹的全局最优解。针对混合流场景的随机性,设计了滚动时域优化方法和鲁棒机制。数值试验中,选取了多种不同的基准方案与所提方法进行对比,包括传统的信号与轨迹优化方案,以及已有研究中的双层联合优化方案,以验证求解结果的全局最优性。结果表明:相较于基准方案,所提出的单层联合优化方案在不同的ICV占有率与交通需求场景中,均能够实现最低的车辆延误和油耗;在敏感度分析试验中,对不同优化目标之间的相关关系以及模型复杂度展开了分析;试验结果揭示了在该场景下,若选取合适的权重系数,不仅能够得到帕累托最优解,还有可能得到在所有目标下均为最优或近似最优的求解结果。最后,基于珠海市交叉口数据集,验证了所提方法在强波动的交通需求下仍然能够实现较好的优化效果。 展开更多
关键词 交通工程 信号轨迹联合优化 混合整数规划 混行交通流 智能网联车辆
原文传递
一种数据流驱动的Python视觉实验程序开发方法
10
作者 胡杰 何岭松 丁依 《计算机测量与控制》 2025年第5期239-246,254,共9页
Python+OpenCV可以满足各种常见的机器视觉实验程序的设计需求,但与MATLAB等商业软件相比,缺乏一个好用的可视化编程环境;为此,提出一种数据流驱动的视觉实验程序开发架构;将按钮、文本框等GUI交互控件和图像显示、图像处理功能封装为... Python+OpenCV可以满足各种常见的机器视觉实验程序的设计需求,但与MATLAB等商业软件相比,缺乏一个好用的可视化编程环境;为此,提出一种数据流驱动的视觉实验程序开发架构;将按钮、文本框等GUI交互控件和图像显示、图像处理功能封装为带输入、输出的双端口组件;通过组件间输入、输出端口的直连就可以快速形成可运行的视觉实验程序框架;将双端口组件和组件之间的连接导出就可得到框架程序的Python脚本,供用户进一步完善和修改,其功能就类似与MATLAB中的App Designer;为便于理解,最后给出了一个手势检测视觉实验的框架程序快速生成和修改完善样例。 展开更多
关键词 PYTHON 数据流 可视化编程 机器视觉 实验开发
在线阅读 下载PDF
基于二进制重写的混合分析构建控制流图方案
11
作者 李自友 黄晓芳 殷明勇 《计算机应用研究》 北大核心 2025年第2期555-559,共5页
控制流图(CFG)是二进制程序分析的基础。传统静态分析方法构建控制流图速度快,代码覆盖率高,但不能解决间接跳转问题;动态分析方法能够分析间接跳转,但代码覆盖率低、性能开销大。为更加高效构建完备的控制流图,提出静态动态结合的混合... 控制流图(CFG)是二进制程序分析的基础。传统静态分析方法构建控制流图速度快,代码覆盖率高,但不能解决间接跳转问题;动态分析方法能够分析间接跳转,但代码覆盖率低、性能开销大。为更加高效构建完备的控制流图,提出静态动态结合的混合分析方案。首先使用静态分析获取程序的初始控制流图,采用模糊测试的方法获取目标程序不同执行流的输入数据,诱导重写后的目标程序执行获取间接跳转地址;融合静态分析和动态分析结果,从而高效构建完备的控制流图。通过实验验证,该混合分析方案相比于现有的混合分析方案,能够构建更加完整的控制流图,相比于基于动态二进制插桩的混合分析方案效率更高。 展开更多
关键词 控制流图 二进制程序 混合分析 二进制重写
在线阅读 下载PDF
不确定条件下的零等待Flow shop生产调度问题 被引量:3
12
作者 郑璐 顾幸生 《华东理工大学学报(自然科学版)》 CAS CSCD 北大核心 2004年第2期188-193,198,共7页
研究了处理时间不确定条件下,含零等待模块的模糊Flowshop生产调度问题;采用三角模糊数描述处理时间的不确定性,用零等待策略对加工过程进行约束,建立了基于模糊规划理论的零等待Flowshop调度模型,通过中间值最大隶属度的方法,将原有的... 研究了处理时间不确定条件下,含零等待模块的模糊Flowshop生产调度问题;采用三角模糊数描述处理时间的不确定性,用零等待策略对加工过程进行约束,建立了基于模糊规划理论的零等待Flowshop调度模型,通过中间值最大隶属度的方法,将原有的模糊调度模型转化为清晰的调度模型;最后应用改进的模拟退火算法对模型进行仿真优化,制定了适用于实际排产过程中的GANTT图,仿真结果说明了调度模型的正确性和改进算法的有效性。 展开更多
关键词 不确定性 flow shop生产调度 零等待 模糊优化 模拟退火
在线阅读 下载PDF
柔性Flow Shop调度问题的研究现状及发展趋势 被引量:1
13
作者 王莉 朱晶 《鞍山师范学院学报》 2002年第1期9-13,共5页
许多实际生产环境如石油、化工、钢铁等流程工业都是柔性FlowShop环境 .文中对柔性FlowShop调度问题的研究现状进行了评述 。
关键词 柔性flowShop 调度 数学规划 启发式算法 发展趋势 工艺流程 生产环境
在线阅读 下载PDF
DeepCom-GCN:融入控制流结构信息的代码注释生成模型
14
作者 钟茂生 刘会珠 +1 位作者 匡江玲 严婷 《江西师范大学学报(自然科学版)》 北大核心 2025年第1期27-36,共10页
代码注释生成是指给定一个代码片段,通过模型自动生成一段关于代码片段功能的概括性自然语言描述.不同于自然语言,程序语言具有复杂语法和强结构性.部分研究工作只利用了源代码的序列信息或抽象语法树信息,未能充分利用源代码的逻辑结... 代码注释生成是指给定一个代码片段,通过模型自动生成一段关于代码片段功能的概括性自然语言描述.不同于自然语言,程序语言具有复杂语法和强结构性.部分研究工作只利用了源代码的序列信息或抽象语法树信息,未能充分利用源代码的逻辑结构信息.针对这一问题,该文提出一种融入程序控制流结构信息的代码注释生成方法,将源代码序列和结构信息作为单独的输入进行处理,允许模型学习代码的语义和结构.在2个公开数据集上进行验证,实验结果表明:和其他基线方法相比,DeepCom-GCN在BLEU-4、METEOR和ROUGE-L指标上的性能分别提升了2.79%、1.67%和1.21%,验证了该方法的有效性. 展开更多
关键词 代码注释生成 抽象语法树 控制流图 图卷积神经网络 软件工程 程序理解 自然语言处理
在线阅读 下载PDF
逻辑流程图在小学图形化编程教学中的实践应用 被引量:1
15
作者 张杰 姚磊 《科教文汇》 2025年第2期180-183,共4页
该文旨在探讨在小学图形化编程教学过程中,教师如何通过逻辑流程图来帮助小学生更好地厘清图形化编程的创作思路,直观呈现整体规划、逻辑关系和算法实现。为进一步提升学习者的计算思维能力,把引发学生思考、创设情境主题、设计逻辑流... 该文旨在探讨在小学图形化编程教学过程中,教师如何通过逻辑流程图来帮助小学生更好地厘清图形化编程的创作思路,直观呈现整体规划、逻辑关系和算法实现。为进一步提升学习者的计算思维能力,把引发学生思考、创设情境主题、设计逻辑流程、实施具体方案和反思优化总结作为实现计算思维可视化的重要切入点,结合科学系统的调试评估和巩固提升,为教师提供方法策略指导。 展开更多
关键词 图形化编程 逻辑流程图 计算思维
在线阅读 下载PDF
考虑动态交通演化过程的应急疏散优化研究
16
作者 王飒一 张小宁 《工程管理科技前沿》 北大核心 2025年第2期9-16,共8页
随着全球自然灾害的频繁发生,城市应急疏散策略的研究显得尤为重要。本文针对城市灾前有预警的应急疏散问题,研究考虑动态交通演化过程的应急疏散优化策略。首先,建立一个双层规划模型:下层规划为基于动态用户最优路径选择策略的多分类... 随着全球自然灾害的频繁发生,城市应急疏散策略的研究显得尤为重要。本文针对城市灾前有预警的应急疏散问题,研究考虑动态交通演化过程的应急疏散优化策略。首先,建立一个双层规划模型:下层规划为基于动态用户最优路径选择策略的多分类交通流网络模型,上层规划则通过优化疏散需求点-应急避难点匹配策略来最小化总疏散完成时间;其次,基于时空网格划分,采用一阶有限体格式求解多分类交通流网络模型,并设计启发式算法求解上层规划;再次,通过数值算例验证模型和算法的有效性。 展开更多
关键词 应急疏散 动态交通演化 双层规划 网络交通流模型 应急避难点匹配
在线阅读 下载PDF
一种CMA数值预报模式代码质量检测方法与实现
17
作者 李佳静 杨泽 +3 位作者 王彬 刘易凡 董泽信 孟涛 《应用气象学报》 北大核心 2025年第2期155-163,共9页
中国气象局(CMA)数值预报的统筹研发对支撑平台的能力建设提出了更高要求,其中一个重要方面就是对数值预报模式代码的质量检测能力。目前缺乏有效针对数值预报模式代码的质量检测方法和工具,尤其对于性能缺陷和大规模代码的检测不能满... 中国气象局(CMA)数值预报的统筹研发对支撑平台的能力建设提出了更高要求,其中一个重要方面就是对数值预报模式代码的质量检测能力。目前缺乏有效针对数值预报模式代码的质量检测方法和工具,尤其对于性能缺陷和大规模代码的检测不能满足需要。为解决上述问题,该文针对子程序定义、数组操作和I/O操作等常见编程规则设计检测方法。该方法采用程序代码解析、抽象语法树匹配和流敏感的静态程序检测等关键技术,其中对分支和循环语句的分析方法有效避免了路径爆炸问题。基于该方法的检测工具在数值预报科创平台V1.0代码协同开发栏目提供使用,并应用于CMA区域数值模式的国省统筹研发。 展开更多
关键词 数值预报模式代码 代码质量 抽象语法树匹配 流敏感程序分析 有穷状态机
在线阅读 下载PDF
基于颗粒流程序的粉细砂边坡失稳破坏过程
18
作者 王延林 张猛 《科技创新与生产力》 2025年第3期58-61,共4页
为研究地下水位作用下粉细砂边坡的失稳破坏过程,本文基于皖北地区某实际工程建立了边坡数值模型,利用颗粒流程序对其变形破坏过程进行了模拟。得到以下结论:在地下水作用下,粉细砂边坡变形破坏过程中坡面部分的位移较大,而坡顶部分和... 为研究地下水位作用下粉细砂边坡的失稳破坏过程,本文基于皖北地区某实际工程建立了边坡数值模型,利用颗粒流程序对其变形破坏过程进行了模拟。得到以下结论:在地下水作用下,粉细砂边坡变形破坏过程中坡面部分的位移较大,而坡顶部分和坡底部分的位移相对较小;边坡破坏模式为滑动破坏,破坏位置主要在坡面的浅表层,在进行边坡加固时应重点关注该位置。 展开更多
关键词 边坡失稳 破坏过程 粉细砂边坡 地下水 颗粒流程序
在线阅读 下载PDF
基于增强型语义程序依赖图的智能化二进制分析方法
19
作者 薛磊 张际灿 杜平心 《信息网络安全》 北大核心 2025年第9期1357-1366,共10页
在软件安全分析领域,二进制程序分析技术正面临编译器优化复杂化与结构信息缺失带来的双重挑战,传统工具链普遍存在分析流程割裂、依赖人工操作、语义表达不足等问题,难以满足结构化、自动化漏洞挖掘任务的需求。文章提出一种基于增强... 在软件安全分析领域,二进制程序分析技术正面临编译器优化复杂化与结构信息缺失带来的双重挑战,传统工具链普遍存在分析流程割裂、依赖人工操作、语义表达不足等问题,难以满足结构化、自动化漏洞挖掘任务的需求。文章提出一种基于增强型语义程序依赖图的智能化二进制分析方法,通过统一建模控制流、数据依赖与符号路径约束信息,实现对程序语义的三维结构化表达。在实验评估中,增强型语义程序依赖图展现了显著的性能优势,在OpenSSL项目无优化级别下,SPDG恢复的基本块数比Ghidra提升了60.5%,控制边数提升了42.5%;SPDG在数据依赖追踪上也比Ghidra提升了287.1%,恢复了超过13万条数据依赖链。此外,在符号执行覆盖率方面,SPDG在OpenSSL的无优化级别下达到64.7%,优于Angr的60%。在漏洞检测任务中,SPDG成功识别了9个漏洞样例,仅误报1次,准确率达90.0%,显著高于其他工具。 展开更多
关键词 二进制分析 控制流 数据流 符号执行 程序依赖图
在线阅读 下载PDF
交通流优化膨胀控制遗传规划算法
20
作者 胡晓敏 段宇晖 +3 位作者 欧炜标 黄佳玟 林晓漫 李敏 《计算机应用研究》 北大核心 2025年第1期171-176,共6页
针对遗传规划(GP)算法在大规模动态交通流分配中训练超启发式策略时,算法迭代次数的增加而个体平均大小不断膨胀的问题,提出应用不同GP控制膨胀方法来限制种群中大尺寸个体的遗传,让算法能够在训练过程中找到更小且性能更优的超启发式... 针对遗传规划(GP)算法在大规模动态交通流分配中训练超启发式策略时,算法迭代次数的增加而个体平均大小不断膨胀的问题,提出应用不同GP控制膨胀方法来限制种群中大尺寸个体的遗传,让算法能够在训练过程中找到更小且性能更优的超启发式策略。考虑到超启发式策略在如网格式、环形放射式、自由式的不同结构路网上可能存在性能差异,会影响算法在训练过程中对个体的选择,采用不同结构的路网训练出超启发式策略以进行分析比较。训练后的超启发式策略在不同规模和车流量的大城市路网上进行模拟测试。结论是基于双锦标赛的膨胀控制方法对不同结构路网的效果最优,得到的GP算法对比现有调度方法能获得路网整体更短的平均旅行时间,更精简有效的超启发式策略,提高决策效率。 展开更多
关键词 遗传规划 动态交通流优化 控制膨胀 超启发式策略 双锦标赛法
在线阅读 下载PDF
上一页 1 2 60 下一页 到第
使用帮助 返回顶部