国家自然科学基金(60573076)
- 作品数：30 被引量：104H指数：5
- 相关作者：胡山立陈晓云赖贤伟李少芳宁正元更多>>
- 相关机构：福州大学福建农林大学莆田学院更多>>
- 发文基金：国家自然科学基金福建省自然科学基金教育部“新世纪优秀人才支持计划”更多>>
- 相关领域：自动化与计算机技术理学自然科学总论更多>>
- 模糊交互时态逻辑及其语义结构被引量：2
- 2008年
- Alur等人建立的交互时态逻辑(ATL*)是一种重要的多Agent合作逻辑,它对计算树逻辑(CTL*)进行了合作算子拓展,然而它缺乏对不确定时态信息的刻画。通过考察模糊时态事件和模糊时态状态、描述相对时间来改进并发博弈结构,并给出模糊并发博弈结构;把模糊并发博弈结构的若干要件从相对时间域到绝对时间域进行映射,给出已映射模糊并发博弈结构;建立了模糊交互时态逻辑(FATL*),给出其语法,在已映射模糊并发博弈结构下给出其语义;阐述了FATL*的表达力比ATL*强。
- 王秀丽宁正元胡山立赖贤伟
- 关键词：表达力
- 基于多子集语义的并发Agent模型
- 在某个时间段里,如果有多个进程同时运行,则称为并发。在多Agent系统(MAS)环境下,并发行为广泛存在而且尤为重要。这些并发行为可以分为相关和不相关两类,在Agent合作或竞争的情形下,存在大量相关的并发行为,Agen...
- 柯有敏胡山立
- 关键词：多AGENT系统并发AGENT模型
- 文献传递
- 一种在Multi-Agent系统中协调形成策略的框架
- 2008年
- 通过对BDI属性的刻画让Agent个体理智行为是多Agent系统中研究的一个重要方向。为了在开放系统中理智行为,模型在传统BDI逻辑的基础上结合了ATL语言中的一些概念。进一步地,为了体现Agent个体的自主性,分别定义了环境状态转换函数与私人状态转换函数。在该框架中,Agent个体通过一些必要的步骤,就可以适应环境,计算出更有助于自己达到目标的策略。
- 林耀海胡山立骆剑彬
- 关键词：BDIATL一致性
- 一种基于角色解决方案的多Agent合作问题求解模型
- 2006年
- 传统基于角色的方法大都缺少对合作问题求解的具体考虑.结合角色和团队形成机制提出了一种基于角色解决方案的合作问题求解模型.其新颖之处在于将角色解决方案与团队结合起来,致力于分析、设计和实现合作问题求解.深入研究了复杂的CPS循环过程,并给出了一种基于角色解决方案的CPS算法过程.以角色解决方案和团队的观点试图解决传统的合作问题求解过程,提高了对多Agent应用系统的理解,并为多Agent系统的分析与设计人员提供参考.
- 林新建胡山立
- 任一时间面向任务联盟结构生成算法被引量：2
- 2008年
- 联盟形成是多Agent系统中的一个关键问题。目前,大多数学者都在CFG下研究联盟结构生成问题。然而,在很多实际应用中,联盟的形成往往是为了完成任务集中某些任务。但是,在CFG中并没有把联盟和任务一起考虑。显然,加入任务后,问题将变得更复杂。Dang等人已经证明,这是个NP难问题,并且要建立最坏情况下的限界K(n,m),搜索面向任务联盟结构集合L1、L2(除{(A,Φ),(Φ,T)})是必要且充分的,接着提出一个限界具有保证的任一时间算法。本文深刻分析了面向任务联盟结构间的关系,引入更小的搜索粒度(面向任务势结构),提出一种新的任一时间搜索算法;在搜索完最小搜索之后,进一步搜索CTS集合CTS(n,m,b)对应的部分面向任务联盟结构,渐进给出越来越低的限界,大大改进了Dang等人的工作。
- 骆剑彬胡山立苏射雄林耀海
- 关键词：多AGENT系统联盟结构势结构
- 图像分类方法比较研究被引量：5
- 2007年
- 近年来随着多媒体技术的发展,图像分类技术受到普遍的关注,且采用的方法以机器学习方法为主。但由于图像媒体的特殊性,在关系数据或文本数据中比较成功的分类算法应用到图像数据时,分类准确率往往比较低。我们选择了几个常用的分类算法,通过分析比较它们应用于不同图像特征时的分类结果,以此发现各个算法在解决图像分类的不足之处,并针对不足之处提出图像分类的改进思想。
- 杨杰陈晓云
- 关键词：图像分类BP网络SVM
- 基于势结构的给定限界的联盟结构生成算法被引量：1
- 2009年
- 联盟结构生成是多agent系统中的一个关键问题。Sandholm等人证明了要建立最坏情况下的限界k,搜索联盟结构图的最底两层是必要且是充分的,如何进一步搜索是一个长期以来未能解决的问题。当实际应用提出最坏情况的具体限界要求时,如何通过部分的搜索达到这个限界?胡山立和石纯一给出了一种以层为单位的最优搜索算法,Dang等人和苏射雄等人给出了以势结构为单位的联盟结构生成算法。新算法MCCS提出在搜索最底两层及顶层后,搜索势结构集合MCCS(n,k)对应的联盟结构,以更少的势结构达到给定限界k。实验表明,在已有的算法中其所搜索的势结构最少,具有一定的理论和实践意义。
- 李少芳胡山立
- 关键词：联盟结构势结构
- 利用小波进行基于形状和纹理的图像分类被引量：9
- 2007年
- 提出一种基于小波的形状和纹理联合特征的图像分类方法。先对图像进行二维小波变换以得到边缘图像,再提取边缘图像的7个边界不变矩组成图像的形状特征向量;在实验中,发现大多数情况下,图像背景的干扰信息大于其对分类的贡献,因此对图像去除其背景,然后在灰度共现矩阵的基础上,计算5个二次统计量作为其纹理特征;最后联合形状和边缘特征向量,并对其进行高斯归一化,用SVM进行分类。结果表明,该方法具有明显的优越性和较强的实用性。
- 杨杰陈晓云徐荣聪
- 关键词：图像分类小波纹理特征不变矩
- 一种基于势结构分组思想的任一时间联盟结构生成被引量：4
- 2011年
- 联盟形成是多agent系统中的一个关键问题,找到最优的联盟结构是NP-完全的.Sandholm和Larson等人已经证明,要建立最坏情况下的限界k,搜索联盟结构图的最底两层是必要且是充分的.在搜索联盟结构图的最底两层之后如何进一步搜索,是个长期以来未能完全解决的问题.在任务分配等实际问题中,不同联盟存在同势同值的特征,或同势的2个联盟的值相差不大.研究了最优势结构生成问题,分析了基于势结构的分组思想,并提出一个以势结构为搜索单位的新的任一时间联盟结构生成算法.算法在最小搜索之后给出进一步降低限界至2的搜索,也讨论了限界从2降到1的过程中由底向上的补充搜索.从搜索的势结构数和联盟结构数以及达到的限界上明显优于由Sandholm和Dang等人给出的算法,是基于势结构的联盟生成问题的一个重要进展.
- 李少芳胡山立石纯一
- 关键词：多AGENT系统联盟结构势结构
- 基于斜率提取边缘点的时间序列分段线性表示方法被引量：49
- 2006年
- 本文引入解析几何中的斜率,提出了一种新颖的基于斜率提取边缘点的时间序列分段线性表示方法SEEP。对于斜率变化范围比较集中的时间序列,SEEP表示方法有着非常好的效果,与以往的分段线性表示方法相比,SEEP表示方法与原始时间序列之间的拟合误差更小,而且要小很多;对于斜率变化范围比较大的时间序列,SEEP表示方法与原始时间序列之间的拟合误差,和以往的分段线性表示方法相比,也相差不大,并且SEEP表示方法计算简单,易于实现。算法的时间复杂度仅为O(n)。
- 詹艳艳徐荣聪陈晓云
- 关键词：时间序列分段线性表示压缩率
