检索结果-内蒙古大学图书馆

计算机研究与发展 2011年第12期48卷 2308-2316页

作者：赵霞郭耀陈向群北京工商大学计算机与信息工程学院北京100037 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所北京100871

为了设计高性能低能耗的系统,需要从硬件设计和软件设计两个方面进行考虑,以取得性能和能耗的最佳权衡.研究利用软件技术降低系统能耗的问题,主要探讨系统开发阶段的低能耗软件优化与评估技术.优化技术包括指令级优化、算法级优化与软... 详细信息

为了设计高性能低能耗的系统,需要从硬件设计和软件设计两个方面进行考虑,以取得性能和能耗的最佳权衡.研究利用软件技术降低系统能耗的问题,主要探讨系统开发阶段的低能耗软件优化与评估技术.优化技术包括指令级优化、算法级优化与软件体系结构优化3类,阐述在各类优化技术研究中面临的问题和当前的研究工作进展;深入讨论了低能耗软件优化的关键支撑技术——软件能耗估算,指出并分析面向处理器和面向全系统的软件能耗估算面临的主要问题和研究进展;最后展望进一步研究的主要问题和发展趋势.

关键词：低能耗软件能耗优化估算高能效计算

来源：评论

学校读者我要写书评

暂无评论

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

社交网络中影响最大化问题是寻找具有最大影响范围的节点。影响最大化的大部分求解算法仅仅依赖社交网络图。基于微博的转发关系树和微博内容的情感倾向性,以及用户的社交网络图,提出了一个能够刻画用户情感影响的情感影响最大化模型—... 详细信息

社交网络中影响最大化问题是寻找具有最大影响范围的节点。影响最大化的大部分求解算法仅仅依赖社交网络图。基于微博的转发关系树和微博内容的情感倾向性,以及用户的社交网络图,提出了一个能够刻画用户情感影响的情感影响最大化模型——情感影响分配模型(SID),证明了SID模型下的情感影响最大化问题是一个NP难问题,给出了一个具有精度保证的贪心算法。在真实的微博数据上的实验结果表明,SID模型能够有效地找出情感影响最大化的节点集,同时具有很高的扩展性。

关键词：社交网络情感分析信息传播模型分配算法

来源：评论

学校读者我要写书评

暂无评论

从交互情景出发的需求捕获方法及其支撑工具

引用

计算机学报 2011年第2期34卷 329-341页

作者：陈小红尹斌金芝华东师范大学上海市高可信计算重点实验室上海200062 中国科学院数学与系统科学研究院北京100190 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所北京100871

需求捕获是需求工程中的重要问题.文中结合情景和问题框架方法,提出一个从交互情景出发的需求捕获方法.其特点是:(1)对问题领域以及软件系统与问题领域间的交互进行分类,以捕获深层需求信息;(2)将情景定义为产生有意义问题领域变化的交... 详细信息

需求捕获是需求工程中的重要问题.文中结合情景和问题框架方法,提出一个从交互情景出发的需求捕获方法.其特点是:(1)对问题领域以及软件系统与问题领域间的交互进行分类,以捕获深层需求信息;(2)将情景定义为产生有意义问题领域变化的交互序列,引入交互情景约束,以捕获隐式需求信息.文中构建了支持这个方法的需求描述元模型,提出以该元模型为基础的需求捕获过程.文中还构建了相应的支撑工具,提供各种需求元素的编辑、检测和验证手段,帮助需求提供者正确地表达需求信息.

关键词：需求捕获情景问题领域问题框架方法

来源：评论

学校读者我要写书评

暂无评论

一种基于Internet的JAR包使用信息收集方法

引用

计算机科学 2011年第6期38卷 161-164,179页

作者：邹艳珍刘昌盛李萌谢冰北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室北京100871

随着软件复用技术的发展,Internet上出现了大量可以被利用的软件资源,如Web Services,JAR包等。但是,这些软件资源常常缺乏必要的描述信息和使用说明。为此,提出了一种基于Internet的JAR包使用信息收集方法,以帮助用户检索并整理Interne... 详细信息

随着软件复用技术的发展,Internet上出现了大量可以被利用的软件资源,如Web Services,JAR包等。但是,这些软件资源常常缺乏必要的描述信息和使用说明。为此,提出了一种基于Internet的JAR包使用信息收集方法,以帮助用户检索并整理Internet上已经存在的JAR包描述信息和用户使用评论,辅助软件复用的成功进行。基于该方法,设计并实现了北京大学软件资源库JAR包使用信息收集子系统。该系统目前已经为6000余个JAR包资源收集、整理了相关的描述和评论信息。

关键词：软件资源软件资源库 JAR包使用信息

来源：评论

学校读者我要写书评

暂无评论

基于下推系统可达性分析的输出信道信息流检测

引用

计算机科学 2011年第7期38卷 103-107页

