检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于符号知识的选项发现方法

计算机科学 2024年

作者：王麒迪沈立炜吴天一复旦大学计算机科学技术学院

基于选项（option）的层次化策略学习是分层强化学习领域的一种主要实现方式。其中，选项表示特定动作的时序抽象，一组选项以多层次组合的方式可解决复杂的强化学习任务。针对选项发现这一目标，已有的研究工作使用监督或无监督方式从... 详细信息

基于选项（option）的层次化策略学习是分层强化学习领域的一种主要实现方式。其中，选项表示特定动作的时序抽象，一组选项以多层次组合的方式可解决复杂的强化学习任务。针对选项发现这一目标，已有的研究工作使用监督或无监督方式从非结构化演示轨迹中自动发现有意义的选项。然而，基于监督的选项发现过程需要人为分解任务问题并定义选项策略，带来大量额外负担；无监督方式发现的选项则难以包含丰富语义，限制后续选项的重用。为此，本文提出一种基于符号知识的选项发现方法，只需对环境符号建模，所得知识可指导环境中多种任务的选项发现，并为发现的选项赋予符号语义，从而在新任务执行时被重复使用。本方法将选项发现过程分解为轨迹切割和行为克隆两阶段步骤：轨迹切割旨在从演示轨迹提取具备语义的轨迹片段，为此训练一个面向演示轨迹的切割模型，引入符号知识定义强化学习奖励评价切割的准确性；行为克隆根据切割得到的数据监督训练选项，旨在使选项模仿轨迹行为。使用本文方法在多个包括离散和连续空间的领域环境中分别进行了选项发现和选项重用实验。选项发现中轨迹切割部分的实验结果显示，本文方法在离散和连续空间环境中切割准确率均高出基线方法数个百分点，并在复杂环境任务的切割中提高到20%。另外，选项重用实验的结果证明，赋予符号语义增强的选项在新任务重用上拥有相较于基线方法更快的训练速度，并在基线方法无法完成的复杂任务中仍然得到良好收敛。

关键词：分层强化学习演示学习选项发现马尔科夫决策过程

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

面向设备与人力资源协作任务的优化调度方法

软件学报 2024年

作者：何飞佳沈立炜宋育臣牛军钰赵文耘复旦大学计算机科学技术学院上海市数据科学重点实验室(复旦大学)

面向人机物融合的泛在计算正成为软件发展的新需求和新趋势,基于这种新形态计算模式的人机物融合应用将软件技术进一步拓展至对线下资源,包括物理设备和人力资源的有效利用.作为典型的人机物融合场景,物理世界中设备资源与人力资源间的... 详细信息

面向人机物融合的泛在计算正成为软件发展的新需求和新趋势,基于这种新形态计算模式的人机物融合应用将软件技术进一步拓展至对线下资源,包括物理设备和人力资源的有效利用.作为典型的人机物融合场景,物理世界中设备资源与人力资源间的协作具有资源可选性、任务高频性、工人动态性的特点,传统的资源调度技术无法有效应对该类型任务(简称为DHRC任务)中的调度需求.为此,提出一种面向设备与人力资源协作任务的优化调度方法,所提方法分为设备资源调度和人力资源调度两个阶段.在设备资源调度阶段,提出基于NSGA-II的设备资源调度算法,在综合考虑任务距离、设备负载和设备位置周边工人人数等因素情况下实现任务对资源的优化选择.在人力资源调度阶段,提出基于DPSO的人力资源调度算法,根据工人位置和协作依赖等因素实现对工人的优化选择以及相应的路径规划.在模拟环境内的实验结果表明,所提方法第1阶段的算法在效率上与对比算法相当,在效用性上优于对比算法(离散粒子群优化算法).第2阶段的算法在效率上与效用性上均优于对比算法(使用锦标赛机制改进的遗传算法).

关键词：人机物资源调度 NSGA-II DPSO

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

面向文本描述的CPS资源能力知识图谱构建

软件学报 2023年第5期34卷 2268-2285页

