咨询与建议

限定检索结果

文献类型

  • 284 篇 期刊文献
  • 75 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 318 篇 工学
    • 299 篇 计算机科学与技术...
    • 220 篇 软件工程
    • 20 篇 网络空间安全
    • 10 篇 控制科学与工程
    • 9 篇 仪器科学与技术
    • 4 篇 机械工程
    • 4 篇 信息与通信工程
    • 2 篇 电子科学与技术(可...
    • 2 篇 化学工程与技术
    • 1 篇 材料科学与工程(可...
    • 1 篇 生物医学工程(可授...
  • 57 篇 管理学
    • 55 篇 管理科学与工程(可...
    • 2 篇 工商管理
    • 1 篇 农林经济管理
  • 22 篇 理学
    • 15 篇 数学
    • 2 篇 生物学
    • 1 篇 物理学
    • 1 篇 化学
    • 1 篇 地球物理学
    • 1 篇 系统科学
  • 4 篇 教育学
    • 4 篇 教育学
  • 2 篇 医学
    • 1 篇 公共卫生与预防医...
    • 1 篇 药学(可授医学、理...
  • 2 篇 军事学
    • 2 篇 军队指挥学
  • 1 篇 法学
    • 1 篇 马克思主义理论
  • 1 篇 艺术学
    • 1 篇 设计学(可授艺术学...

主题

  • 19 篇 软件复用
  • 12 篇 软件体系结构
  • 10 篇 中间件
  • 10 篇 web服务
  • 10 篇 隐私保护
  • 10 篇 云计算
  • 8 篇 petri网
  • 8 篇 软件开发
  • 8 篇 dna计算
  • 8 篇 软件维护
  • 8 篇 机器学习
  • 7 篇 自适应
  • 6 篇 无线射频识别(rfi...
  • 6 篇 程序分析
  • 6 篇 数据挖掘
  • 6 篇 服务质量
  • 6 篇 软件工程
  • 6 篇 特征模型
  • 5 篇 软件资源库
  • 5 篇 形式化方法

机构

  • 341 篇 北京大学
  • 209 篇 高可信软件技术教...
  • 15 篇 机器感知与智能教...
  • 10 篇 教育部高可信软件...
  • 7 篇 软件工程国家工程...
  • 6 篇 国家计算机网络应...
  • 6 篇 北京理工大学
  • 5 篇 中国科学院数学与...
  • 5 篇 深圳市云计算关键...
  • 4 篇 华中科技大学
  • 3 篇 ibm中国研究院
  • 3 篇 网络和软件安全保...
  • 3 篇 中山大学
  • 2 篇 内蒙古师范大学
  • 2 篇 广州大学
  • 2 篇 北京交通大学
  • 2 篇 中国科学院大学
  • 2 篇 深圳市云计算关键...
  • 2 篇 计算机软件新技术...
  • 2 篇 中国科学院数学与...

作者

  • 47 篇 梅宏
  • 38 篇 谢冰
  • 33 篇 黄罡
  • 32 篇 王腾蛟
  • 31 篇 mei hong
  • 29 篇 赵俊峰
  • 27 篇 金芝
  • 27 篇 陈钟
  • 23 篇 jin zhi
  • 21 篇 杨冬青
  • 21 篇 huang gang
  • 20 篇 xie bing
  • 20 篇 张伟
  • 19 篇 许进
  • 18 篇 赵文
  • 18 篇 邹艳珍
  • 18 篇 李红燕
  • 18 篇 孙艳春
  • 18 篇 郭耀
  • 18 篇 王亚沙

语言

  • 359 篇 中文
检索条件"机构=北京大学信息科学技术学院软件所高可信软件技术教育部重点实验室"
359 条 记 录,以下是351-360 订阅
排序:
扩展服务蓝图描述法:描述包含软件的服务
扩展服务蓝图描述法:描述包含软件的服务
收藏 引用
2009年服务科学国际会议
作者: 张力 倪宇林 陈钟 司华友 北京大学 信息科学技术学院北京100871 高可信软件技术教育部重点实验室 北京100871 北京大学ACOM金融信息化研究中心 北京100080 北京大学ACOM金融信息化研究中心 北京100080 北京大学 软件与微电子学院北京102600 北京大学 信息科学技术学院北京100871 高可信软件技术教育部重点实验室 北京100871 北京大学ACOM金融信息化研究中心 北京100080 北京大学 软件与微电子学院北京10260
Since software has infiltrated in many services,designers need to consider service design and software designs a whole. This paper provides a novel service description method by adding a line of software in service b... 详细信息
来源: 评论
分片位图索引:一种适用于云数据管理的辅助索引机制
分片位图索引:一种适用于云数据管理的辅助索引机制
收藏 引用
第29届中国数据库学术会议
作者: MENG Bi-Ping 孟必平 WANG Teng-Jiao 王腾蛟 LI Hong-Yan 李红燕 YANG Dong-Qing 杨冬青 Key Laboratory of High Confidence Software Technologies(Peking University)of Ministry of Education 高可信软件技术教育部重点实验室(北京大学) 北京 100871 北京大学信息科学技术学院 北京 100871 Key Laboratory of Machine Perception(Peking University)of Ministry of Education Beijing 100871 Sch 机器感知与智能教育部重点实验室(北京大学) 北京 100871 北京大学信息科学技术学院 北京 100871
云计算技术的快速发展为海量数据的存储和管理提供了可能。然而,由于存储模型的根本改变,传统关系数据库管理系统中成熟的索引技术既不能直接应用于海量数据的处理,也无法被简单地迁移到云计算环境中。通过分析对比辅助索引在云环境... 详细信息
来源: 评论
基于Petri网的WSCI形式化模型分析
基于Petri网的WSCI形式化模型分析
收藏 引用
2009年全国理论计算机科学学术年会
作者: 黄雨 胡文蕙 高昕 王捍贫 教育部高可信软件技术重点实验室 北京100871 100871 北京市北京大学理科1号楼1730 北京大学软件工程国家工程研究中心 北京100871 北京大学信息科学技术学院 北京100871
WSCI是一种Web服务组合标记语言,对于一些关键的业务流程,任何设计错误都会造成重大损失,因此有必要为WSCI语言建立形式化模型并给予分析,从而保证正确的业务流程署。本文主要给出了WSCI的分析方法,基于文献给出了形式化模型,提出了... 详细信息
来源: 评论
XML模式匹配:整体连接算法TurboStack
XML模式匹配:整体连接算法TurboStack
收藏 引用
第29届中国数据库学术会议
作者: Guo Shaosong 郭少松 Bao Xiaoyuan 包小源 Chen Wei 陈薇 Wang Tengjiao 王腾蛟 Lei Kai 雷凯 Yang Dongqing 杨冬青 Key Laboratory of High Confidence Software Technologies(Ministry of Education) School of EECS Peki 高可信软件技术教育部重点实验室 北京大学信息科学技术学院 北京 100871 School of EECS Peking University Beijing 100871 北京大学信息科学技术学院 北京 100871 The Shenzhen Key Lab for Cloud Computing Technology and Applications(SPCCTA) Peking University Shen 深圳市云计算关键技术与应用重点实验室(SPCCTA) 北京大学深圳研究生院
含谓词的XPath查询为小枝查询(twig query),它是XQuery最基本的查询模式。小枝查询算法有两大类:小枝分解和整体小枝连接,其中TwigStack系列算法处理小枝查询的效率是最优的,但其缺点在于不支持Twig Query中含“OR”以及通配符“*”的... 详细信息
来源: 评论
EVOC:一种基于链接和内容信息的动态社区挖掘方法
EVOC:一种基于链接和内容信息的动态社区挖掘方法
收藏 引用
第29届中国数据库学术会议
作者: Yan Qiuling 闫秋玲 Wu Liang 吴良 Chen Wei 陈薇 Wang Tengjiao 王腾蛟 Lei Kai 雷凯 Yang Dongqing 杨冬青 Key Laboratory of High Confidence Software Technologies(Peking University) Ministry of Education B 高可信软件技术教育部重点实验室(北京大学) 北京 100871 北京大学信息科学技术学院 北京 100871 The Shenzhen Key Laboratory for Cloud Computing Technology and Applications (SPCCTA) Peking Univers 深圳市云计算关键技术与应用重点实验室(SPCCTA)北京大学深圳研究生院 广东深圳 518055
社会网络中,不仅包括链接结构,还包括内容信息,内容信息表达了社会网络中个体相关的话题、兴趣等语义层面的信息。只考虑链接结构的社区挖掘方法无疑忽视了内容信息的价值。提出了一种结合链接结构和内容信息进行动态社区挖掘的方法... 详细信息
来源: 评论
面向微博的情感影响最大化模型
面向微博的情感影响最大化模型
收藏 引用
第29届中国数据库学术会议
作者: OU Gaoyan 欧高炎 CHEN Wei 陈薇 WANG Tengjiao 王腾蛟 LEI Kai 雷凯 YANG Dongqing 杨冬青 Key Laboratory of High Confidence Software Technologies Ministry of Education Beijing 100871 Chin 高可信软件技术教育部重点实验室 北京100871 北京大学信息科学技术学院 北京100871 The Shenzhen Key Lab for Cloud Computing Technology and Applications Shenzhen Graduate School Peki 北京大学深圳研究生院深圳市云计算关键技术与应用重点实验室 广东深圳518055
社交网络中影响最大化问题是寻找具有最大影响范围的节点。影响最大化的大分求解算法仅仅依赖社交网络图。基于微博的转发关系树和微博内容的情感倾向性,以及用户的社交网络图,提出了一个能够刻画用户情感影响的情感影响最大化模型—... 详细信息
来源: 评论
大数据技术前瞻
收藏 引用
大数据 2023年 第1期9卷 1-20页
作者: 梅宏 杜小勇 金海 程学旗 柴云鹏 石宣化 靳小龙 王亚沙 刘驰 高可信软件技术教育部重点实验室(北京大学) 北京100871 中国人民大学信息学院 北京100872 华中科技大学计算机科学与技术学院 湖北武汉430074 中国科学院计算技术研究所 北京100086 中国科学院大学计算机科学与技术学院 北京100049 北京理工大学计算机学院 北京100081
世界主要国家高度重视大数据发展,我国也将发展大数据作为国家战略,发展大数据技术具有重要意义。大数据技术涉及从采集、传输到管理、处理、分析、应用的全生命周期以及生命周期各阶段的数据治理。选取数据生命周期中的管理、处理和分... 详细信息
来源: 评论
RFID信息服务中发布/订阅系统若干关键技术问题研究
收藏 引用
电子学报 2008年 第B12期36卷 94-101页
作者: 刘殿兴 赵文 邓鹏鹏 张世琨 王立福 北京大学信息科学技术学院 北京100871 北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室 北京100871 北京大学软件工程国家工程研究中心 北京100871
本文将描述逻辑中基于个体的推理方法引入到RFID信息服务的发布/订阅系统中,利用时间本体来描述事件之间的时序关系,通过判断事件断言集与订阅的一致性来解决语义匹配以及与时序相关的复合事件与复合订阅的匹配问题,并给出了订阅语言和... 详细信息
来源: 评论
RFID信息服务网络中支持复合订阅的路由算法研究
收藏 引用
电子学报 2010年 第B02期38卷 33-40页
作者: 刘殿兴 赵文 李信鹏 冯志明 张世琨 王立福 北京大学信息科学技术学院 北京100871 北京大学软件工程国家工程研究中心 北京100871 北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室 北京100871 北京团市委信息中心 北京100871
在RFID信息服务网络中,设计了一种支持复合订阅的可靠的路由算法:在订阅转发阶段,我们将每一个复合订阅按照其语法结构进行分解,并将每个复合订阅成份分配给多个RFID信息服务(构成一个复合订阅存储单元)去维护,而事件则按照订阅... 详细信息
来源: 评论