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

软件学报 2024年第5期35卷 2340-2358页

作者：刘宝川张莉刘桢炜蒋竞软件开发环境国家重点实验室(北京航空航天大学) 北京100191

GitHub是著名的开源软件开发社区,支持开发人员在开源项目中使用问题追踪系统来处理问题.在软件缺陷问题的讨论过程中,开发人员可能指出与该缺陷问题相关的其他项目问题(称为跨项目相关问题),为缺陷问题的修复提供参考信息.然而,GitHub... 详细信息

GitHub是著名的开源软件开发社区,支持开发人员在开源项目中使用问题追踪系统来处理问题.在软件缺陷问题的讨论过程中,开发人员可能指出与该缺陷问题相关的其他项目问题(称为跨项目相关问题),为缺陷问题的修复提供参考信息.然而,GitHub平台中托管了超过2亿的开源项目和12亿个问题,导致人工识别和获取跨项目相关问题的工作极其耗时.提出为缺陷问题自动化推荐跨项目相关问题的方法CPIRecom.为了构建预选集,采用项目之间历史相关问题对的数量和问题发布时间间隔筛选问题.其次,为了精准推荐,采用BERT预训练模型提取文本特征,分析项目特征.然后使用随机森林算法计算预选问题与缺陷问题的相关概率,最终根据相关概率排名得到推荐列表.模拟CPIRecom方法在GitHub平台的使用情况.CPIRecom方法的平均倒数排名达到0.603,前5项查全率达到0.715.

关键词：开源项目缺陷修复跨项目相关问题问题推荐

来源：评论

学校读者我要写书评

暂无评论

基于相关性反馈的开源系统跨层需求追踪方法

引用

软件学报 2024年第3期35卷 1321-1340页

作者：田家豪张莉连小利赵倩慧北京航空航天大学计算机学院软件工程研究所北京100191 软件开发环境国家重点实验室(北京航空航天大学) 北京100191 北京航空航天大学软件学院北京100191

大型复杂软件系统的需求分析与生成是一个由上而下逐层分解的过程,跨层需求间追踪关系的构建对于项目的管理、开发与演化都至关重要.开源系统的松耦合贡献方式需要每位参与者能便捷地理解需求的来龙去脉及需求状态,这依赖跨层需求间的追... 详细信息

大型复杂软件系统的需求分析与生成是一个由上而下逐层分解的过程,跨层需求间追踪关系的构建对于项目的管理、开发与演化都至关重要.开源系统的松耦合贡献方式需要每位参与者能便捷地理解需求的来龙去脉及需求状态,这依赖跨层需求间的追踪.问题描述日志是开源系统中需求的常见呈现方式,其无固定模板要求,内容多样(含文本、代码、调试信息等),术语使用自由,跨层需求间抽象层次大,给自动追踪带来极大的挑战.提出一种面向关键特征维度的相关性反馈方法,通过静态分析项目代码结构,抽取代码相关术语及其间的关联强度,构建代码词汇库,以缓解跨层需求的抽象层次差距及用语不统一的问题;通过度量词汇对需求描述的重要性并基于此筛选关键特征维度,以对查询语句进行针对性的优化,有效减少需求描述长度、内容形式等方面的噪音.通过在3个开源系统需求集上针对两个场景的实验,表明所提方法相比基线方法在跨层需求追踪方面的优越性,相比VSM、Standard Rocchio和Trace BERT,F2值的最大提升分别可达29.01%、7.45%和59.21%.

关键词：需求追踪相关性反馈开源系统问题日志

来源：评论

学校读者我要写书评

暂无评论

共识协议的形式化验证研究现状与展望

引用

软件学报 2023年第11期34卷 4989-5007页

作者：葛宁贺俞凯翟树茂李晓洲张莉北京航空航天大学软件学院北京100191 北京航空航天大学计算机学院北京100191 软件开发环境国家重点实验室(北京航空航天大学) 北京100191

分布式系统在计算环境中发挥重要的作用,其中的共识协议算法用于保证节点间行为的一致性.共识协议的设计错误可能导致系统运行故障,严重时可能对人员和环境造成灾难性的后果,因此保证共识协议设计的正确性非常重要.形式化验证能够严格... 详细信息

