基于Agent的空防作战系统建模仿真方法研究

空防作战系统是一类复杂的军事作战系统.从军事作战系统的主导因素入手,讨论了传统研究方法的局限性,进而提出使用基于Agent的建模仿真(ABMS)方法研究空防作战系统的思路,并根据空防作战系统建模仿真应用的需要对ABMS进行了改进:建立了层次化的ABMS建模框架,为解决对作战动态过程的建模而引入了事件的扩展概念及其分析方法.然后介绍了一个空防作战系统建模仿真研究的完整过程,给出了系统动态演化的事件模型和作战单元的Agent模型,并针对仿真结果进行了分析;从而证明了ABMS方法的可行性和有效性.     

基于Agent的建模与仿真概述

基于Agent的建模与仿真(ABMS)是研究复杂系统的有效途径和建模仿真方法学,足当前最具有活力、有所突破的仿真方法学,已经成为系统仿真领域的一个新的研究方向.全面总结和阐述了基于Agent的建模与仿真的相关理论基础和概念,包括CAS理论,ABMS中Agent的概念、结构;阐述了ABMS的原理(简单规则导致复杂的行为)与研究步骤;总结了ABMS的主要应用领域,包括经济领域、社会科学领域和军事领域;慨述了ABMS软件开发平台和工具包,给出了ABMS开发方法;给出了互联网上关于ABMS的的资源链接.因而有利于全面认识、应用和研究ABMS.     

基于Agent的分布仿真平台原型系统设计与实现

基于Agent的分布仿真是基于Agent的建模与仿真ABMS(Agent-Based Modeling and Simulation)研究的重要组成部分。在提出的基于Agent的分布仿真软件框架和通信系统设计与实现的基础上,利用Java语言和面向对象的方法设计实现了一个基于Agent的分布仿真平台原型系统ADSimE。介绍了该分布式仿真平台的主要实现细节,给出了全系统的主要Agent类的UML设计,重点阐述了保守策略仿真Agent类和乐观策略仿真Agent类的设计、处理流程以及KQML消息解析的实现细节。最后以闭合排队网络为例,说明了怎样在该环境下进行基于Agent的分布仿真应用的开发。     

基于网格的面向Agent形式化建模框架

提出了一种基于OGSA（open grid services architecture）网格体系结构的面向Agent形式化建模框架——AOMG（agent-oriented modeling based on grid）形式化框架,该框架基于Object-Z语言,吸收了Ⅰ^＊框架和UML中的部分元模型,加入了对Agent与网格环境之间交互关系的描述,以及对Agent服务属性的处理,从而解决了现有方法无法对基于网格环境的分布式系统进行分析与设计建模的问题．给出了AOMG形式化框架中的3类核心模型：组织模型、Agent类模型和Agent服务模型．提供了一组新颖的从组织模型到Agent类模型的形式化语义映射规则,实现了系统模型从Agent抽象层次到对象层次的快速转换．     

基于多Agent的FMS可靠性复合建模方法研究

提出了一种基于多Agent的面向对象的FMS可靠性建模方法，该方法将面向对象方法与高级Petri网技术相结合，并通过多Agent机制加以表述，使模型具有较好的通用性和可重用性，能够反映FMS的动态柔性特点。最后提出了便于用户使用的仿真建模软件的基本框架。     

基于多Agent协商的服务流程定制

针对复杂业务需求,提出了基于多Agent协商的服务流程定制模型、算法和系统．首先介绍了该模型及其支持系统的框架以及服务Agent的结构和工作原理;然后在将业务需求满足定义为分布式柔性约束满足问题的基础上,提出了基于多Agent协商的求解算法并介绍了一个应用案例;最后,给出了一个原型系统．该模型和系统能够对复杂的业务需求进行建模和求解,从而寻找到合适的服务,满足了服务流程定制的需要．     

基于Agent的城市废物计量收费方案仿真研究

提出一种基于Agent的城市废物计量收费仿真模型.由于城市废物计量收费仿真模型属于复杂适应性系统(CAS),传统的建模仿真方法无法完好地刻画城市废物计量收费仿真模型,而基于多Agent的建模仿真方法(ABS)是当前研究复杂适应性系统的最有利工具之一.有必要进行深入研究.在简单介绍复杂适应性系统、基于多Agent的建模方法的研究概况,以及多Agent建模工具--Repast仿真甲台以及它的结构、主要类库与建模步骤后,以城市废物计茸收费仿真模型为研究对象,进行基于多Agent的建模仿真实验,结果表明基于多Agent的建模仿真方法非常合适复杂适应性系统的研究,具有很大的发展空间.     

基于Agent的分布式系统信任模型仿真

针对当前信任模型仿真缺乏理论支撑,仿真过程描述及建模步骤不规范的问题,将多Agent建模仿真方法应用于信任模型的仿真,建立信任模型Agent仿真过程框架.由信任模型微观机制入手,对个体Agent进行设计,建立Agent实体模型;针对信任模型中Agent之间的交互问题设计基于推荐网的Agent协作算法;在充分考虑系统宏观约束的情况下,建立微观Agent到宏观系统之间的联系.通过实例验证了该方法的有效性.     

基于Agent体系结构的HLA联邦成员设计与实现

智能Agent建模方法是一种描述、研究复杂对象的有效手段。高层体系结构（HLA）是一种服务于复杂系统建模、仿真的技术支撑框架，为联邦成员层次上的重用和互操作提供了基础。但HLA并未对联邦成员内部仿真对象模型的重用和仿真对象的复杂性和智能性描述提供足够的支持。文章通过引入Agent体系结构提出了一种新的联邦成员设计实现方法，提高了仿真对象模型的重用性、互操作性和智能性，降低了系统耦合性。通过将RTI服务函数进行封装，简化了HLA接口凋用。     