作者：李正洁沈立炜李弋彭鑫复旦大学计算机科学与技术学院上海200438 上海市数据科学重点实验室(复旦大学) 上海200438

信息物理融合系统(cyber-physical system,CPS)在社会生活中发挥越来越广泛的作用.CPS资源的按需编排建立在CPS资源的软件定义基础上,软件接口的定义则依赖对CPS资源能力的充分描述.目前,CPS领域内缺少一个能规范表示资源及其能力的知... 详细信息

信息物理融合系统(cyber-physical system,CPS)在社会生活中发挥越来越广泛的作用.CPS资源的按需编排建立在CPS资源的软件定义基础上,软件接口的定义则依赖对CPS资源能力的充分描述.目前,CPS领域内缺少一个能规范表示资源及其能力的知识库和构建该知识库的有效方法.面向CPS资源的文本描述,提出构建CPS资源能力知识图谱并设计一种自底向上的自动构建方法.给定资源,所提方法先从其代码和文档中提取资源能力的文本描述信息,并基于预定义的表示模式生成规范化表示的能力短语.然后,基于动宾结构的关键成分对能力短语进行划分、聚合与抽象,生成不同类型资源的能力层次化抽象描述.最后,构建资源能力知识图谱.面向Home Assistant平台,构建了包含32个资源类别、957个资源能力的知识图谱.图谱构建实验从不同维度对比分析了手工构建和所提方法自动构建的结果.实验表明,所提方法为CPS资源能力知识图谱的自动化构建提供可行途径,有助于减少人工构建工作量,补充CPS领域内资源服务与能力的描述,并提高图谱的知识完备性.

关键词：信息物理融合系统(CPS) 能力知识图谱物联网(IoT)

面向多机器人环境中动态异构任务的细粒度动作分配与调度方法

在线全文

学校读者我要写书评

暂无评论

计算机科学 2023年第2期50卷 244-253页

作者：王积旺沈立炜复旦大学计算机科学技术学院上海201203 上海市数据科学重点实验室(复旦大学) 上海201203

在多机器人环境中,具有不同能力的机器人相互协作以完成任务需求。现实情况下,这些任务动态发布,且具有不同的目标和紧急程度,因此需要为每个任务分解出的细粒度动作分配和调度合适的机器人来负责执行这些动作。现有的方法大多适用于静... 详细信息

在多机器人环境中,具有不同能力的机器人相互协作以完成任务需求。现实情况下,这些任务动态发布,且具有不同的目标和紧急程度,因此需要为每个任务分解出的细粒度动作分配和调度合适的机器人来负责执行这些动作。现有的方法大多适用于静态和同构的任务分配场景,而针对动态异构任务的分配则大多采用独占式的分配策略,导致机器人频繁进入等待状态(即机器人处于被分配了任务到真正开始执行任务之间的闲置阶段)。由于任务存在不同的紧急程度和发布时间,这种分配方式将降低对更紧急任务的响应效率,同时导致更多的等待时间和更长的任务完成时间。针对该问题,提出了一种面向多机器人环境中动态异构任务的细粒度动作分配与调度方法。其中,分配与调度的对象是任务所分解出的细粒度的动作,且一个动作能够由机器人的一种能力承担。面对任务分解出的一组细粒度动作集合,本方法借鉴拍卖算法过程,根据机器人能力、状态及任务信息计算出机器人承担特定动作的最优分配方案。另外,在每一次新任务发布或某一机器人执行完动作时执行分配和调度过程,可以将处于普通任务等待状态的机器人调度至紧急任务,以保证紧急任务优先完成,且缩短机器人的总体等待时间。基于本方法,扩展实现了机器人执行框架(ROSPlan)的执行模块。围绕一组多机器人动态异构任务的模拟实验表明,所提方法相较于采用贪心策略的方法可得到更优的分配方案。

关键词：多机器人动态异构任务动作分配与调度拍卖算法 ROSPlan

在线全文

学校读者我要写书评

暂无评论

