多智能体协同的认知规范模型检测算法

 在Wooldridge提出的利用不变式特征的方法来模型检测时态认知逻辑的基础上,研究多智能体协同逻辑ATEL(Alternating Temporal Epistemic Logic)中认知算子的模型检测算法,包括多层的认知算子,分布式认知算子和公共知识算子等等。研究结果表明,加入认知算子后的ATEL的在增加系统描述能力的同时并没有明显增加其计算复杂性。     

Multi-agent Belief, Goal and Exceptions Reasoning

Temporal logics are often adopted as basic tools to specifying mental states such as belief and goal of agents. Althoush there are works on non-monotonic extension of linear temporal logic (LTL) and branching time temporal logic (CTL), the non-monotonic extension of alternating-time temporal logic (ATL) which is an important kind of multi-agent cooperation logics has not been discussed yet in literature. To solve this problem, this paper proposed non-monotonic alternating-time temporal logic with belief and goal, namely N-ATL-BG, to facilitate the non-monotonic reasoning of mental states of agents. The semantic model, syntax and semantics of this new logic are developed. A model checking algorithm which can be finished in polynomial time is proposed for this new logic. Examples are given to show its usage.     

基于行为时序逻辑TLA的安全协议形式化分析与检测

随着近年来网络协议的不安全性,对安全协议进行形式化分析与检测则显的非常重要。而基于行为时序逻辑TLA的模型检测是形式化分析检测方法中重要的一种。本文主要采用基于TLA的HLPSL语言形式化分析与检测H.530协议。     

Andrew Secure RPC协议的一种组合分析方法

逻辑方法和模型检验方法是安全协议的两种重要分析方法。逻辑方法简单、直观,但其最大问题是不够完备,模型检验方法自动化程度高且能生成不满足所需求性质的反例。先用BAN逻辑对Andrew Secure RPC协议进行分析,并在此基础上组合模型检验方法进行分析,结果表明逻辑方法组合模型检验方法分析协议比只用逻辑方法分析得到的结果更全面且更具体。     

一种动态博弈的多agent合作机制模型

利用博弈学习思想,以多agent系统为平台,提出一种基于动态无限博弈的多agent合作机制模型,以多阶段邀请、考核模式形成无限次重复博弈结构体.提出信任基准测度评价控制agent博弈选取的盲目性,使其理性计划各阶段决策.通过博弈结果反馈信息,动态调整agent博弈主体的收益函数,控制各agent间的协同合作优先级,实现闭环调控.将多agent组合构成智能结构体的基本单元,利用九宫格实验对该基本单元进行试验测试,验证多工况下,基于多种信任基准条件agent单元体间的协同合作机制.实验表明,信任基准可有效调整agent间的信任等级,促进系统中agent合作频率的提高.     

Model Checking Workflow Net Based on Petri Net

The soundness is a very important criterion for the correctness of the workflow. Specifying the soundness with Computation Tree Logic （CTL） allows us to verify the soundness with symbolic model checkers. Therefore the state explosion problem in verifying soundness can be overcome efficiently. When the property is not satisfied by the system, model checking can give a counter-example, which can guide us to correct the workflow. In addition, relaxed soundness is another important criterion for the workflow. We also prove that Computation Tree Logic ＊ （CTL ＊ ） can be used to character the relaxed soundness of the workflow.     

基于属性RBAC及委托性质的使用控制模型

针对UCON未涉及特权委托的基本特征和权限管理的缺陷,提出了基于属性RBAC的带委托性质的使用控制模型(EUCON).将角色、委托和扩展属性等要素引入到EUCON,构建了基于属性-角色的访问控制方法,提高了模型的可变性和动态性,并使用区间时序逻辑对该委托模型的完备性进行逻辑验证,最后提供了网上行政审批的实例,为模型的应用奠定了一个很好的实例基础.     

Research of Communication Mechanism of the Multi—agent in Multi—agent Robot Systems

The cooperation of multi-robot that is based on the multi-agent system (MAS) theory of distributed artificial intelligence has become a hotspot in the robotics R&D. In the research the multi-robot is regarded as multi-agent. So the communication and cooperation of multi-agent become the key problem for gaining the dynamic running information of cooperating robots. In this paper the authors introduce the communication modes for agent and provide a common strategy which aims at the communication resources of multi-agent model-the CSMA/CD (Carrier Sense Multiple Access with Collision Detection) protocol which is based on the transmittal medium. It supports the cable-communication of multi-robot and the experiments prove its validity.     

混合动力汽车多能源动力总成的智能体控制技术

为提高混合动力汽车的智能化控制水平,进一步改善整车燃油经济性和动力性,提出一种多能源动力总成的多智能体协调控制方法.以并联式混合动力汽车为原型,建立动力总成部件子系统智能体模型,构建多智能体系统协调控制框架,根据不同工况模式对总成动力进行预分配,利用单智能体的智能行为和多智能体的协作能力解决车辆对复杂路况的自适应问题.在Cruise软件环境下对智能体控制系统和协调控制策略进行了仿真验证,结果表明,动力总成的多智能体协调控制策略正确可行,使混合动力汽车能根据不同工况自适应控制模式,进而对动力进行自适应匹配,能够改善整车燃油经济性和动力性.     

MAS技术在交通仿真中的应用

运用MAS技术,构建了交通系统的MAS功能仿真模型,并在Visual C 对象类的基础上设计了agent类.仿真结显示,这一技术能较大地提高交通仿真的精度.     

