基于MAS的AGVS分布式作业调度方法

针对自动导引车传统集中式作业调度方法存在可靠性差、信息传输效率低和难以应用于大规模系统的问题,提出一种基于多智能体系统(MAS)技术的分布式作业调度方法,详细设计自动导引车系统作业调度问题的MAS模型体系结构、各智能体的行为、协商机制、竞拍值计算等MAS的相关要素,提出允许小车智能体间交换任务和任务智能体有条件重新拍卖的方法来优化调度方案。通过仿真对所提出的方法进行了验证,结果表明,相比传统调度方法,本文提出的方法具有更好的环境适应性、更稳定的综合性能。     

基于智能体的OWL-S过程模型验证

为保证基于OWL-S的web服务组合的正确性和可靠性,对OWL-S过程模型进行时态和认知属性的验证.将原子过程视为单个服务作为Agent,将组合过程抽象为多智能体系统,把对OWL-S过程模型的验证转换成对多智能体系统的验证.提出了OWL-S语言的形式化模型OWL-S2FSM,设计从OWL-S2FSM到模型检测工具MCTK输入语言之间的转换算法,并应用MCTK对多智能体系统的规范进行验证.实验结果表明,该方法可以有效地验证多智能体系统的时态属性和认知属性.     

通信时延下多智能体系统的安全一致性控制

本文主要探究了离散时间多职能系统在其通信状况之下的时延条件下存在的安全一致性状况与问题,对于一致性控制算法在网络中的应用等相关问题进行了分析,对其能够使得网络中各正常智能体抵御敌对智能体的攻击并实现最终状态一致的相关算法进行探究,进而了解到此种算法在实践中主要就是通过个体的自认状态以及其相邻个体的实际时延相关信息作为其控制输入,在基于此对其相关控制器的参数、拓扑属性以及相关通信时延等进行控制,对其相关条件进行获取,利用实验的方式对其进行了验证分析.     

基于 MAS 的 VOBC 仿真测试系统研究与设计

首先针对VOBC 仿真系统的需求特点设计系统,将整个系统分成不同Agent,并用MAS体系结构组织系统。然后,分别介绍每个Agent的设计要点,并以PCA为例,用形式化方法进行建模。之后,以VMA和LSA之间为例,简要介绍用KQML语言的通信方法。最后,使用高级语言C＃来实现系统设计。     

基于符号模型检验的可信跨域协作系统验证方法

针对规范调控的可信跨域协作系统属性验证的困难,提出一种基于符号模型检验的可信跨越协作系统验证方案.该方案包括规范语法及其状态语义、系统抽象模型、验证算法三大部分.其中规范的状态语义是方案的核心,它将规范集映射为其所对应的状态或状态转移集,消除了系统模型和规范的语义不一致性;系统抽象模型包括规范Kripke结构和路径规范性定义,以及规范Kripke结构的分支时态逻辑（CTL）语义3个部分,实现了可信系统的形式建模;验证算法描述了系统符号模型检验的具体实现过程.与基于定理证明的验证方案相比,该方案有效降低了验证时间,提高了验证效率.     

二阶多智能体系统的优化一致性协议研究

收敛速度是衡量多智能体系统(MAS)一致性协议的重要指标,是影响系统动态性能的重要因素。将多跳式网络技术应用于多智能体系统的信息传递,使每个智能体获得自身的状态及其邻节点和邻节点的节点集的状态,由此构成的系统拓扑结构引入了虚拟连接网络。在此基础上运用线性系统理论与矩阵论,提出了二阶连续时间线性多智能体系统优化的一致性协议,并利用图的代数连通度性质说明了协议的有效性。数值仿真验证了该优化协议可使多智能体系统的状态快速达到一致,说明提出的协议具有较快的收敛速度。     

扩充KQML以实现多Agent系统通信

KQML已成了Agent通信语言的事实标准,并得到广泛应用.在对KQML的语义分析的基础上指出它不利于Agent间任务级的高级复杂交互,不能实现合同网.对现有的KQML执行原语集合进行扩充,以期支持合同网中存在的各种协商策略.同时,实现利用KQML进行通信的MAS模型,并给出相应的实例.     

基于多智能体深度强化学习的无人机路径规划

为解决多无人机(unmanned aerial vehicle, UAV)在复杂环境下的路径规划问题,提出一个多智能体深度强化学习UAV路径规划框架.该框架首先将路径规划问题建模为部分可观测马尔可夫过程,采用近端策略优化算法将其扩展至多智能体,通过设计UAV的状态观测空间、动作空间及奖赏函数等实现多UAV无障碍路径规划;其次,为适应UAV搭载的有限计算资源条件,进一步提出基于网络剪枝的多智能体近端策略优化(network pruning-based multi-agent proximal policy optimization, NP-MAPPO)算法,提高了训练效率.仿真结果验证了提出的多UAV路径规划框架在各参数配置下的有效性及NP-MAPPO算法在训练时间上的优越性.     

规范多agent系统动态模型及其属性验证机制

针对规范多Agent系统（NMAS）并发性、动态性和规范性的特点,提出了一种规范多Agent系统动态模型和基于模型检验的属性验证机制.其中动态模型包括行为约束规范语言TNAL和联合行为转移结构两大部分.TNAL以现实世界法律法规为参考,实现了规范的时态特性和道义特性的建模.联合行为转移结构以多Agent联合行为作为状态转移标记,以规范剪枝后的计算树描述规范系统的动态语义,使系统属性描述语言和规范语言相互独立.以CTL*作为系统属性描述语言,借助现有模型检验工具即可实现NMAS的属性验证,这种实现方式使系统验证工作具有更高的灵活性.     

