您的位置: 专家智库 > >

中央高校基本科研业务费专项资金(09NZYZJ02)

作品数:2 被引量:2H指数:1
相关作者:钟勇周绪川蔡利平更多>>
相关机构:西南民族大学中国科学院成都计算机应用研究所更多>>
发文基金:中央高校基本科研业务费专项资金四川省科技攻关计划更多>>
相关领域:自动化与计算机技术自然科学总论更多>>

文献类型

  • 2篇中文期刊文章

领域

  • 1篇自动化与计算...
  • 1篇自然科学总论

主题

  • 1篇形式化
  • 1篇形式化方法
  • 1篇形式化描述
  • 1篇形式化描述方...
  • 1篇异常检测
  • 1篇智能体
  • 1篇智能体系统
  • 1篇数据挖掘
  • 1篇可判定性
  • 1篇多智能
  • 1篇多智能体
  • 1篇多智能体系
  • 1篇多智能体系统
  • 1篇分布式

机构

  • 2篇西南民族大学
  • 2篇中国科学院成...

作者

  • 2篇周绪川
  • 2篇钟勇
  • 1篇蔡利平

传媒

  • 1篇计算机工程
  • 1篇计算机工程与...

年份

  • 2篇2011
2 条 记 录,以下是 1-2
排序方式:
集成学习分布式异常检测方法被引量:2
2011年
研究了基于模型共享的集成学习分布式异常检测模型,采用多数投票、边界扩展、平均叠加和距离加权4种不同的集成学习方法得到全部的局部模型;采用交换本地数据挖掘模型的方式来实现数据共享,从而构造出一个总体的集成学习模型。从全局的观点检测异常,减少了集中式检测所需数据的传输量,有效保护了数据提供者的隐私性。仿真实验结果表明,该方法的检测性能与集中式检测的性能相当,甚至更好。
周绪川钟勇
关键词:数据挖掘分布式异常检测
机会发现在多智能体系统中的形式化描述方法
2011年
针对多智能体系统(MAS)中执行决策的非确定性问题,研究结合时态/模态逻辑及机会发现理论,引入基于Kripke结构的复合逻辑Lk,用于Agent的知识系统(全局知识、局部知识)及机会发现的形式化描述,为实现动态并发环境中MAS的系统协作行为建模及自动决策推理提供依据。给出Lk的结构及语义,证明了Lk的可判定性,且计算可在多项式级时间复杂度内实现。
周绪川钟勇蔡利平
关键词:多智能体系统形式化方法可判定性
共1页<1>
聚类工具0