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

清华大学学报（自然科学版） 2012年第12期52卷 1769-1775页

作者：白宇张尧学周悦芝清华大学计算机科学与技术系信息科学与技术国家实验室北京100084

服务描述是服务选择和服务组装的基础,是服务科学领域重要的研究课题。为了解决现有服务描述语言不支持对多个功能相同的服务进行选择、在服务描述过程中易产生语义二义性等问题,该文提出了一种基于进程代数的服务形式化描述方法。该方... 详细信息

服务描述是服务选择和服务组装的基础,是服务科学领域重要的研究课题。为了解决现有服务描述语言不支持对多个功能相同的服务进行选择、在服务描述过程中易产生语义二义性等问题,该文提出了一种基于进程代数的服务形式化描述方法。该方法在已有服务描述标准WSDL的基础上加入了对服务非功能属性的描述,并采用进程代数对服务相关操作进行形式化定义,从而可以利用服务的非功能属性为用户提供个性化的检索结果,并支持对服务组装过程进行形式化描述。最后使用实例验证了该方法的正确性和有效性。

关键词：服务描述服务组装进程代数

来源：评论

学校读者我要写书评

暂无评论

一种基于多约束组合的多租户系统配置测试技术

引用

计算机学报 2016年第2期39卷 237-252页

作者：侯可佳白晓颖周立柱清华大学计算机科学与技术系北京100084 清华大学信息科学与技术国家实验室北京100084

通过灵活配置实现在线软件定制是多租户(Multi-Tenancy Architecture,MTA)软件即服务(Software-asa-Service,SaaS)系统的一个重要特征.由于参数和行为配置的复杂多样,配置错误是系统质量所面临的主要风险之一.对各种配置的组合测试,是MT... 详细信息

通过灵活配置实现在线软件定制是多租户(Multi-Tenancy Architecture,MTA)软件即服务(Software-asa-Service,SaaS)系统的一个重要特征.由于参数和行为配置的复杂多样,配置错误是系统质量所面临的主要风险之一.对各种配置的组合测试,是MTA SaaS系统测试的一个重要内容.该文针对配置之间的约束依赖关系,提出建立约束依赖图,利用图搜索算法获取具有依赖关联的配置项集合,采用组合测试算法,生成不同的配置测试场景,满足多配置组合覆盖率要求.实验以多租户游戏系统为例,对比多种测试生成算法,实验显示该方法在检测由约束违反引起的系统缺陷方面有显著改善效果.

关键词：约束组合多租户系统配置测试数据生成组合测试算法

来源：评论

学校读者我要写书评

暂无评论

基于社会化标注的用户兴趣挖掘

引用

清华大学学报（自然科学版） 2014年第4期54卷 502-507页

作者：扈维张尧学周悦芝清华大学计算机科学与技术系信息科学与技术国家实验室北京100084

用户兴趣挖掘是实现个性化推荐与智能化服务的关键问题。Web2.0引入的社会化标注可以反映用户的潜在兴趣。该文提出一种基于用户标注行为的兴趣建模方法,根据用户与标签的交互模式反映用户的兴趣倾向。从用户对不同标签的"认同度&q... 详细信息

用户兴趣挖掘是实现个性化推荐与智能化服务的关键问题。Web2.0引入的社会化标注可以反映用户的潜在兴趣。该文提出一种基于用户标注行为的兴趣建模方法,根据用户与标签的交互模式反映用户的兴趣倾向。从用户对不同标签的"认同度"和"依赖度"两方面衡量用户的标签兴趣,并使用"标签基因"对用户的兴趣进行细粒度分解。来自真实用户数据的实验结果表明,该方法可以有效提高用户兴趣的预测准确度和覆盖率,创建的兴趣模型更加符合用户的真实情况。

关键词：用户模型社会标注兴趣挖掘

来源：评论

学校读者我要写书评

暂无评论

一种基于用户需求协作修正的构件检索方法

引用

中南大学学报（自然科学版） 2011年第2期42卷 398-403页

作者：钟鸣张尧学周悦芝田鹏伟翁林开清华大学信息科学与技术国家实验室北京100084 清华大学计算机科学与技术系北京100084

针对当前主流的构件检索方法只从构件分类和索引的角度出发研究提高构件检索效率,却忽略用户理解与构件描述之间差异的现状,提出一种基于用户需求协作修正的构件检索方法。该方法采用向量对构件功能和用户需求进行统一描述,并基于向量... 详细信息

