期刊文献+
共找到2,785篇文章
< 1 2 140 >
每页显示 20 50 100
Actor-Critic框架下基于DDPG算法的绘画机器人控制系统优化设计 被引量:2
1
作者 罗子彪 唐娇 《自动化与仪器仪表》 2025年第2期193-197,202,共6页
人工智能与艺术创作的碰撞成为当前研究新焦点。然而,机器人在进行图画绘制工作中的控制效果却难以满足精度需求。因此,研究在深度确定性策略梯度算法基础上进行了绘画机器人控制系统设计。在Actor网络和Critic网络框架下,对算法的奖励... 人工智能与艺术创作的碰撞成为当前研究新焦点。然而,机器人在进行图画绘制工作中的控制效果却难以满足精度需求。因此,研究在深度确定性策略梯度算法基础上进行了绘画机器人控制系统设计。在Actor网络和Critic网络框架下,对算法的奖励函数以及经验池进行改进与优化,并提出了绘画机器人控制系统。验证显示,研究提出的控制系统比其他算法基础上的控制系统训练收敛速度平均提高了38.04%。机械臂肘关节仿真误差比其他算法平均减少了93.74%。结果表明,对算法的奖励函数与经验池进行改进能够提高算法收敛速度与性能。研究提出的绘画机器人控制系统对机器人绘制图像的过程控制能够满足控制精度需求,在机器人控制中具有积极的应用价值。 展开更多
关键词 actor网络 Critic网络 DDPG算法 深度强化学习 控制系统
原文传递
面向长序列自主作业的非对称Actor-Critic强化学习方法
2
作者 任君凯 瞿宇珂 +3 位作者 罗嘉威 倪子淇 卢惠民 叶益聪 《国防科技大学学报》 北大核心 2025年第4期111-122,共12页
长序列自主作业能力已成为制约智能机器人走向实际应用的问题之一。针对机器人在复杂场景中面临的多样化长序列操作技能需求,提出了一种高效鲁棒的非对称Actor-Critic强化学习方法,旨在解决长序列任务学习难度大与奖励函数设计复杂的挑... 长序列自主作业能力已成为制约智能机器人走向实际应用的问题之一。针对机器人在复杂场景中面临的多样化长序列操作技能需求,提出了一种高效鲁棒的非对称Actor-Critic强化学习方法,旨在解决长序列任务学习难度大与奖励函数设计复杂的挑战。通过整合多个Critic网络协同训练单一Actor网络,并引入生成对抗模仿学习为Critic网络生成内在奖励,从而降低长序列任务学习难度。在此基础上,设计两阶段学习方法,利用模仿学习为强化学习提供高质量预训练行为策略,在进一步提高学习效率的同时,增强策略的泛化性能。面向化学实验室长序列自主作业的仿真结果表明,该方法显著提高了机器人长序列操作技能的学习效率与行为策略的鲁棒性。 展开更多
关键词 自主作业机器人 强化学习 actor-Critic 长序列操作
在线阅读 下载PDF
基于Actor-Critic算法的新能源汽车实时充电优化调度研究
3
作者 赖城贤 杨婷 苏庆列 《黑龙江工业学院学报(综合版)》 2025年第5期128-133,共6页
随着新能源汽车的普及,其充电调度问题日益凸显。研究旨在通过优化充电调度算法,实现新能源汽车充电的实时优化,以提升充电效率和降低成本。研究采用了分两步执行的Actor-Critic充电调度算法,利用多层感知器构建Actor和Critic网络,并通... 随着新能源汽车的普及,其充电调度问题日益凸显。研究旨在通过优化充电调度算法,实现新能源汽车充电的实时优化,以提升充电效率和降低成本。研究采用了分两步执行的Actor-Critic充电调度算法,利用多层感知器构建Actor和Critic网络,并通过并行计算提高算法效率。研究结果显示,该算法在精准率上迅速上升,在约200次迭代后达到0.9,显著优于其他算法。在运行时间方面,该算法始终保持较低水平,显示出高运行效率。在充电负载管理上,该算法在50小时内达到约45kW的负载,充电效率接近90%,且充电成本在所有车辆数量下均为最低。该算法在新能源汽车充电调度中表现出色,不仅提高了充电效率,降低了充电成本,而且具有较快的收敛速度和较低的运行时间,为新能源汽车充电调度提供了一种有效的解决方案。 展开更多
关键词 actor-Critic算法 新能源汽车 实时充电 优化调度 状态空间
在线阅读 下载PDF
WSANs中基于实时性约束的actor节点优化部署策略 被引量:4
4
作者 车楠 李治军 姜守旭 《软件学报》 EI CSCD 北大核心 2011年第6期1361-1372,共12页
旨在研究基于实时性约束的actor节点优化部署策略.由于WSANs通常是随机播撒的,导致基于实时性约束的actor节点优化部署问题是NP难问题.因此,提出了基于Voronoi图的最大实时覆盖部署策略,并通过实验,与现有针对区域覆盖的部署策略进行对... 旨在研究基于实时性约束的actor节点优化部署策略.由于WSANs通常是随机播撒的,导致基于实时性约束的actor节点优化部署问题是NP难问题.因此,提出了基于Voronoi图的最大实时覆盖部署策略,并通过实验,与现有针对区域覆盖的部署策略进行对比.该部署策略可以使WSANs获得更好的实时性,且在收敛速度、能量消耗方面具有较好的性能. 展开更多
关键词 WSNS WSANs 实时性 部署策略 actor覆盖
在线阅读 下载PDF
一种自适应模糊Actor-Critic学习 被引量:3
5
作者 王雪松 程玉虎 易建强 《控制与决策》 EI CSCD 北大核心 2006年第9期1068-1072,共5页
提出一种基于模糊RBF网络的自适应模糊A ctor-C ritic学习.采用一个模糊RBF神经网络同时逼近A ctor的动作函数和C ritic的值函数,解决状态空间泛化中易出现的“维数灾”问题.模糊RBF网络能够根据环境状态和被控对象特性的变化进行网络... 提出一种基于模糊RBF网络的自适应模糊A ctor-C ritic学习.采用一个模糊RBF神经网络同时逼近A ctor的动作函数和C ritic的值函数,解决状态空间泛化中易出现的“维数灾”问题.模糊RBF网络能够根据环境状态和被控对象特性的变化进行网络结构和参数的自适应学习,使得网络结构更加紧凑,整个模糊A ctor-C ritic学习具有泛化性能好、控制结构简单和学习效率高的特点.M oun ta in C ar的仿真结果验证了所提方法的有效性. 展开更多
关键词 actor—Critic学习 模糊推理系统 RBF网络 泛化
在线阅读 下载PDF
基于Actor-Critic算法的无人机集群任务分配方法
6
作者 苏瑞 龚俊 张鸿宇 《兵工自动化》 北大核心 2025年第5期107-112,共6页
为最小化无人机集群任务分配中任务的完成总时间和总航程,提出一种基于Actor-Critic算法的优化方法。利用Actor-Critic算法中的Actor网络,根据当前状态生成任务分配策略,并用Critic网络评估Actor网络生成的策略价值。采用多阶时序差分误... 为最小化无人机集群任务分配中任务的完成总时间和总航程,提出一种基于Actor-Critic算法的优化方法。利用Actor-Critic算法中的Actor网络,根据当前状态生成任务分配策略,并用Critic网络评估Actor网络生成的策略价值。采用多阶时序差分误差,结合多个时间步的奖励来更新策略,以提高学习效率并减少延迟奖励。在多种任务场景下,通过仿真实验进行对比。仿真结果表明:该方法能够显著减少任务完成时间和航行距离,验证了在任务分配问题上的有效性。 展开更多
关键词 无人机集群 任务分配 强化学习 演员评论家算法
在线阅读 下载PDF
基于Actor-Critic框架的风机换流器参数优化策略
7
作者 李强 邹小明 +2 位作者 任必兴 何宇帆 杜文娟 《现代电力》 北大核心 2025年第5期1101-1110,共10页
随着可再生能源并网发电量的不断增加,由电力电子设备引发的电力系统次同步振荡问题逐渐凸显,给电力系统的安全稳定运行带来了新的挑战。除此之外,当目标电力系统规模较大时,常用的基于线性化模型的分析方法面临着维数灾难。为了解决上... 随着可再生能源并网发电量的不断增加,由电力电子设备引发的电力系统次同步振荡问题逐渐凸显,给电力系统的安全稳定运行带来了新的挑战。除此之外,当目标电力系统规模较大时,常用的基于线性化模型的分析方法面临着维数灾难。为了解决上述问题,根据强化学习原理,通过动作-评价(Actor-Critic)学习框架提出一种对风机换流器控制参数的优化策略。通过搜集永磁直驱风机(permanent magnetic synchronous generator,PMSG)运行状态数据,训练强化学习代理(Agent),以此评估风机运行状态及其稳定性,并寻找优化风机换流器参数的最优策略。该训练方法得到的代理能够基于时域采样数据对风机换流器参数进行优化,从而有效抑制由于换流器诱发的振荡现象,在没有建立线性化分析模型的情况下,能够有效优化并增强电力系统的稳定性。经实验验证,该优化策略在采样数据有噪声干扰的情况下仍然具有良好的优化性能。 展开更多
关键词 强化学习 动作-评价 永磁直驱风机 次同步振荡 参数优化
原文传递
基于Actor的虚拟环境系统研究 被引量:1
8
作者 王寻羽 朱淼良 徐文渊 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2001年第1期61-66,共6页
通过参考 Agent模型以及借鉴 CSP方法中的若干核心思想 ,提出了基于 Actor的面向对象模型 ,综合考虑了 Actor模型及面向对象方法的优点 ,更好地表达了对象的行为特性 .该模型已在自主式移动机器人系统仿真实验中得到应用 ,实验结果验证... 通过参考 Agent模型以及借鉴 CSP方法中的若干核心思想 ,提出了基于 Actor的面向对象模型 ,综合考虑了 Actor模型及面向对象方法的优点 ,更好地表达了对象的行为特性 .该模型已在自主式移动机器人系统仿真实验中得到应用 ,实验结果验证了该模型的有效性 . 展开更多
关键词 面向对象 actor 虚拟环境系统 系统仿真 移动机器人
在线阅读 下载PDF
Actor-Critic框架下的数据驱动异步电机离线参数辨识方法 被引量:11
9
作者 漆星 张倩 《电工技术学报》 EI CSCD 北大核心 2019年第9期1875-1885,共11页
电动汽车用电机的参数辨识可以使电机在任意转速下尽可能输出更高的转矩及效率,是优化电机输出性能的重要手段。传统的基于模型驱动的参数辨识方法的缺点为易受模型误差的影响、抗干扰能力差以及无法实现全转速范围内的转矩最优。鉴于... 电动汽车用电机的参数辨识可以使电机在任意转速下尽可能输出更高的转矩及效率,是优化电机输出性能的重要手段。传统的基于模型驱动的参数辨识方法的缺点为易受模型误差的影响、抗干扰能力差以及无法实现全转速范围内的转矩最优。鉴于上述缺点,该文研究了一种完全基于实际数据的电动汽车用异步电机离线参数辨识方法,对电机的转子电阻和励磁电感在任意转速下进行了优化,从而使电机能够在特定转速和特定电流下输出最优转矩。为达到电机在特定转速和电流下输出转矩最优的目的,研究了一种基于Actor-Critic框架的电动汽车用异步电机离线参数辨识方法,确定了框架中的观测、奖励和动作的设计。实验证明相对于传统参数辨识方法,该文方法具有更高的精确性和鲁棒性,同时确保了电动汽车用异步电机在任意转速下的输出转矩最优。 展开更多
关键词 异步电机参数辨识数据驱动actor-Critic 框架
在线阅读 下载PDF
Actors:实现并发面向对象程序设计的模型 被引量:1
10
作者 李涛 李鸿彬 《电子科技大学学报》 EI CAS CSCD 北大核心 1996年第1期76-80,共5页
Actors是一些计算单位。这些计算单位为了回答不断增长的通信而进行各自的工作。原始的Actors语言语义基于纯消息传递。文中建立了Actors模型的基本框架,并且讨论了利用Actors语言开发大型并发系统的优点。还... Actors是一些计算单位。这些计算单位为了回答不断增长的通信而进行各自的工作。原始的Actors语言语义基于纯消息传递。文中建立了Actors模型的基本框架,并且讨论了利用Actors语言开发大型并发系统的优点。还讨论了Actors语言抽象结构的数学表示。 展开更多
关键词 actorS 并发 程序设计 面向对象 开放系统
在线阅读 下载PDF
基于对称扰动采样的Actor-critic算法 被引量:2
11
作者 张春元 朱清新 《控制与决策》 EI CSCD 北大核心 2015年第12期2161-2167,共7页
针对传统Actor-critic(AC)方法在求解连续空间序贯决策问题时收敛速度较慢、收敛质量不高的问题,提出一种基于对称扰动采样的AC算法框架.首先,框架采用高斯分布作为策略分布,在每一时间步对当前动作均值对称扰动,从而生成两个动作与环... 针对传统Actor-critic(AC)方法在求解连续空间序贯决策问题时收敛速度较慢、收敛质量不高的问题,提出一种基于对称扰动采样的AC算法框架.首先,框架采用高斯分布作为策略分布,在每一时间步对当前动作均值对称扰动,从而生成两个动作与环境并行交互;然后,基于两者的最大时域差分(TD)误差选取Agent的行为动作,并对值函数参数进行更新;最后,基于两者的平均常规梯度或增量自然梯度对策略参数进行更新.理论分析和仿真结果表明,所提框架具有较好的收敛性和计算效率. 展开更多
关键词 actor-critic方法 对称扰动采样 连续空间 强化学习
原文传递
基于改进Actor-Critic算法的多传感器交叉提示技术 被引量:2
12
作者 韦道知 张曌宇 +1 位作者 谢家豪 李宁 《系统工程与电子技术》 EI CSCD 北大核心 2023年第6期1624-1632,共9页
针对在减少战场资源浪费、平衡战场效费比的同时提高目标探测概率,保证目标的可持续跟踪,提出利用改进Actor-Critic算法的多传感器交叉提示技术进行目标探测。首先,综合传感器探测、能耗、时效等因素搭建基于“交叉提示”传感器的动态... 针对在减少战场资源浪费、平衡战场效费比的同时提高目标探测概率,保证目标的可持续跟踪,提出利用改进Actor-Critic算法的多传感器交叉提示技术进行目标探测。首先,综合传感器探测、能耗、时效等因素搭建基于“交叉提示”传感器的动态管理评估模型;其次,重点分析利用Actor-Critic交叉提示算法的传感器管理决策规则,并且提出了Actor-Critic算法,以根据任务自身需求组建中央评价网络,加大传感器与外部环境的交互。仿真结果表明,改进的算法可以加速网络收益,实现对目标的持续性探测,加强传感器之间的交叉提示功能,提升调度的智能化水平,具有较大的应用价值。 展开更多
关键词 多传感器交叉提示 actor-Critic算法 强化学习 目标探测 传感器资源调度
在线阅读 下载PDF
Analysis of Hypertension Status and Its Influencing Factors in Some Areas of Hubei Province, China 被引量:1
13
作者 Lidan Bian Huanlan Wang +3 位作者 Xun Gong Xuanxuan Wang Guo Lu Guohong Wang 《Advances in Aging Research》 2020年第1期14-22,共9页
Objective: To know about the current situation of hypertension in some areas of Hubei Province and analyze the influencing factors. Methods: According to the principle of Stratified sampling, we conducted health exami... Objective: To know about the current situation of hypertension in some areas of Hubei Province and analyze the influencing factors. Methods: According to the principle of Stratified sampling, we conducted health examination and questionnaire survey for 1500 residents over the age of 18 at observation point of chronic noninfectious diseases at 10 sub-districts (towns) of Wuhan City, Jingzhou City, Huanggang City, Shiyan City, which used descriptive statistics and logistics to regressively analyze Current situation of hypertension and its influencing factors of residents. Results: Prevalence of hypertension of rural and urban residents over 18 is 27.44% in Hubei province. There are many differences among prevalence of hypertension of male and female, distribution of BMI of rural and urban residents and prevalence of hypertension and so on, and it has statistical significance (P-value < 0.05 averagely);logistic regressive analysis result shows that different age, gender, education level, dieting habits (high salt and high oil), family per capita monthly income, BMI have statistical significance on the prevalence of hypertension in urban and rural residents of Hubei Province. Conclusions: The prevalence of hypertension in the residents of five cities and prefectures in Hubei Province is on the trend of rising in ladder form and at a much earlier age. The health education, monitoring and intervention of chronic diseases need to be widely carried out, with emphasis on the intervention of the residents’ eating habits of high salt and oil, smoking, drinking and other bad lifestyle. 展开更多
关键词 HYPERTENSION AFFECTING actorS Risk Factors EFFECTIVENESS of INTERVENTION
在线阅读 下载PDF
一种基于Actor模型的弹性可伸缩的流处理框架 被引量:6
14
作者 詹杭龙 刘澜涛 +2 位作者 康亮环 曹东刚 谢冰 《计算机研究与发展》 EI CSCD 北大核心 2017年第5期1086-1096,共11页
流处理是一种重要的大数据应用模式,在金融、广告、物联网、社交网络等众多领域得到了广泛应用.在流处理场景中,流数据的产生速度往往变化剧烈且不容易预测.这时,如果数据流量峰值超过处理系统的承载能力,可能使得系统运行缓慢甚至崩溃... 流处理是一种重要的大数据应用模式,在金融、广告、物联网、社交网络等众多领域得到了广泛应用.在流处理场景中,流数据的产生速度往往变化剧烈且不容易预测.这时,如果数据流量峰值超过处理系统的承载能力,可能使得系统运行缓慢甚至崩溃,导致处理作业失效;如果为了应对数据流量峰值而过度配置资源,则可能在系统轻载时产生不必要的浪费.为了解决流处理中负载和资源的匹配问题,流处理系统应该具有弹性可伸缩的能力,一方面以高效的方式组织运算资源;另一方面能根据数据流量的实时变化自动地调整资源使用量.然而,现有的流处理框架对于弹性可伸缩的支持尚很初步.介绍了一种基于Actor模型的弹性可伸缩的流处理框架eSault.eSault首先基于Actor模型将批量的处理单元进行分层管理,通过2层路由机制实现了对伸缩性的支持;在此基础上,设计一个基于数据处理延迟的过载判断算法和基于数据处理速度的轻载判断算法来指导系统对资源的有效使用,进而实现弹性可伸缩的流处理.实验结果表明:eSault具有较好的性能,而且能够很好地实现弹性可伸缩. 展开更多
关键词 流处理 actor模型 云计算 弹性可伸缩 2层路由机制
在线阅读 下载PDF
基于Actor模型的软总线设计 被引量:6
15
作者 李春雷 高峰 颜运强 《计算机工程》 CAS CSCD 北大核心 2019年第5期77-83,共7页
为提高网络化嵌入式系统的安全性与可靠性,提出一种基于Actor模型的软总线设计方法,以解决分布式全数字仿真测试中系统及组件间的通信问题。采用以Actor模型为中心的发布/订阅机制,实现分布式节点之间的同步、异步通信。在此基础上,提... 为提高网络化嵌入式系统的安全性与可靠性,提出一种基于Actor模型的软总线设计方法,以解决分布式全数字仿真测试中系统及组件间的通信问题。采用以Actor模型为中心的发布/订阅机制,实现分布式节点之间的同步、异步通信。在此基础上,提出一种基于线程池技术的任务调度方法,实现Actor模型的协同工作,并通过规则链表进行Actor消息的处理及转发。实验结果表明,与HLA、OpenDDS总线相比,在大数据量并发处理的情况下,该软总线程序执行效率提升30%以上,能够满足网络化嵌入式系统测试对实时性与并发性的需求。 展开更多
关键词 网络化嵌入式系统 actor模型 分布式全数字仿真 强实时性 并发性
在线阅读 下载PDF
基于Actor模型的高性能分布式XMPP服务器 被引量:2
16
作者 陈昊 高楚舒 +1 位作者 魏峻 叶丹 《计算机系统应用》 2015年第10期62-67,共6页
云计算和移动互联网的高速发展,使得云端服务器需要同时和大规模客户端保持实时交互,XMPP消息通信技术使用基于TCP长连接的方式来实现这一功能.然而,现有的XMPP服务器系统大多基于传统的并发模型设计,整体性能较差,无法应对大规模并发... 云计算和移动互联网的高速发展,使得云端服务器需要同时和大规模客户端保持实时交互,XMPP消息通信技术使用基于TCP长连接的方式来实现这一功能.然而,现有的XMPP服务器系统大多基于传统的并发模型设计,整体性能较差,无法应对大规模并发的需求.本文针对XMPP服务器的特点,提出了一种基于Actor模型的XMPP服务器架构设计,并给出了一种基于一致性哈希的分布式消息路由算法,有效提升了系统的并发度、弹性扩展能力,以及消息传递的效率.实验表明基于本文方法实现的系统相比于现有其他系统,性能有很大提升,可以适应大规模并发的场景. 展开更多
关键词 actor模型 XMPP 分布式系统 即时通讯
在线阅读 下载PDF
基于批量递归最小二乘的自然Actor-Critic算法 被引量:4
17
作者 王国芳 方舟 李平 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2015年第7期1335-1342,共8页
为了减轻Actor-Critic结构中智能体用最小二乘法估计自然梯度时的在线运算负担,提高运算实时性,提出新的学习算法:NAC-BRLS.该算法在Critic中利用批量递归最小二乘法估计自然梯度,根据估计得到的梯度乐观地更新策略.批量递归最小二乘法... 为了减轻Actor-Critic结构中智能体用最小二乘法估计自然梯度时的在线运算负担,提高运算实时性,提出新的学习算法:NAC-BRLS.该算法在Critic中利用批量递归最小二乘法估计自然梯度,根据估计得到的梯度乐观地更新策略.批量递归最小二乘法的引入使得智能体能根据自身运算能力自由调整各批次运算的数据量,即每次策略估计时使用的数据量,在全乐观和部分乐观之间进行权衡,大大提高了NAC-LSTD算法的灵活性.山地车仿真实验表明,与NAC-LSTD算法相比,NAC-BRLS算法在保证一定收敛性能的前提下,能够明显降低智能体的单步平均运算负担. 展开更多
关键词 自然梯度 actor-Critic 批次更新 递归最小二乘
在线阅读 下载PDF
基于Tile Coding编码和模型学习的Actor-Critic算法 被引量:3
18
作者 金玉净 朱文文 +1 位作者 伏玉琛 刘全 《计算机科学》 CSCD 北大核心 2014年第6期239-242,249,共5页
Actor-Critic是一类具有较好性能及收敛保证的强化学习方法,然而,Agent在学习和改进策略的过程中并没有对环境的动态性进行学习,导致Actor-Critic方法的性能受到一定限制。此外,Actor-Critic方法中需要近似地表示策略以及值函数,其中状... Actor-Critic是一类具有较好性能及收敛保证的强化学习方法,然而,Agent在学习和改进策略的过程中并没有对环境的动态性进行学习,导致Actor-Critic方法的性能受到一定限制。此外,Actor-Critic方法中需要近似地表示策略以及值函数,其中状态和动作的编码方法以及参数对Actor-Critic方法有重要的影响。Tile Coding编码具有简单易用、计算时间复杂度较低等优点,因此,将Tile Coding编码与基于模型的Actor-Critic方法结合,并将所得算法应用于强化学习仿真实验。实验结果表明,所得算法具有较好的性能。 展开更多
关键词 强化学习 TILE CODING actor-Critic 模型学习 函数逼近
在线阅读 下载PDF
基于ACTOR模型的并发面向对象语言AC++ 被引量:1
19
作者 董哲 刘琳 田籁声 《软件学报》 EI CSCD 北大核心 1997年第3期197-203,共7页
AC++是用ACTOR模型建造的并发C++语言.本文介绍AC++的设计与实现,着重探讨如何在语义级上平滑地结合ACTOR模型和普通面向对象语言,提出了“扩充的行为抽象”和“异步创建”等新方法,使新语言既能保持面向对象... AC++是用ACTOR模型建造的并发C++语言.本文介绍AC++的设计与实现,着重探讨如何在语义级上平滑地结合ACTOR模型和普通面向对象语言,提出了“扩充的行为抽象”和“异步创建”等新方法,使新语言既能保持面向对象语言的特性。 展开更多
关键词 面向对象语言 actor模型 程序语言 AC++语言
在线阅读 下载PDF
一种基于Actor模型的并行动态符号执行方法 被引量:1
20
作者 张晓文 贾向阳 +2 位作者 常亮 刘钱超 胡小辉 《小型微型计算机系统》 CSCD 北大核心 2018年第1期12-16,共5页
动态符号执行用程序变量的具体值替换动态数据结构及复杂表达式中的符号变量以便简化路径条件,但是该方法面临路径爆炸问题.针对符号执行中路径探索和约束求解耗时问题,提出了一个并行化动态符号执行方法.该方法基于Actor并行模型,将动... 动态符号执行用程序变量的具体值替换动态数据结构及复杂表达式中的符号变量以便简化路径条件,但是该方法面临路径爆炸问题.针对符号执行中路径探索和约束求解耗时问题,提出了一个并行化动态符号执行方法.该方法基于Actor并行模型,将动态符号执行中的路径探索与约束求解任务在多个节点并行执行,并基于子树转移方式实现节点任务的动态负载均衡,减少了节点间的通信代价.基于上述方法,研制了并行动态符号执行工具Jdart-parallel.与动态符号执行工具JDart的对比试验显示在使用多个工作节点时,相比于JDart,在时间效率上有了显著提升. 展开更多
关键词 符号执行 actor模型 并行 负载均衡
在线阅读 下载PDF
上一页 1 2 140 下一页 到第
使用帮助 返回顶部