基于Repast平台的多Agent仿真建模研究

随着计算机应用的发展,多智能体系统（MAS）方法和技术在许多领域得到了广泛应用,对MAS进行仿真建模研究成为研究热点。多Agent仿真建模实验平台的使用,能很好地对MAS进行建模,提高使用者的效率,对于MAS的研究有重要意义。分析了仿真平台Repast的主要系统功能模块,说明了如何利用和扩展Repast平台来进行仿真建模,利用Repast实现了一个改进的动态合同网协议的仿真实验。实验建模过程和分析证明,利用Repast进行仿真建模,可以使建模者方便、快捷地对MAS系统进行分析,能有效提高工作效率与降低建模难度。     

基于Scenario的MAS环境建模方法

对多Agent系统（MAS）的环境建模将有助于促进复杂MAS的分析和设计。本文提出了一种基于Scenario的MAS环境建模方法,该方法通过描述MAS的Scenario导出和分析MAS的环境,并采用高层的组织抽象思想对MAS的环境进行建模。本文通过一个电子商务系统的案例分析说明如何利用该方法指导MAS的开发。     

基于Repast平台的多Agent仿真建模研究

随着计算机应用的发展,多智能体系统(MAS)方法和技术在许多领域得到了广泛应用,对MAS进行仿真建模研究成为研究热点.多Agent仿真建模实验平台的使用,能很好地对MAS进行建模,提高使用者的效率,对于MAS的研究有重要意义.分析了仿真平台Repast的主要系统功能模块,说明了如何利用和扩展Repast平台来进行仿真建模,利用Repast实现了一个改进的动态合同网协议的仿真实验.实验建模过程和分析证明,利用Repast进行仿真建模,可以使建模者方便、快捷地对MAS系统进行分析,能有效提高工作效率与降低建模难度.     

基于着色Petri网的多Agent系统交互协议建模

多Agent系统(Multi-Agent Systems,MAS)中,多个Agent通过交互和协作来完成一系列任务或实现一些目标。Agent之间有效、有序地进行交互是MAS成功运行的关键。文中采用着色Petri网来表示一个多Agent系统。利用着色Petri网,便于描述并发现象和模拟平行系统,除了直观的图形化表示,还具有精确的形式化定义,并且有完善的分析工具。最后对FIPA规范中的FIPA Inform和FIPA Request两个协议进行实例分析,说明如何用着色Petri网进行建模。     

基于着色Petri网的多Agent系统交互协议建模

多Agent系统（Multi—AgentSystems，MAS）中，多个Agent通过交互和协作来完成一系列任务或实现一些目标。Agent之间有效、有序地进行交互是MAS成功运行的关键。文中采用着色Vetri网来表示一个多Agent系统。利用着色Vetri网，便于描述并发现象和模拟平行系统，除了直观的图形化表示，还具有精确的形式化定义，并且有完善的分析工具。最后对FIPA规范中的FIPAInform和FIPA Request两个协议进行实例分析，说明如何用着色Petri网进行建模。     

一种基于多Agent的计算机生成兵力协作方法

研究建立虚拟战场攻防对抗环境,为提高协作任务分配机制的鲁棒性、可扩展性和动态适应性,在经典合同网协议的基础上,通过引入交互信任度、熟人信任度和阈值等策略,提出了一种适合于基于多Agent系统（MAS）的计算机生成兵力（CGF）协作的集成合同网协议。为了保证协议的完整性、正确性和可靠性,利用赋色Petri网进行了形式化建模,分析和验证协议的灵活性、可达性和有界性等特性。对集成合同网协议,应用基于MAS的弹道导弹攻防对抗CGF系统进行协作仿真。仿真结果表明,集成合同网协议有效地降低了协作的通信代价,提高了系统的完成任务指标。     

基于MAS的协作机制的网络坦克作战系统研究

提出了信息化条件下新型作战系统的模块化结构,对类似的作战系统-网络坦克作战系统的主要特征进行了总结概括;运用Agent技术对网络坦克作战系统建模,提出了具有主从层次结构的基于多Agent系统(MAS)的网络坦克作战系统,描述了其基本特征,并对系统基于MAS的协作机制-合同网机制和黑板机制及其多阶段协商过程进行了分析与研究.     

基于CPN与Aalaadin元模型的MAS建模

对于MAS而言,传统的UML已经无法满足建模的需求,必须找到一种更好的方式来对MAS建模,这里对UML进行了研究和扩展至AUML,以达到对建模的需求,还使用了CPN与Aalaadin元模型来弥补AUML的不足,CPN与Aalaadin元模型也能很好的互为补充,极大提高了MAS模型的可行性.     

基于Gaia与JADE框架的MAS建模

为了更加有效地开发MAS系统,简化系统建模流程,传统的建模方法已暴露出其不足之处,因此必须采用新的分析和设计建模方法.提出了Gaia建模方法和JADE框架,Gaia为复杂开放式软件系统的设计和分析提供了清晰的解决方案,JADE则是在符合FIPA规范的MAS系统下开发Agent应用的一种软件框架结构,通过结合Gaia和JADE框架对一个针对手机用户的个人信息MAS系统进行了建模,验证了结合使用Gaia建模和JADE框架能够显著的简化MAS系统开发流程,提高开发效率.     

一种基于情境演算的进化MAS系统

