基于Agent的CGF行为建模技术研究

对于含有智能体、智能行为的复杂系统仿真，传统的建模方法难以表述智能体的精神状态。Agent技术作为面向对象技术的延伸，为解决这类复杂系统的建模与仿真问题提供了有效手段。本文综合论述了基于Agent的CGF行为建模技术，最后并阐述了行为建模研究面临的困难。     

卫星系统功能行为的基于Agent建模

为支持对卫星系统的仿真研究,提出使用基于agent的建模方法从功能行为角度对卫星系统进行建模.首先,介绍了系统功能行为的相关概念和建模与仿真中所用的agent技术.然后,详细分析了卫星系统地面部分和空间部分的功能行为.根据卫星系统的功能行为属性,提出一个以agent模型为核心的卫星系统模型体系--ABSSA,并介绍了其中的关键部分:基于组件的agent模型结构和卫星系统模型结构.最后,简要分析了建模思想的仿真应用和实现策略.     

基于MAS的复杂网络安全形式化建模

针对网络攻击和防御形式化建模逼真度低和描述不规范的问题,基于多Agent建模思想提出了一种"微-宏"观相结合的具有良好扩展性的形式化建模方法,该方法从微观上描述了个体Agent的静态属性和动态行为,从宏观上描述了角色分配方式和各Agent之间的联系。接着以DDoS攻击与防御为例,给出了上述方法的具体实现过程。最后,仿真验证了DDoS攻防模型的正确性和有效性。     

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

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

复杂系统基于Agent的建模与仿真设计模式及软件框架

提出了一种基于Agent的建模与仿真设计模式——ABMS设计模式，阐述了ABMS设计模式的主要内容。该模式的提出有利于在建模与仿真领域以及软件开发界之间建立关于ABMS的对话联系与交流。然后设计了一种包含仿真服务模型ServerAgent和仿真模型结构SimAgent的ABMS分布仿真框架，该框架将最大限度实现仿真重用，并将支持大规模的基于Agent的复杂系统的仿真，包括军事对抗以及天战系统的仿真。该框架部分借鉴了HLA的思想，其中的ServerAgent提供底层的通用仿真服务。     

基于Agent的建模与仿真概述

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

基于Agent的建模与仿真在太空作战仿真中的应用

简单介绍了基于Agent的建模与仿真方法,指出它是仿真研究像太空作战系统这样的复杂系统的有效手段.给出了Agent的一种控制论模型结构,定义了Agent间进行交互的消息流和消息格式,在此基础上设计实现了通用的Agent模板类,其他具体的实体Agent都由它继承、聚集而来,并设计实现了一个简单的太空作战仿真演示系统--基于Agent设计的反卫星作战过程仿真演示系统,验证了基于Agent的仿真技术应用于太空作战仿真的有效性,为进一步构建完善的太空作战仿真系统打下了基础.     

需求建模的形式化方法研究

借鉴π演算的进程构造能力和类型系统表达能力,以π演算为需求建模语言,提出一种需求建模的形式化方法,给出构造功能行为交互系统的良类型性质。     

基于指令机制的作战Agent体系结构研究

作战仿真已经成为部队作战仿真训练和评估的重要手段,以全面描述作战单元的战场活动为出发点,提出基于指令机制的作战Agent( Combat Agent Based Command,CABC)的概念,综合了Agent的自治性、主动性、社会性和智能性等传统特性和在军事作战过程中接受各级别指挥控制而具有的“受制性”和“强迫性”两方面的特性,更加逼真地反映作战单元在战场上的活动特点.     

基于Agent的DDoS协同防御实体行为建模

现有分布式拒绝服务(DDoS)协同防御实体行为建模逼真度较低,且形式化描述不规范.针对上述问题,提出一种基于Agent 的DDoS协同防御实体行为建模方法.采用基于Agent的建模思想及输入-输出映射原理,建立包含自主行为和交互行为的实体行为概念模型,设计改进的Agent行为形式化描述方法,从自适应性、自学习性和交互性3个因素考虑,构建协同防御实体行为模型,准确描述防御实体的智能行为.     

Repast:基于Agent建模仿真的可扩展平台

建模仿真平台为基于Agent建模理论和方法的研究创造了条件.在研究当前流行的基于Agent建模仿真平台不足的基础之上,介绍了一种新的基于Agent建模仿真平台Repast,详细阐述了该平台的设计目标、框架结构及运行机制等内容,并结合一个实例简要说明了Repast模型的设计与实现过程.该平台移植性和可扩展性强,使用方便,易于学习,方便了应用基于Agent建模仿真方法对复杂适应系统及复杂性的研究及探索,同时也为复杂适应系统的研究提供新的思路.     

基于自动机的构件实时交互行为的形式化模型

采用形式化方法对复杂实时构件系统交互行为进行描述和验证,对于提高系统的正确性、可靠性等可信性质具有重要意义.分析了基于进程代数和自动机的构件交互行为形式化建模方法各自的优缺点,在此基础上提出了基于时间构件交互自动机的建模方法,给出了时间构件交互自动机的相关定义、组合和验证算法.时间构件交互自动机引入了时间限制、时间代价、时间代价计算半环、构件组合层次等概念,既能够描述构件交互情况,又能够清楚地表示出构件系统的体系结构信息和实时信息,便于对系统进行描述和验证.最后,结合具体应用给出了应用示例.     

基于场景行为的需求建模及质量特性检测

为在需求分析阶段验证软件是否满足非功能质量要求,本文提出一种基于场景行为的需求建模及质量特性检测方案。该方案首先定义能够建立高精度、可推理、易理解的需求行为模型的行为描述语言BDL。然后构造需求行为模型到状态迁移模型CCS的模型转换函数。接着以互模拟的定义为前提,验证转换函数的正确性,进而开发可信建模检测工具MTS。该工具导出的行为模型能够与质量特性表达式一起导入特性检测工具CWB实现质量检测。最后,本文使用该工具对手机软件升级这一需求进行行为建模,成功验证手机软件的一致性、安全性、行为可信性及行为非终止性。     

基于Agent技术的复杂适应系统分析与建模

该文简单介绍了霍兰教授提出的复杂适应系统（CAS）理论,概述了agent和多agent系统（MAS）的概念及其特点,重点介绍了基于agent技术的复杂适应系统的分析方法及建模方法,对其特点及相对于传统方法的优势作了比较.对于由多个Agent组成的复杂适应系统,基于Agent技术是一种十分有效的分析工具,它不但能够对复杂适应系统的体系结构进行适当的描述,而且为复杂适应系统演化过程的建模提供了有力的工具.基于Agent技术的分析与建模是探讨复杂适应系统演化的新动向.     

构件行为协议实时性扩展及相容性验证

对复杂实时构件系统行为进行形式化描述和相容性验证,可以有效提高系统的正确性、可靠性。分析了学术界和工业界的主流构件模型及常见时间行为的形式化描述方法,对构件行为协议BP(Behavior Protocol)进行了扩展,提出了时间行为协议TbP(Timed Behavior Protocol),分析了构件组合中常见的相容性错误类型,给出了基于时间行为协议的构件组合相容性验证算法。TBP应用简洁、方便、易于验证。结合具体例子给出了应用示例。     

行为建模语言的研究与实现

面向复杂行为的虚拟环境应用要求，提出一个支持复杂行为的语言模型，该模型可以灵活定义行为之间的控制关系及其时间约束，同时给出了面向复杂行为的虚拟环境计算法。在研制的分布式虚拟环境软件开发平台ＹＨＶＲＰ中实现了该语言模型和算法，它能较好地面向复杂行为虚拟环境应用的实时交互性和真实感。