基于Agent的分布仿真环境原型设计与实现

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

基于Agent组织的作战模拟

基于Agent的建模方法是一种自底向上、综合的建模方法，是通过微观细节和规则研究宏观现象和模式的独特的研究方法，是一种研究复杂适应系统十分有效的工具。把作战系统视为一个复杂适应系统，将Agent组织理论应用于作战模拟，通过Agent在底层的交互作用来研究作战系统的涌现行为。在建模过程中，主要从作战单元Agent组织的角色的定义、静态结构建模和动态行为建模三个方面对作战系统进行建模。其研究结果表明基于Agent组织的作战模拟有助于揭示作战行为的本质特征和演化规律。     

复杂产品虚拟样机概念设计技术研究

建立协同的、智能化的复杂产品概念设计支撑系统是当前虚拟样机工程必须解决的问题之一。从复杂产品概念设计的需求和解决分布式环境下概念设计系统实现的技术难点出发，在分析了Agent技术和WEB服务技术的基础上，对虚拟样机分布式协同仿真系统中的复杂产品概念设计进行了研究，提出将WEB服务技术和Agent技术相结合，建立基于Agent的虚拟样机产品概念设计系统，阐明了系统的结构，工作原理和工作流程，并讨论了系统实现的关键技术。     

预测模型Agent的实现方法

在多Agent预测模型系统中,由预测方法和模型构成的预测模型Agent是完成预测任务的主体,实现各种预测模型Agent是开发多Agent预测模型系统的主要工作,本文在实现Agent的整体框架基础上,研究了直接编程预测模型Agent的实现方法,并提出了利用Agent技术封闭现有预测模型软件来快速建立预测模型Agent的思路。     

一种工作流模型正确性验证方法

工作流形式化建模一直是工作流管理研究的重点和热点.目前的一些形式化建模工具都主要注重工作流的过程建模部分,即工作流的路由.但是工作流管理系统是涉及过程、数据、组织资源等多方面的复杂信息系统.引入一种新型的图形结构--元图,提出基于元图的基本活动单元的完整工作流模型,重点给出了这种工作流模型的正确性定义,并进行了正确性校验,校验算法高效简捷,使之成为一套完善的工作流建模形式化体系.     

基于Agent多用户参与的虚拟地理环境

Agent(智能体)由于有着与人类相似的行为模型,因而可应用于在有多用户参与的虚拟地理环境(VGE)中,并成为VGE领域当前研究的难点、热点问题。本文首先分析了VGE中多用户交互五个层次的特性;然后提出了将VGE系统和多智能体系统(MAS)结合的四种方法:松散耦合、紧密耦合、直接互操作耦合、非直接互操作耦合,并设计了对等和集中两种系统的体系结构。     

工作流过程的结构变化分析

业务过程的动态性要求工作流系统具备相应的适应能力.当工作流流程发生变化时,将存在一个潜在的问题,即变化后的流程可能会产生死锁、不一致性等错误.这篇文章主要讨论工作流流程的结构变化问题.提出了一个判断结构变化是否可行的准则,即不出现错误以及不一致现象,该准则从结构和行为属性方面进行考虑.给出了一个计算最小变化域的算法,并且证明了变化域的结构正确性及行为一致性能够保证结构变化的可行性.用一个实例说明了该方法的有效性.     

基于多Agent的混凝土坝施工仿真与优化研究

混凝土坝施工仿真的复杂建模过程限制了其成为混凝土坝施工管理的有效手段。将智能化仿真与混凝土坝施工仿真相结合,提出了基于多Agent的混凝土坝施工仿真与优化方法。采用多策略建模方法来构建具有不同智能层次的Agent模型,简化了Agent模型的实现过程;阐述了混凝土坝施工过程仿真中仿真行为推理建模、规则知识的获取与应用、Agent间的通信与协商机制等多Agent实现方法;建立混凝土坝施工仿真系统Agent分类的整体模型结构,并论述了该系统的实现过程。基于多Agent的混凝土坝施工仿真系统的开发,增强了施工仿真的可信度和适用范围,实际工程的应用验证了该系统的有效性。     

基于ObjectARX的车铣复合数控机床虚拟加工仿真研究

以优化产品的制造工艺过程、保证产品的制造质量、制造周期为目标的虚拟加工技术通过对以真实加工条件为依据的加工过程进行实时动态模拟,检验产品的可制造性、加工方法和工艺的合理性.针对由两个回转运动构成的新型多功能车铣复合数控机床,应用AutoCAD二次开发工具ObjectARX,根据机床切削加工的数学模型、插补算法及运动控制原理,研究开发了的加工仿真软件系统,实现了AutoCAD造型与CNC仿真的有机结合,完成高效NC代码驱动的实时加工过程仿真.     

支持过程改进的工作流仿真研究

工作流真是支持过程改进的有效技术，从建模角度介绍了以过程为核心，集成产品、资源，组织和控制评价等信息的工作流元模型。该元模型用为指导和约束具体的工作流建模，可以利用对象约束语言进行深入刻画，从执行角度解释了基于ECA规划的工作流仿真机制。按照WindowsDNA三层结构，它分用户界面层，业务逻辑层和数据库层，仿真引擎构建业业务逻辑层。在此基础就一个软件开发过程的实你，依据过程度量指标，利用仿真结果分析了各种可能的改进方案。     