分布式系统在计算环境中发挥重要的作用,其中的共识协议算法用于保证节点间行为的一致性.共识协议的设计错误可能导致系统运行故障,严重时可能对人员和环境造成灾难性的后果,因此保证共识协议设计的正确性非常重要.形式化验证能够严格证明设计模型中目标性质的正确性,适合用于验证共识协议.然而,随着分布式系统的规模增大,问题复杂度提升,使得分布式共识协议的形式化验证更为困难.采用什么方法对共识协议的设计进行形式化验证、如何提升验证规模,是共识协议形式化验证的重要研究问题.对目前采用形式化方法验证共识协议的研究工作进行调研,总结其中提出的重要建模方法和关键验证技术,并展望该领域未来有潜力的研究方向.

关键词：共识协议形式化验证限界模型检测定理证明布尔表达式可满足性理论可满足性模理论

来源：评论

学校读者我要写书评

暂无评论

链上、链下协同的智能合约即服务问题

引用

北京航空航天大学学报 2024年第10期50卷 3262-3273页

作者：刘浩宇马泽祁叶亚飞胡凯北京航空航天大学软件开发国家重点实验室北京100191 北京航空航天大学云南研究院昆明650000

智能合约是区块链上的一种软件服务,具有价值传导、契约性和可信性等特点,当前各区块链系统上的智能合约数量越来越多,应用范围越来越广泛,传统智能合约的局限性也日益增大。隔离沙箱环境执行使智能合约与外界交互困难、资源受限、从而... 详细信息

智能合约是区块链上的一种软件服务,具有价值传导、契约性和可信性等特点,当前各区块链系统上的智能合约数量越来越多,应用范围越来越广泛,传统智能合约的局限性也日益增大。隔离沙箱环境执行使智能合约与外界交互困难、资源受限、从而限制了智能合约的使用场景和性能。同时,传统的云服务等链下服务存在中心化风险,缺乏信任机制保障。提出智能合约即服务方案,提供链上合约与链下服务协同的方法,通过链下服务的链上认证,将服务生命周期纳入区块链管理,使之具有合约服务的可信化特点,以支持服务的注册、定制和组合;提出基于交易触发与事件驱动的通信与协同方法,在面对复杂业务场景或高资源需求任务时智能合约可与扩展服务组合构建工作流。经实验验证表明,智能合约即服务可以极大地拓展合约应用场景,通过将合约内执行的高资源耗费任务卸载到计算型扩展服务可提供更高的性能,性能优势与链下加速比正相关,如在执行1200维矩阵乘法运算的任务时,性能可提升64%。

关键词：智能合约智能合约即服务链上、链下协同服务认证事件驱动

来源：评论

学校读者我要写书评

暂无评论

面向生产计划分析的协同制造过程建模语言及建模仿真系统

引用

计算机集成制造系统 2023年第5期29卷 1415-1428页

作者：张莉杨子天葛宁刘怡北京航空航天大学计算机学院北京100191 北京航空航天大学软件学院北京100191 北京航空航天大学软件开发环境国家重点实验室北京100191

跨企业协同制造涉及要素种类多、联动关系复杂、内外部不确定性影响大,导致协同运行能力弱。针对其顶层统筹管理能力弱、缺乏有效的计划分析手段等问题,提出面向生产计划分析的协同制造过程建模语言,为决策层提供不依赖具体生产数据、... 详细信息

跨企业协同制造涉及要素种类多、联动关系复杂、内外部不确定性影响大,导致协同运行能力弱。针对其顶层统筹管理能力弱、缺乏有效的计划分析手段等问题,提出面向生产计划分析的协同制造过程建模语言,为决策层提供不依赖具体生产数据、兼顾不确定因素的领域专用抽象建模和模型仿真工具。总结并凝练协同制造的领域知识,定义其概念模型,基于概念模型制定协同制造过程建模语言CoM-PML;开发基于CoM-PML的建模和仿真系统POMES4CM,通过执行多过程仿真协助企业管理人员分析产品齐套周期、资源利用率等,辅助决策。选取3种复杂产品的协同制造流程进行案例验证,得到具有指导意义的过程模型和生产计划,验证方法和系统的有效性。

