一种分布式制造系统控制结构的形式化建模方法

针对分布式制造系统的特点,利用形式化方法和多智能体理论研究了系统的控制结构,提出了一种基于优化自动机的改进型动态控制元结构模型。首先,结合多智能体理论,对于分布式制造系统中的各个节点用Agent进行建模;接着,对于Agent的内部结构,结合有限状态自动机理论和制造系统自身混杂特性,提出一种优化自动机。同时,考虑到建模过程中Agent层次的动态划分和重组,进而提出了改进型动态控制元结构模型。最后,以瓷砖生产线为例,借助MATLAB为实验工具设计了相应的仿真实验,验证了所提理论和建模方法的可行性和有效性。     

基于Agent的建模与仿真概念化框架

基于Agent的建模与仿真(ABMS)是面向复杂系统的建模与仿真方法学。提出了基于Agent的建模与仿真概念化框架,重点对该框架中Agent模型的概念及模型转化、ABMS综合环境以及模型校核与验证等相关研究内容进行了阐述。结合该框架,对Agent、消息、复杂系统及基于Agent的仿真进行了形式化描述。最后,提出了一个基于Agent的建模与分布式仿真软件框架,介绍了该框架的主要组成部件,并对实现该框架的相关技术以及正在开展的工作进行了介绍。     

DDoS主动防御建模仿真研究

建模仿真是研究网络攻防的一种行之有效的手段。在研究DDo S主动防御理论模型的基础上,基于多Agent建模思想建立了DDo S主动防御多Agent模型;基于网络仿真软件OMNe T++建立了DDo S主动防御仿真模型;针对网络仿真软件操作复杂等问题,采用MFC开发工具对OMNe T++进行二次开发,构建了具有友好界面的DDo S主动防御仿真验证演示系统。进行了DDo S攻击与主动防御仿真实验。实验结果证明了所建模型的正确性和仿真验证演示系统的可用性。为进一步研究网络安全仿真提供了模型和平台支持。     

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

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

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

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

模型驱动的组件化Agent仿真模型开发方法

作为一种研究复杂系统的有效手段,基于Agent的建模仿真方法得到了广泛应用。但目前还没有一种得到广泛认可的建模仿真规范来指导和约束Agent仿真模型的设计、开发、集成和运行,不利于提高Agent仿真模型的可重用性和开发效率。提出将采用模型驱动架构和基于组件设计思想的仿真模型可移植性规范(simulation model portability standard 2.0, SMP2)引入到基于Agent的建模仿真中,通过把Agent仿真中的元素映射到SMP2的模型设计和开发模式架构下,并根据Agent仿真特性对SMP2进行相应扩展,来支持模型驱动的组件化的Agent仿真模型开发。利用一个应用实例,验证了提出方法的有效性。     

多Agent虚拟测试仿真建模方法研究

结合光电经纬仪虚拟测试的需求,提出了一种分布式多Agent虚拟测试平台结构,确立了多Agent间交互协作测试的任务目标.讨论了虚拟测试中基于Agent的仿真建模策略,设计了可重构虚拟目标Agent及其仿真流程和基于消息的监控Agent,以此构建了多Agent仿真体系完成经纬仪虚拟测试的整体协作模型.开发了基于Agent的经纬仪虚拟测试平台,通过仿真测试应用,验证了仿真建模方法及其平台的有效性,满足了现阶段经纬仪的相关性能测试.     

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

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

并行Agent仿真研究综述

作为一种研究复杂系统的有效途径,基于Agent的建模仿真方法得到了广泛应用,但随着应用规模和复杂度的增加,仿真运行速度成为制约其应用的一个重要因素。并行Agent仿真通过将Agent模型分配到多个处理单元上同时运行来减少仿真运行时间,是提高仿真运行速度的一个直接手段。根据基于Agent的建模仿真的基本思想,分析了并行Agent仿真区别于传统的并行离散事件仿真的新特点,着重从时间同步协议、负载均衡、通信优化三方面阐述了并行Agent仿真的研究现状,并对基于通用目的图形处理器的并行Agent仿真进行了讨论。最后对并行Agent仿真未来的研究方向进行了展望。     

基于多Agent/Swarm军事系统建模研究

阐述了多Agent计算机建模的基础理论和特征,及基于Swarm平台进行多Agent建模的灵活性和可扩展性.进而探讨了将该方法应用于军事复杂系统研究,主要内容包括:提出了多Agent/CA系统建模仿真框架,说明了基于该框架建立复杂性因素映像的基本原理;形成了框架实现的关键技术--可计算模型和空间作用模型,有效实现了在模型中集成成型的算法和模型,并综述对相关领域研究中对关键技术的应用情况;最后探讨了建模仿真的基本逻辑流程.     

The 12th International Conference on Service Systems and Service Management ICSSSM'15

正~~     

THE 8~(th) INTERNATIONAL CONGRESS ON INDUSTRIAL AND APPLIED MATHEMATICS

正August 10-14,2015Beijing,ChinaThe International Congress on Industrial and Applied Mathematics(ICIAM)is the premier international congress in the field of applied mathematics held every four years under the auspices of the International Council for Industrial and Applied Mathematics.From August 10 to 14,2015,mathematicians,scientists     

2014 List of Referees

正~~     

《Journal of Systems Science and Systems Engineering》Contents of Volume 23,2014

正~~     

TSINGHUA UNIVERSITY,Beijing, China

正AF:Any Field The School of Economics and Management at Tsinghua University(Tsinghua SEM)invites applications for faculty positions at all levels(Assistant Professor,Associate Professor and Full Professor)in any fields of business administration and management.Tsinghua SEM is the only school     

Enterprise resource planning implementation decision & optimization models

To study the uncertain optimization problems on implementation schedule, time-cost trade-off and quality in enterprise resource planning (ERP) implementation, combined with program evaluation and review technique (PERT), some optimization models are proposed, which include the implementation schedule model, the timecost trade-off model, the quality model, and the implementation time-cost-quality synthetic optimization model. A PERT-embedded genetic algorithm (GA) based on stochastic simulation technique is introduced to the optimization models solution. Finally, an example is presented to show that the models and algorithm are reasonable and effective, which can offer a reliable quantitative decision method for ERP implementation.     

分布交互仿真技术综述

介绍了ＤＩＳ的技术特点,综述了ＤＩＳ中关键技术和相关技术,并对目前ＤＩＳ发展过程中遇到的问题进行了深入的分析与论证。     

THE 8~(th) INTERNATIONAL CONGRESS ON INDUSTRIAL AND APPLIED MATHEMATICS

正August 10-14,2015Beijing,China The International Congress on Industrial and Applied Mathematics(IClAM)is the premier international congress in the field ofapplied mathematics held every four years under the auspices ofthe International Council for Industrial and Applied Mathematics.From August 10 to 14,2015,mathematicians,scientists and entrepreneurs fiom around the world will gather in Beijing,China for the 8th IClAM to be held at