朱锐
- 作品数：13 被引量：89H指数：3
- 供职机构：国防科学技术大学计算机学院更多>>
- 发文基金：国家重点基础研究发展计划国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- InforSIB事件代数的形式化框架与代数性质
- 复合事件处理对系统多节点处以及系统外部生成的大量的、连续到达的事件，通过规则匹配、推理等方法对事件模式进行检测，连续输出经过组合后的复合事件，以触发相应的后继处理。事件查询语言是规约事件模式的声明性语言，事件代数决定了事...
- 刘家红朱锐滕猛吴泉源
- 关键词：代数性质数据库
- 文献传递
- 基于CORBA的分布式系统零风险动态部署
- 面向服务的分布式应用系统一方面提升了系统的可扩展性和可成长性,同时又带来了系统管理和维护的复杂化.本文提出了一种"零风险"的分布式对象系统动态部署技术,并详细讨论了相关概念、原理和实现的关键技术.
- 朱锐杨树强王怀民
- 关键词：截获器系统管理
- 文献传递网络资源链接
- Mashup研究与进展
- Mashup是一种数据集成技术,它通过汇聚多个信息源的信息来创建新的Web应用,具有Web2．0的特点。本文系统地介绍了这一崭新领域的理论研究和应用进展情况,并对Mashup中资源分类及获取、Mashup工具、资源匹配、...
- 朱锐郭长国王怀民
- 关键词：WEB2.0数据集成技术
- InforSIB事件代数的形式化框架与代数性质
- 2010年
- 复合事件处理系统多节点处以及系统外部生成的大量的、连续到达的事件,通过规则匹配、推理等方法对事件模式进行检测,连续输出经过组合后的复合事件,以触发相应的后继处理。事件查询语言是规约事件模式的声明性语言,事件代数决定了事件查询语言的表达能力,同时也间接影响了事件检测的性能。因此,在权衡检测性能与事件查询语言的表达能力时,深入分析事件代数是非常重要的手段。基于White事件代数,扩展了事件代数的形式化框架,在形式化框架中考虑复合事件在更精细的时间关系下的语义定义,以增强事件代数的表达能力,同时考虑与应用相关的事件选择和消费策略-上下文策略,以提高事件检测的性能。讨论了InforSIB事件代数的代数性质,提出的上下文策略非常适合用于实时监控等领域,且具有良好的代数性质,保证了复合事件检测的时间和空间复杂度是有界的。
- 刘家红朱锐滕猛吴泉源
- 关键词：代数性质
- 可信服务组合研究综述被引量：2
- 2010年
- 系统形态正从面向封闭的、熟识用户群体和相对静态的形式向开放的、公共可访问的和动态协作的服务模式转变。实体之间存在很大的陌生性,信任保障机制作用就显得举足轻重。本文从可信的角度对服务组合面临的挑战进行了综述,阐述了可信服务组合的基本概念、核心技术,比较全面地概括、分析了可信服务选取、组合服务运行保障机制、安全交互机制以及服务组合可信度评估等几个方面的研究内容,并对这些技术进行了总结和比较。此外,还指出了目前研究存在的不足以及未来的发展趋势。
- 朱锐王怀民
- 一种基于补偿代价的长事务调度算法被引量：12
- 2009年
- 服务组合应用中的事务具有较长的生命周期,一个事务被划分成多个分布的子事务.补偿机制是保证长事务原子性的一种有效方法,允许在语义上逆转一个已提交子事务的结果.然而,补偿的代价可能是巨大的.针对该问题,在分析并定义事务补偿代价的基础上,提出一种子事务延迟提交算法――STCD(subtransactions committingdelay)算法,与传统子事务执行后立即提交的方法相比,STCD算法允许某个全局事务的子事务在提交前根据自身的补偿代价和全局事务的运行状态动态确定提交时间,使可能的补偿操作变更为回滚操作.算法的正确性得以证明.模拟实验结果表明,在事务失败时,STCD算法可以有效地减少补偿活动的数目,降低补偿代价.
- 朱锐郭长国王怀民
- 关键词：长事务补偿事务
- 大规模事务处理系统中动态部署的研究与实现
- 当今,信息系统向分布式演变,复杂程度越来越高。例如,单个服务器的吞吐率和可用性已经成为瓶颈问题,为了提高系统的性能和可用性,许多分布式应用需要采用冗余服务技术,这增加了系统和管理的复杂性;又例如,系统需要适应应用需求的变...
- 朱锐
- 关键词：管理中间件截获器
- 代价驱动的服务组合
- 2010年
- 互联网环境的开放性、自治性和动态性给基于互联网的资源共享与应用集成带来了新的挑战。在组合服务运行过程中服务质量保证和可靠性等研究方面,服务冗余技术、流程重构技术是非常重要的容错手段,但是目前尚存在着容错开销过大、难以满足实时性要求以及流程重构策略缺乏可行性等问题。服务容错技术是保证组合服务QoS和带来额外开销(代价)的一个权衡。在分析冗余技术、流程重构可能带来的高额容错代价后,提出用于减少容错代价的组合服务拆分原则,遵循该原则有助于组合服务设计者选择合适的组件服务粒度并降低服务间的耦合度。模拟实验表明,提出的方法有助于提高组合服务的可靠性并降低失效容错代价。
- 朱锐王怀民唐扬斌
- 关键词：服务粒度可靠性容错
- InforSIB事件代数的形式化框架与代数性质
- 复合事件处理对系统多节点处以及系统外部生成的大量的、连续到达的事件,通过规则匹配、推理等方法对事件模式进行检测,连续输出经过组合后的复合事件,以触发相应的后继处理。事件查询语言是规约事件模式的声明性语言,事件代数决定了事...
- 刘家红朱锐滕猛吴泉源
- 关键词：事件代数代数性质
- 文献传递
- 基于用户协作的新闻共享模型
- 2011年
- 如何从互联网已有海量信息中为用户推荐符合其兴趣的新闻是一项极具挑战的工作。门户网站式的传统新闻传播方法没有考虑用户的个性化需求,因而无法给出合适的推荐。本文提出了一种基于用户协作的新闻共享模型,通过浏览器插件收集用户的浏览行为、分析用户对网页的隐性评价,并结合协同过滤算法实现相似用户间的新闻推荐。在原型系统中验证了本文所提方法的有效性,并分析了推荐算法的性能。
- 冯大为朱锐王怀民
- 关键词：浏览行为用户兴趣协同过滤
