韩旭
- 作品数：4 被引量：25H指数：3
- 供职机构：中国科学院研究生院更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家科技支撑计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于动态描述逻辑的服务组合及质量模型被引量：8
- 2010年
- 本文提出一个基于动态描述逻辑的Web服务自动组合框架.在该框架中,Web服务自动组合被划分为逻辑层和实现层两部分,于是服务的自动组合问题在逻辑上归结为一个动作规划问题,在实现上归结为一个根据动作选择具体服务的服务选择问题.基于该框架,本文给出了一个支持非线性QoS聚合和显式数据流声明的QoS模型.得益于合理的服务组合框架和QoS模型,本文提出的服务选择方法可以将复杂服务分解为较小的服务,然后分别用递归的剪枝算法求解.实验显示该方法是有效的,不但可适应候选Web服务数量较大的情况,且相对于现有方法能更好地处理服务组合中的复杂结构.
- 万长林韩旭牛温佳王文杰史忠植
- 关键词：服务质量动态描述逻辑分治算法
- 基于语境和动作推理的语义Web服务发现被引量：7
- 2010年
- 在语义Web服务发现中,服务本身及用户所处的语境是不可忽视的因素.针对现有服务发现方法的不足,给出一种基于语境和动作推理的语义Web服务发现方法.该方法通过建立基于动作的语境模型来刻画静态和动态的语境信息,利用动态描述逻辑中的动作推理实现语境推理,并在此基础上实现语境敏感的语义Web服务发现算法.案例研究及相关工作对比表明,与现有方法相比,文中方法在语境刻画和推理能力方面均有较优表现.同时实验结果也表明,在增加合理逻辑推理的时空开销的前提下,文中方法能为用户提供更符合需求的服务发现结果.
- 牛温佳常亮王晓峰韩旭史忠植
- 关键词：语义WEB服务语境
- 基于模型诊断的研究进展被引量：10
- 2009年
- 通过对诊断对象模型、主要诊断方法和聚焦策略的分析和阐述,系统地总结和综述了近年来基于模型诊断的主要研究内容和方法,介绍和比较了3组诊断对象模型,即定性与定量模型、静态与动态模型、确定与概率模型,并针对近几年的研究热点,重点阐述了分布式系统和2类动态系统——时间驱动型系统和事件驱动型系统的相应诊断方法,同时分析了基于优先序的策略、基于删剪条件的策略、基于层次的策略和基于分治的策略这4类聚焦策略,最后对今后的主要研究方向进行了总结和展望。
- 韩旭史忠植林芬
- 关键词：分布式诊断离散事件系统
- 基于主体的软件的故障诊断系统eHealer被引量：1
- 2010年
- 提出了一种通过监控多主体系统中各主体之间的消息通信定位故障主体的故障诊断方法。对于在多主体平台上运行的应用软件系统,首先对其功能进行建模,进而对其行为进行建模,然后在软件实际运行过程中捕获其中多个主体之间的通信消息及各类事件,通过设计的诊断算法与软件行为模型进行匹配和比较,通过推理发现运行过程中出现故障的主体及其某个异常行为,从而实现对软件系统的故障进行定位和诊断。在此基础上,实现了一个原型系统eHealer。实验表明,该方法能够准确定位多主体软件系统中agent级别的故障,与已有方法相比,具有实时性强、定位准确、普适性好的优点,为进一步选择故障恢复策略提供了有效的信息。
- 张冬蕾韩旭史忠植
- 关键词：多主体系统