空间众包任务的路径动态调度方法

计算机科学 2022年第2期49卷 231-240页

作者：沈彪沈立炜李弋复旦大学计算机科学技术学院上海201203 上海市数据科学重点实验室(复旦大学) 上海201203

空间众包用于解决带时空约束的线下众包任务,近几年得到了快速发展。任务调度是空间众包的重要研究方向,难点在于调度过程中任务和工作者的动态不确定性。为了高效地进行任务路径动态调度,提出了同时考虑任务和工作者的不确定性的空间... 详细信息

空间众包用于解决带时空约束的线下众包任务,近几年得到了快速发展。任务调度是空间众包的重要研究方向,难点在于调度过程中任务和工作者的动态不确定性。为了高效地进行任务路径动态调度,提出了同时考虑任务和工作者的不确定性的空间众包任务路径动态调度方法,该方法进行了3方面的改进。首先,扩展了调度需要考虑的因素,除了考虑新增任务的时空属性不确定性之外,还考虑了新增工作者的交通方式和时空属性的不确定性。其次,对调度策略进行改进,通过使用聚合调度策略,对动态新增任务先进行聚合处理,随后再进行任务分配和路径优化,相比传统非聚合调度计算时间显著减少。最后,对调度算法进行改进,基于传统遗传算法,将任务分配和路径优化操作迭代进行,相比先进行任务分配再进行路径优化的调度算法,提高了获取最优结果的准确性。此外,文中设计并实现了基于真实地图导航的空间众包任务路径动态调度模拟平台,并基于该平台验证了所提方法的有效性。

关键词：空间众包任务分配任务调度路径规划遗传算法

在线全文

学校读者我要写书评

暂无评论

基于录制回放的移动应用可访问性增强方法

计算机科学 2023年第12期50卷 32-48页

作者：李向民沈立炜董震复旦大学计算机科学与技术学院上海200438 上海市数据科学重点实验室(复旦大学) 上海200438

移动应用的可访问性指在不受身体和认知障碍的影响下便捷地使用移动应用的能力,其对老年人与残疾人群体具有重要意义。缩短一个应用使用过程中的交互路径(减少操作步骤数)是增强移动应用可访问性的一种重要方式。录制回放技术基于所录... 详细信息

移动应用的可访问性指在不受身体和认知障碍的影响下便捷地使用移动应用的能力,其对老年人与残疾人群体具有重要意义。缩短一个应用使用过程中的交互路径(减少操作步骤数)是增强移动应用可访问性的一种重要方式。录制回放技术基于所录制的脚本自动执行交互过程中的固定操作,实现交互操作的缩减。然而,现有的录制回放工具仍存在局限性,包括依赖ROOT权限或使用侵入式手段才能进行录制并实现脚本可迁移。另外,已有工具录制的脚本不支持参数化的操作。针对这些问题,提出了基于录制回放的移动应用可访问性增强方法。在该方法的录制过程中,以可访问性服务为媒介,避免申请ROOT权限或使用侵入式手段,设计路径索引算法保证脚本的可迁移性,设计脚本参数化算法记录参数化操作,从而生成具有终端迁移性和操作数据泛化性的应用执行脚本。基于该方法开发了录制回放原型工具RRA并构建了面向10个流行应用的50个常见执行脚本。使用这些脚本在同一设备上的回放成功率为80%,与对比方法SARA相当。对RRA成功回放的40个脚本中的5个脚本进行参数化录制,在同一设备上的回放成功率达100%。对两种方法均能录制成功的29个脚本以及5个参数化脚本进行迁移执行,RRA的回放成功率为94%,高于SARA。

关键词：安卓移动应用可访问性录制回放可迁移

在线全文

学校读者我要写书评

暂无评论

基于问答平台的弃用API迁移建议推荐技术

计算机应用与软件 2022年第5期39卷 8-16,114页

作者：奚耀国沈立炜赵文耘复旦大学软件学院上海201203 复旦大学上海市数据科学重点实验室上海201203

