沈锐
- 作品数：10 被引量：9H指数：2
- 供职机构：国防科学技术大学更多>>
- 发文基金：国家重点基础研究发展计划国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 发布/订阅系统中基于属性分组的匹配结构被引量：2
- 2011年
- 在基于内容的发布/订阅系统中,每个订阅通常含有某几个属性,并且一些属性经常在订阅中同时出现。根据该情况,在一个多维结构和多个一维结构的基础上,提出一种基于属性分组的匹配结构。属性分组把所有事件模型中的属性分为多个组,每个组包含经常在订阅中同时出现的属性,基于此设计索引结构并构建覆盖网。实验结果表明,该匹配结构可在系统负载和带宽开销上取得较好的平衡。
- 张圣栋沈锐
- 具备长事务特征服务接口的验证方法
- 本发明公开了一种具备长事务特征服务接口的验证方法，要解决的技术问题是：提出一种针对具备长事务特征服务接口的验证方法来验证服务接口是否满足关键性质，以避免语义层面的验证所面临的状态爆炸问题。技术方案是先使用自动机和函数来定...
- 王戟陈振邦沈锐张圣栋沈思琪樊沛
- 文献传递
- 发布订阅系统中基于属性流行度的事件匹配方法
- 本发明公开了一种发布订阅系统中基于属性流行度的事件匹配方法，目的是解决基于结构化对等网络的发布订阅系统的事件匹配问题。技术方案是先根据应用的历史数据获得发布订阅系统中各个属性的流行度，并把流行度超过<I>k</I>的属性...
- 王戟张圣栋沈锐沈思淇
- 文献传递
- 基于网络感知的容错志愿计算
- 2011年
- 针对志愿计算系统中节点分布在不同地理位置的特性,分析了传统主-从计算模型在志愿计算系统中的缺陷,提出了基于网络感知的容错志愿计算模型,该模型考虑了节点的网络因素,将节点划分到不同的子集中,基于该模型能够处理由于网络因素造成的故障。另一方面对传统的覆盖容错策略进行了改进并将其应用到容错志愿计算中。实验结果表明,基于网络感知的模型和改进覆盖容错策略能够显著地提高志愿计算系统的可靠性和性能。
- 樊沛沈锐
- 关键词：志愿计算网络感知容错
- 发布订阅系统中的拒绝服务攻击
- 2011年
- 针对发布订阅系统中的拒绝服务攻击,提出一种有效的订阅合并方法。不同于现有订阅合并方法,该方法要求合并的订阅具有一定的相似性,因而可以减少合并后事件转发带宽开销。订阅相似性判断根据它在每个属性上约束范围的大小和位置,采用两阶段的归组算法把相似订阅归组,把处于同一组的订阅合并。理论分析表明,该方法时间复杂度低,可以根据节点负载情况动态控制合并粒度,因而可以有效解决拒绝服务攻击的问题。实验结果表明,该方法只增加少量的事件转发带宽开销。
- 张圣栋沈锐
- 关键词：发布订阅系统拒绝服务攻击时间复杂度
- 面向Agent程序设计语言SLABSp的设计与实现
- 面向Agent程序设计是Agent理论与技术研究的核心内容之一,是继面向对象程序设计之后重要的新一代程序设计方法,能应用在Internet、人机界面、机器人/自主飞行器和星际探测器等领域。如何用程序有效描述具有自治性、主...
- 沈锐
- 关键词：族类多AGENT系统编译器
- 具备长事务特征服务接口的验证方法
- 本发明公开了一种具备长事务特征服务接口的验证方法，要解决的技术问题是：提出一种针对具备长事务特征服务接口的验证方法来验证服务接口是否满足关键性质，以避免语义层面的验证所面临的状态爆炸问题。技术方案是先使用自动机和函数来定...
- 王戟陈振邦沈锐张圣栋沈思琪樊沛
- 发布订阅系统中基于属性流行度的事件匹配方法
- 本发明公开了一种发布订阅系统中基于属性流行度的事件匹配方法，目的是解决基于结构化对等网络的发布订阅系统的事件匹配问题。技术方案是先根据应用的历史数据获得发布订阅系统中各个属性的流行度，并把流行度超过k的属性赋给属性集合M...
- 王戟张圣栋沈锐沈思淇
- 虚拟计算环境中基于资源池的资源聚合机制被引量：6
- 2009年
- 虚拟计算环境中存在着极为丰富的资源,但由于其系统的动态性与自治性特点非常突出,系统服务质量很难得到保证。本文提出一种基于资源池的资源聚合方法,即根据应用需求将所需资源聚合成资源池,并以资源池的形式为用户提供服务,使得在任务执行过程中即使部分节点由于系统故障、超载等原因中途退出任务处理,用户的服务请求仍能得到处理和响应。此外,该方法结合负载均衡,优化了资源节点的选择与资源池的构建,从而有效地提高了系统服务质量。
- 樊华沈锐王戟
- 关键词：虚拟计算环境资源池服务质量
- Internet资源动态分配的分布计算模型及其系统支撑技术
- 2011年
- Internet资源的动态性使得资源分配问题已成为阻碍Internet资源获得充分利用的一大难题.为方便用户进行Internet应用开发,提出了一个资源动态分配的分布计算模型以及相关的分布处理算法.首先,通过分析Internet资源的动态性,分别从资源申请者和资源提供者的角度给出了资源分配过程中哪些特性是不变的;然后,基于资源分配过程中的不变特性,定义了资源使用时的接口描述,提出了适应资源动态变化的分布资源的组织模型和动态资源分配计算模型;研究了支持上述模型的系统支撑技术,提出了相应的分布式资源分配算法;另外,定义了优质服务节点并给出了优质服务节点选择算法,并且通过实验证明优质节点选择算法可以有效地降低服务请求被拒绝的比例;基于上述模型和系统支撑技术实现了两类Internet应用,验证了模型和算法的有效性.
- 彭宇行吴吉庆沈锐
- 关键词：分布计算INTERNET资源动态资源分配
