检索结果-内蒙古大学图书馆

自动化学报 2025年第4期51卷 705-726页

作者：迟嵩禹李帅王晨谢广明北京大学工学院智能仿生设计实验室北京大学软件工程国家工程研究中心北京大学海洋研究院

作为多智能体对抗博弈问题的重要分支,追逃博弈(Pursuit-evasion, PE)问题在控制和机器人领域得到广泛应用,受到众多研究者的密切关注.追逃博弈问题主要聚焦于追逐者和逃跑者双方为实现各自目标而展开的动态博弈:追逐者试图在最短时间... 详细信息

作为多智能体对抗博弈问题的重要分支,追逃博弈(Pursuit-evasion, PE)问题在控制和机器人领域得到广泛应用,受到众多研究者的密切关注.追逃博弈问题主要聚焦于追逐者和逃跑者双方为实现各自目标而展开的动态博弈:追逐者试图在最短时间内抓到逃跑者,逃跑者的目标则是避免被捕获.本文概述追逃博弈问题的相关研究进展,从空间环境、信息获取等五个方面介绍追逃博弈问题的各类设定;简述理论求解、数值求解等四种当下主流的追逃博弈问题求解方法.通过对现有研究的总结和分析,给出几点研究建议,对未来追逃博弈问题的发展具有一定指导意义.

关键词：追逃博弈问题多智能体对抗博弈微分对策

来源：评论

学校读者我要写书评

暂无评论

智能网联汽车的车载网络攻防技术研究进展

引用

软件学报 2025年第1期36卷 341-370页

作者：陈博言沈晴霓张晓磊张鑫李聪吴中海北京大学软件与微电子学院北京102600 软件工程国家工程研究中心(北京大学) 北京100871 北京大学计算机学院北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

随着人工智能和5G技术在汽车行业的应用,智能网联汽车应运而生,它是一种由众多来自不同供应商的电子控制单元(ECU)组成的复杂分布式异构系统,通过以CAN为代表的车载网络协议交互协同控制各ECU.然而,攻击者可能通过各种接口攻击智能网联... 详细信息

随着人工智能和5G技术在汽车行业的应用,智能网联汽车应运而生,它是一种由众多来自不同供应商的电子控制单元(ECU)组成的复杂分布式异构系统,通过以CAN为代表的车载网络协议交互协同控制各ECU.然而,攻击者可能通过各种接口攻击智能网联汽车,渗透到车载网络,再攻击车载网络及其各组成部分如ECU.因此,智能网联汽车的车载网络安全成为近些年车辆安全研究的焦点之一.在介绍智能网联汽车整体结构、ECU、CAN总线和车载诊断协议等基础之上,首先总结了目前车载网络协议的逆向工程技术进展,逆向工程的目标是获取汽车行业通常不公开的车载网络协议实现细节,也是实施攻击和防御的前提条件.然后从车载网络攻、防两个角度展开:一方面概括了车载网络攻击向量及主要攻击技术,包括通过物理访问和远程访问方式实施的攻击技术,以及针对ECU和CAN总线实施的攻击技术;另一方面,讨论了车载网络现有的防御技术,包括基于特征工程和机器学习方法的车载网络入侵检测和基于密码学方法的车载网络协议安全增强技术.最后展望了未来的研究方向.

关键词：智能网联汽车车载网络逆向工程入侵检测协议安全增强

来源：评论

学校读者我要写书评

暂无评论

三维颌面对称参考平面智能构建的深度学习算法

引用

北京大学学报(医学版) 2025年第1期57卷 113-120页

作者：朱玉佳沈华温奥楠高梓翔秦庆钊单珅瑶李文博傅湘玲赵一姣王勇北京大学口腔医学院·口腔医院口腔医学数字化研究中心国家口腔医学中心国家口腔疾病临床医学研究中心口腔生物材料和数字诊疗装备国家工程研究中心口腔数字医学北京市重点实验室国家卫生健康委员会口腔医学计算机应用工程技术研究中心北京100081 北京邮电大学计算机学院(国家示范性软件学院) 北京邮电大学可信分布式计算与服务教育部重点实验室北京100876 北京大学医学部医学技术研究院北京100191

目的:建立一种可实现三维颌面点云数据智能配准的本体-镜像关联深度学习算法,基于颌面动态图结构的配准网络(maxillofacial dynamic graph registration network,MDGR-Net)模型,实现三维颌面对称参考平面的自动化构建,以期为口腔临床数... 详细信息