开发者应及时迁移会为程序引入隐患的弃用API。不完整的文档和潜在替换API的复杂使用方式为此工作带来了挑战。开发者习惯于在问答网站中寻找关于迁移弃用API的讨论。然而,由于帖子数量较多,往往不能在短时间内找到合适的替换API及代码... 详细信息

开发者应及时迁移会为程序引入隐患的弃用API。不完整的文档和潜在替换API的复杂使用方式为此工作带来了挑战。开发者习惯于在问答网站中寻找关于迁移弃用API的讨论。然而,由于帖子数量较多,往往不能在短时间内找到合适的替换API及代码示例。针对此这一问题,提出基于问答平台的弃用API迁移建议推荐技术。迁移建议由与替换API有关的文本描述和代码示例组成。该技术根据弃用API从Stack Overflow中搜索讨论帖,并从中抽取文本信息和代码示例生成回答快照。根据替换API对回答快照进行分类。参考帖子的属性对回答快照进行排序。根据替换API简化快照中的代码示例。基于该技术开发了迁移建议推荐工具,实验表明该工具能显著提高开发者迁移弃用API的效率。

关键词：弃用API 问答平台迁移建议

基于代码上下文相似度分析的代码问题修复推荐方法

在线全文

学校读者我要写书评

暂无评论

计算机应用与软件 2022年第6期39卷 21-28,102页

作者：刘霜吴毅坚沈立炜赵文耘复旦大学软件学院上海201203 复旦大学计算机科学技术学院上海201203 上海市数据科学重点实验室上海201203

代码静态扫描是用于检测代码异味、潜在缺陷等代码问题(Issue)的重要手段,但开发人员仅根据所给出的问题类型和位置,往往难以快速理解并给出修复问题的方案。提出一种基于代码上下文相似度分析的代码问题修复推荐方法。该方法收集历史... 详细信息

代码静态扫描是用于检测代码异味、潜在缺陷等代码问题(Issue)的重要手段,但开发人员仅根据所给出的问题类型和位置,往往难以快速理解并给出修复问题的方案。提出一种基于代码上下文相似度分析的代码问题修复推荐方法。该方法收集历史版本中代码问题的修复案例,建立问题修复资源库,根据问题类型、问题代码及上下文、修复代码及上下文对修复案例进行聚类,对每种不同类型的问题建立修复模板,通过对有同类问题的目标代码及其上下文进行相似性分析,从而推荐具体的修复方式。实验结果表明,该方法所采用的问题聚类技术能有效提高对目标问题推荐修复方式的效果。

关键词：代码上下文相似度分析代码问题修复推荐

扩展方面机制的软件产品线体系结构建模及构件组装实现

在线全文

学校读者我要写书评

暂无评论

电子学报 2009年第B04期37卷 140-145页

作者：沈立炜彭鑫赵文耘复旦大学计算机科学技术学院软件工程实验室上海200433

软件产品线是提高软件开发效率与质量的有效途径,它以体系结构(SA)为蓝图,定义组成产品线的构件与构件之间相互作用的关系,指导基于构件的应用产品组装实现.现有的基于接口连接式的体系结构仅能描述构件间的直接交互,却无法支持产品线... 详细信息

软件产品线是提高软件开发效率与质量的有效途径,它以体系结构(SA)为蓝图,定义组成产品线的构件与构件之间相互作用的关系,指导基于构件的应用产品组装实现.现有的基于接口连接式的体系结构仅能描述构件间的直接交互,却无法支持产品线可变性所带来的更为复杂的构件交互情况.因此,本文提出一种扩展方面机制的软件产品线体系结构建模及构件组装实现方法,其核心是一套扩展xADL2.0、结合面向方面机制的软件产品线体系结构描述语言.它能支持基于可变性的产品线体系结构设计与定制,并指导应用产品的构件组装过程.在此方法的基础上,我们开发了原型工具FdSPLC,提供对体系结构的可视化建模以及应用产品的自动化生成.

关键词：软件体系结构构件组装构件交互模式