韩旭

作品数：4被引量：24H指数：3
导出分析报告
供职机构：中国科学院研究生院更多>>
发文主题：动态描述逻辑MBD分布式诊断基于模型诊断离散事件系统更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《高技术通讯》《模式识别与人工智能》《电子学报》更多>>
所获基金：国家自然科学基金国家重点基础研究发展计划国家科技支撑计划国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于动态描述逻辑的服务组合及质量模型被引量：8
《电子学报》2010年第8期1923-1928,共6页万长林 韩旭 牛温佳 王文杰 史忠植 
国家自然科学基金(No.60775035;No.60903141;No.60933004;No.60970088);国家973重点基础研究发展计划(No.2007CB311004);国家863高技术研究发展计划(No.2007AA01Z132);国家科技支撑计划(No.2006BAC08B06);中国科学院研究生院院长基金(No.O85101JM03)
本文提出一个基于动态描述逻辑的Web服务自动组合框架.在该框架中,Web服务自动组合被划分为逻辑层和实现层两部分,于是服务的自动组合问题在逻辑上归结为一个动作规划问题,在实现上归结为一个根据动作选择具体服务的服务选择问题.基于...
关键词：服务质量 动态描述逻辑 服务选择 服务组合 分治算法 
基于主体的软件的故障诊断系统eHealer被引量：1
《高技术通讯》2010年第4期379-385,共7页张冬蕾 韩旭 史忠植 
863计划(2007AA01Z132);973计划(2003CB317004,2007CB311004);国家自然科学基金(90604017,60435010,60775035);国家科技支撑计划(2006BAC08B06)资助项目
提出了一种通过监控多主体系统中各主体之间的消息通信定位故障主体的故障诊断方法。对于在多主体平台上运行的应用软件系统,首先对其功能进行建模,进而对其行为进行建模,然后在软件实际运行过程中捕获其中多个主体之间的通信消息及各...
关键词：故障诊断(MAS) 多主体系统 系统功能模型 主体行为模型 比较诊断算法 
基于语境和动作推理的语义Web服务发现被引量：6
《模式识别与人工智能》2010年第1期65-71,共7页牛温佳 常亮 王晓峰 韩旭 史忠植 
国家863计划项目(No.2007AA01Z132);国家973计划项目(No.2007CB311004);国家自然科学基金项目(No.60775035;60435010;60903079);国家科技支撑计划项目(No.2006BAC08B06)资助
在语义Web服务发现中,服务本身及用户所处的语境是不可忽视的因素.针对现有服务发现方法的不足,给出一种基于语境和动作推理的语义Web服务发现方法.该方法通过建立基于动作的语境模型来刻画静态和动态的语境信息,利用动态描述逻辑中的...
关键词：语义WEB服务 服务发现 语境 动作推理 动态描述逻辑(DDL) 
基于模型诊断的研究进展被引量：10
《高技术通讯》2009年第5期543-550,共8页韩旭 史忠植 林芬 
863计划(2007AA01Z132);973计划(2003CB317004;2007CB311004);国家自然科学基金(90604017;60775035;60435010);国家科技支撑计划(2006BAC08B06)资助项目
通过对诊断对象模型、主要诊断方法和聚焦策略的分析和阐述,系统地总结和综述了近年来基于模型诊断的主要研究内容和方法,介绍和比较了3组诊断对象模型,即定性与定量模型、静态与动态模型、确定与概率模型,并针对近几年的研究热点,重点...
关键词：基于模型诊断(MBD) 反绎诊断 分布式诊断 离散事件系统 聚焦策略 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部