北京大学信息科学技术学院高可信软件技术教育部重点实验室

作品数：286被引量：1779H指数：21
导出分析报告
发文作者：谢冰王千祥邵维忠邹艳珍孙艳春更多>>
发文领域：自动化与计算机技术理学文化科学电子电信更多>>
发文主题：自适应隐私保护软件复用代码大数据更多>>
发文期刊：《模式识别与人工智能》《北京大学学报（自然科学版）》《计算机工程与应用》《电子学报》更多>>
所获基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划中国博士后科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一机构
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
嵌入式系统的需求描述综述
《软件学报》2025年第1期27-46,共20页陈小红 刘少彬 金芝 
国家自然科学基金(62192731,62272166,62192730)。
随着嵌入式系统的广泛应用,其需求正变得越来越复杂,需求分析成为嵌入式系统开发的关键阶段,如何准确地建模和描述需求成为首要问题.系统地调研嵌入式系统的需求描述,并进行全面的比较分析,以便更深入地理解嵌入式系统需求的核心关注点...
关键词：嵌入式系统 需求描述 需求描述语言 需求分析 系统需求 
智能网联汽车的车载网络攻防技术研究进展
《软件学报》2025年第1期341-370,共30页陈博言 沈晴霓 张晓磊 张鑫 李聪 吴中海 
国家自然科学基金(61672062)。
随着人工智能和5G技术在汽车行业的应用,智能网联汽车应运而生,它是一种由众多来自不同供应商的电子控制单元(ECU)组成的复杂分布式异构系统,通过以CAN为代表的车载网络协议交互协同控制各ECU.然而,攻击者可能通过各种接口攻击智能网联...
关键词：智能网联汽车 车载网络 逆向工程 入侵检测 协议安全增强 
基于投影的嵌入式系统需求分析方法
《软件学报》2024年第12期5397-5418,共22页王小齐 陈小红 金芝 顾斌 綦艳霞 
国家自然科学基金(62192731,62272166,62192730)。
嵌入式系统正变得越来越复杂,其软件系统的需求分析成为嵌入式系统开发的瓶颈问题.设备依赖性和执行逻辑的交织性是嵌入式软件系统的典型特征,要求需求分析方法能根据所依赖的设备进行有效的需求解耦.从基于环境建模的需求工程思想出发...
关键词：嵌入式系统 需求分析 需求解耦 问题投影 软件需求 
基于远程证明的数据服务完整性验证方法
《软件学报》2024年第11期4949-4972,共24页张溯 张颖 张伟 黄罡 
国家重点研发计划(2021YFF1201103)。
数据作为一种新型生产要素,需要在不同主体间流通以发挥价值.在这一过程中,数据需要确保其完整性,避免受到未经授权的篡改,否则可能导致极为严重的后果.现有工作通过将分布式账本与数据加密、校验技术结合实现数据存证以证明待流通数据...
关键词：数据服务 数据完整性 远程证明 控制流证明 可信执行环境 
基于路径语义表示的静态警报自动确认方法
《软件学报》2024年第10期4662-4680,共19页张俞炜 邢颖 李戈 金芝 
国家自然科学基金(62072007,62192733,61832009,62192731,62192730)。
尽管静态分析工具能够在软件开发生命周期的早期阶段帮助开发人员检测软件中的潜在缺陷,但该类工具往往存在警报假阳性率高的问题.为了提高该类工具的可用性,研究人员提出许多警报确认技术来对假阳性警报进行自动分类.然而,已有方法集...
关键词：警报自动确认 路径分析 深度学习 预训练语言模型 
面向鲁棒图结构防御的过参数化图神经网络
《软件学报》2024年第8期3878-3896,共19页初旭 马辛宇 林阳 王鑫 王亚沙 朱文武 梅宏 
国家科技攻关计划(2020AAA0106300);国家自然科学基金(62250008,62222209,62102222,61936011);北京信息科学与技术国家研究中心基金(BNR2023RC01003)。
图数据在现实应用中普遍存在,图神经网络(GNN)被广泛应用于分析图数据,然而GNN的性能会被图结构上的对抗攻击剧烈影响.应对图结构上的对抗攻击,现有的防御方法一般基于图内聚先验进行低秩图结构重构.但是现有的图结构对抗防御方法无法...
关键词：图节点半监督分类 图结构对抗防御 过参数化 隐式正则化 图神经网络 
贝叶斯程序分析
《电子学报》2024年第4期1155-1172,共18页张昕 王冠成 吴宜谦 陈逸凡 李天驰 张羿凡 熊英飞 
国家重点研发计划(No.2022YFB4501902);国家自然科学基金(No.62172017)。
程序分析在软件开发和维护中发挥着关键作用.然而,传统基于逻辑的程序分析方法在处理现代复杂、大规模和动态特性丰富的软件系统时往往效果有限,其根源在于软件系统中的不确定性.研究人员针对具体的程序分析问题提出了一系列新的技术,...
关键词：程序分析 逻辑编程 概率逻辑编程 贝叶斯网络 贝叶斯推断 
ChatModeler:基于大语言模型的人机协作迭代式需求获取和建模方法被引量：5
《计算机研究与发展》2024年第2期338-350,共13页靳东明 金芝 陈小红 王春晖 
国家自然科学基金项目(62192730,62192731,62162051)。
需求获取和建模是需求工程中的关键步骤,影响后续系统设计与实现.传统的需求获取和建模方法通常由需求提供者、需求分析师等多类干系人共同协作、反复迭代完成,需要耗费大量的人力.如何减轻需求提供者与需求分析师的负担、提高获取和建...
关键词：需求工程 需求诱导 大语言模型 人机协作 提示工程 
合作-竞争混合型多智能体系统的虚拟遗憾优势自博弈方法被引量：1
《软件学报》2024年第2期739-757,共19页张明悦 金芝 刘坤 
国家自然科学基金(62192731)。
合作-竞争混合型多智能体系统由受控的目标智能体和不受控的外部智能体组成.目标智能体之间互相合作,同外部智能体展开竞争,应对环境和外部智能体的动态变化,最终完成指定的任务.针对如何训练目标智能体使他们获得完成任务的最优策略的...
关键词：多智能体强化学习 虚拟遗憾最小化 自博弈 动态决策 
基于IR-UWB雷达的多视角融合动态目标追踪
《软件学报》2023年第12期5457-5476,共20页陈蔚燕 张扶桑 刘俊杰 包鹏 张大庆 
国家自然科学基金(62172394);中国科学院青年创新促进会(2020109);中日韩A3前瞻计划(62061146001);北京大学基金会北京大学-南洋理工大学合作基金。
近年来,对运动目标的定位和追踪被广泛地应用于室内导航、智能家居、安防监控和智慧医疗等场景.基于无线射频信号的非接触式定位追踪受到了研究人员的广泛关注,其中基于商用IR-UWB的技术能够以较低的成本和功耗实现目标定位和追踪的功能...
关键词：普适计算 非接触感知 IR-UWB UWB 距离测量 室内定位 目标追踪 
全选清除导出
共28页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部