Agent计算的理论

提出了Agent的一种新的体系结构。首先简单介绍了经典的BDI模型,以及基于正规模态逻辑存在的一些问题。然后给出了构成该新Agent体系结构各个认知成分的语义定义,分析了Agent是如何基于该体系结构来进行技术计算的,最后再研究和验证在动态、不确定的Multi-agent系统中Agent计算的活性和安全性问题。为研究Agent计算理论打下一定的基础。     

复杂自适应系统的MAS动态协作任务求解时序逻辑模型

借鉴组织学思想将自适应系统中的自主运行单元抽象为Agent, 把复杂自适应系统视为多Agent组织, 从时间和状态角度对复杂动态系统的行为进行描述, 提出了基于时序活动逻辑的多Agent动态协作任务求解自适应机制和构造模型; 分析了任务求解BDI Agent的信念、愿望、意图的产生过程和实现方法, 建立了协商推理的语义规则和行为规则, 给出了协作群组的选择算法. 并从任务求解Agent的心智变化角度, 描述了动态协作任务求解模型实现的六个阶段: 任务动态分配、协作意愿产生、协作群体生成、共同计划制定、协作群体行动和结果评估. 通过在MAGE等平台上实验和仿真测试, 验证了方法的可行性和有效性.     

基于π网的多Agent系统建模与分析

首先集成两种互为补充的形式化方法-面向对象Petri网(Object-Oriented Petri nets,OPN)和π演算,建立了一种通用的形式化建模方法——π网.π网利用OPN形象地描述系统的初始化模型及动态行为,利用π演算刻画系统的动态演化.然后以π网为语义基础,从软件体系结构的角度,建立了一种多Agent系统体系结构模型(Multi-agent Systems Architecture Model,MASAM).在MASAM中,将多Agent系统抽象为计算Agent、连接Agent和配置等三个单元,并描述了多Agent系统的动态演化;研究了系统演化后体系结构一致性的分析方法,从而可以检测系统开发早期存在的错误,确保模型的可靠性和正确性.     

信息物理融合系统可信软件形式化建模与分析

从多Agent系统的角度,以Petri网和π演算为语义基础,建立了一种信息物理融合系统（cyber-physical systems,CPS）可信软件形式化模型（high-confidence software formal model,HCSFM）. HCSFM以Petri网形象地描述CPS可信软件静态结构模型及动态行为,用Petri网分析方法和支持工具对模型进行分析和验证; 利用π演算刻画CPS可信软件中Agent的加入、退出、更新和体系结构重配置等动态演化机制,并研究Agent的演化策略及演化后CPS的一致性,确保动态演化后CPS软件能正常交互,从而为CPS软件设计提供可信保障. 通过HCSFM在无人驾驶车辆编队CPS中的应用,表明HCSFM可以有效地对CPS可信软件进行建模和分析.     

基于Agent的装备体系基础模型建模分析

针对装备体系效能分析、装备采办等应用的建模需求,建立了包括类型、属性、交互、规则的装备体系七元组描述模型,构建了基于Agent的基础模型框架。重点研究模型中的交互元组,定义了消息的格式,采用AUML描述了通信协议。另外,根据各元组特点,设计了Agent内部结构。针对装备内部的信息/行为交互,建立了基于活动图的Agent内部活动模型。最后,给出一个实例说明建模的流程与Agent的活动过程。     

面向并行Agent仿真的合成基准测试模型

为了评估并行仿真算法的性能,需要建立一个基准测试模型。针对并行Agent仿真研究领域中缺乏一种与应用无关的基准测试模型这一问题,在借鉴并行离散事件仿真中经典的合成测试模型PHOLD设计思想的基础上,根据基于Agent仿真的特点,提出面向并行Agent仿真的合成基准测试模型,利用该模型可以方便地合成符合不同应用特点的计算负载,去除与应用相关的因素对性能分析的影响,能够为不同的并行Agent仿真研究者提供一个公共的测试基准。最后,采用该模型从实验层次上分析了Agent计算粒度、所采用的处理器数目等因素对并行Agent仿真加速比的影响。     

面向Agent的电梯群控仿真系统建模研究

扩展了UML建模语言，形成了面向Agent的UML（AUML）以辅助面向Agent系统的开发。并应用扩展的Agent图、用例图和顺序图建立了电梯群控仿真系统的Agent模型、功能模型和动态模型，从而为系统的设计、开发奠定了基础。实践表明，该方法在面对复杂多任务系统时具有更强的实用性和优越性。     

弹道导弹突防信息对抗仿真系统设计研究

以弹道导弹突防信息对抗为仿真对象,即实现系统可扩充性、互操作性和提高大型复杂自适应对抗系统分析论证能力为目标,综合运用基于HLA和Agent的建模仿真技术,设计开发分布式的仿真联邦,重点研究了基于HLA的Agent通信控制、本体模型在Agent知识水平通信中的应用以及提高HLA仿真效率途径等问题.研究结果表明,交互行为本体的应用,可以提高集成HLA和Agent仿真环境中的仿真效率.     

多Agent诊断系统的几个问题研究