基于多Agent系统多目标机组组合问题的研究

将多Agent系统(MAS)引入到多目标机组组合优化中,并建立MAS模型,利用智能Agent的自学习能力与模糊信息融合对机组组合进行求解,该方法不仅可以减少内存的占用率,还能够节省大量时间,最后通过仿真验证了该模型与算法的有效性和可靠性.     

基于多Agent故障诊断知识系统通信模型的设计与实现

将多Agent系统应用于故障诊断知识系统中,将故障诊断知识系统的体系结构分为单体结构和群体结构并予以说明.因为通信是多Agent系统实现互操作的基础, 通过对使用Agent通信语言KQML进行通信的Agent通信模型进行设计,并阐述了实现通信模型的通信机制,解决了在故障诊断知识系统中远程诊断Agent与现场诊断Agent间的通信问题.     

一个模型转换的验证框架

模型驱动体系结构（Model Driven Architecture，MDA）是OMG为充分利用基于UML的建模技术并分离软件系统的抽象描述和具体事项而提出的。模型转换对MDA的成功至关重要，但对于同传统软件开发过程中的测试部分同等重要的模型转换中的验证和有效性确认（V＆V），目前的研究比较少。为此，尝试提供一个基于MDA上下文的模型转换性能的验证框架。该框架用于验证原模型包涵的性质，检查源模型与／或目标模型的各个元素是否通过模型转换规则实现了语义等价。同时，采用EMFAPI开发了一个用来分析Tefkat语言描述的模型转换规则的verifier原型系统，并通过实例验证了其有效性。     

多Agent交互策略模型检测方法

提出一种基于模型检测的多Agent交互策略验证方法,首先通过责任政策语言建模多Agent的交互策略,基于责任政策语言的操作语义将政策模型转换为模型检测器NuSMV的输入,利用时态逻辑声明表征策略冲突的系统性质,然后利用模型检测器NuSMV自动验证政策模型对性质的可满足性,并根据模型检测器产生的反例分析交互策略中的各种错误。该方法可提高交互策略的验证效率,确保多Agent系统设计的正确性。     

多Agent在电子商务系统中的应用

针对当前开展电子商务所面临的信息量过载及电子商务交易过程中繁琐的交易细节等问题,提出了多Agent技术解决的方法及解决技术,并研究了多Agent的性能、特点及在电子商务系统中的具体应用,论证了应用JADE平台创建多Agent系统的可行性.     

业务过程建模及其形式化验证

针对业务过程建模复杂、模型一致性难以保证的问题,提出一种求精式业务过程建模及其形式化验证方法.结合语义本体技术、基于统一建模语言(UML)的扩展机制,实现对业务过程中的不同关注点进行多视角地可视化建模.业务过程建模是一个“整体抽象过程→声明式过程→命令式过程”多阶段的求精过程.引入环境本体的概念,以软件交互对环境状态的影响来描述软件行为和能力,并在此基础上给出了模型相关定义及其形式化语义.结合一个简化的产品交易系统实例详细论述如何采用声明式形式化语言Alloy进行业务过程模型定义和模型求精的形式化验证.实例表明,采用分阶段求精式业务过程建模方法,并围绕模型语义通过Alloy语言进行形式化验证,可以有效地提升建模过程的灵活性和保证模型规范的一致性.     

Collaboration strategy for software dynamic evolution of multi-agent system

As the ability of a single agent is limited while information and resources in multi-agent systems are distributed, cooperation is necessary for agents to accomplish a complex task. In the open and changeable environment on the Internet, it is of great significance to research a system flexible and capable in dynamic evolution that can find a collaboration method for agents which can be used in dynamic evolution process. With such a method, agents accomplish tasks for an overall target and at the same time, the collaborative relationship of agents can be adjusted with the change of environment. A method of task decomposition and collaboration of agents by improved contract net protocol is introduced. Finally, analysis on the result of the experiments is performed to verify the improved contract net protocol can greatly increase the efficiency of communication and collaboration in multi-agent system.     

A model of reasoning about knowledge

ＴｈｅｓｔｕｄｉｅｓｏｆｒｅａｓｏｎｉｎｇａｂｏｕｔｋｎｏｗｌｅｄｇｅｍａｙｄａｔｅｂａｃｋｔｏａｎｃｉｅｎｔＧｒｅｃｉａｎｐｈｉｌｏｓｏｐｈｅｒｓ,ｂｕｔｉｔｓｆｏｒｍａｌｉｚａｔｉｏｎａｎｄｌｏｇｉｃａｌａｎａｌｙｓｉｓａｐｐｅａｒｅｄｑｕｉｔｅｌａｔｅ.Ｉｎｔｈｅ1960’ｓ,ａｎｉｎｔｅｎｓｉｖｅｄｉｓｃｕｓｓｉｏｎａｂｏｕｔｐｒｏｐｅｒｔｉｅｓｏｆｋｎｏｗｌｅｄｇｅａｎｄａｘｉｏｍａｔｉｃｓｙｓｔｅｍｓｄｅｓｃｒｉｂｉｎｇｋｎｏｗｌｅｄｇｅｗａｓｃａｒｒｉｅｄｏｕｔｉｎｔｈｅｐｈｉｌｏｓｏｐ…