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

计算机学报 2015年第10期38卷 1907-1923页

作者：林闯陈莹黄霁崴向旭东清华大学计算机科学与技术系北京100084 北京邮电大学网络与交换技术国家重点实验室北京100876 北京科技大学计算机与通信工程学院北京100083

随着信息技术的不断发展和进步,传统的面向组件和系统的架构模式逐渐演变成面向服务的设计模式.服务计算作为一种新兴的计算模式应运而生并广泛应用于各个领域.随着用户和服务供应商需求日趋多样化,如何对服务系统进行最佳配置和管理,... 详细信息

随着信息技术的不断发展和进步,传统的面向组件和系统的架构模式逐渐演变成面向服务的设计模式.服务计算作为一种新兴的计算模式应运而生并广泛应用于各个领域.随着用户和服务供应商需求日趋多样化,如何对服务系统进行最佳配置和管理,提供最优的服务质量,越来越受到研究者的关注,服务计算中服务质量的多目标优化成为研究热点.由于不同目标之间可能存在相互制约和折中的关系,多目标优化问题面临着难题和挑战.文中从服务计算中广泛关注的多维度指标体系出发,结合具体的研究问题,总结了5种典型的多目标优化模型,并从适用性、求解难度等多个角度对它们进行了分析和比较,同时讨论了模型的相互关系.对应优化模型,介绍和分析了常用的多目标优化求解方法.最后,对全文进行了总结,并对下一步的研究方向进行了展望.

关键词：服务计算服务质量多目标指标体系多目标优化

来源：评论

学校读者我要写书评

暂无评论

云计算的可信性概念建模

引用

信息网络安全 2016年第9期 223-227页

作者：余小军温巧燕张玉清吴亚飚北京天融信科技股份有限公司北京100085 中国科学院大学国家计算机网络入侵防范中心北京100049 北京邮电大学网络与交换技术国家重点实验室北京100876

云计算是一种新的计算模式和资源管理模式,但在技术和管理上仍然存在许多安全威胁,导致云计算发展过程面临着可信问题。云计算的可信性概念建模是云计算可信问题研究的基础内容之一。在信息技术领域,研究者们对可信性概念的理解存在差异... 详细信息

云计算是一种新的计算模式和资源管理模式,但在技术和管理上仍然存在许多安全威胁,导致云计算发展过程面临着可信问题。云计算的可信性概念建模是云计算可信问题研究的基础内容之一。在信息技术领域,研究者们对可信性概念的理解存在差异性,而且目前对云计算的可信性概念也没有清晰定义。为此,文章提出一种基于本体的概念建模方法。本体是用于描述事物和事物之间关系的重要工具,也是用于进行概念建模有效方法。文章首先分析了云计算的可信因素工作,并将这些因素总结为云服务、云资源、云提供者三个方面;然后利用统一建模语言分别给出了云计算和云计算的可信性两个概念的模型表示,同时给出了可信性概念模型的形式化定义。最后文章从模型的完备性、合理性和清晰性三个角度进行分析,结果表明提出的方法可以比较清晰地描述云计算的可信性概念,有助于可信性概念研究者进一步达成共识。

关键词：云计算可信性本体概念建模

来源：评论

学校读者我要写书评

暂无评论

云计算的可信性概念建模

云计算的可信性概念建模

引用

第31次全国计算机安全学术交流会

作者：余小军温巧燕张玉清吴亚飚北京天融信科技股份有限公司中国科学院大学国家计算机网络入侵防范中心北京邮电大学网络与交换技术国家重点实验室

关键词：云计算可信性本体概念建模

来源：评论

学校读者我要写书评

暂无评论

基于流形排序的社会化推荐方法

引用

北京邮电大学学报 2014年第3期37卷 18-22页

作者：胡祥王文东龚向阳王柏阙喜戎北京邮电大学网络与交换技术国家重点实验室北京1000876 华北电力大学控制与计算机工程学院北京102206 北京邮电大学计算机学院北京100876

提出一种基于流形排序和社会化矩阵分解的推荐方法,采用流形排序方法度量用户间的社会相似度,利用正则化技术构建用于评分矩阵因式分解的目标函数,将用户之间的偏好差异作为目标函数的惩罚项,从而将用户之间的社会相似性融入评分矩阵的... 详细信息

提出一种基于流形排序和社会化矩阵分解的推荐方法,采用流形排序方法度量用户间的社会相似度,利用正则化技术构建用于评分矩阵因式分解的目标函数,将用户之间的偏好差异作为目标函数的惩罚项,从而将用户之间的社会相似性融入评分矩阵的低阶矩阵分解过程.实验结果表明,在大型的数据集上,该方法获得了比当前同类方法更好的推荐精度和更低的评分预测均方根误差/评分预测平均绝对误差(RMSE/MAE)值.

