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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

电子学报 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的数据流分析结果,将对被引用指针的检测转换为对相应区域的检测,给出了空指针引用缺陷检测的方法,通过函数摘要实现过程间的空指针引用缺陷检测.对比实验结果表明,本文方法在保证一定检测准确率的前提下,能够极大的减少空指针引用缺陷的漏报.

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

来源：评论

学校读者我要写书评

暂无评论

基于区域内存模型的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的流敏感、域敏感的过程内分析与基于符号化函数摘要的上下文敏感的过程间分析,能够精确地分析出每个程序点上的形态信息、数据流信息与指针指向关系.实验结果表明,相对于基于符号化三值逻辑的方法,该分析方法在保证一定分析效率的前提下,能够实现较高准确度的分析.

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

移动终端匿名认证方案的分析与设计

引用

小型微型计算机系统 2014年第8期35卷 1784-1788页

作者：王锐王卿李小标张华李忠献北京邮电大学网络与交换技术国家重点实验室北京100876 国家计算机网络应急技术处理协调中心北京100029 国瑞数码安全系统有限公司天津300384

针对当前移动端用户在使用移动互联网时不断提升的对匿名认证和保密通信服务的需求,提出一种基于哈希函数、伪随机数发生器的匿名身份认证及密钥协商方案.本方案使用哈希函数、伪随机数发生器代替公钥密码体制和时间同步系统,提高了系... 详细信息

针对当前移动端用户在使用移动互联网时不断提升的对匿名认证和保密通信服务的需求,提出一种基于哈希函数、伪随机数发生器的匿名身份认证及密钥协商方案.本方案使用哈希函数、伪随机数发生器代替公钥密码体制和时间同步系统,提高了系统性能;并且在用户设备以及服务器上设定不同的保存加密信息的方法,实现不同形式的匿名认证,最终协商出安全的会话密钥.通过安全性分析、功能和性能的比较表明该方案具有较好的安全性,灵活和实用性,同时能够保持良好的通信效率.

关键词：匿名认证密钥协商隐私保护

来源：评论

学校读者我要写书评

暂无评论

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

引用

南京理工大学学报 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-差分函数)的性质与构造三个方面的研究现状与进展情况,并对这三方面的下一步研究作了展望.

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于局部近似过滤的多约束服务选择方法

引用

电子与信息学报 2013年第10期35卷 2314-2320页

作者：梁中军邹华郭静杨放春林荣恒北京邮电大学网络与交换技术国家重点实验室北京100876 北京邮电大学计算机学院北京100876

随着Web服务数量与用户需求的不断增长,如何在功能约束和QoS约束下选择Web服务去构建高质量的组合服务已成为Web服务领域的一项重要研究内容。然而,现有大多数Web服务选择方法仅仅解决了在多种QoS约束下选择服务的问题,忽略了服务间的... 详细信息

随着Web服务数量与用户需求的不断增长,如何在功能约束和QoS约束下选择Web服务去构建高质量的组合服务已成为Web服务领域的一项重要研究内容。然而,现有大多数Web服务选择方法仅仅解决了在多种QoS约束下选择服务的问题,忽略了服务间的功能性约束。为解决这一问题,该文提出一种基于局部近似过滤的多约束服务选择方法。该方法首先利用候选服务在多种约束下的被选关系,滤除部分不满足约束的服务,并估算每个剩余候选服务的局部适应度;然后,利用文中设计的有向粒子群算法,以候选服务的局部适应度为引导信息搜索出最优方案。实验结果表明了方法的有效性。

关键词：服务质量多约束服务选择粒子群局部近似过滤

来源：评论

学校读者我要写书评

暂无评论

基于分支限界搜索框架的测试用例自动生成

引用

中国科学：信息科学 2014年第10期44卷 1345-1360页

作者：邢颖宫云战王雅文张旭舟北京邮电大学网络与交换技术国家重点实验室北京100876 辽宁工程技术大学电子与信息工程学院葫芦岛125105 中国科学院计算技术研究所北京100190

作为软件测试领域的一个基本问题和热点问题,面向路径的测试用例自动生成有着特殊的重要意义.面向路径的测试用例生成本质上是一个约束满足问题,并通过搜索算法求解.着眼于提升搜索算法的效率,本文提出了一种新的智能算法,将分支限界和... 详细信息

作为软件测试领域的一个基本问题和热点问题,面向路径的测试用例自动生成有着特殊的重要意义.面向路径的测试用例生成本质上是一个约束满足问题,并通过搜索算法求解.着眼于提升搜索算法的效率,本文提出了一种新的智能算法,将分支限界和爬山法进行了有机的整合,分支限界作为全局搜索算法,而爬山法作为局部搜索算法,发挥各自的优势来对测试用例的解空间进行搜索.

关键词：面向路径测试用例生成约束满足问题分支限界爬山法

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：