基于Agent行动图的作战建模方法

针对一般的基于Agent作战建模过程中没有实现军事人员主导下的军事概念模型直接驱动的问题,提出一种基于Agent行动图的作战建模方法。在给出基于Agent行动图建模基本原理的基础上,区分Agent行动组织结构图、通信网络图、动作属性图,提出了基于Agent行动图的作战系统静态概念模型建模方法,区分Agent行动指挥交互图、状态行为图,提出了基于Agent行动图的作战系统动态概念模型建模方法;进一步建立了Agent行动图概念模型到行为仿真模型框架转换方法,并设计实现了基于Agent行动图的作战建模工具;最后以装甲分队典型作战行动建模为例,验证了方法的可行性与有效性。     

基于面向对象赋时Petri网的出入库系统建模

采用面向对象的赋时Petri网(ObjectOrientedTimedPetriNet,OOTPN)来讨论自动化立体仓库出入库(AS/RS)调度的建模问题。首先,对立体仓库的出入库调度元素进行分类和抽象聚合,得到系统的类关系;然后,在此基础上建立了由六个子模块组成的立体仓库出入库调度的OOTPN模型;最后,分析了该模型的死锁问题。     

Modeling workflow using XML and Petri net

Nowadays an increasing number of workflow products and research prototypes begin to adopt XML for representing workflow models owing to its easy use and well understanding for people and machines. However, most of workflow products and research prototypes provide the few supports for the verification of XML-based workflow model, such as free-deadlock properties, which is essential to successful application of workflow technology. In this paper, we tackle this problem by mapping the XML-based workflow model into Petri-net, a kind of well-known formalism for modeling, analyzing and verifying system. As a result, the XML-based workflow model can be automatically verified with the help of general Petri-net tools, such as DANAMICS. The presented approach not only enables end users to represent workflow model with XML-based modeling language, but also the correctness of model can be ensured, thus satisfying the needs of business processes.     

作战智能体模型研究

战争是典型的复杂自适应系统，基于Agent的仿真是分析复杂系统的一种新方法。介绍了Agent、多Agent系统以及基于Agent的仿真的基本概念。以作战仿真为背景，介绍了作战智能体的模型设计，讨论了基于智能体的仿真方法的特点，最后对将来的研究工作进行了展望。     

基于移动代理的分布式仿真建模与分析

随着分布式仿真规模的扩大,传统的分布式仿真技术不能完全满足系统需求。利用移动代理的自主性,协调性和智能性等特点,按照RTI接口规范,实现仿真系统功能。首先,分析HLA作为移动代理分布式仿真环境的可行性,指出移动代理在分布式仿真中的优势,然后,构建基于移动代理的邦元管理框架,设计了移动代理邦元运行流程,最后,讨论了在HLA环境中移动代理的时间管理,共享和发布机制等关键问题。构建了基于移动代理的分布式仿真原型系统,并进行了仿真应用测试。     

一个基于Agent的股票市场仿真模型的Swarm实现

Swarm是一个实现基于Agent的仿真模型的软件工具。首先介绍了使用Swarm仿真平台实现基于Agent的仿真模型的一般方法和应考虑的关键问题,然后详细地阐述了使用Swarm来实现一个基于Agent的连续竞价股票市场仿真模型中的Agent和Agent交互的方法与过程。为该领域的研究者在模型的实现这一问题上提供了一定的参考和借鉴。     

基于Agent的分布仿真中的通信系统设计与实现

基于Agent的建模与仿真（ABMS）是研究复杂系统的有效手段，基于Agent的分布仿真则是ABMS研究的重要内容，而通信系统是分布仿真中的基础部分。提出并利用Java语言实现了一个基于Agent的分布仿真中的通信系统．首先给出了通信系统的结构及其基本思想，对通信服务Agent、仿真Agent的通信接口和通信过程进行了详细的描述；给出了基于KQML的结构化的通信协议。在此基础之上利用XML对消息进行封装，并给了了通信原语层的XML／DTD设计，最后对通信系统的实现相关细节进行了介绍。     

模型验证——基于主体建模的方法论问题

基于主体的(agent-based, AB)建模已成为目前社会经济系统复杂性分析的重要方法, 但由于缺乏有效的模型验证导致AB 建模方法还未能得到主流研究者的认同. 本文比较了AB建模和基于方程(equation-based, EB)建模在建模过程上的区别, 从结果验证、过程验证和模型对接研究三个方面回顾了AB模型验证的主要方法论问题和相关研究进展, 指出建模工具标准化、一致性判断、灵敏度分析和参数空间压缩技术是未来AB 模型验证的主要方向.     

创建智能体系统的软件工程方法研究

研究作为数字世界中计算和应用软件系统构造单元的软件智能体构建与开发。提出由 (1)智能体理论模型 ;(2 )以之为概念框架的软件系统逻辑结构模型 ;(3)基于结构模型 ,采用统一建模语言UML实现的应用程序框架三部分组成的方法体系。这三个部分既具有内在机理联系又有过程时序约束 ,它们分别支持软件工程的分析、设计与实现各阶段。预期该方法体系的成功运用将有利于软件智能体系统开发的规范化和标准化 ,进而提高智能体系统开发效率并促进成果共享和软件重用