张莉

作品数：9被引量：5H指数：1
导出分析报告
供职机构：北京航空航天大学更多>>
发文主题：开源社区软件体系结构映射静态信息请求更多>>
发文领域：自动化与计算机技术经济管理文化科学航空宇航科学技术更多>>
发文期刊：《软件导刊》《软件学报》《中国科学：信息科学》更多>>
所获基金：国家重点实验室开放基金国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
开源社区拉取请求与问题的链接建立方法
《中国科学:信息科学》2025年第3期559-581,共23页蒋竞 季陈虹 苗萌 张莉 
科技创新2030—“新一代人工智能”重大项目(批准号:2021ZD0112901);国家自然科学基金(批准号:62177003);中央高校基本科研业务费专项资金(批准号:JKF-20240213)资助项目。
在开源社区GitHub,开发者通过提交拉取请求向开源项目贡献代码.一些拉取请求可能与用户发布的问题存在链接关系,表明该拉取请求希望解决这些问题.维护拉取请求和问题之间的链接关系可以增强项目的可追溯性.然而,目前链接关系由用户人工...
关键词：GitHub 拉取请求 问题 链接建立 评审人推荐 
基于改动树检索的拉取请求描述生成方法被引量：1
《软件学报》2024年第11期5065-5082,共18页蒋竞 刘子豪 张莉 汪亮 
科技创新2030—“新一代人工智能”重大项目(2021ZD0112901);国家自然科学基金(62177003,62172203)。
随着开源人工智能系统规模的扩大,软件的开发与维护也变得困难.GitHub是开源社区最重要的开源项目托管平台之一,通过GitHub提供的拉取请求系统,开发者可以方便地参与到开源项目的开发.拉取请求的描述可以帮助项目核心团队理解拉取请求...
关键词：拉取请求 语法改动树 相似度计算 自动摘要 开源社区 
开源软件缺陷的跨项目相关问题推荐方法
《软件学报》2024年第5期2340-2358,共19页刘宝川 张莉 刘桢炜 蒋竞 
科技创新2030—“新一代人工智能”重大项目(2021ZD0112901);国家自然科学基金(62177003)。
GitHub是著名的开源软件开发社区,支持开发人员在开源项目中使用问题追踪系统来处理问题.在软件缺陷问题的讨论过程中,开发人员可能指出与该缺陷问题相关的其他项目问题(称为跨项目相关问题),为缺陷问题的修复提供参考信息.然而,GitHub...
关键词：开源项目 缺陷修复 跨项目相关问题 问题推荐 
基于相关性反馈的开源系统跨层需求追踪方法被引量：1
《软件学报》2024年第3期1321-1340,共20页田家豪 张莉 连小利 赵倩慧 
国家自然科学基金(62102014,62177003);软件开发环境国家重点实验室基金(SKLSDE-2021ZX-10)。
大型复杂软件系统的需求分析与生成是一个由上而下逐层分解的过程,跨层需求间追踪关系的构建对于项目的管理、开发与演化都至关重要.开源系统的松耦合贡献方式需要每位参与者能便捷地理解需求的来龙去脉及需求状态,这依赖跨层需求间的追...
关键词：需求追踪 相关性反馈 开源系统 问题日志 
共识协议的形式化验证研究现状与展望
《软件学报》2023年第11期4989-5007,共19页葛宁 贺俞凯 翟树茂 李晓洲 张莉 
国家重点研发计划(2018YFB1402700);国家自然科学基金(61902011);北京航空航天大学软件开发环境国家重点实验室开放课题(SKLSDE-2021ZX-01)。
分布式系统在计算环境中发挥重要的作用,其中的共识协议算法用于保证节点间行为的一致性.共识协议的设计错误可能导致系统运行故障,严重时可能对人员和环境造成灾难性的后果,因此保证共识协议设计的正确性非常重要.形式化验证能够严格...
关键词：共识协议 形式化验证 限界模型检测 定理证明 布尔表达式可满足性理论 可满足性模理论 
新迪数字:三维CAD的自主创新发展与机遇被引量：1
《软件导刊》2022年第10期241-242,共2页张莉 陈志杨 
访谈方式:半结构化线上访谈根据访谈素材,整理出以下内容:1新迪数字进入三维CAD领域的背景与契机Q:请陈博士先介绍一下新迪数字。A:新迪数字于2003年在杭州成立,自成立之初便专注于三维CAD领域产品及相关算法研发,在近20年的时间里,从...
关键词：新迪数字 三维CAD 自主创新 工业软件 
索辰科技:CAE软件协同研发实践经验与措施
《软件导刊》2022年第10期246-248,共3页张莉 原力 
访谈方式:半结构化线上访谈根据访谈素材,整理出以下内容:1工业软件与传统信息化软件研发的主要区别Q:您认为工业软件与传统信息化软件研发的主要区别在哪里?A:传统的信息化软件以处理流程和业务逻辑为主,突出特点当业务需求转化为软件...
关键词：索辰科技 CAE 软件协同研发 工业软件 
航天慧海:国产VVP空间系统分析工具箱“1+4把剑”被引量：1
《软件导刊》2022年第10期249-252,共4页张莉 曾安里 
访谈方式:半结构化线上访谈根据访谈素材,整理出以下内容:1当初进入该行业的背景与契机Q:你们的产品专业性非常强,是典型的航天工业软件,工业重器。14年前,您是在怎样一个状态下进入这个行业的?或者说当初进入该行业的契机是什么?A:公...
关键词：航天慧海 VVP空间系统分析工具箱 工业软件 航天强国 
基于消息传递关系网络的布尔可满足性预测被引量：1
《软件学报》2022年第8期2839-2850,共12页包冬庆 葛宁 翟树茂 张莉 
国家自然科学基金(61902011,61690202);北京航空航天大学软件开发环境国家重点实验室开放课题(SKLSDE-2021ZX-01)。
布尔可满足性求解能够验证的问题规模通常受限,因此,如何高精度地预测其可满足性既是重要的研究问题,也是一项具有挑战性的工作.相关研究工作一般使用由文字节点和子句节点组成的图来表示布尔可满足性问题的结构,但是这种表征方法缺少...
关键词：布尔可满足性问题 消息传递网络 结构特征 可满足性预测 多关系异构图 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部