目的:建立一种可实现三维颌面点云数据智能配准的本体-镜像关联深度学习算法,基于颌面动态图结构的配准网络(maxillofacial dynamic graph registration network,MDGR-Net)模型,实现三维颌面对称参考平面的自动化构建,以期为口腔临床数字化设计与分析提供参考。方法:收集2018年10月至2022年10月就诊于北京大学口腔医院无显著颌面畸形临床患者400例,通过数据增强的方式获得2000例三维颌面数据用于MDGR-Net算法训练与测试,其中训练集1600例、验证集200例、内部测试集200例,MDGR-Net模型包含构造本体与镜像点云(X和Y)中关键点的特征向量,基于特征向量获取点云X和Y中关键点的对应关系,以及通过奇异值分解(singular value decomposition,SVD)计算旋转和平移矩阵R,t。基于MDGR-Net模型实现本体点云与镜像点云的智能配准,获得本体-镜像联合点云,并采用主成分分析(principal component analysis,PCA)算法获得MDGR-Net关联法对称参考平面。基于决定系数(coefficient of determination,R 2)指标对内部测试集平移及旋转矩阵进行模型评价,并对200例内部测试集与40例外部测试集临床数据,基于MDGR-Net关联法与“真值”迭代最近点(iterative closest point,ICP)关联法构建的三维颌面对称参考平面进行角度误差评价。结果:基于200例内部测试集三维颌面数据测试MDGR-Net旋转矩阵R 2为0.91,平移矩阵R^(2)为0.98。在内部与外部测试集上,角度误差平均值分别为0.84°±0.55°、0.58°±0.43°,临床构建40例三维颌面对称参考平面仅需3 s,在正畸骨性Ⅲ类、高角、安氏Ⅲ类错牙合畸形受试者表现最佳。结论:基于点云智能配准的MDGR-Net关联法为口腔临床三维颌面对称参考平面构建提供了新的解决方案,可显著提升诊疗效率和效果,降低专家依赖性。

关键词：颌面部对称参考平面成像,三维深度学习算法

来源：评论

学校读者我要写书评

暂无评论

软件体系结构演化模型

引用

电子学报 2005年第8期33卷 1381-1386页

作者：王映辉王立福北京大学软件工程国家工程研究中心

软件演化包括静态演化和动态演化两个方面.作为软件的蓝图的SA(软件体系结构),为人们宏观把握软件的整体结构和软件演化提供了一条有效的途径.在描述SA的构件-连接件模型的基础上,首先针对SA的静态演化,建立了SA邻接矩阵和可达矩阵,凭... 详细信息

软件演化包括静态演化和动态演化两个方面.作为软件的蓝图的SA(软件体系结构),为人们宏观把握软件的整体结构和软件演化提供了一条有效的途径.在描述SA的构件-连接件模型的基础上,首先针对SA的静态演化,建立了SA邻接矩阵和可达矩阵,凭借矩阵变换与运算对SA静态演化中的波及效应进行了深入地分析和量化界定,同时给出了构件在SA中贡献大小相对量的计算方法.其次,针对SA的动态演化,给出了SA动态语义网络模型,分析了SA动态语义网络中基于不动点的浸润过程收敛的判定,提出了邻接矩阵原子过滤的概念,进而指出,SA动态演化过程可用一系列邻接矩阵原子过滤在时刻上的逻辑衔接来描述.最后给出了两个层面上对SA演化波及效应的分析框架.为SA演化的管理、控制、利用、评价和量化描述奠定了基础.

关键词：软件体系结构软件演化可达矩阵波及效应浸润

来源：评论

学校读者我要写书评

暂无评论

项目上下文增强的自动代码摘要

引用

软件学报 2023年第4期34卷 1695-1710页

作者：胡天翔谢睿叶蔚张世琨北京大学软件工程国家工程研究中心北京100871

通过生成源代码片段的简短自然语言描述,可帮助开发人员理解代码并减少文档工作.近期,关于代码摘要的研究工作主要采用深度学习模型,这些模型中的大多数都在由独立代码摘要对组成的大型数据集上进行训练.尽管取得了良好的效果,这些工作... 详细信息

通过生成源代码片段的简短自然语言描述,可帮助开发人员理解代码并减少文档工作.近期,关于代码摘要的研究工作主要采用深度学习模型,这些模型中的大多数都在由独立代码摘要对组成的大型数据集上进行训练.尽管取得了良好的效果,这些工作普遍忽略了代码片段和摘要的项目级上下文信息,而开发人员在编写文档时往往高度依赖这些信息.针对该问题,研究了一种与开发者行为和代码摘要工具实现更加一致的代码摘要场景——项目级代码摘要,其中,创建了用于项目特定代码摘要的数据集,该数据集包含800k方法摘要对及其生命周期信息,用于构建特定时刻准确的项目项目上下文;提出了一种新颖的深度学习方法,利用高度相关的代码片段及其相应的摘要来表征上下文语义,并通过迁移学习整合从大规模跨项目数据集中学到的常识.实验结果表明:基于项目级上下文的代码摘要模型不仅能够比通用代码摘要模型获得显著的性能提升,同时,针对特定项目能够生成更一致的摘要.