关键词：跨企业协同制造生产计划领域过程建模语言模型仿真决策支持

来源：评论

学校读者我要写书评

暂无评论

对互联网体系结构创新的认识与思考

引用

电子学报 2024年第4期52卷 1411-1420页

作者：罗洪斌张珊王志远孟晴开北京航空航天大学计算机学院北京100191 北京航空航天大学软件开发环境国家重点实验室北京100191 数学、信息与行为学教育部重点实验室北京100191 未来区块链与隐私计算北京高精尖创新中心北京100191

互联网是促进现代社会经济发展和科技创新的重要信息基础设施;然而,支撑并规范互联网正常运行的关键核心技术——互联网的TCP/IP(Transport Control Protocol/Internet Protocol)体系结构——几十年来几乎保持不变.本文首先从技术自身... 详细信息

互联网是促进现代社会经济发展和科技创新的重要信息基础设施;然而,支撑并规范互联网正常运行的关键核心技术——互联网的TCP/IP(Transport Control Protocol/Internet Protocol)体系结构——几十年来几乎保持不变.本文首先从技术自身弊端、社会发展需求、技术转移周期、科技革命规律四个方面论述了开展互联网体系结构创新的必要性.其次,运用系统科学原理阐明了TCP/IP体系结构弊端的根源.再次,运用系统观念揭示了信息网络的功能本质和网络间的互联本质,发现了信息传递的四个自然属性(对象属性、身份属性、位置属性、手段属性).在此基础上,简要介绍了基于两个本质和四个自然属性开展创新互联网体系结构创新的实例——共生网络.最后,结合共生网络架构展望了部署新型互联网体系结构的总体路径.

关键词：互联网体系结构异构网络网间互联跨域通信

来源：评论

学校读者我要写书评

暂无评论

面向自主计算的存算传融合架构及技术挑战

引用

中国科学:信息科学 2025年第3期55卷 500-515页

作者：张珊李响李西烁王志远罗洪斌北京航空航天大学计算机学院北京100191 北京航空航天大学软件开发环境国家重点实验室北京100191 北京航空航天大学网络空间安全学院北京100191

传统云或边缘计算模式下,数据的存储、计算和传输分离:终端负责指定具体的计算和关联存储节点,网络仅在这些节点间提供传输路径而并不感知所承载的计算任务.这种模式不仅导致海量异构存算平台难以感知识别彼此的可用资源并形成协同合力... 详细信息

传统云或边缘计算模式下,数据的存储、计算和传输分离:终端负责指定具体的计算和关联存储节点,网络仅在这些节点间提供传输路径而并不感知所承载的计算任务.这种模式不仅导致海量异构存算平台难以感知识别彼此的可用资源并形成协同合力、数据存储与计算孤岛化现象严重,还面临拓扑时变、计算节点失效等不确定性导致的任务执行时间长甚至中断等挑战.为此,本文提出一种面向自主计算的存算传融合网络架构,通过构建耦合但差异化管理存算传多维资源的控制面,以及支持形式化计算任务路由和调度的数据面,赋能自主计算的全流程实现.基于所提架构,提出了多维资源状态探测、任务联合调度与服务协同部署方法,实现任务需求拟合与环境适变的高效自主计算.此外,本文还探讨了该架构下的挑战以及可能的未来研究方向.

关键词：自主计算存算传融合网络架构

来源：评论

学校读者我要写书评

暂无评论

面向群体共识机制的逆强化学习辨识方法

引用

中国科学：技术科学 2023年第2期53卷 258-267页

作者：于鑫吴文峻罗杰李未北京航空航天大学计算机学院北京100191 北京航空航天大学人工智能研究院北京100191 软件开发环境国家重点实验室北京100191

作为新一代人工智能的重要研究领域,群体智能是解决开放不确定环境中大规模复杂问题的必由途径,对人工智能的其他研究领域有着基础性和支撑性的作用.群体智能系统中,智能体遵循共识机制进行交互演化产生群体共识,辨识共识机制是构建和... 详细信息

