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

软件学报 2009年第8期20卷 2062-2073页

作者：邵凌霜周立赵俊峰谢冰梅宏北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室北京100871

服务消费者在选择服务之前,通常需要基于其他消费者的经验对未使用过的服务的质量进行预测.考虑到不同服务消费者对同一服务的服务质量的感受之间可能存在较大的差别,提出了一种QoS(quality of service)预测方法.该方法以消费者的历史... 详细信息

服务消费者在选择服务之前,通常需要基于其他消费者的经验对未使用过的服务的质量进行预测.考虑到不同服务消费者对同一服务的服务质量的感受之间可能存在较大的差别,提出了一种QoS(quality of service)预测方法.该方法以消费者的历史经验为基础,计算消费者之间以及服务之间的相似程度,并以此相似度为基础对消费者并未使用过的服务的QoS进行预测.实验结果表明,这种方法可以显著提高Web服务质量预测的准确性.

关键词： Web服务服务质量(Qos) 服务质量(Qos)预测相似度

来源：评论

学校读者我要写书评

暂无评论

特征模型融合研究

引用

计算机学报 2013年第1期36卷 1-9页

作者：易立赵海燕张伟金芝梅宏北京大学信息科学技术学院软件研究所教育部高可信软件技术重点实验室北京100871

特征模型为特定领域内软件需求的组织和复用提供了有效的手段.为了构建特征模型,领域分析人员要对领域内尽可能多的应用软件进行系统化分析,识别共性和变化性需求,并根据需求之间的依赖关系抽象和组织需求.随着软件系统复杂性的不断提高... 详细信息

特征模型为特定领域内软件需求的组织和复用提供了有效的手段.为了构建特征模型,领域分析人员要对领域内尽可能多的应用软件进行系统化分析,识别共性和变化性需求,并根据需求之间的依赖关系抽象和组织需求.随着软件系统复杂性的不断提高,特征模型的规模有日益增加的趋势,特征模型的构建也随之成为了一件十分困难的工作,亟需自动化方法的支持.一种可行的方式是将领域内已有的多个特征模型自动融合为一个较大规模的特征模型,并由人工对融合结果进行微调.现有研究提出了6种特征模型的自动化融合方法.文中在现有研究的基础上,提出了一个特征模型融合的概念框架,并根据此框架对6种方法进行了比较和分析.文中还进一步指出了现有研究亟需解决的3个问题,并针对每个问题提出了可能的研究思路和设想.

关键词：特征模型模型融合算法软件复用

来源：评论

学校读者我要写书评

暂无评论

基于网络信息搜索的Web Service文本描述信息扩充方法

引用

软件学报 2012年第6期23卷 1335-1349页

作者：王立杰李萌蔡斯博李戈谢冰杨芙清北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室北京100871

随着Web服务技术的不断成熟和发展,互联网上出现了大量的公共Web服务.在使用Web服务开发软件系统的过程中,其文本描述信息(例如简介和使用说明等)可以帮助服务消费者直观有效地识别和理解Web服务并加以利用.已有的研究工作大多关注于从... 详细信息

随着Web服务技术的不断成熟和发展,互联网上出现了大量的公共Web服务.在使用Web服务开发软件系统的过程中,其文本描述信息(例如简介和使用说明等)可以帮助服务消费者直观有效地识别和理解Web服务并加以利用.已有的研究工作大多关注于从Web服务的WSDL文件中获取此类信息进行Web服务的发现或检索,调研发现,互联网上大部分Web服务的WSDL文件中普遍缺少甚至没有此类信息.为此,提出一种基于网络信息搜索的从WSDL文件之外的信息源为Web服务扩充文本描述信息的方法.从互联网上收集包含目标Web服务特征标识的相关网页,基于从网页中抽取出的信息片段,利用信息检索技术计算信息片段与目标Web服务的相关度,并选取相关度较高的文本片段为Web服务扩充文本描述信息.基于互联网上的真实数据进行的实验,其结果表明,可为约51%的互联网上的Web服务获取到相关网页,并为这些Web服务中约88%扩充文本描述信息.收集到的Web服务及其文本描述信息数据均已公开发布.

关键词： Web服务服务描述信息服务发现互联网信息搜索

来源：评论

学校读者我要写书评

暂无评论

特征模型定制的一种自动传播策略与选择性回退机制

引用

计算机学报 2013年第1期36卷 132-142页

作者：李龙赵海燕张伟高可信软件技术教育部重点实验室北京100871 北京大学信息科学技术学院软件研究所北京100871

面向特征的分析方法已被主流的软件复用方法接受.其基本思想是将软件的特征作为软件解决需求问题的基本要素,使用特征以及特征之间的关系(这两者的组合也被称为特征模型)来组织软件的需求.特征模型良好的可剪裁性和可扩展性,为领域需求... 详细信息