针对当前主流的构件检索方法只从构件分类和索引的角度出发研究提高构件检索效率,却忽略用户理解与构件描述之间差异的现状,提出一种基于用户需求协作修正的构件检索方法。该方法采用向量对构件功能和用户需求进行统一描述,并基于向量内积相似度实现构件检索;并在此基础上引入反馈机制,根据用户的历史检索记录创建和维护用户需求协作修正模型,通过该模型来对新的用户需求进行协作修正,以此缩小用户理解与构件分类描述之间的差异,提高构件检索效率。在构件库原型系统中分别以平均检索时间和平均目标位置为标准对该方法进行性能评测。研究结果表明:在基于向量的构件检索方法中,对用户需求进行协作修正能有效提高构件检索的准确度,缩短构件检索时间。

关键词：软件复用构件检索向量协作修正

来源：评论

学校读者我要写书评

暂无评论

互联网地址安全体系与关键技术

引用

软件学报 2014年第1期25卷 78-97页

作者：徐恪朱亮朱敏清华信息科学与技术国家实验室(清华大学) 北京100084 清华大学计算机科学与技术系北京100084

当前,互联网体系结构不具备地址真实性验证机制,源地址伪造与路由地址前缀欺骗造成了极大危害.解决地址安全问题、构建真实可信的互联网环境,已成为亟待解决的重要课题.地址的真实性是互联网可信的基础和前提.针对这些问题,研究者们从... 详细信息

当前,互联网体系结构不具备地址真实性验证机制,源地址伪造与路由地址前缀欺骗造成了极大危害.解决地址安全问题、构建真实可信的互联网环境,已成为亟待解决的重要课题.地址的真实性是互联网可信的基础和前提.针对这些问题,研究者们从不同角度提出了很多解决方案.首先,该文介绍了地址的概念及其欺骗现状,分析了地址安全的含义,并从研究体系、实现机制以及关键技术这3个维度,对地址安全研究思路进行了归纳分析.然后,对典型地址安全方案的性能指标进行了总结.最后,给出了一个地址与标识通用实验管理平台的设想,基于该平台,可以为不同的地址标识方案提供统一的部署实验环境.

关键词：地址欺骗前缀劫持地址安全地址认证通用地址平台

来源：评论

学校读者我要写书评

暂无评论

一种云存储环境下的安全存储系统

引用

计算机学报 2015年第5期38卷 987-998页

作者：薛矛薛巍舒继武刘洋清华大学计算机科学与技术系北京100084 清华大学信息科学与技术国家实验室北京100084

如今,数据越来越多地被选择存放在云存储环境,而非个人电脑中.这使得用户失去了对数据的完全控制,从而难以保证数据的安全性.为了解决此问题,文中提出了一种新的安全云存储系统架构.基于这套架构,文中设计并实现了一个安全云存储系统—... 详细信息

如今,数据越来越多地被选择存放在云存储环境,而非个人电脑中.这使得用户失去了对数据的完全控制,从而难以保证数据的安全性.为了解决此问题,文中提出了一种新的安全云存储系统架构.基于这套架构,文中设计并实现了一个安全云存储系统——***可以直接架在已有的云存储系统之上而无需对其进行任何改变,同时提供端到端的数据私密性保护、完整性保护以及访问权限控制等功能.Corslet使用简单,用户只需在客户端存放他们的身份证书即可.对Corslet的测试结果显示,Corslet架在NFSv4集群之上I/O性能下降不到5%,证明Corslet在提高用户数据安全性的同时,其性能也是可以接受的.

关键词：安全存储系统加密文件系统私密性完整性访问控制

来源：评论

学校读者我要写书评

暂无评论

可搜索加密机制研究与进展

引用

软件学报 2014年第4期25卷 880-895页

作者：沈志荣薛巍舒继武清华大学计算机科学与技术系北京100084 信息科学与技术国家实验室(清华大学) 北京100084