关键词：代码摘要项目上下文迁移学习

来源：评论

学校读者我要写书评

暂无评论

Onboard:以数据驱动的敏捷软件开发协同工具

引用

计算机研究与发展 2016年第12期53卷 2753-2767页

作者：陈龙叶蔚张世琨软件工程国家工程研究中心(北京大学) 北京100871

Scrum是一种兼顾计划性与灵活性的敏捷开发过程,能让软件开发团队具有快速工作和响应变化的能力.软件开发生命周期中每一个环节都会产生大量的数据,如果能记录下这些数据进行分析,并通过可视化等手段展示和反馈,则能进一步促进团队管理... 详细信息

Scrum是一种兼顾计划性与灵活性的敏捷开发过程,能让软件开发团队具有快速工作和响应变化的能力.软件开发生命周期中每一个环节都会产生大量的数据,如果能记录下这些数据进行分析,并通过可视化等手段展示和反馈,则能进一步促进团队管理、项目管理,提高开发效率.现有的软件开发管理工具中,项目管理和代码管理往往是相互独立的,这导致了数据的分散和未充分利用.为推广以Scrum为核心、以数据为驱动的敏捷软件开发过程,开发了一款基于云服务的Onboard敏捷软件开发协同工具,利用代码提交和任务的关联,创造性地将敏捷过程管理、源代码管理和项目管理有机地整合到一起,支持端到端的软件全生命周期管理,从而能记录下软件开发过程中产生的所有数据并提取有价值的信息,为中小软件开发团提供一站式的敏捷开发管理与协同服务.1)介绍了Onboard的设计理念;2)围绕着"如何利用软件开发过程中产生的数据更好地支持敏捷开发过程"和"如何评估团队成员贡献度"两大课题,全面介绍了数据可视化和数据分析在Onboard敏捷软件开发协同工具中的应用,并针对一系列相关问题提出了解决方案;3)对值得进一步研究的问题进行了展望.

关键词：数据驱动敏捷软件开发 Scrum 软件生命周期数据可视化代码提交与任务关联贡献度评估代码影响行数

来源：评论

学校读者我要写书评

暂无评论

一种基于子图转述的问题生成方法

引用

电子学报 2024年第10期52卷 3578-3588页

作者：温立强熊冠铭王宇陈一朴李伟平赵文北京大学软件与微电子学院北京102600 北京大学软件工程国家工程研究中心北京100871

本文提出了一种子图转述的方法用于解决知识图谱问题生成中的未见谓词问题.传统的问题生成方法主要利用标注的问答数据(问题-逻辑形式对)生成问题,然而标注数据难以覆盖知识图谱中所有的谓词,如何对未见的谓词生成问题依然是一个挑战.... 详细信息

本文提出了一种子图转述的方法用于解决知识图谱问题生成中的未见谓词问题.传统的问题生成方法主要利用标注的问答数据(问题-逻辑形式对)生成问题,然而标注数据难以覆盖知识图谱中所有的谓词,如何对未见的谓词生成问题依然是一个挑战.本文提出了一种基于子图结构的语义解耦方法,通过将复杂问题对应的知识图谱子图分解为原子级子图,从而将包含未见谓词的多跳子图拆分为易于处理的单跳子图.并且本文设计了一种子图转述方法,通过对数据集中的谓词进行采样,得到子图描述文本,并在大规模无监督数据上训练得到子图转述器,能够为包含未见谓词的子图提供自然语言形式的表述,为生成问题提供了有效的信息.本文定量分析了在不同的难度级别下模型的性能表现,在GrailQA等数据集上的实验结果表明,本文的方法达到了最先进的性能.

关键词：子图采样子图转述未见谓词问题生成知识图谱

来源：评论

学校读者我要写书评

暂无评论

一种基于元模型的访问控制策略描述语言

引用

软件学报 2020年第2期31卷 439-454页

作者：罗杨沈晴霓吴中海北京大学软件与微电子学院北京102600 软件工程国家工程研究中心(北京大学) 北京100871

为了保护云资源的安全,防止数据泄露和非授权访问,必须对云平台的资源访问实施访问控制.然而,目前主流云平台通常采用自己的安全策略语言和访问控制机制,从而造成两个问题:(1)云用户若要使用多个云平台,则需要学习不同的策略语言,分别... 详细信息