关键词：社会化推荐流形排序矩阵分解

来源：评论

学校读者我要写书评

暂无评论

基于区域内存模型的C程序静态分析

引用

软件学报 2014年第2期25卷 357-372页

作者：董玉坤金大海宫云战邢颖网络与交换技术国家重点实验室(北京邮电大学) 北京100876 中国石油大学(华东)计算机与通信工程学院山东青岛266580

为了提高程序的静态分析精度,提出了一种应用基于区域的符号化三值逻辑(region-based symbolic threevalued logic,简称RSTVL)的静态分析方法.RSTVL能够描述C程序运行时内存中数据结构的形态信息与变量的存储状态,以及可寻址表达式间的... 详细信息

为了提高程序的静态分析精度,提出了一种应用基于区域的符号化三值逻辑(region-based symbolic threevalued logic,简称RSTVL)的静态分析方法.RSTVL能够描述C程序运行时内存中数据结构的形态信息与变量的存储状态,以及可寻址表达式间的各种关系,包括指向关系、层次关系与取值逻辑关系.为了提高静态分析的精度,提出了一种基于RSTVL的流敏感、域敏感的过程内分析与基于符号化函数摘要的上下文敏感的过程间分析,能够精确地分析出每个程序点上的形态信息、数据流信息与指针指向关系.实验结果表明,相对于基于符号化三值逻辑的方法,该分析方法在保证一定分析效率的前提下,能够实现较高准确度的分析.

关键词：可寻址表达式内存模型静态分析符号化函数摘要缺陷检测

来源：评论

学校读者我要写书评

暂无评论

基于区域内存模型的空指针引用缺陷检测

引用

电子学报 2014年第9期42卷 1744-1752页

作者：董玉坤宫云战金大海北京邮电大学网络与交换技术国家重点实验室北京100876 中国石油大学(华东)计算机与通信工程学院山东青岛266580

为了实现对C程序中空指针引用的充分检测,本文提出了一种基于区域内存模型的空指针引用缺陷检测方法.首先,提出了基于区域的符号化三值逻辑(Region-based Symbolic Three-Valued Logic,RSTVL),RSTVL能够描述C程序运行时内存中数据结构... 详细信息

为了实现对C程序中空指针引用的充分检测,本文提出了一种基于区域内存模型的空指针引用缺陷检测方法.首先,提出了基于区域的符号化三值逻辑(Region-based Symbolic Three-Valued Logic,RSTVL),RSTVL能够描述C程序运行时内存中数据结构的形态信息与变量的存储状态,以及可寻址表达式间的各种关系;其次,给出了基于抽象语法树与函数摘要识别被引用指针方法;最后,结合基于RSTVL的数据流分析结果,将对被引用指针的检测转换为对相应区域的检测,给出了空指针引用缺陷检测的方法,通过函数摘要实现过程间的空指针引用缺陷检测.对比实验结果表明,本文方法在保证一定检测准确率的前提下,能够极大的减少空指针引用缺陷的漏报.

关键词：空指针引用内存模型静态分析函数摘要缺陷检测

来源：评论

学校读者我要写书评

暂无评论

SAMS:一种新型身份/位置分离方案

引用

计算机学报 2014年第2期37卷 394-406页

作者：杨芫徐明伟杨家海董庆洲陈文龙王会张志超清华大学计算机科学与技术系北京100084 清华信息科学与技术国家实验室(筹) 北京100084 清华大学网络科学与网络空间研究院北京100084 北京邮电大学网络与交换国家重点实验室北京100876 首都师范大学信息工程学院北京100037

当前互联网中的IP地址同时标识主机身份和主机位置,这种语义重载主要导致了两方面的问题.一方面,它使得核心网络路由表项数量急剧增长,引起路由可扩展性问题.另一方面,主机难以在不改变身份标识的情况下实现多宿主和移动中的高速切换.... 详细信息

当前互联网中的IP地址同时标识主机身份和主机位置,这种语义重载主要导致了两方面的问题.一方面,它使得核心网络路由表项数量急剧增长,引起路由可扩展性问题.另一方面,主机难以在不改变身份标识的情况下实现多宿主和移动中的高速切换.解决这两个问题的根本办法是主机的身份和位置分离,即分别使用相互独立的身份标识和位置标识.目前身份/位置分离方案得到了研究人员的广泛关注,然而现有的方案只是针对某一个问题,不能同时解决这两个问题.此外身份位置分离之后的真实身份问题也很重要.文中提出了一种新型身份/位置分离方案SAMS(Scalable Authentic Mobile identifier-locator Separation scheme),它将用户身份标识、主机身份标识、边缘网络位置标识和核心网络位置标识分离,并设计合理的体系结构将这4种标识结合在一起,对路由可扩展性,主机多宿主和移动能力都有很大的提高,并支持真实身份.文中实现了SAMS的原型系统,并在CERNET2主干网上进行了规模部署和实验,验证了方案的有效性和系统的兼容性.