随着云计算的迅速发展,用户开始将数据迁移到云端服务器,以此避免繁琐的本地数据管理并获得更加便捷的服务.为了保证数据安全和用户隐私,数据一般是以密文存储在云端服务器中,但是用户将会遇到如何在密文上进行查找的难题.可搜索加密(se... 详细信息

随着云计算的迅速发展,用户开始将数据迁移到云端服务器,以此避免繁琐的本地数据管理并获得更加便捷的服务.为了保证数据安全和用户隐私,数据一般是以密文存储在云端服务器中,但是用户将会遇到如何在密文上进行查找的难题.可搜索加密(searchable encryption,简称SE)是近年来发展的一种支持用户在密文上进行关键字查找的密码学原语,它能够为用户节省大量的网络和计算开销,并充分利用云端服务器庞大的计算资源进行密文上的关键字查找.介绍了SE机制的研究背景和目前的研究进展,对比阐述了基于对称密码学和基于公钥密码学而构造的SE机制的不同特点,分析了SE机制在支持单词搜索、连接关键字搜索和复杂逻辑结构搜索语句的研究进展.最后阐述了其所适用的典型应用场景,并讨论了SE机制未来可能的发展趋势.

关键词：可搜索加密数据安全隐私密码学云计算云存储

来源：评论

学校读者我要写书评

暂无评论

面向网上人际交流的便捷人脸动画

引用

计算机辅助设计与图形学学报 2008年第6期20卷 793-800页

作者：戴鹏徐光祐清华大学计算机科学与技术系北京100084 清华信息科学与技术国家实验室北京100084

面向网上人际交流的实际需求,提出一种基于图像的便捷人脸动画方法.基于同一人脸的正面和半侧面图像,引入三维通用人脸模型估计其初始朝向,分别建立两图像的二维网格模型;然后采用图像插值和变形技术合成不同朝向人脸,并合理地解决遮挡... 详细信息

面向网上人际交流的实际需求,提出一种基于图像的便捷人脸动画方法.基于同一人脸的正面和半侧面图像,引入三维通用人脸模型估计其初始朝向,分别建立两图像的二维网格模型;然后采用图像插值和变形技术合成不同朝向人脸,并合理地解决遮挡问题.面部的唇动和表情则可将MPEG4三维模型的形变参数投影到相应的二维网格上.该方法无需重构对象人脸的三维模型和对摄像机进行标定,可同时合成面部表情与小范围朝向变化.实验结果证明了文中方法的便捷性、跨平台通用性,合成效果良好.

关键词：便捷人脸动画基于图像绘制姿态可变 MPEG4 以计算机为媒介的人际交流

来源：评论

学校读者我要写书评

暂无评论

面向应用适应能力的互联网体系结构评估方法

引用

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

作者：朱敏徐恪林嵩清华大学计算机科学与技术系北京100084 清华信息科学与技术国家实验室北京100084

互联网体系结构的演进已经成为学术界和工业界的共识,面向现有体系结构存在问题的修补策略以及基于各种思路的新的体系结构方案不断被提出,但得到大众认可并得到应用的少之又少.如何评估这些策略和方案是否符合互联网体系结构发展的需... 详细信息

互联网体系结构的演进已经成为学术界和工业界的共识,面向现有体系结构存在问题的修补策略以及基于各种思路的新的体系结构方案不断被提出,但得到大众认可并得到应用的少之又少.如何评估这些策略和方案是否符合互联网体系结构发展的需求成为当前急需解决的一个重要问题.现有的评估工作大多从用户或者ISP的效益出发对互联网体系结构的竞争力和演化趋势进行评估,它们并不考虑应用类型变化对互联网体系结构发展的影响.文中从应用的角度出发,立足于体系结构本身,提出了一种面向应用适应能力的体系结构评估方法,并构建了相应的评估模型2ACT(Application Adaptation CapaciTy),该方法以体系结构的服务适应性(Service AdapTability)及经济适应性(Economic AdapTability)为基础进行建模,以量化应用数据类型变化、应用部署开销对互联网体系结构发展的影响.该方法不但可用于评估体系结构自身的发展趋势,也可用于对体系结构中各种协议或机制的发展能力进行评估.针对当前多媒体数据流量剧增的现象,文中对两种适于多媒体数据应用的机制(In-network内容缓存机制和IP组播协议)进行了评估,结果发现这两种理论上具有优势的协议需在一定的限制条件下部署才能发挥其优势.用户或ISP可以结合自身的应用需求,根据2ACT模型的评估结果,选择相应的体系结构或者协议进行部署.

关键词：互联网体系结构应用适应能力服务适应性经济适应性 In-network内容缓存机制 IP组播

来源：评论

学校读者我要写书评

暂无评论

基于模板匹配的调色板方法

引用

计算机辅助设计与图形学学报 2016年第7期28卷 1146-1151页

作者：王正陶品冯立新温江涛杨士强清华大学计算机科学与技术系北京100084 清华信息科学与技术国家实验室北京100084

使用模板匹配的方法对屏幕视频进行编码时,视频图像中近80%像素点残差为零.为了更好地对非零残差点进行编码,进一步提高编码效率,提出基于模板匹配的调色板方法.该方法利用非零残差点的统计信息,生成全局的和局部的调色板,使用调色板索... 详细信息

使用模板匹配的方法对屏幕视频进行编码时,视频图像中近80%像素点残差为零.为了更好地对非零残差点进行编码,进一步提高编码效率,提出基于模板匹配的调色板方法.该方法利用非零残差点的统计信息,生成全局的和局部的调色板,使用调色板索引重新对非零残差点进行编码,进一步缩小预测残差.实验结果表明,采用文中方法对非零残差进行修正,最多可提升30%的编码效率.

关键词：视频编码高效视频编码屏幕视频编码模板匹配调色板

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：