咨询与建议

限定检索结果

文献类型

  • 36 篇 期刊文献
  • 4 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 33 篇 工学
    • 27 篇 计算机科学与技术...
    • 17 篇 软件工程
    • 8 篇 网络空间安全
    • 3 篇 机械工程
    • 3 篇 控制科学与工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 电子科学与技术(可...
  • 13 篇 管理学
    • 13 篇 管理科学与工程(可...
  • 2 篇 教育学
    • 2 篇 教育学
  • 2 篇 理学
    • 1 篇 数学
    • 1 篇 大气科学
  • 1 篇 医学
    • 1 篇 公共卫生与预防医...

主题

  • 2 篇 关系数据库
  • 2 篇 tcb扩展
  • 2 篇 bsp
  • 2 篇 叛逆跟踪
  • 2 篇 大图数据
  • 2 篇 自适应软件系统
  • 2 篇 mapreduce
  • 2 篇 数字指纹
  • 2 篇 安全管道
  • 2 篇 外包
  • 1 篇 协同神经网络
  • 1 篇 人工智能技术
  • 1 篇 datalog
  • 1 篇 开源工具箱
  • 1 篇 减缓气候变化
  • 1 篇 需求质量提升
  • 1 篇 认证性
  • 1 篇 人类视觉系统
  • 1 篇 函数逼近
  • 1 篇 信息交互机制

机构

  • 40 篇 北京大学
  • 13 篇 高可信软件技术教...
  • 5 篇 六盘水师范学院
  • 4 篇 清华大学
  • 3 篇 香港科技大学
  • 3 篇 浙江大学
  • 3 篇 哈尔滨工程大学
  • 2 篇 计算机软件新技术...
  • 2 篇 天津大学
  • 2 篇 中国科学院软件研...
  • 2 篇 微软亚洲研究院
  • 2 篇 南京大学
  • 2 篇 上海交通大学
  • 2 篇 北京航空航天大学
  • 2 篇 惠普中国实验室
  • 2 篇 广东海洋大学
  • 2 篇 北京工业大学
  • 2 篇 中科院研究生院信...
  • 2 篇 中山大学
  • 2 篇 中国科学技术大学

作者

  • 7 篇 chen zhong
  • 7 篇 陈钟
  • 5 篇 石云
  • 5 篇 shi yun
  • 4 篇 杨冬青
  • 3 篇 朱岩
  • 3 篇 jin zhi
  • 3 篇 张铭
  • 3 篇 金芝
  • 3 篇 zhu yan
  • 3 篇 杨永田
  • 3 篇 冯登国
  • 3 篇 feng deng-guo
  • 3 篇 yang yong-tian
  • 2 篇 廖建华
  • 2 篇 刘譞哲
  • 2 篇 jiang jia-jun
  • 2 篇 sun bing
  • 2 篇 梅宏
  • 2 篇 袁晓如

语言

  • 40 篇 中文
检索条件"机构=北京大学信息科学技术学院计算机科学技术系信息安全实验室"
40 条 记 录,以下是1-10 订阅
排序:
分布式计算环境下的语义安全策略语言(英文)
收藏 引用
北京大学学报(自然科学版) 2006年 第5期42卷 646-657页
作者: 刘鹏 胡建斌 陈钟 北京大学信息科学技术学院计算机科学技术系信息安全实验室 北京100871
提出了一种用于分布式计算环境的语言安全策略语言SSPL。SSPL通过OWLDL描述,支持各种安全策略的基本类型,包括肯定和否定授权,肯定和否定义务,权限委托和撤销以及策略冲突消除等。SSPL还支持基于规则的安全策略,使得该语言具有更强的表... 详细信息
来源: 评论
一种用户故事需求质量提升方法
收藏 引用
计算机研究与发展 2021年 第4期58卷 731-748页
作者: 王春晖 金芝 赵海燕 崔牧原 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院计算机科学技术系 北京100871 内蒙古师范大学计算机科学技术学院 呼和浩特010022
敏捷开发采用用户故事表达用户需求.一般采用格式受限的自然语言编写,但在用户故事编写过程中经常出现一些表述上的缺陷.典型的缺陷包括缺失必要信息、意思表达含糊不清、故事间有重复或存在冲突等.这很大程度上影响了需求的质量,影响... 详细信息
来源: 评论
一种基于分层适应逻辑的自适应统实现框架
收藏 引用
软件学报 2021年 第7期32卷 1957-1977页
作者: 李念语 陈正胤 刘坤 焦文品 北京大学信息科学技术学院计算机科学与技术系 北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871
自适应统由于其能够自主地适应具有非确定性的部署环境,并持续地保持用户的满意度,受到了广泛的关注.然而,目前仍然存在未解决的挑战,例如如何在新的部署环境下,或者在开放且复杂的环境下,使得统仍然能满足自适应性.因此,为自适应... 详细信息
来源: 评论
面向软件工程的情感分析技术研究
收藏 引用
软件学报 2023年 第5期34卷 2218-2230页
作者: 陈震鹏 姚惠涵 曹雁彬 刘譞哲 梅宏 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院计算机科学与技术系 北京100871
情感分析在软件工程领域具有广泛的应用场景,例如,从代码提交信息中检测开发者的情绪、从程序员问答论坛中识别开发者的观点等.但是,现有的“开箱即用”的情感分析工具无法在软件工程相关的任务中取得可靠的结果.已有研究表明,导致不可... 详细信息
来源: 评论
机器学习赋能的软件自适应性综述
收藏 引用
软件学报 2020年 第8期31卷 2404-2431页
作者: 张明悦 金芝 赵海燕 罗懿行 北京大学信息科学技术学院计算机科学与技术系 北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871
软件统自适应提供了应对动态变化的环境和不确定的需求的技术方案.在已有的软件统自适应性的相关研究中,有一类工作将软件统自适应性转换为回归、分类、聚类、决策等问题,并利用强化学习、神经网络/深度学习、贝叶斯决策理论和概... 详细信息
来源: 评论
基于动态分析的软件不变量综合技术
收藏 引用
软件学报 2020年 第6期31卷 1681-1702页
作者: 王博 卢思睿 姜佳君 熊英飞 北京大学信息科学技术学院计算机科学技术系软件研究所 北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871
软件不变量是软件的重要属性,在软件验证、软件调试和软件测试等领域有重要作用.自20世纪末以来,基于动态分析的不变量综合技术成为相关领域的一个研究热点,并且取得了一定的进展.收集了90篇相关论文对该领域进行统总结.基于动态分析... 详细信息
来源: 评论
NDN名字查找算法的性能测试平台的设计和实现
收藏 引用
清华大学学报(自然科学版) 2018年 第1期58卷 1-7页
作者: 张庭 汪漪 杨仝 卢建元 刘斌 清华大学计算机科学与技术系 北京100084 华为未来网络理论实验室 香港999072 北京大学信息科学技术学院 北京100871
在内容标记网络(NDN)中,越来越多的名字查找算法被提出。这些算法的性能包括速度、可扩展性以及更新性能等亟需评估。但是,NDN目前还处在研究阶段,没有大规模NDN网络部署,缺少真实的大规模名字查找表以及相应的流量。该文设计并... 详细信息
来源: 评论
NB-MAFIA:基于N-List的最长频繁项集挖掘算法
收藏 引用
北京大学学报(自然科学版) 2016年 第2期52卷 199-209页
作者: 沈戈晖 刘沛东 邓志鸿 北京大学信息科学技术学院计算机科学技术系 北京100871 北京大学信息科学技术学院智能科学系 北京100871 北京大学机器感知与智能教育部重点实验室 北京100871
本文在深度优先搜索的框架上,引入基于项集前缀树节点链表的项集表示方法 N-List,提出一个高效的最长频繁项集挖掘算法NB-MAFIA。N-List的高压缩率和高效的求交集方法可以实现项集支持度的快速计算,同时采用对搜索空间的剪枝策略和超集... 详细信息
来源: 评论
消除纹理接缝的2D-3D纹理映射
收藏 引用
北京大学学报(自然科学版) 2006年 第5期42卷 674-680页
作者: 李笑岚 查红彬 浙江工商大学计算机与信息工程学院计算机科学与技术系 北京大学信息科学技术学院智能科学视觉与听觉信息处理国家重点实验室系 北京100871
通过小波分解技术将原始图像集合分为2类:边缘图和平滑图,然后根据人眼视觉机制,对此两类图像选择相应的拼接技术。边缘图像采用图像缝合法进行拼接,提出了在部分纹理图表面搜索最优缝合路径的方法。对平滑图像采用多尺度融合法拼接,其... 详细信息
来源: 评论
输入输出均为时变函数的过程神经网络及应用
收藏 引用
软件学报 2003年 第4期14卷 764-769页
作者: 何新贵 许少华 北京大学信息科学技术学院视觉与听觉信息处理国家重点实验室 北京100871 北京航空航天大学计算机科学与工程系 北京100083
为了解决实际统中输入、输出经常是时变连续函数的问题,提出了一类基于基函数展开的过程神经元网络模型.该模型利用过程神经元网络所具有的对时间变量的非线性映射能力,实现统的输入、输出之间的连续映射关.另外,还给出了一种学... 详细信息
来源: 评论