给出了一个基于情境演算的多Agent系统(MAS)建模的框架,可以帮助更好地理解和分析MAS的静态结构和动态行为,尤其是意向驱动将MAS中相互独立的元素包括实体、活动等关联起来形成MAS系统,能够随着环境的变化驱动MAS进化.     

CPN tools-assisted simulation and verification of nested Petri nets

Nested Petri nets (NP-nets) is an extension of Petri net formalism within the “nets-within-nets” approach, when tokens in a marking are Petri nets wich have autonomous behavior and synchronize with the system net. The formalism of NP-nets allows modeling multi-level multi-agent systems with dynamic structure in a natural way. Currently there is no tool support for NP-nets simulation and analysis. The paper proposes translation of NP-nets into colored Petri nets and using CPN Tools as a virtual machine for NP-nets modeling, simulation and automatic verification.     

复合Petri网的主从式多智能体通信建模方法

针对当前主从式MAS领域通信的硬件成本高、对计算资源占用大等问题,引入复合Petri网建立通信模型。按MAS资源的类型,将复合Petri网的库所设计为状态、行为和时滞3种类型,关联了库所的生效时间。建立了不同优先级消息和通信异常处理的复合Petri网模型,构建了主从式多智能体复合Petri网的通信模型。通过基于主从式小车编队的任务场景实验,验证了多智能体复合Petri网相关模型的可靠性与有效性,缓解了通信消息对系统计算资源的压力,降低了对通信硬件的依赖。     

混成时空Petri网的CPS实时事件模型

在分析网络物理系统（ CPS）特点的基础上,提出了一种新的CPS体系结构,并对事件进行形式化定义。提出了一种新的CPS物理实体的形式化建模方法。在Petri网的基础上引入时空因素和连续变量,构造了混成时空Petri网（ HSPN）模型,使其不仅能够描述物理实体逻辑和时间层次的行为,而且能够描述物理实体位置变迁所引起的状态变化。将其应用于实时事件CPS模型设计,以医疗控制系统为例,分析建模方法的可行性。     

基于面向对象时间Petri网的密码协议分析

利用面向对象技术和时间Petri网的优点,提出一种基于面向对象时间Petri网的密码协议分析方法。该方法可以降低建模复杂性和计算复杂性,提高建模效率,实现时间Petri网的高度模块化,能更好地适应密码协议分析过程中的重组和扩充。实例分析结果证明了该方法的有效性。     

基于UML-OCPN的嵌入式系统建模

针对统一建模语言（UML）缺乏精确的形式化的语义描述而不能对其所建模型进行分析和验证的难题,提出一种改进的建模方法——UML-OCPN方法。该方法结合UML和对象着色Petri网（OCPN）的优点,使用UML进行建模,将其转换为Petri网模型再进行模型验证。实验结果证明,该方法能较好地解决单一使用UML或Petri网建模时出现的无法进行验证、需要开发人员具备较高数学水平等问题。     

基于随机Petri网的SPN2软件建模方法研究

随机Petri网(SPN)在进行系统性能分析时,其状态空间随着系统规模的增大而呈指数性增长,造成系统建模复杂。针对该问题,结合面向对象Petri网理论(OOPN)提出一种SPN2方法,与传统SPN方法相比,SPN2方法可进行分层及面向对象网中网建模,并应用该方法仿真高速列车在移动闭塞区间条件下GSM-R铁路无线通信系统的可靠性。     

面向对象Petri网继承性的研究

面向对象Petri网(OOPN)利用面向对象的封装性解决了Petri网不能用于大型系统建模的问题.针对大型系统建模中的面向对象Petri网建模的便捷性进行研究,将面向对象的继承性以及与之紧密联系的多态性引入到OOPN中,以其在更大程度上实现模型的复用,使大型系统建模过程更加便捷、灵活.     

着色Petri网在科技计划项目管理系统建模中的应用

在深入研究科技计划项目管理业务基础上,鉴于Petri网的特点,提出了利用着色Petri网建模科技计划项目管理系统的方法.分析了着色Petri网适合于系统建模的原因,以项目管理评审环节为例讨论了着色Petri网在建模中的应用,并建立了基于着色Petri网的系统模型.通过对该模型的分析仿真结果表明,该方法是可行和有效的.     

A characterization of the stochastic process underlying astochastic Petri net

Stochastic Petri nets (SPN's) with generally distributed firing times can model a large class of systems, but simulation is the only feasible approach for their solution. We explore a hierarchy of SPN classes where modeling power is reduced in exchange for an increasingly efficient solution. Generalized stochastic Petri nets (GSPN's), deterministic and stochastic Petri nets (DSPN's), semi-Markovian stochastic Petri nets (SM-SPN's), timed Petri nets (TPN's), and generalized timed Petri nets (GTPN's) are particular entries in our hierarchy. Additional classes of SPN's for which we show how to compute an analytical solution are obtained by the method of the embedded Markov chain (DSPN's are just one example in this class) and state discretization, which we apply not only to the continuous-time case (PH-type distributions), but also to the discrete case     

基于UML的CPN模型在软件测试中的应用

UML在被工业界广泛接受的同时也成为学术界遵循的一种标准建模语言。许多面向对象软件测试的研究都围绕UML模型开展。但UML模型属于半形式化模型,往往无法自动生成测试用例。将UML模型与Petri网相结合,能够弥补其数学支持的不足。文章给出了基于UML的CPN模型的测试框架和一个从UML模型构造CPN模型的算法,并根据该方法给出了自动化支持工具U2CPN的类图结构。