您的位置: 专家智库 > >

国家高技术研究发展计划(2007AA01Z132)

作品数:22 被引量:182H指数:7
相关作者:史忠植王文杰韩旭何清常亮更多>>
相关机构:中国科学院中国科学院研究生院燕山大学更多>>
发文基金:国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划更多>>
相关领域:自动化与计算机技术化学工程更多>>

文献类型

  • 22篇中文期刊文章

领域

  • 22篇自动化与计算...
  • 1篇化学工程

主题

  • 7篇描述逻辑
  • 6篇动态描述逻辑
  • 3篇语义WEB服...
  • 3篇网构软件
  • 2篇基于本体
  • 2篇故障诊断
  • 2篇服务质量
  • 2篇本体
  • 2篇标签
  • 1篇电力
  • 1篇电力负荷
  • 1篇动态属性
  • 1篇信任
  • 1篇信任模型
  • 1篇性质分析
  • 1篇学习算法
  • 1篇引擎
  • 1篇语境
  • 1篇语义
  • 1篇语义WEB

机构

  • 19篇中国科学院
  • 17篇中国科学院研...
  • 2篇燕山大学
  • 1篇桂林电子科技...
  • 1篇湘潭大学
  • 1篇山东工商学院
  • 1篇东方电子集团...
  • 1篇黑龙江省电力...

作者

  • 19篇史忠植
  • 6篇王文杰
  • 4篇何清
  • 4篇韩旭
  • 3篇林芬
  • 3篇常亮
  • 3篇万长林
  • 2篇胡宏
  • 2篇刘超
  • 2篇张冬蕾
  • 2篇王竹晓
  • 2篇陈立民
  • 2篇赵卫中
  • 2篇牛温佳
  • 2篇张大鹏
  • 1篇庄福振
  • 1篇施智平
  • 1篇邱莉榕
  • 1篇刘仲尧
  • 1篇马慧芳

传媒

  • 3篇计算机研究与...
  • 3篇模式识别与人...
  • 3篇计算机学报
  • 3篇高技术通讯
  • 2篇电子学报
  • 1篇科学通报
  • 1篇系统工程理论...
  • 1篇计算机应用研...
  • 1篇计算机仿真
  • 1篇计算机工程与...
  • 1篇计算机科学
  • 1篇High T...
  • 1篇智能系统学报

年份

  • 1篇2012
  • 3篇2011
  • 10篇2010
  • 5篇2009
  • 3篇2008