Model Checking Electronic Commerce Security Protocols Based on CTL

We present a model based on Computational Temporal Logic (CTL) methods for verifying security requirements of electronic commerce protocols. The model describes formally the authentication, confidentiality integrity, nowrepudiation, denial of service and access control of the electronic commerce protocols. We illustrate as case study a variant of the Lu-Smolka protocol proposed by Lu-Smolka. Moreover, we have discovered two attacks that allow a dis-honest user to purchase a good debiting the amount to another user. And also, we compared our work with relative research works and found that the formal way of this paper is more general to specify security protocols for E-Commerce.     

多Agent模式在制造系统信息化中的应用

针对分散网络化制造的特点,将多Agent系统引入到分散网络化制造环境中.介绍了Agent和多Agent的概念,并研究在网络化制造环境中Agent和多Agent系统的结构特点及表现形式.讨论了多Agent系统的通讯交互机制和协作协商机制.最后,提出了分散网络化制造环境中多Agent系统研究应该集中注意的几个关键性问题,并对分散化环境中多Agent系统的研究作了展望.     

基于多智能体的供应链协同机制研究

文章讨论了基于多智能体的供应链框架 ,在框架中由智能体代表供应链上的企业 ,以智能体的方式强调供应链企业间的竞合机制 ,设计一种多智能体的供应链模型 ,研究智能体结构以及多智能体系统的组织方式和协调机制。     

基于多Agent及Petri网的变压器故障诊断系统

将多Agent技术引入变压器故障综合诊断系统，采用模糊Petri网技术实现建模．该模型中每个Agent代表一种智能知识或智能处理方法，利用Petri网进行知识表示及推理的矩阵运算算法以描述故障征兆与故障的关系，进而达到多Agent之间的协同工作，并利用协调综合Agent给出诊断结果．运用所提出的诊断系统，不但可以充分利用各种故障信息资源，而且可对采用不同诊断方法时的诊断结果进行协调综合，并且在故障信息不全面的情况下也可以做出较准确的诊断结论．实例运算也验证了该诊断系统的快速性、协调性和准确性．     

一种理性安全协议形式化分析方法及应用

博弈逻辑ATL和ATEL可以对传统安全协议的公平性、安全性等性质进行分析与验证.不过在理性环境下,由于参与者对知识的自利性,ATL和ATEL都不适合形式化分析与验证理性安全协议.于是在并行认知博弈结构CEGS中引入效用函数和偏好关系,得到新的并行认知博弈结构rCEGS,并在合作模态算子《Γ》中引入行为ACT参数,提出新的交替时序认知逻辑rA-TEL-A,并基于不动点描述rATEL-A时序算子.然后基于rATEL-A,提出适合于形式化分析理性安全协议的推理系统,并对具体的理性安全协议的公平性、安全性等性质进行形式化分析.     

多Agent系统之间的通信与协作机制初探

在MAS中，多Agent之间通信和相互协作一直是多Agent系统研究的重要内容，多Agent间的通信方式有：无通信模式，黑板模式，消息传递模式，方案传送模式；协作方法有：合同网，黑板模型，结果共享与功能精确的协同方法，市场机制。     

基于多Agent的矿井通风仿真系统研究及应用

根据矿井通风的工作特点,采用Multi-agnet技术对通风系统进行实时仿真。针对对实时性有一定要求的通风仿真系统中必须满足的时间和空间复杂度要求,提出了一种基于多Agent系统的分析和解决方案。介绍了基于多Agent系统仿真的特点和功能,给出了通风仿真系统中Agent的结构。最后,采用了一种“投票”式的协同策略,从一个新角度来解决通风中风网解算存在的问题,并构筑了一个通风仿真系统。矿井实际数据检测表明,系统的仿真结果与实际符合良好。图1,表1,参5。     

基于联邦结构的多Agent协作

提出在多Agent组织系统中,采用松散型协同工作方式实现分布式问题求解。描述了基于联邦的组织结构组成,讨论了任务分解的不同情况。依据不同任务,动态分配给Agent以组织者或协作者的不同角色,并提出了组织者及协作者模型,介绍了多Agent的协作方式及通信消息类型。     

复杂系统的MAS动态协作求解时序逻辑模型

借助于组织学思想,将自适应系统中的自主运行单元抽象为Agent,把复杂自适应系统视为多Agent组织,从时间和状态角度,对复杂动态系统的行为进行描述。提出了基于时序活动逻辑的多Agent动态协作任务求解自适应机制和构造模型;详细分析了任务求解BDI Agent的信念、愿望、意图的产生过程和实现方法;深入讨论了协商推理的语义规则和行为规则;给出了协作群组的选择算法,包括从群组的建立、选择任务Agent、分解和分配子任务;从任务求解Agent的心智变化角度,详细描述了动态协作任务求解模型实现的6个阶段:任务动态分配、协作意愿产生、协作群体生成、共同计划制定、协作群体行动和结果评估。通过在MAGE等平台上的实验和仿真测试,验证了方法的可行性和有效性。     

基于Multi-Agent制药企业销售管理系统的设计与实现

为了适应企业业务流程频繁变更的要求，提高软件开发的效率，针对医药化工企业业务流程的特点，采用多智能体技术建立了销售管理系统的MAS模型，示例说明了各Agent的功能以及Agent之间协作的过程，给出了该系统的实现技术和应用案例，总结了采用Agent技术设计销售管理系统的优点。