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

中国密码学会2008年年会

作者：刘勇陈宇陈钟杨林北京大学信息科学技术学院高可信软件技术教育部重点实验室北京 100871 总参第六十一研究所北京 100039 北京大学信息科学技术学院高可信软件技术教育部重点实验室北京 100871 总参第六十一研究所北京 100039

压缩函数是杂凑函数的核心部件，其设计必须兼顾安全性和效率。本文给出了一个新的压缩函数框架和两种针对MD构造模式的改进。本文提出的压缩函数具有简洁高效、并行度高、易于扩展的特点。本文提出的第一种构造模式能够抵御利用压缩函... 详细信息

压缩函数是杂凑函数的核心部件，其设计必须兼顾安全性和效率。本文给出了一个新的压缩函数框架和两种针对MD构造模式的改进。本文提出的压缩函数具有简洁高效、并行度高、易于扩展的特点。本文提出的第一种构造模式能够抵御利用压缩函数伪碰撞缺陷(初始向量不同但压缩值相同)的攻击，例如multi-block[11]攻击就是利用MD构造法的这种弱点。第二种模式的效果相当于在消息前添加一个随机数，增加了碰撞攻击的难度，这两种模式需要牺牲一定的效率作为代价。

关键词：压缩函杂凑函数碰撞攻击 MD构建

来源：评论

学校读者我要写书评

暂无评论

一种中间件服务容错配置管理方法

引用

计算机学报 2007年第10期30卷 1696-1704页

作者：李军国黄罡邹键梅宏北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室北京100871

提出一种基于运行时刻软件体系结构的容错管理方法,支持开发者和管理员针对不同中间件服务失效定制合适的故障检测和修复机制.首先,运行时刻软件体系结构自动构造构件依赖视图和错误传播①视图,为理解和分析整个系统的可靠性提供全局视... 详细信息

提出一种基于运行时刻软件体系结构的容错管理方法,支持开发者和管理员针对不同中间件服务失效定制合适的故障检测和修复机制.首先,运行时刻软件体系结构自动构造构件依赖视图和错误传播①视图,为理解和分析整个系统的可靠性提供全局视图;然后,操作运行时刻软件体系结构配置容错机制;最后利用AOP技术将容错机制插装到中间件中,使其具备指定的容错能力.上述过程在一个可视化工具的辅助下半自动实施,并在J2EE中间件上得到验证.

关键词：中间件可靠性软件体系结构软件容错

来源：评论

学校读者我要写书评

暂无评论

基于UML的分布式服务合约库系统建模

引用

电子学报 2007年第8期35卷 1425-1431页

作者：麻志毅邹艳珍北京大学信息科学技术学院软件所高可信软件技术教育部重点实验室北京100871

由于服务的分布与协作特性,有必要在服务合约库系统间进行协作.然而,目前的大多数服务合约库系统都遵循自己的服务合约标准和服务合约分类标准.针对这种状况,本文提出了一个用于对分布式服务合约库系统进行建模的元模型.首先,本文描述... 详细信息

由于服务的分布与协作特性,有必要在服务合约库系统间进行协作.然而,目前的大多数服务合约库系统都遵循自己的服务合约标准和服务合约分类标准.针对这种状况,本文提出了一个用于对分布式服务合约库系统进行建模的元模型.首先,本文描述了一个大多数服务合约库系统所遵循的功能模型,然后基于此从服务合约库系统的结构和互连体系这两方面详细地阐述了这个元模型,并在UML2.0中进行了扩展,形成一个UML外廓.本文进一步地阐述了利用该外廓对青鸟分布式服务合约库系统所建立的模型.

关键词：分布式服务合约库系统元模型 UML建模

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种基于P2P支持检索条件重构的构件库互联技术

引用

计算机研究与发展 2007年第12期44卷 2122-2129页

作者：李琰李田谢冰张路孙家驌北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室北京100871

软件复用是解决软件危机的有效途径.随着软件复用技术和网络技术的发展,在Internet上出现了越来越多的软件构件库.复用者需要的构件往往分散在多个构件库中,而各个库中构件的描述方式也各不相同;这给复用者获取构件带来了一定的困难.因... 详细信息

软件复用是解决软件危机的有效途径.随着软件复用技术和网络技术的发展,在Internet上出现了越来越多的软件构件库.复用者需要的构件往往分散在多个构件库中,而各个库中构件的描述方式也各不相同;这给复用者获取构件带来了一定的困难.因此,需要有一种有效的机制来帮助他们在多个构件库中获取构件.提出一种构件库互联技术DCLITTA以支持在分布的构件库之间实现资源共享,并为复用者提供了"透明"的检索机制.DCLITTA采用对等网络(P2P)体系结构将各个独立的构件库组织在一起.同时,针对构件库间构件描述模型的差异,DCLITTA通过自动地将复用者的检索请求进行重构来改善检索的效果.基于该互联技术,已设计实现了相应的支持系统,并实际应用于北京、上海等软件园的构件库中.

关键词：软件构件库构件库互联对等网络构件检索检索条件重构

来源：评论

学校读者我要写书评

暂无评论

RFID信息服务中发布/订阅系统若干关键技术问题研究

引用

电子学报 2008年第B12期36卷 94-101页

作者：刘殿兴赵文邓鹏鹏张世琨王立福北京大学信息科学技术学院北京100871 北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室北京100871 北京大学软件工程国家工程研究中心北京100871

本文将描述逻辑中基于个体的推理方法引入到RFID信息服务的发布/订阅系统中,利用时间本体来描述事件之间的时序关系,通过判断事件断言集与订阅的一致性来解决语义匹配以及与时序相关的复合事件与复合订阅的匹配问题,并给出了订阅语言和... 详细信息