22 条 记 录,以下是 1-10
排序方式:
基于本体的语义Web服务QoS描述和发现被引量:9
2011年
WS-QMO是提出的一个用来对Web服务及其QoS信息进行建模和发现的顶层本体,它既可用于对服务QoS信息的描述和发布,也可用于对服务QoS需求的描述.WS-QMO本体基本满足了当前对Web服务QoS语义建模的普遍要求,并且由于适当地加入SWRL规则,它不但可以灵活地自定义单个QoS属性,描述一个QoS属性在不同条件下的不同取值,还可以定义复杂的组合QoS属性.相对同类本体或描述语言,它能更好地描述具有复杂约束规则的QoS属性,同时尽量利用现有的成熟规范使其定义式更为简洁.最后给出了基于该本体的QoS知识库的管理方法以及一个新的自动服务发现算法,该算法仅使用描述逻辑推理机的功能便可实现复杂约束的QoS自动服务发现,使得基于WS-QMO的Web服务建模和发现同时具备较好的描述能力和执行效率.
万长林史忠植胡宏张大鹏
关键词:语义WEB服务服务质量本体描述逻辑
Adaptive associative classification with emerging frequent patterns
2012年
Wang XiaofengZhang DapengShi Zhongzhi
关键词:自适应支持向量机动态属性资源分类
语义Web服务组合中的服务建模及规划算法被引量:3
2009年
Web服务的语义建模是指对Web服务的属性、功能和结构等进行语义描述,使用户能够对服务自动地定位、选择、使用和组合.本文以动作理论和描述逻辑为基础对服务的逻辑层信息(控制流和数据流)进行语义建模,用带前提和结果的原子动作描述简单服务,复杂动作描述组合服务的控制流,服务间的依赖关系描述数据流,并提出一个基本的Web服务自动组合框架.在该框架中,Web服务自动组合被划分为逻辑层和实现层2部分,于是服务的自动组合问题在逻辑上归结为一个动作规划问题,在实现上归结为一个根据动作选择具体服务的服务选择问题.最后给出一种新的自动组合规划算法,该算法充分考虑了语义推理和智能规划的结合,在对问题的描述能力和运行效率上做了较好的平衡.
万长林陈立民王竹晓王文杰史忠植
关键词:语义WEB动态描述逻辑自动服务组合
基于可能世界的网构软件模型及可信性研究被引量:1
2010年
为了解决网构软件的应用建模中发生的主观逻辑冲突问题,首先从认识论入手,提出了影子实体的概念,将逻辑冲突归结为实体内涵的不一致所致;为了解决影子实体的自身安全问题,引入了可能世界理论,给出了一种可能世界的语义学解释,并在可能世界的基础之上构建了软件实体交互模型。然后,结合形式概念分析技术,提出了信任格的概念。最后,讨论了信任模型的几点应用,证明了资源分配公平存在性定理,在资源分配问题上为阿罗不可能定理提供了新的解决方案,进而表明主观逻辑冲突问题是可解的。
刘超王文杰
关键词:网构软件
基于本体的文本分类方法被引量:6
2009年
文本分类是智能科学研究中的重要问题,如何能使分类结果更精确一直是研究的重点。本体技术兴起之后,利用本体作为词典,从而在语义上进行扩展的方法使分类的精确度有了改善。但是,本体自身的结构并没有得到应用,多类别多标签的分类也没有因此得到大幅度改进。作为领域内公认的概念体系,本体自身的结构也是一种非常好的分类标准,为多类别多标签的分类提供了很好的载体。针对多类别多标签分类问题,提出了以本体为类别指导,基于模糊数学规划思想的分类方法。将本体概念作为分类标准,将文本散列到相应的本体概念类别中,并给出其相关程度。实验验证了该方法能够做到更细致的分类结果,改善了多类别多标签分类的能力。此外,该方法还能够改善数据在语义W eb网中的传输效果。
张颖王文杰史忠植
关键词:文本分类本体
结构相似度稀疏编码及其图像特征提取被引量:5
2010年
将结构相似度引入到稀疏编码模型中,提出基于结构相似度的稀疏编码模型.基于该模型提取出图像的稀疏编码特征.实验结果表明,改进后的稀疏编码模型更好地保持了结构信息,更加符合人眼视觉系统特性.将文中提出的模型应用到特征提取中,可获得结构信息保持得更好的图像特征.
李志清施智平李志欣史忠植
关键词:特征提取结构相似度基函数图像重构
基于语境和动作推理的语义Web服务发现被引量:7
2010年
在语义Web服务发现中,服务本身及用户所处的语境是不可忽视的因素.针对现有服务发现方法的不足,给出一种基于语境和动作推理的语义Web服务发现方法.该方法通过建立基于动作的语境模型来刻画静态和动态的语境信息,利用动态描述逻辑中的动作推理实现语境推理,并在此基础上实现语境敏感的语义Web服务发现算法.案例研究及相关工作对比表明,与现有方法相比,文中方法在语境刻画和推理能力方面均有较优表现.同时实验结果也表明,在增加合理逻辑推理的时空开销的前提下,文中方法能为用户提供更符合需求的服务发现结果.
牛温佳常亮王晓峰韩旭史忠植
关键词:语义WEB服务语境
动态描述逻辑的Tableau判定算法被引量:44
2008年
动态描述逻辑在描述逻辑的基础上引入了动态维,用于描述和推理动态领域的知识,但目前缺少有效的判定算法作为支撑.文中以描述逻辑ALCO的动态扩展为例,构建出动态描述逻辑D-ALCO.以D-ALCO的构建过程为基础,将ALCO的Tableau算法、命题动态逻辑的Tableau算法以及对可能模型途径的处理有机地结合起来,给出了D-ALCO的Tableau判定算法,证明了算法的可终止性、可靠性和完备性.应用该算法,可以在采用开世界假设的情况下对D-ALCO中公式的可满足性进行判定.对于D-ALCQO、D-ALCQIO等具有更强描述能力的动态描述逻辑,可以对该算法扩展后得到相应的Tableau判定算法.
常亮史忠植邱莉榕林芬
关键词:动态描述逻辑TABLEAU算法可判定性
基于混合正则化的无标签领域的归纳迁移学习被引量:6
2009年
近年来迁移学习已经引起了越来越广泛的兴趣,签数据以及源领域数据是不同分布的分类问题,且建立一个归纳分类模型对新来的目标数据进行预测.首先分析了直推式迁移学习(transductive transfer learning)中存在的类别比例漂移问题,然后提出归一化的方法使得预测的类别比例接近于实际样本类别比例.更进一步,提出了一种基于混合正则化框架的归纳迁移学习算法.其中包括目标领域分布结构的流形正则化,预测概率的熵正则化,以及类别比例的期望正则化.这个框架被用于从源领域到目标领域学习的归纳模型中.最后,在实际文本数据集上的实验结果表明,提出的归纳迁移学习模型是有效的,同时该模型可以直接对新来的目标数据进行预测.
庄福振罗平何清史忠植
关键词:直推式学习
基于动态描述逻辑的语义Web服务推理被引量:55
2008年
语义Web服务的提出是为了解决Web服务资源在语义Web中的自动发现、组合和执行等问题,基本思路是将本体承载的静态知识与对Web服务动态功能的描述有机地结合起来.动态描述逻辑是描述逻辑的一种动态扩展,支持面向语义Web的对动作的描述和推理.文中利用动态描述逻辑DDL(SHOIN(D))的描述和推理功能,提出对语义Web服务进行建模和推理的一种有效途径.从OWL-S中的Process Model出发,将语义Web服务建模为基于DDL(SHOIN(D))的动作理论,其中,对应于Process Model中的原子过程,可以对输入、输出、局部变量、前提条件、结果等多个方面进行建模;对应于Process Model中的复合过程,可以相应地对数据流以及顺序、选择、乱序、条件、迭代、循环等控制结构进行刻画.以建模后得到的动作理论为基础,应用动态描述逻辑的推理机制,可以分别对语义Web服务的可实现性、可执行性、投影、规划等问题进行推理.这些推理功能为语义Web服务的自动发现和自动组合提供了有效的支持.
史忠植常亮
关键词:语义WEB服务OWL-S动态描述逻辑
共3页<123>
聚类工具0