为了保护云资源的安全,防止数据泄露和非授权访问,必须对云平台的资源访问实施访问控制.然而,目前主流云平台通常采用自己的安全策略语言和访问控制机制,从而造成两个问题:(1)云用户若要使用多个云平台,则需要学习不同的策略语言,分别编写安全策略;(2)云服务提供商需要自行设计符合自己平台的安全策略语言及访问控制机制,开发成本较高.对此,提出一种基于元模型的访问控制策略描述语言PML及其实施机制***支持表达BLP、RBAC、ABAC等访问控制模型.PML-EM实现了3个性质:策略语言无关性、访问控制模型无关性和程序设计语言无关性,从而降低了用户编写策略的成本与云服务提供商开发访问控制机制的成本.在OpenStack云平台上实现了PML-EM机制.实验结果表明,PML策略支持从其他策略进行自动转换,在表达云中多租户场景时具有优势.性能方面,与OpenStack原有策略相比,PML策略的评估开销为4.8%.PML-EM机制的侵入性较小,与云平台原有代码相比增加约0.42%.

关键词：访问控制模型策略语言策略转换解释器抽象语法树

来源：评论

学校读者我要写书评

暂无评论

一种新的访问控制策略描述语言及其权限划分方法

引用

计算机学报 2018年第6期41卷 1189-1206页

作者：罗杨沈晴霓吴中海北京大学软件与微电子学院北京102600 北京大学软件工程国家工程研究中心北京100871

云平台RESTful接口往往暴露在Internet上,为保证云资源的安全,防止数据泄露和非授权访问,必须实施安全策略对这些接口进行访问控制.然而,目前RESTful接口缺乏统一的访问控制策略描述语言及相应的权限划分机制.这导致两个问题:(1)用户不... 详细信息

云平台RESTful接口往往暴露在Internet上,为保证云资源的安全,防止数据泄露和非授权访问,必须实施安全策略对这些接口进行访问控制.然而,目前RESTful接口缺乏统一的访问控制策略描述语言及相应的权限划分机制.这导致两个问题:(1)用户不得不学习不同的策略语言来管理不同云平台上的权限;(2)云服务提供商缺乏对RESTful接口的细粒度的访问控制,不符合最小特权原则.对此,该文提出了一种新的访问控制策略描述语言.该语言定义了RESTful的标准请求格式,从而可以直接从一个RESTful请求中构造样本策略,为RESTful接口访问控制提供语法一致的策略语言.在该语言的基础上,进而提出了一种基于遗传算法的RESTful权限划分方法,采用2维矩阵表示一个权限划分,并作为遗传算法的种群个体.接着定义了选择算子、变异算子和交叉算子,提出了权限划分的三个原则:分类个数、测试用例覆盖、权限重叠,并设计适应度函数.该文基于OpenStack云平台给出了策略语言评估机制的参考实现,验证了方法的可行性.实验结果表明,相比OpenStack原有策略,该文策略评估开销降低了19.4%.在学习成本方面,与XACML策略语言相比,该文策略能够减少策略管理员41.6%的策略设计成本.该文的权限划分方法可以产生符合用户预期、可理解的划分结果,从而为云服务提供商进行权限划分提供指导.

关键词：云安全权限管理权限划分权限分析授权策略云计算

来源：评论

学校读者我要写书评

暂无评论

分布式追踪技术综述

引用

软件学报 2020年第7期31卷 2019-2039页

作者：杨勇李影吴中海北京大学软件与微电子学院北京102600 北京大学软件工程国家工程研究中心北京100871

随着分布式软件系统在各个行业的广泛应用,如何提升系统运维效率,保障其服务的可靠与稳定,得到了学术界与工业界的关注.分布式软件系统其规模庞大、结构复杂、持续更新且大量服务请求并发执行的特点,给分布式软件系统的运维任务带来了... 详细信息

随着分布式软件系统在各个行业的广泛应用,如何提升系统运维效率,保障其服务的可靠与稳定,得到了学术界与工业界的关注.分布式软件系统其规模庞大、结构复杂、持续更新且大量服务请求并发执行的特点,给分布式软件系统的运维任务带来了严峻的挑战.传统的以组件/节点/进程/线程为中心的系统监控与追踪方法难以支持分布式软件的故障诊断、性能调优、系统理解等运维任务.分布式追踪技术识别并提取出分布式软件系统因处理单个服务请求所产生的因果相关的事件,以服务请求为中心对分布式软件系统的行为进行精准、细粒度地刻画,对提高分布式软件系统的运维效率有重要意义.对分布式追踪技术的研究与应用进行了综述,从追踪数据获取、请求事件提取、因果关系判断及请求路径表示这4个方面总结了分布式追踪技术的现状;同时以基于请求执行路径的故障诊断和性能分析为例,讨论了学术界对分布式追踪技术的应用研究;最后,对分布式追踪技术的数据读写依赖问题、通用性问题和评价问题进行了探讨并对未来的研究方向进行了展望.

关键词：分布式追踪故障诊断分布式软件系统

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：