陈武
- 作品数：14 被引量：21H指数：4
- 供职机构：西南大学计算机与信息科学学院更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金重庆市教育委员会人文社会科学研究项目更多>>
- 相关领域：自动化与计算机技术哲学宗教文化科学理学更多>>
- 基于良基语义的协商机制研究
- 2018年
- 在当今社会生活中,协商已渗透到人类活动的各个方面,自动协商一直是多Agent领域研究的热点之一.近年来,一些学者采用具有非单调特征的回答集程序表示Agent知识,通过回答集程序的相互更新实现协商.虽然目前已经提出一些基于回答集程序的方法来解决协商问题,但这些研究并没有充分考虑协商最优解和协商过程复杂性之间的平衡问题.寻找基于回答集程序的协商解实际上至少是一个NP-难的搜索问题,而回答集程序的良基语义模型在多项式时间内可以计算得到.因此,本文利用良基语义,结合信念修正的思想对协商过程进行优化,从而提出了一个基于良基语义的双边协商模型.该模型可有效缩短协商过程,实现协商最优解和协商过程复杂性之间的平衡.最后,本文通过实验验证了协商模型的有效性和适用性.
- 高龙云曾庆华陈武
- 关键词：信念修正双边协商
- 正则模型类的时态可定义性
- 2017年
- 正则模型是非正规模态逻辑的模型,通过定义正则模型的不相交并、C2t-互模拟、生成子模型、C2t-超滤扩张等模型上的运算,可以证明一个正则模型类在时态语言中可定义当且仅当它在不相交并、满C2t-互模拟像、C2t-超滤扩张下封闭,并且它的补类在C2t-超滤扩张下封闭.该刻画定理说明了时态语言在正则模型类上的表达力.
- 王善侠马明辉陈武邓辉文
- 软件工程国际化人才培养模式探索与实践被引量：1
- 2021年
- 以西南大学软件工程中外合作办学项目为例,介绍软件工程国际化人才培养模式的探索与实践。通过吸收利用国外优质教育资源,促进国内学生培养质量提升,构建支持国内国外“双循环”的人才培养策略,在国内建立完整、高质量的软件工程人才培养体系。创新性地探索并开展了共课教师制度、联合毕业设计等一系列特色办学活动,并在此基础上建立了联合实验室等学科平台,构建了面向全球的国际化人才培养模式。
- 陈武
- 关键词：软件工程中外合作办学
- 基于网络结构的增强社会群体凝聚力策略研究
- 2021年
- 目前社会群体研究主要集中在将群体划分为多个社区。然而,在一个群体中,通常希望所有的成员团结一致,形成一个具有凝聚力的群体,这对社会群体的合作以及社会习俗形成等相关研究具有广泛意义。因此理解社会凝聚力与社会群体的动态行为之间的关系显得十分重要。该文在合作博弈的基础上,建立了社会群体动态行为模型。基于传统网络拓扑结构,该文研究了在社会群体中增强凝聚力的策略,提出了基于最大团的CPMC和CPIN算法,通过特定的干预机制,将整体划分为两层,选择边缘层节点加入核心层,同时增加节点之间的链接,从而使社会群体具有更好的社会凝聚力,并且通过实验验证了算法的有效性。
- 芶欣李欣悦陈武刘佳谋
- 关键词：社会网络合作博弈网络结构
- 一种基于回答集程序的三方协商新机制被引量：4
- 2014年
- 提出了一种基于回答集程序的三方协商新机制,该机制采用回答集程序作为协商背景知识的表示工具.参与协商的两方在达成某些初步协议的基础上,通过从第三方获得利益补偿而选择放弃自己原先的一些需求,最终三方达成最优交易.证明了三方达成最优交易所采取的策略组合是纳什均衡的.
- 陈武周敏李虎阳
- 关键词：协商机制纳什均衡
- 基于稀疏表示的近邻传播聚类算法被引量：6
- 2014年
- 借助稀疏表示具有能较好刻画样本之间相似度的特点,提出一种基于稀疏表示的近邻传播聚类算法.仿真实验表明,本聚类算法较基于其它距离度量的算法能获得更好的聚类效果.
- 胡晨晓邹显春陈武杨阳
- 关键词：聚类
- 一种基于逻辑程序的重复协商框架
- 2008年
- 本文从基于信念修改的角度提出了两个AGENT之间的一个重复协商框架。在这个框架中,一个逻辑程序被当作一个协商的AGENT,每一个AGENT(逻辑程序)选择自己的一个回答作为自己最初的协商需求。两个A- GENT之间的协商过程就是两个逻辑程序之间相互更新的过程,这个过程是通过协商的每一方接受对方的部分(或全部)需求和放弃自己部分协商需求来实现的。本文设计了协商双方必须遵守的一些协商规则,根据这些规则对这个协商框架进行了形式化描述,并给出了协商的终止条件。
- 陈武张明义
- 关键词：AGENT协商
- 基于视觉分析的机器人最优避障路径识别方法被引量：3
- 2017年
- 传统的机器人避障路径识别方法存在识别不准确、误差大、效率低的问题.对此,本文提出基于视觉分析的机器人最优避障路径识别方法:建立机器人避障路径观测模型以分析机器人运动状态,采用基于RBPF的SLAM方法对避障路径进行降噪滤波处理,在此基础上运用适应度函数排序避障路径,并引入视觉分析法识别排序后的避障路径,从而实现有效识别最优避障路径的目的.实验结果证明,与传统识别方法相比,改进方法的识别精度较高,运行耗费时间较短,具有一定的实用性.
- 刘欣陈武
- 关键词：SLAM识别方法视觉分析
- Makinson一个公开问题的注记
- 2009年
- 公式集的essential原子在逻辑中扮演了重要角色,如在SAT问题中可以去掉非essential原子,从而加快搜索解的速度。将essential原子引入到赋值集是近年的一个研究热点,2005年Makinson提出一个关于essential原子的公开问题。现解决了这个公开问题,即证明了结论:任何原子都不是赋值集V的essential原子当且仅当等价的赋值都属于V或者都不属于V。
- 吴茂念陈武张明义沈复兴
- 关键词：非单调推理等价关系
- 基于目标设置理论的个性化网络学习模式研究被引量：4
- 2015年
- 目标设置理论是近年来研究最多、影响最大的一种激励理论.将该理论引入到个性化网络学习平台的设计与实践中,并利用该平台在实践中积极探索基于目标设置理论的个性网络学习模式,很好地激发了教师对学习者学习的引导以及学习者的学习动机和学习情趣,提高了课程学习的实效性.
- 陈武邹显春刘葭
- 关键词：目标设置理论自我激励个性化