面向特征的分析方法已被主流的软件复用方法接受.其基本思想是将软件的特征作为软件解决需求问题的基本要素,使用特征以及特征之间的关系(这两者的组合也被称为特征模型)来组织软件的需求.特征模型良好的可剪裁性和可扩展性,为领域需求的复用提供了有力的支持.在当前的面向特征的方法中,特征模型上的一个定制决策会影响其他相关特征的绑定状态.如何使用特征模型之间内在的关联关系来实现特征模型的定制的自动传播算法与选择性回退算法是一个值得进行深入研究的课题.作者给出了特征模型定制的一种自动传播策略与选择性回退机制,针对特征模型中存在的二元约束与组合约束进行分析,介绍该算法的实现细节.

关键词：软件复用特征模型模型定制自动传播选择性回退

来源：评论

学校读者我要写书评

暂无评论

基于应用特征的PaaS弹性资源管理机制

引用

计算机学报 2016年第2期39卷 223-236页

作者：魏豪周抒睿张锐杨挺王千祥北京大学信息科学技术学院软件所高可信软件教育部重点实验室北京100871

如何在保障服务质量的前提下,尽可能地节省服务器资源,是云计算环境中弹性资源管理面临的主要问题之一.目前关于云计算环境中弹性机制的研究多数集中在IaaS层,且较少考虑不同应用的具体特征.文中提出了一种基于应用特征的PaaS弹性资源... 详细信息

如何在保障服务质量的前提下,尽可能地节省服务器资源,是云计算环境中弹性资源管理面临的主要问题之一.目前关于云计算环境中弹性机制的研究多数集中在IaaS层,且较少考虑不同应用的具体特征.文中提出了一种基于应用特征的PaaS弹性资源管理机制AFERM(Application Feature based Elastic Resource Management mechanism),主要贡献包括:(1)定义了包含资源开销信息与请求率变化信息的应用特征;(2)设计了一种基于应用执行单元的请求分配机制,在请求数量较大时,将它们划分给多个资源开销相对固定的应用执行单元分别处理;(3)基于应用特征将不同类型的应用搭配部署.作者在自主开发的PaaS平台PAE(Peking university Application Engine)上验证了该机制的可行性和有效性.实验证明,AFERM能够在保证服务质量的前提下,有效地减少服务器的使用:与对比策略相比,AFERM平均可以减少28.3%的虚拟机占用,最多可以减少50%.

关键词：云计算 PaaS 弹性应用特征

来源：评论

学校读者我要写书评

暂无评论

基于中间件的运行时监测与分析框架

引用

电子学报 2007年第B12期35卷 124-128页

作者：刘永刚李敏王千祥梅宏北京大学信息科学技术学院软件研究所；高可信软件技术教育部重点实验室北京100871

运行时刻软件的监测与分析不仅可以提高软件质量，也是软件自适应性的基础．本文提出了基于模式的声明式约束描述方法，以此为基础，在J2EE中间件PKUAS上开发了运行时监测与分析框架，其最大的特点是探针的灵活部署和监测面向业务逻辑... 详细信息

运行时刻软件的监测与分析不仅可以提高软件质量，也是软件自适应性的基础．本文提出了基于模式的声明式约束描述方法，以此为基础，在J2EE中间件PKUAS上开发了运行时监测与分析框架，其最大的特点是探针的灵活部署和监测面向业务逻辑的约束．最后，阐述了框架的实现和相关实验的效果．

关键词：运行时监测分析约束描述约束定义语言中间件监测框架

来源：评论

学校读者我要写书评

暂无评论

4-正则图着色的Kempe等价性

引用

电子与信息学报 2017年第5期39卷 1233-1244页

作者：刘小青许进北京大学信息科学技术学院北京100871 北京大学高可信软件技术教育部重点实验室北京100871

给定一个图G及它的一个正常顶点着色f,G中任意两种颜色的顶点导出子图称为G的一个2-色导出子图,该2-色导出子图的分支称为G的一个2-色分支。Kempe变换是指将图G的某个2-色分支实施颜色互换。若两个着色之间可通过若干次Kempe变换达到对... 详细信息

给定一个图G及它的一个正常顶点着色f,G中任意两种颜色的顶点导出子图称为G的一个2-色导出子图,该2-色导出子图的分支称为G的一个2-色分支。Kempe变换是指将图G的某个2-色分支实施颜色互换。若两个着色之间可通过若干次Kempe变换达到对方,则这两个着色是Kempe等价的。Mohar猜想当k33时,对于任意的连通k-正则图G,若G不是完全图,则G的所有k-着色是Kempe等价的。Feghali等人解决了k=3时的情况,当k34时,此猜想尚未解决。该文研究了k=4时的情况,证明了:(1)若G是一个连通度小于3的4-正则图,则G的所有4-着色是Kempe等价的;(2)若G是4-正则图,且含有与4-轮或近5-阶完全图同构的子图,则G的所有4-着色是Kempe等价的;(3)若G是一个3-连通4-正则图,且G存在一个顶点x和一个4-着色f,满足x的邻域中有3个或4个顶点在f下着相同颜色,则G的所有4-着色是Kempe等价的。

