咨询与建议

限定检索结果

文献类型

  • 139 篇 期刊文献
  • 8 篇 会议

馆藏范围

  • 147 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 133 篇 工学
    • 124 篇 计算机科学与技术...
    • 105 篇 软件工程
    • 10 篇 控制科学与工程
    • 4 篇 仪器科学与技术
    • 4 篇 网络空间安全
    • 2 篇 化学工程与技术
    • 2 篇 城乡规划学
    • 1 篇 材料科学与工程(可...
    • 1 篇 生物医学工程(可授...
  • 28 篇 管理学
    • 27 篇 管理科学与工程(可...
    • 1 篇 农林经济管理
  • 4 篇 理学
    • 1 篇 物理学
    • 1 篇 化学
    • 1 篇 地球物理学
    • 1 篇 生物学
  • 2 篇 医学
    • 1 篇 临床医学
    • 1 篇 口腔医学
    • 1 篇 医学技术(可授医学...
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 军事学
    • 1 篇 军队指挥学
  • 1 篇 艺术学
    • 1 篇 设计学(可授艺术学...

主题

  • 6 篇 软件体系结构
  • 6 篇 机器学习
  • 5 篇 知识图谱
  • 5 篇 设计模式检测
  • 4 篇 变体
  • 4 篇 运行时模型
  • 4 篇 深度学习
  • 4 篇 dna计算
  • 3 篇 形式化方法
  • 3 篇 代码注释
  • 3 篇 云计算
  • 3 篇 问题框架方法
  • 3 篇 大语言模型
  • 3 篇 情感分析
  • 3 篇 mapreduce
  • 3 篇 互联网
  • 3 篇 网构软件
  • 3 篇 模型转换
  • 3 篇 需求分析
  • 3 篇 嵌入式系统

机构

  • 137 篇 北京大学
  • 100 篇 高可信软件技术教...
  • 15 篇 广州大学
  • 8 篇 长沙理工大学
  • 8 篇 中南林业科技大学
  • 7 篇 北京理工大学
  • 6 篇 国家计算机网络应...
  • 5 篇 深圳市云计算关键...
  • 4 篇 华中科技大学
  • 4 篇 计算机软件新技术...
  • 4 篇 中国科学院数学与...
  • 4 篇 清华大学
  • 4 篇 北京邮电大学
  • 4 篇 广西师范大学
  • 3 篇 上海市高可信计算...
  • 3 篇 内蒙古师范大学
  • 3 篇 北京科技大学
  • 3 篇 中国科学院大学
  • 3 篇 中国科学院计算技...
  • 3 篇 南京大学

作者

  • 22 篇 金芝
  • 19 篇 jin zhi
  • 16 篇 梅宏
  • 12 篇 王腾蛟
  • 11 篇 何锫
  • 11 篇 雷凯
  • 11 篇 王亚沙
  • 10 篇 mei hong
  • 9 篇 he pei
  • 8 篇 wang tengjiao
  • 8 篇 肖卓宇
  • 8 篇 赵俊峰
  • 8 篇 陈薇
  • 8 篇 杨冬青
  • 8 篇 lei kai
  • 8 篇 赵海燕
  • 8 篇 熊英飞
  • 7 篇 chen zhong
  • 7 篇 xiong ying-fei
  • 7 篇 陈小红

语言

  • 147 篇 中文
检索条件"机构=北京大学计算机学院高可信软件技术教育部重点实验室"
147 条 记 录,以下是31-40 订阅
排序:
基于路径语义表示的静态警报自动确认方法
收藏 引用
软件学报 2024年 第10期35卷 4662-4680页
作者: 张俞炜 邢颖 李戈 金芝 北京大学计算机学院 北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京邮电大学人工智能学院 北京100876
尽管静态分析工具能够在软件开发生命周期的早期阶段帮助开发人员检测软件中的潜在缺陷,但该类工具往往存在警报假阳性率高的问题.为了提高该类工具的可用性,研究人员提出许多警报确认技术来对假阳性警报进行自动分类.然而,已有方法集... 详细信息
来源: 评论
基于分离逻辑的云存储系统验证
收藏 引用
计算机学报 2020年 第12期43卷 2227-2240页
作者: 金钊 王捍贫 张博闻 张磊 曹永知 北京大学计算机科学与技术系 北京100871 广州大学计算机科学与网络工程学院 广州510006 高可信软件技术教育部重点实验室(北京大学) 北京100871
数据的快速增长限制了传统存储技术存储和管理数据的能力,云存储系统应运而生.云存储系统最重要的特征是数据以块的形式存储,且每个块被视为一个独立的存储单元.因此,云存储系统通常包含两种存储单元:原始地址和块地址,这使得云存储系... 详细信息
来源: 评论
软件学科发展回顾特刊前言
收藏 引用
软件学报 2019年 第1期30卷 1-2页
作者: 梅宏 金芝 郝丹 北京理工大学计算机学院 高可信软件技术教育部重点实验室(北京大学) 北京大学信息科学技术学院软件所
随着信息技术的飞速发展,软件系统无处不在,其应用形态呈现出泛在化、社会化、情境化、智能化等特征,软件正逐步成为人类社会不可或缺的基础设施.软件学科的发展是显而易见的,体现在系统规模越来越大,所解决的问题越来越复杂,交互对象... 详细信息
来源: 评论
ChatModeler:基于大语言模型的人机协作迭代式需求获取和建模方法
收藏 引用
计算机研究与发展 2024年 第2期61卷 338-350页
作者: 靳东明 金芝 陈小红 王春晖 北京大学计算机学院 北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871 上海高可信计算重点实验室(华东师范大学) 上海200050 内蒙古师范大学计算机科学与技术学院 内蒙古010011
需求获取和建模是需求工程中的关键步骤,影响后续系统设计与实现.传统的需求获取和建模方法通常由需求提供者、需求分析师等多类干系人共同协作、反复迭代完成,需要耗费大量的人力.如何减轻需求提供者与需求分析师的负担、提高获取和建... 详细信息
来源: 评论
基于模拟器的嵌入式操作系统能耗估算与分析
收藏 引用
电子学报 2008年 第2期36卷 209-215页
作者: 赵霞 郭耀 雷志勇 陈向群 北京大学信息科学技术学院软件研究所 高可信软件技术教育部重点实验室北京100871 北京工商大学计算机学院 北京100037
随着嵌入式系统低能耗技术研究的深入,软件对系统能耗的影响越来越受到人们的关注,并向着定量分析方向发展.本文提出一种嵌入式操作系统能耗量化分析方法,通过模拟运行嵌入式操作系统和应用软件,利用微体系结构能耗模型估算单时钟周期... 详细信息
来源: 评论
基于环境的多形态时间需求建模方法
收藏 引用
计算机学报 2013年 第1期36卷 88-103页
作者: 陈小红 刘静 华东师范大学上海市高可信计算重点实验室 上海200062 北京大学高可信软件技术教育部重点实验室 北京100871 浙江师范大学计算机软件与理论省级重中之重学科 浙江金华321004
时间需求作为嵌入式系统的关键要素,其重要性越来越突出.但是目前的时间需求存在着多样的环境时间描述与单一的软件时间描述融合问题.文中在基于环境的功能性需求的基础上,提出基于环境的多形态时间需求建模方法,试图在需求层次上为该... 详细信息
来源: 评论
基于加权下推系统优化可达性分析的Java安全信息流研究
收藏 引用
计算机研究与发展 2012年 第5期49卷 901-912页
作者: 孙聪 唐礼勇 陈钟 马建峰 计算机网络与信息安全教育部重点实验室(西安电子科技大学) 西安710071 高可信软件技术教育部重点实验室(北京大学) 北京100871
信息流安全的形式化以无干扰性为标准属性.针对目前字节码级的信息流安全分析均未基于对程序无干扰性的语义表示,提出了一种基于语义的无干扰性自动验证方法.为适应语言特性和应用环境的限制,将基本自合成扩展为低安全级记录自合成,以... 详细信息
来源: 评论
深度学习图像描述方法分析与展望
收藏 引用
中国图象图形学报 2023年 第9期28卷 2788-2816页
作者: 赵永强 金芝 张峰 赵海燕 陶政为 豆乘风 徐新海 刘东红 北京大学计算机学院 北京100871 北京大学高可信软件技术教育部重点实验室 北京100871 军事科学院 北京100097
图像描述任务是利用计算机自动为已知图像生成一个完整、通顺、适用于对应场景的描述语句,实现从图像到文本的跨模态转换。随着深度学习技术的广泛应用,图像描述算法的精确度和推理速度都得到了极大提升。本文在广泛文献调研的基础上,... 详细信息
来源: 评论
一种随机化的软件模型生成方法
收藏 引用
软件学报 2017年 第4期28卷 907-924页
作者: 何啸 李文峰 张天 麻志毅 邵维忠 胡长军 北京科技大学计算机与通信工程学院 北京100083 高可信软件技术教育部重点实验室(北京大学) 北京100871 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093
模型转换是模型驱动开发的核心技术.当要把模型转换用于工业生产时,其性能成为影响这一技术成败的关键因素之一.为了测试模型转换程序的性能,需要能够快速地生成一组具有较大规模的模型数据用于作为测试的输入数据.提出一种随机化的模... 详细信息
来源: 评论
一种基于图转换的模型重构描述语言
收藏 引用
软件学报 2009年 第8期20卷 2087-2101页
作者: 刘辉 麻志毅 邵维忠 北京理工大学计算机学院 北京100081 北京大学信息科学技术学院软件研究所 北京100871 高可信软件技术教育部重点实验室 北京100871
提出了一种基于图转换的模型重构描述语言.针对模型重构的特征,设计了模型重构描述语言的基本元素,并给出了如何通过这些基本元素描述模型重构及重构规则的方法.在此基础上,给出了根据形式化重构规则执行模型重构的具体步骤和策略,并提... 详细信息
来源: 评论