基于Agent的复杂系统分布仿真建模方法的研究

基于Agent的分布仿真是研究大型复杂系统的一种有效的、重要的方法。为了减小复杂系统仿真的复杂度,增加仿真模型的重用和可维护性,需要研究基于Agent分布仿真的建模方法。首先对复杂系统及其特性进行了分析,对基于Agent的仿真进行了全面的论述,然后对基于Agent的复杂系统仿真中的复杂系统建模分析、Agent建模分析以及Agent的分布进行了分析,给出了基于Agent的复杂系统分布仿真的建模步骤,最后给出了在此建模思想指导下的金融证券市场的建模过程。     

多卫星系统基于Agent建模与仿真的软件研究

使用基于agent的建模与仿真(ABMS)方法从总体角度研究多卫星系统(MSS)的功能行为,需要在计算机仿真软件的支持下进行.但当前缺少这类软件,需要根据具体问题使用通用语言自行开发.在开发中有两个重要问题,其一是MSS模型应遵循什么样的体系结构,其二是软件所应具备的支持功能.针对这两个问题,该文深入研究了此领域一个较有代表性的软件ObjectAgent(OA),并结合作者的经验和成果,介绍了用于表示MSS的层次化agent模型体系,以及确保MSS的ABMS可信度所需的两种辅助功能.然后分析了OA的缺点,并提出了改进策略.     

Reasoning about UML/OCL class diagrams using constraint logic programming and formula

Model Driven Engineering promotes the use of models as the main artifacts in software and system development. Verification and validation of models are key activities to ensure the quality of the system under development. This paper presents a framework to reason about the satisfiability of class models described using the Unified Modeling Language (UML). The proposed framework allows us to identify possible design flaws as early as possible in the software development cycle. More specifically, we focus on UML Class Diagrams annotated with Object Constraint Language (OCL) invariants, which are considered to be the main artifacts in Object-Oriented analysis and design for representing the static structure of a system. We use the Constraint Logic programming (CLP) paradigm to reason about UML Class Diagrams modeling foundations. In particular, we use Formula as a model-finding and design space exploration tool. We also present an experimental Eclipse plug-in, which implements our UML model to Formula translation proposal following a Model Driven Architecture (MDA) approach. The proposed framework can be used to reason, validate, and verify UML Class Diagram software designs by checking correctness properties and generating model instances using the model exploration tool Formula.     

Software toolkit for modeling,simulation, and control of soft robots

The technological differences between traditional robotics and soft robotics have an impact on all of the modeling tools generally in use, including direct kinematics and inverse models, Jacobians, and dynamics. Due to the lack of precise modeling and control methods for soft robots, the promising concepts of using such design for complex applications (medicine, assistance, domestic robotics, etc.) cannot be practically implemented. This paper presents a first unified software framework dedicated to modeling, simulation, and control of soft robots. The framework relies on continuum mechanics for modeling the robotic parts and boundary conditions like actuators and contacts using a unified representation based on Lagrange multipliers. It enables the digital robot to be simulated in its environment using a direct model. The model can also be inverted online using an optimization-based method which allows to control the physical robots in the task space. To demonstrate the effectiveness of the approach, we present various soft robots scenarios including ones where the robot is interacting with its environment. The software has been built on top of SOFA, an open-source framework for deformable online simulation and is available at https://project.inria.fr/softrobot/.     

Evaluation of agent-based manufacturing systems based on a parallel simulator

Recent research in artificial autonomous agents has paved a way to fulfill the requirements of autonomous operations in manufacturing systems in terms of planning, scheduling, control, and processing. Those manufacturing systems are also coined agent-based manufacturing systems (ABMS). However, it still lacks an evaluation tool to judge the performance of a designed ABMS. Hence, an ABMS is difficult to be accepted by users and managers, and is difficult to be realized in the real world.Based on a developed ABMS model, this research develops a simulator on a parallel computer system. The simulator is designed to imitate the changes of the environment by the changes of incoming tasks, and to imitate the internal changes by the resource breakdowns. Besides, the autonomous, communicative, and cooperative behaviors of agents are also developed in the simulators.Cases and scenarios for ABMS are developed to apply in the simulator. The analytical results show that through the simulators, decision-makers can clearly observe the viability of each agent as well as the whole ABMS. Thus, adjustments on the ABMS design can be made accordingly and the final ABMS can successfully survive in the real world.     

基于多Agent的众包任务推荐系统建模与仿真

为了让众包平台用户更方便准确地搜寻到合适任务,促进其能力水平提升,解决众包任务推荐动态性等问题,提出了一种基于多Agent的众包任务推荐系统。首先,基于众包平台建立多Agent任务推荐模型,提出了模型设计思路与模型框架,并进一步阐述了各Agent功能、相互作用关系与相关算法;其次,提出众包用户能力水平提升相关算法;最后,利用NetLogo仿真软件进行验证。结果表明,众包任务推荐系统可对用户能力水平的提升起到促进作用,证明了在众包平台引入推荐系统的必要性。并且分析了多Agent技术可提升推荐系统的动态性、智能性与灵活性等整体性能,促进了众包平台数据的管理与维护。     

军事应用网格MAGrid功能层分析与设计

在提出新的军事应用网格MAGrid概念的基础上，采用将网格计算技术和软件Agent技术相结合的方法，构建了MAGrid的Agent功能层，分别介绍了它的总体设计、本体设计和策略设计。总体设计包括网格Agent的层次结构和分类；本体设计包括对网格Agent进行描述的概念框架；策略设计包括面向应用的网格Agent管理、调度策略。