关键词： Kempe等价 Kempe变换 Kempe等价类 4-正则图

来源：评论

学校读者我要写书评

暂无评论

极大平面图的结构与着色理论 (2)多米诺构形与扩缩运算

引用

电子与信息学报 2016年第6期38卷 1271-1327页

作者：许进北京大学高可信软件技术教育部重点实验室北京100871 北京大学信息科学技术学院北京100871

业已证明四色猜想的数学证明可归结为刻画4-色漏斗型伪唯一4-色极大平面图的特征。为刻画此类极大平面图的结构特征,本文提出一种构造极大平面图的方法——扩缩运算。研究发现：此方法的关键问题是需要清楚一种构形,称为多米诺构形。文... 详细信息

业已证明四色猜想的数学证明可归结为刻画4-色漏斗型伪唯一4-色极大平面图的特征。为刻画此类极大平面图的结构特征,本文提出一种构造极大平面图的方法——扩缩运算。研究发现：此方法的关键问题是需要清楚一种构形,称为多米诺构形。文中构造性地给出了多米诺构形的充要条件;在此基础上提出并建立了一个图的祖先图与子孙图理论与构造方法。特别证明了：任一最小度≥4的n（≥9）-阶极大平面图必含（n-2）-阶或（n-3）-阶祖先图;给出极大平面图的递推构造法,并用此方法构造出6~12-阶所有最小度≥4的极大平面图。扩缩运算是本系列文章的基石。

关键词：极大平面图扩缩运算多米诺构形祖先图子孙图递推构造法

来源：评论

学校读者我要写书评

暂无评论

极大平面图的结构与着色理论(4)σ-运算与Kempe等价类

引用

电子与信息学报 2016年第7期38卷 1557-1585页

作者：许进北京大学高可信软件技术教育部重点实验室北京100871 北京大学信息科学技术学院北京100871

设G是一个k-色图,若G的所有k-着色是Kempe等价的,则称G为Kempe图。表征色数33的Kempe图特征是一尚待解决难题。该文对极大平面图的Kempe等价性进行了研究,其主要贡献是:(1)发现导致两个4-着色是Kempe等价的关键子图为2-色耳,故对2-色耳... 详细信息

设G是一个k-色图,若G的所有k-着色是Kempe等价的,则称G为Kempe图。表征色数33的Kempe图特征是一尚待解决难题。该文对极大平面图的Kempe等价性进行了研究,其主要贡献是:(1)发现导致两个4-着色是Kempe等价的关键子图为2-色耳,故对2-色耳的特征进行了深入研究;(2)引入σ-特征图,清晰地刻画了一个图中所有4-着色之间的关联关系,并深入研究了σ-特征图的性质;(3)揭示了4-色非Kempe极大平面图的Kempe等价类可分为树型,圈型和循环圈型,并指出这3种类型可同时存在于一个极大平面图的4-着色集中;(4)研究了Kempe极大平面图特征,给出了该类图的多米诺递推构造法,以及两个Kempe极大平面图猜想。

关键词： Kempe极大平面图 Kempe变换 σ-运算 Kempe等价类 σ-特征图 2-色耳

来源：评论

学校读者我要写书评

暂无评论

极大平面图的结构与着色理论 (1)色多项式递推公式与四色猜想

引用

电子与信息学报 2016年第4期38卷 763-779页

作者：许进北京大学信息科学技术学院北京100871 北京大学高可信软件技术教育部重点实验室北京100871

该文给出了极大平面图G的色多项式递推计算公式:若d(G)=4,Wv4是G中轮心为v,轮圈为v1 v 2v 3v 4v 1的4-轮,则f(G,4)=f(G1,4)+f(G2,4),其中G1=(G-v)?{v1,v3},G 2=(G-v)?{v2,v4};若d(G)=5,Wv5是G中v为轮心,以v1 v 2v 3v 4v 5v 1为轮圈的5-轮,则f(G,4)=[f(G1,4)-f(G1?{v1 v 4,v1 v 3},4)]+[f(G2,4)-f(G 2?{v 3v 1,v 3v 5},4)]+[f(G3,4)-f(G 3?{v1 v 4},4)],其中G1=(G-v)?{v 2,v 5},G 2=(G-v)?{v 2,v4},G 3=(G-v)?{v3,v5},"?"表示收缩运算;进而讨论了使用公式证明四色猜想的应用:将四色猜想转化成研究一种特殊图类:4-色漏斗型伪唯一4-色极大平面图。

关键词：四色猜想极大平面图色多项式伪唯一4-色平面图 4-色漏斗

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：