咨询与建议

限定检索结果

文献类型

  • 426 篇 期刊文献
  • 88 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 462 篇 工学
    • 426 篇 计算机科学与技术...
    • 331 篇 软件工程
    • 27 篇 网络空间安全
    • 23 篇 控制科学与工程
    • 19 篇 仪器科学与技术
    • 14 篇 信息与通信工程
    • 9 篇 电子科学与技术(可...
    • 5 篇 机械工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 化学工程与技术
    • 2 篇 城乡规划学
    • 1 篇 船舶与海洋工程
    • 1 篇 生物医学工程(可授...
  • 78 篇 管理学
    • 76 篇 管理科学与工程(可...
    • 2 篇 工商管理
  • 27 篇 理学
    • 15 篇 数学
    • 5 篇 生物学
    • 2 篇 物理学
    • 2 篇 系统科学
    • 1 篇 化学
    • 1 篇 地球物理学
  • 8 篇 教育学
    • 8 篇 教育学
  • 5 篇 医学
    • 2 篇 临床医学
    • 2 篇 公共卫生与预防医...
    • 1 篇 口腔医学
    • 1 篇 药学(可授医学、理...
    • 1 篇 医学技术(可授医学...
  • 3 篇 军事学
    • 3 篇 军队指挥学
  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 法学
    • 1 篇 马克思主义理论
  • 1 篇 艺术学

主题

  • 19 篇 软件复用
  • 17 篇 软件体系结构
  • 13 篇 隐私保护
  • 13 篇 云计算
  • 12 篇 web服务
  • 11 篇 中间件
  • 11 篇 深度学习
  • 11 篇 机器学习
  • 10 篇 petri网
  • 9 篇 网构软件
  • 9 篇 软件开发
  • 8 篇 程序分析
  • 8 篇 自适应
  • 8 篇 dna计算
  • 8 篇 软件维护
  • 7 篇 数据挖掘
  • 7 篇 大数据
  • 7 篇 互联网
  • 7 篇 物联网
  • 7 篇 服务质量

机构

  • 445 篇 北京大学
  • 286 篇 高可信软件技术教...
  • 16 篇 中国科学院数学与...
  • 15 篇 广州大学
  • 15 篇 机器感知与智能教...
  • 10 篇 教育部高可信软件...
  • 9 篇 软件工程国家工程...
  • 8 篇 桂林电子科技大学
  • 8 篇 长沙理工大学
  • 8 篇 中南林业科技大学
  • 7 篇 清华大学
  • 7 篇 天津理工大学
  • 7 篇 北京理工大学
  • 6 篇 国家计算机网络应...
  • 6 篇 中国科学院大学
  • 5 篇 上海市高可信计算...
  • 5 篇 华东师范大学
  • 5 篇 深圳市云计算关键...
  • 5 篇 江南大学
  • 4 篇 华中科技大学

作者

  • 65 篇 梅宏
  • 50 篇 金芝
  • 47 篇 谢冰
  • 41 篇 jin zhi
  • 41 篇 mei hong
  • 39 篇 黄罡
  • 37 篇 赵俊峰
  • 33 篇 王腾蛟
  • 32 篇 陈钟
  • 28 篇 王亚沙
  • 26 篇 xie bing
  • 25 篇 huang gang
  • 24 篇 张伟
  • 22 篇 chen zhong
  • 22 篇 杨冬青
  • 21 篇 邹艳珍
  • 20 篇 刘譞哲
  • 20 篇 张世琨
  • 20 篇 赵海燕
  • 20 篇 zhang wei

语言

  • 514 篇 中文
检索条件"机构=高可信软件技术教育部重点实验室"
514 条 记 录,以下是51-60 订阅
排序:
极大平面图的结构与着色理论 (3)纯树着色与唯一4-色极大平面图猜想
收藏 引用
电子与信息学报 2016年 第6期38卷 1328-1353页
作者: 许进 北京大学高可信软件技术教育部重点实验室 北京100871 北京大学信息科学技术学院 北京100871
一个极大平面图若是从K_4出发,不断地在三角面上嵌入3度顶点得到的,则称此极大平面图为递归极大平面图。唯一4-色极大平面图猜想是指:一个平面图是唯一4-可着色的当且仅当它是递归极大平面图。此猜想已有43年历史,是图着色理论中继四色... 详细信息
来源: 评论
活体生物计算模型的研究进展及展望(英文)
收藏 引用
计算机学报 2008年 第12期31卷 2103-2108页
作者: 刘向荣 赵东明 郗方 李菲 北京大学信息科学技术学院 北京100871 北京大学高可信软件技术教育部重点实验室 北京100871
活体生物计算模型是基于生物体内各种生化分子以特定的形式互相协作、处理信息的能力而出现的一种新的计算模型.由于其计算组成件是直接镶嵌在生物活体里面,并且显示具有一定的计算能力,这可以使人们深入研究生物体信息处理能力以及... 详细信息
来源: 评论
极大平面图理论研究进展
收藏 引用
计算机学报 2015年 第8期38卷 1680-1704页
作者: 许进 李泽鹏 朱恩强 北京大学信息科学技术学院 北京100871 北京大学高可信软件技术教育部重点实验室 北京100871
四色猜想是指平面图的色数不超过4.实际上,四色猜想只需证明对极大平面图成立即可.正因为如此,从1891年至今,有众多学者从不同的角度展开了对极大平面图的研究.该文拟对其中的一些重要成果进行较为详细的综述,主要包括极大平面图的度序... 详细信息
来源: 评论
基于深度学习的程序生成与补全技术研究进展
收藏 引用
软件学报 2019年 第5期30卷 1206-1223页
作者: 胡星 李戈 刘芳 金芝 北京大学信息科学技术学院 北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871
自动化软件开发一直是软件工程领域的研究热点.目前,互联网技术促进了开源软件和开源社区的发展,这些大规模的代码和数据成为自动化软件开发的机遇.与此同时,深度学习也在软件工程领域开始得到应用.如何将深度学习技术用于大规模代码的... 详细信息
来源: 评论
程序理解:现状与未来
收藏 引用
软件学报 2019年 第1期30卷 110-126页
作者: 金芝 刘芳 李戈 北京大学信息科学技术学院 北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871
程序理解是软件工程中的关键活动,在软件开发、维护、重用等任务中发挥着重要的作用.程序理解自软件工程出现以来,就一直是该领域的研究热点.随着软件应用的日益复杂和不断普及,程序理解研究的需求发生了新的变化,程序的自理解或自认知... 详细信息
来源: 评论
软件开发活动数据的数据质量问题
收藏 引用
软件学报 2019年 第5期30卷 1522-1531页
作者: 涂菲菲 周明辉 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院 北京100871
问题追踪系统和版本控制系统等软件开发支持工具已被广泛应用于开源和商业软件的开发中,产生了大量的数据,即软件开发活动数据.软件开发活动数据被广泛应用于科学研究和开发实践,为智能化开发提供支持.然而数据质量对相关的研究和实践... 详细信息
来源: 评论
WiFense:从衍射模型到边界监控
收藏 引用
软件学报 2024年 第3期35卷 1515-1533页
作者: 刘兆鹏 李晟洁 张越 曾有为 张大庆 北京大学信息科学技术学院 北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871
近年来,随着普适计算概念的深入人心,智能感知技术已成为研究者们关注的焦点,且基于WiFi的非接触式感知因其优秀的普适性、低廉的署成本以及良好的用户体验越来越受到学术界和工业界的青睐.典型的WiFi非接触式感知工作有手势识别、呼... 详细信息
来源: 评论
分片位图索引:一种适用于云数据管理的辅助索引机制
收藏 引用
计算机学报 2012年 第11期35卷 2306-2316页
作者: 孟必平 王腾蛟 李红燕 杨冬青 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院 北京100871 机器感知与智能教育部重点实验室(北京大学) 北京100871
云计算技术的快速发展为海量数据的存储和管理提供了可能.然而,由于存储模型的根本改变,传统关系数据库管理系统中成熟的索引技术既不能直接应用于海量数据的处理,也无法被简单地迁移到云计算环境中.通过分析对比辅助索引在云环境中的... 详细信息
来源: 评论
一种网络化移动应用署方案优化方法
收藏 引用
软件学报 2011年 第12期22卷 2866-2878页
作者: 张晓薇 曹东刚 陈向群 梅宏 北京大学计算机科学与技术系 北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871
软件体系结构角度出发,从满足移动用户个性化需求入手,提出一种便于移动应用开发和署的整合方案.该方案从设备属性(如CPU、内存、屏幕、通信模式等)、用户偏好(如对能耗和性能的偏好等)以及QoS需求(如交互频率、安全、实时性等)等... 详细信息
来源: 评论
一种抵御拒绝服务攻击的自适应客户端难题(英文)
收藏 引用
软件学报 2009年 第9期20卷 2558-2573页
作者: 陈瑞川 郭文嘉 唐礼勇 陈钟 北京大学信息科学技术学院软件研究所 北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871
研究传统的客户端难题方案,之后提出一种自适应客户端难题方案.该方案采用一种轻量级的协议交互方式来获取客户端和服务器双方的实时状态信息,并据此自适应地调整客户端难题的难度.为了评估该方案的适用性,结合传统和自适应两种客户端... 详细信息
来源: 评论