关键词：身份位置分离路由可扩展身份认证主机移动多宿主中图法

来源：评论

学校读者我要写书评

暂无评论

一种广义分子计算模型及其在NP问题中的应用

引用

计算机应用研究 2014年第11期31卷 3353-3356页

作者：李艳梅余文宁建国北京理工大学机电学院爆炸科学与技术国家重点实验室北京100081 北京邮电大学计算机学院智能通信软件多媒体北京市重点实验室北京100876

目前各种分子计算模型多基于生物技术,求解一个问题的分子计算机算法很难不作修改地应用于其他类似的问题,尚不似传统计算机般通用。为此,提出一种基于图灵机的广义分子计算模型,其由一台单带图灵机、一条单向只写带和一条工作带组成,... 详细信息

目前各种分子计算模型多基于生物技术,求解一个问题的分子计算机算法很难不作修改地应用于其他类似的问题,尚不似传统计算机般通用。为此,提出一种基于图灵机的广义分子计算模型,其由一台单带图灵机、一条单向只写带和一条工作带组成,通过只写带与工作带之间特殊的映射函数实现并行的同时读、写操作。实验说明了该模型能够在多项式时间求解NP完全的满足性问题(SAT),比现有分子计算模型在计算准确性和通用性上存在明显优势。

关键词：广义分子计算模型图灵机 SAT问题

来源：评论

学校读者我要写书评

暂无评论

基于对偶编码的中文分词算法

引用

南京理工大学学报 2014年第4期38卷 526-530页

作者：张冰怡魏博陈建成魏杰饶国政天津大学计算机科学与技术学院天津300072 天津市认知计算与应用重点实验室天津300072 驻马店西平县电业公司驻马店463900 北京邮电大学网络与交换技术国家重点实验室北京100876

为了提高中文分词算法的切分速度和存储效率,提出一种基于对偶编码的特征匹配算法。由中文分词的字符集和字符相邻关系提取特征值,根据此特征值在中文分词词典中进行快速匹配,基于字符的位置相邻关系提取特征值,支持模糊匹配,因此无需... 详细信息

为了提高中文分词算法的切分速度和存储效率,提出一种基于对偶编码的特征匹配算法。由中文分词的字符集和字符相邻关系提取特征值,根据此特征值在中文分词词典中进行快速匹配,基于字符的位置相邻关系提取特征值,支持模糊匹配,因此无需对多字词进行单独匹配,从而有效节省匹配时间。实验仿真表明,该算法可以降低特征存储空间,有效提高中文分词精度和效率。

关键词：对偶编码中文分词特征匹配数据压缩散列特征值模糊匹配

来源：评论

学校读者我要写书评

暂无评论

密码函数安全性指标的研究进展

引用

密码学报 2014年第6期1卷 578-588页

作者：屈龙江付绍静李超国防科技大学理学院长沙410073 国防科技大学计算机学院长沙410073 北京邮电大学网络与交换技术国家重点实验室北京100088

密码函数包含布尔函数与向量函数(S-盒)两大类,是构成序列密码、分组密码和Hash函数这三类密码算法的重要组件,其密码学性质的好坏直接关系到密码算法的安全性.密码算法对于各种已知攻击的抵抗性可以由它所使用的密码函数的相应密码学... 详细信息

密码函数包含布尔函数与向量函数(S-盒)两大类,是构成序列密码、分组密码和Hash函数这三类密码算法的重要组件,其密码学性质的好坏直接关系到密码算法的安全性.密码算法对于各种已知攻击的抵抗性可以由它所使用的密码函数的相应密码学指标来衡量,密码函数的差分均匀度反映了其抵抗差分攻击的能力,密码函数的非线性度反映了其抵抗线性攻击或快速相关攻击的能力,密码函数的代数免疫度反映了其抵抗代数攻击的能力,密码函数的相关免疫度反映了其抵抗相关攻击的能力,密码函数的代数次数反映其抵抗Berlekamp Massey攻击或高阶差分攻击的能力,其中非线性度、代数免疫度、差分均匀度是三个重要的密码学指标.本文总结了近年来在高度非线性函数、高代数免疫度函数和低差分函数研究方面的进展,重点归纳了Bent函数和向量Bent函数这两类高度非线性函数的性质与构造、具有最优代数免疫度且同时满足高非线性度等其它密码指标较优的布尔函数与向量函数构造、三类低差分函数(PN函数、APN函数和4-差分函数)的性质与构造三个方面的研究现状与进展情况,并对这三方面的下一步研究作了展望.

关键词：密码函数非线性度代数免疫度差分均匀度

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：