首先建造了一种包括应用Agent和服务Agent的两层多Agent诊断系统结构,并给出了应用Agent和服务Agent的内部结构在此基础上,设计了基于故障模式聚类的应用Agent内部故障求解机制,研究了多Agent模糊关联模型最后,基于多Agent模糊关联模型,探讨了多Agent系统的诊断与决策问题.     

实时多Agent结构与群体智能决策系统实现

文章首先指出了多Agent系统的理论在军事群体实时智能决策中应用的可行性，然后提出了单个实时Agent的组成结构和控制模型，讨论了在实时系统下，多个Agent间通信的不同方式和特点，通过在KQML通信原语的语义层增加时间约束，对KQML进行了扩展，解决了传统KQML通信协议无法满足实时多Agent系统的时间约束问题，实现一个基于多Agent系统的群体实时智能决策系统，为群体智能决策系统的开发提供了理论指导和实现方法。     

基于Agent方法体系的VR仿真研究

分析了Ａｇｅｎｔ研究和ＶＲ研究的现状,指出利用Ａｇｅｎｔ技术研究ＶＲ的自然一致性、并且说明该技术可以克服ＶＲ研究中的难点。最后,给出了一个典型的Ａｇｅｎｔ结构用于在ＡＯＰ下对ＶＲ仿真系统进行描述。     

基于置信规则推理的武器装备体系贡献度评估

针对武器装备体系贡献度评估中存在任务与能力关联复杂、数据处理缺乏有效性等问题,提出了基于置信规则推理的体系贡献度评估方法。首先,搭建了体系贡献度评估框架,通过使命分解和作战体系分析建立了“任务-能力”关联矩阵,并在此基础上构建了网络化多层次的评估指标体系。然后,利用基于置信规则推理的评估方法对体系作战效能进行推理。最后,根据体系贡献度评估模型计算武器装备体系贡献度。以空中遮断作战体系为例进行分析验证,结果表明该方法有效反映了体系的涌现性,客观评估了武器装备的体系贡献度,能够为装备迭代更新、作战体系发展规划提供理论支持。     

基于Agent和CPN的Web信息传播系统建模研究

Web信息传播问题的复杂性是系统宏观结构和微观个体行为两方面因素共同作用的结果。在分析Web信息传播建模难点及解决思路的基础上,研究了将基于Agent的仿真方法和Petri网的描述机制相结合,利用Petri网擅长描述系统的整体逻辑结构和动态特性的优长,将Agent对系统个体特性和交互规则的仿真溶入到着色Petri网(CPN)描述的系统动态行为之中,使仿真分析和逻辑结构分析结合起来,对解决类似的复杂社会系统仿真提供一种新的思路。     

一种消费者品牌偏好的模糊排序方法

为将消费者对品牌属性的模糊评判信息转化为消费者的品牌偏好信息,首先将模糊语义转化为三角模糊数,然后利用模糊数的广义加法、近似乘法及标量乘法计算,从而将消费者对属性的离散意见转化为对某一品牌的综合意见.然后通过定义一种模糊数综合排序指标来确定消费者的品牌偏好顺序.最后还通过一个算例来说明方法的实用性和有效性.     

基于Agent的体系对抗仿真建模方法研究

面向信息化战争的武器装备体系对抗仿真，从复杂系统建模的角度对传统系统仿真建模方法提出了严峻挑战。因此，需要以CAS理论为依据，研究新的武器装备体系对抗仿真建模方法，以适应信息化战争模拟的需要。为此，我们在分析体系对抗仿真需求的基础上，从基于Agent的体系对抗仿真建模概念、仿真建模概念框架、仿真建模策略，基于Agent的体系整体“涌现”行为建模等问题入手，探讨了基于Agent的体系对抗仿真建模方法问题，并结合体系对抗仿真实验，研究了基于Agent的实体行为建模、实体交互建模和实体模型结构，提出了基于Agent的体系整体“涌现”行为建模思想和建模规范。     

基于多智能体和神经网络的网络故障诊断及二维可视化

提出一种基于多智能体和神经网络的网络故障可视化诊断系统。每个被诊断的网络具有一个网络故障征兆收集智能体，负责收集并且预处理该网络的故障征兆信息，该信息被传送到位于诊断中心的网络故障诊断智能体，用作诊断及可视化。该系统的优点是网络故障诊断智能体可以以可视化的方式诊断网络的故障，并且动态监控网络的运行状态。试验结果证明所述系统的有效性和鲁棒性。     

安全学演绎逻辑体系的构造

清晰严谨的原理体系是安全科学立足的根本,基于这一认识,梳理安全学的9个核心概念,提出安全学的5条公理和5条定律,采用推理演绎的方法研究不同事故致因理论之间的逻辑关系,得出30条推论,在此基础上构造了安全学原理系统.结果表明:安全学演绎逻辑体系有利于引导学科理论从宽泛走向严谨.     

HLA框架下的Agent与XML应用研究

对于一类包含控制节点和交互信息结构复杂多变的系统对象，在HLA框架下集成Agent和XML展开建模与仿真可以很好地完成仿真任务。针对在地面遥控下的航天器对抗问题，设计了基于Agent的HLA仿真联邦，并采用XML来实现系统中的信息交互。应用表明，Agent和XML可以有效地增强和扩展HLA应用。