本文将描述逻辑中基于个体的推理方法引入到RFID信息服务的发布/订阅系统中,利用时间本体来描述事件之间的时序关系,通过判断事件断言集与订阅的一致性来解决语义匹配以及与时序相关的复合事件与复合订阅的匹配问题,并给出了订阅语言和匹配算法.实验结果表明,匹配算法的效率能够满足实际应用的需要.

关键词：发布/订阅 RFID 描述逻辑时间本体

来源：评论

学校读者我要写书评

暂无评论

一种对象／关系映射隐式持久化框架

引用

电子学报 2007年第B12期35卷 179-184页

作者：陈兴润滕腾黄罡梅宏北京大学高可信软件技术教育部重点实验室北京100871 北京大学信息科学技术学院软件研究所北京100871

对象／关系映射持久化框架实现了对象属性与关系数据库表项之间的自动映射，极大简化了面向对象系统中的数据持久存储问题．但是，现有的对象／关系映射框架要求显式调用持久化接口，这就需要在业务逻辑代码中插入大量持久化代码，不仅... 详细信息

对象／关系映射持久化框架实现了对象属性与关系数据库表项之间的自动映射，极大简化了面向对象系统中的数据持久存储问题．但是，现有的对象／关系映射框架要求显式调用持久化接口，这就需要在业务逻辑代码中插入大量持久化代码，不仅带来程序结构的不清晰，更重要的是，使应用的持久化功能缺乏动态适应性．基于现有主流持久化技术，本文提出一种对象／关系映射隐式持久化框架，该框架支持隐式持久化，即，应用系统不需出现任何与持久化相关代码，由框架将封装后的持久化代码注入到应用系统中，使系统能按需配置持久化策略以实现对象持久化．隐式持久化技术不仅可以使应用开发者更专注于业务逻辑，而不需要关心持久化，且允许动态修改持久化策略，从而实现持久化箫略的增删改．

关键词：对象/关系映射隐式持久化中间件

来源：评论

学校读者我要写书评

暂无评论

基于同步网的BPEL建模和验证

引用

系统仿真学报 2007年第A1期19卷 97-100页

作者：徐春香屈婉玲王捍贫黄雨袁崇义北京大学信息科学技术学院软件研究所教育部高可信软件技术重点实验室北京100871

Web服务组合是面向服务架构的一个应用,是指将已有的Web服务组合成为新的服务。业务流程执行语言BPEL(Business Process Execution Language)是一种描述Web服务组合的语言。为了保证BPEL描述的Web服务组合的正确性,提出了分层建模和验... 详细信息

Web服务组合是面向服务架构的一个应用,是指将已有的Web服务组合成为新的服务。业务流程执行语言BPEL(Business Process Execution Language)是一种描述Web服务组合的语言。为了保证BPEL描述的Web服务组合的正确性,提出了分层建模和验证的思想,将BPEL流程分为逻辑层和语义层,并分别建立形式化模型和验证方法。这样不仅能保证对流程正确地建模,而且能降低建模和验证的复杂度。在逻辑层,BPEL元素映射为基于同步网的WSL_net模型。畅通性和无冗余变迁性质保证了BPEL流程基本控制流的正确性并避免了资源的浪费。语义层的建模和验证将另文给出。

关键词： Web服务组合 BPEL 建模验证同步网 WSL_net

来源：评论

学校读者我要写书评

暂无评论

一种良构可扩展的构件运行平台容器系统

引用

中国科技论文在线 2007年第10期2卷 708-714页

作者：范刚曹东刚周明辉肖赞梅宏北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室北京100871

随着J2EE等构件运行平台的迅速发展和广泛应用,构件运行平台要提供的功能越来越多,导致其自身的结构越来越复杂。因此如何设计一种良好的体系结构,保持构件运行平台的灵活性和扩展性成为一项挑战。本文提出一种良构可扩展的构件运行平... 详细信息

随着J2EE等构件运行平台的迅速发展和广泛应用,构件运行平台要提供的功能越来越多,导致其自身的结构越来越复杂。因此如何设计一种良好的体系结构,保持构件运行平台的灵活性和扩展性成为一项挑战。本文提出一种良构可扩展的构件运行平台容器系统。基于该系统,构件运行平台在保持其结构模块化和灵活性的同时,其功能可以容易地被进行扩展和定制,以满足不同用户的需求和适应动态多变的环境。

关键词：计算机软件与理论构件容器良构关注点分离

来源：评论

学校读者我要写书评

暂无评论

对卡通风格视频通讯的探讨

对卡通风格视频通讯的探讨

引用

第三届和谐人机环境联合学术会议（HHME2007）

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

实时的视频通讯正在成为一种重要的通讯方式。较大的视频数据量和有限的传输带宽成为视频通讯系统要解决的一对矛盾。本文对卡通风格的视频通讯进行了探讨。通过将一种视频卡通风格化技术应用于视频通讯系统,给用户提供了一种新的体验... 详细信息

实时的视频通讯正在成为一种重要的通讯方式。较大的视频数据量和有限的传输带宽成为视频通讯系统要解决的一对矛盾。本文对卡通风格的视频通讯进行了探讨。通过将一种视频卡通风格化技术应用于视频通讯系统,给用户提供了一种新的体验。设计了用户实验,和原始的视频进行主观质量的比较。实验结果表明,相同传输带宽下,卡通风格的视频可以提供更好而且更稳定的主观质量。

关键词：卡通风格视频人机交互主观质量

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：