国家自然科学基金(60775035)
- 作品数：14 被引量：131H指数：6
- 相关作者：史忠植陈立民窦全胜常亮林芬更多>>
- 相关机构：中国科学院中国科学院研究生院山东工商学院更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术化学工程更多>>
- 一种新的Web异构语义信息搜索方法被引量：11
- 2008年
- 相关排序是Web搜索的关键技术之一.为提高相关排序的准确性,保证搜索结果的语义相关性,语义搜索研究引入了由不同语义模型所表示的各种语义信息,如词典、语义标记、社会标注等.为了结合各类语义信息进行搜索,提出了一种新的Web异构语义信息搜索方法,给出了语义相关概率的定义,提出了一种基于统计的语义相关度计算方法,同时利用现有的关键词和语义搜索引擎,实现了结合关键词和异构语义信息的Web搜索.初步实验证明该方法可以融合关键词信息和用多种模型表示的语义信息,有效实现Web异构语义搜索.
- 黄瑞史忠植
- 关键词：语义搜索语义WEB大众分类法社会标注
- 基于动态描述逻辑的Web服务自动组合技术被引量：3
- 2011年
- 提出了一种利用动态描述逻辑（DDL）的动态推理自动组合Web服务的方法。DDL是描述逻辑（DL）的一种动态扩展，它结合本体提供的静态信息与Web服务提供的计算，统一地描述和推理Web环境中静态信息与动态知识。该方法充分利用Web服务组合中涉及的静态知识（如描述逻辑知识库刻画的领域公理、具体环境和用户需求等）和动态知识（DDL中动作刻画的Web服务的功能），将Web服务组合的问题归约为DDL公式的可满足性问题，并通过一个可判的表扩展算法解决。开发了基于动态描述逻辑D—ALCHOQ的原型系统，并针对旅行代理问题的实验初步证实了该方法的可行性及潜在的应用前景。
- 陈立民王竹晓史忠植
- 关键词：WEB服务语义WEB动态描述逻辑
- 基于主体的智能协同决策支持系统被引量：6
- 2008年
- 当今社会下,决策过程必须的信息资源和必要的决策因素越来越多地分散在较大的活动范围内,传统的集中式的决策支持系统已经越来越无法满足这种分布式的需求.针对决策支持系统需求的现状和发展前景,首先简要分析了当今的决策支持系统应该具有的特性,然后提出了一种基于主体的智能协同决策支持系统的模型.该模型将不同领域的专家知识封装入多个主体推理机当中,并依靠这些主体推理机之间的协同与交互解决复杂的决策支持问题.最后结合具体的例子介绍了该系统在实际项目中的应用.
- 史忠植张子云
- 关键词：决策支持动态描述逻辑
- Adaptive associative classification with emerging frequent patterns
- 2012年
- Wang XiaofengZhang DapengShi Zhongzhi
- 关键词：自适应支持向量机动态属性资源分类
- 基于相容粒度空间的医学图像融合技术被引量：1
- 2010年
- 针对传统像素级图像融合方法割裂像素间联系的问题,将医学图像融合与粒度计算相结合,从粒度的角度研究医学图像融合技术,提出基于相容粒度空间的医学图像融合算法。该算法通过将待融合源图像进行小波变换,然后对小波系数构造多层次的相容粒度,最后选择合适的层次进行粒度融合并进行小波逆变换形成最终的融合图像。实验结果表明,该算法在MRI与MRA的图像融合中是有效的。
- 李志贵蒙祖强
- 关键词：医学图像融合小波变换磁共振成像磁共振血管成像
- 动态描述逻辑的Tableau判定算法被引量：44
- 2008年
- 动态描述逻辑在描述逻辑的基础上引入了动态维,用于描述和推理动态领域的知识,但目前缺少有效的判定算法作为支撑.文中以描述逻辑ALCO的动态扩展为例,构建出动态描述逻辑D-ALCO.以D-ALCO的构建过程为基础,将ALCO的Tableau算法、命题动态逻辑的Tableau算法以及对可能模型途径的处理有机地结合起来,给出了D-ALCO的Tableau判定算法,证明了算法的可终止性、可靠性和完备性.应用该算法,可以在采用开世界假设的情况下对D-ALCO中公式的可满足性进行判定.对于D-ALCQO、D-ALCQIO等具有更强描述能力的动态描述逻辑,可以对该算法扩展后得到相应的Tableau判定算法.
- 常亮史忠植邱莉榕林芬
- 关键词：动态描述逻辑TABLEAU算法可判定性
- 基于主体的软件的故障诊断系统eHealer被引量：1
- 2010年
- 提出了一种通过监控多主体系统中各主体之间的消息通信定位故障主体的故障诊断方法。对于在多主体平台上运行的应用软件系统,首先对其功能进行建模,进而对其行为进行建模,然后在软件实际运行过程中捕获其中多个主体之间的通信消息及各类事件,通过设计的诊断算法与软件行为模型进行匹配和比较,通过推理发现运行过程中出现故障的主体及其某个异常行为,从而实现对软件系统的故障进行定位和诊断。在此基础上,实现了一个原型系统eHealer。实验表明,该方法能够准确定位多主体软件系统中agent级别的故障,与已有方法相比,具有实时性强、定位准确、普适性好的优点,为进一步选择故障恢复策略提供了有效的信息。
- 张冬蕾韩旭史忠植
- 关键词：多主体系统
- 多主体协同电力负荷预测模型被引量：1
- 2012年
- 提出了基于多主体(Multi-Agents System,MAS)协同的电力负荷预测模型,将不同的预测模型封装在不同的Agent中,利用各Agent之间的通信、合作机制来共同完成预测问题的求解,以近似日模型、回归模型、神经网络模型和规则修订模型为基础,进行协同预测。并通过实验证明了协同预测模型不仅能达到较好的预测精度,同时预测结果相对稳定,对提高实际负荷预测精度具有很现实的意义。
- 安文窦全胜
- 关键词：负荷预测
- 基于动态描述逻辑的语义Web服务匹配研究被引量：28
- 2008年
- 动态描述逻辑(dynamic description logic,DDL)是描述逻辑(description logic,DL)的一种动态扩展,它支持语义Web环境下对动作的描述和推理.提出了一种基于动态描述逻辑的语义Web服务描述与服务匹配方法:将服务需求方的目标服务以及服务发布方的原子服务用动态描述逻辑的动作进行描述,解决了语义Web服务的一致的形式化表述问题;将目标服务和原子服务的匹配问题归结为动态描述逻辑的公式可满足性判定问题,利用动态描述逻辑对动作的推理功能,发现与目标服务相匹配的原子服务组合.动态描述逻辑的公式可满足性问题是可判定的,解决了利用一阶谓词逻辑进行逻辑推理时的不可判定性.
- 彭晖陈立民常亮史忠植
- 关键词：语义WEB服务描述逻辑动态描述逻辑
- 调和聚类-分类方法在电力负荷预测中的应用被引量：10
- 2012年
- 分类和聚类是数据挖掘中两个重要的研究领域,分类需要相关的先验知识,而聚类往往依据某种相似性测度,从数据本身来寻找其内在特征.在电力系统负荷预测过程中,依靠先验知识得到的分类结果与聚类结果之间并不协调.针对这一问题,文中给出了调和矩阵的定义,并在此基础上,提出调和聚类-分类算法,将该方法应用于电力系统负荷预测的样本分类中,实际结果表明,通过文中方法得到的分类结果更加客观和科学,预测结果的可靠性得到了保证.
- 窦全胜史忠植姜平马君华
- 关键词：聚类负荷预测