作为新一代人工智能的重要研究领域,群体智能是解决开放不确定环境中大规模复杂问题的必由途径,对人工智能的其他研究领域有着基础性和支撑性的作用.群体智能系统中,智能体遵循共识机制进行交互演化产生群体共识,辨识共识机制是构建和理解群体智能系统的关键.传统的共识机制建模方法需要做过多简化假设,难以面对复杂多样的群体智能系统,应建立数据驱动的共识机制辨识方法.本文将共识机制的辨识问题转化为群体智能系统的逆强化学习问题,提出面向群体共识机制的逆强化学习辨识方法,并将上述辨识方法应用于集群系统,在多个场景中验证了对群体智能系统的辨识能力,实现了对群体智能系统的共识机制的反演.

关键词：系统主义群体智能逆强化学习

来源：评论

学校读者我要写书评

暂无评论

基于自适应空间稀疏化的高效多视图立体匹配

引用

电子学报 2023年第11期51卷 3079-3091页

作者：周晓清王翔郑锦百晓北京航空航天大学计算机学院北京100191 北京航空航天大学软件开发环境国家重点实验室北京100191 北京航空航天大学江西研究院江西南昌330000

针对多视图立体匹配中构建和聚合匹配代价体时计算复杂度高的问题,现有研究通常采用级联架构或迭代优化方法.然而这些方法仍面临两个亟待解决的挑战:级联架构在精细阶段缩小了深度采样范围,导致深度不连续区域可能陷入低分辨率的错误估... 详细信息

针对多视图立体匹配中构建和聚合匹配代价体时计算复杂度高的问题,现有研究通常采用级联架构或迭代优化方法.然而这些方法仍面临两个亟待解决的挑战:级联架构在精细阶段缩小了深度采样范围,导致深度不连续区域可能陷入低分辨率的错误估计;而迭代优化网络的推理时间随迭代次数线性增长,难以满足实时系统需求.为此,本文提出一种基于自适应空间稀疏化的高效多视图立体匹配网络.我们提出一种稀疏匹配代价体构建方法,通过在完整深度范围内稀疏采样,在降低计算复杂度的同时保持了网络对深度不连续区域的建模能力.同时,我们提出一种稀疏迭代优化方法,在迭代中通过自适应变分Dropout逐步剪枝深度值已收敛的区域,使推理时间随迭代次数亚线性增长.在DTU和Tanks&Temples公共数据集上的实验结果表明,本文方法的推理速度相比CasMVSNet和PatchmatchNet分别快1.2倍和0.35倍,同时点云重建效果优异,边缘伪影显著减少,且泛化能力表现出色.

关键词：多视图立体三维重建深度估计稀疏神经网络循环神经网络 Transformer

来源：评论

学校读者我要写书评

暂无评论

一种面向多源传感器的飞行器类型识别综合仿真方法

引用

系统仿真学报 2024年第1期36卷 149-159页

作者：顾韶竹应宇欣张华杰童逸琦北京电子工程总体研究所北京100854 北京航空航天大学北京100191 软件开发环境国家重点实验室北京100191

针对现有飞行器类型识别仿真方法主要以单传感器、单目标识别为主,没有考虑真实场景下光电、雷达、电子侦收等多种传感器设备对飞行器参数联合采集的过程,导致仿真场景不丰富、变化不够复杂的问题。构建了面向多源传感器的飞行器综合仿... 详细信息

针对现有飞行器类型识别仿真方法主要以单传感器、单目标识别为主,没有考虑真实场景下光电、雷达、电子侦收等多种传感器设备对飞行器参数联合采集的过程,导致仿真场景不丰富、变化不够复杂的问题。构建了面向多源传感器的飞行器综合仿真平台,包括:光电模拟器,使用循环生成对抗网络生成飞行器红外图像;空情模拟器,采用三自由度飞行方法生成飞行器运动轨迹;雷达模拟器,利用椭球方程模拟目标的雷达轨迹和雷达反射截面积;电抗模拟器,通过典型信号源收集和随机噪声引入来模拟复杂电磁环境。在仿真数据集上的实验结果表明,引入多种传感器信息能有效提升目标类型的识别效果,提升模型辅助决策能力。

关键词：多源传感器飞行器仿真光电模拟器空情模拟器雷达模拟器电抗模拟器

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：