作者：孙聪唐礼勇陈钟北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室北京100871

提出了一种对含输出信道的命令式语言进行信息流安全性分析的方法。将程序抽象为下推系统,通过自合成将不干涉性转化为安全性属性,将两次相关执行中向输出信道的输出操作分别抽象为由下推规则表示的存储和匹配操作,通过对标错状态的可... 详细信息

提出了一种对含输出信道的命令式语言进行信息流安全性分析的方法。将程序抽象为下推系统,通过自合成将不干涉性转化为安全性属性,将两次相关执行中向输出信道的输出操作分别抽象为由下推规则表示的存储和匹配操作,通过对标错状态的可达性分析验证程序是否满足终止不敏感不干涉性。演化后的方法支持程序的发散执行,通过上界回退算法找到强制终止首次执行所需的最大输出信道上界。实验说明该方法与现有工作相比具有更高的精确性和验证效率。

关键词：信息流不干涉性下推系统可达性分析

来源：评论

学校读者我要写书评

暂无评论

自组装DNA/纳米颗粒分子逻辑计算模型

引用

科学通报 2011年第27期56卷 2276-2282页

作者：张成杨静许进北京大学信息科学技术学院高可信度软件技术教育部重点实验室北京100871 中国科学院计算技术研究所北京100190

将AuNP自组装聚合色变与DNA计算相结合,构建了纳米分子逻辑计算模型.使用了DNA自组装、DNA/AuNP结合和AuNP聚合色变等关键技术方法.利用DNA自组装结构变化,通过DNA/AuNP聚合色变反应,实现了简单逻辑运算功能.在此基础上,构建了求解简单... 详细信息

将AuNP自组装聚合色变与DNA计算相结合,构建了纳米分子逻辑计算模型.使用了DNA自组装、DNA/AuNP结合和AuNP聚合色变等关键技术方法.利用DNA自组装结构变化,通过DNA/AuNP聚合色变反应,实现了简单逻辑运算功能.在此基础上,构建了求解简单集合运算的DNA/AuNP计算模型,对多重输入的简单集合运算进行了逻辑运算.最后,进一步拓展该分子逻辑运算模型的应用,结合分子检测技术,对H1N1病毒基因进行检测.

关键词：逻辑运算 DNA计算纳米颗粒 DNA自组装

来源：评论

学校读者我要写书评

暂无评论

以代理为中心的OSGi构件资源监控方法

引用

计算机科学与探索 2011年第1期5卷 23-31页

作者：林洪武尤朝周明辉梅宏北京大学信息科学技术学院软件研究所北京100871 北京大学高可信软件技术教育部重点实验室北京100871

基于构件的软件开发和复用是提高软件开发效率和质量的有效途径,OSGi(open services gateway initiative)构件平台模型为软件构件提供了良好的生命周期管理和动态依赖管理。在构件粒度上对系统的资源进行监控能够有效增强系统的可靠性,... 详细信息

基于构件的软件开发和复用是提高软件开发效率和质量的有效途径,OSGi(open services gateway initiative)构件平台模型为软件构件提供了良好的生命周期管理和动态依赖管理。在构件粒度上对系统的资源进行监控能够有效增强系统的可靠性,然而目前针对OSGi平台的构件资源监控技术侧重于统计整个系统的资源消耗,未能把统计的粒度细化到构件上,且不能根据各个构件的资源消耗情况对系统进行调整。提出一种基于代理的OSGi构件资源监控方法。该方法具有以下特点:在构件粒度上统计系统的资源消耗,能够统计到每一个构件所消耗的内存和CPU时间;能够发现资源消耗异常的构件,并对其进行重启或替换,从而提高系统可靠性;具有非侵入性,即不会对构件进行任何修改,不会影响到第三方应用的逻辑结构。实验表明,该方法可以准确地统计到构件的资源消耗量,并据此对构件进行有效的调整,提高系统的可靠性。

关键词：代理开放服务网关协议(OSGi) 构件监控资源

来源：评论

学校读者我要写书评

暂无评论

信息技术学科密码学教学思路探讨

引用

计算机教育 2011年第2期 42-45页

作者：王昭北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室北京100871

针对计算机科学与技术、通信、电子工程和软件工程等信息技术类专业密码学教学的实际情况,在分析总结该学科教学特点和多年从事信息技术类专业信息安全及应用密码学课程教学经验的基础上,阐述了密码学课程的一些教学思路。

关键词：教学思路密码学教学特点

来源：评论

学校读者我要写书评

暂无评论

密码学教学与创新教育

引用

计算机教育 2011年第6期 41-44页

作者：王昭北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室北京100871

针对知识经济时代培养学生创新意识和创新能力的要求,在分析总结密码学课程特点和多年从事信息安全及密码学课程教学经验的基础上,阐述如何将创新教育融入密码学教学中。

关键词：教学思路创新教育密码学课程特点

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：