多Agent仿真中Agent行为的形式化描述方法

提出了一种从状态、动作、动作序列到活动,逐步地建立对Agent行为的形式化描述方法。该方法能有效地用于多Agent仿真系统的设计中Agent行为特征的分析、定义和描述。     

基于多智能体技术的公共场所人员疏散模型研究

利用多智能体(Multi-Agents)在复杂系统建模研究方面的优势,通过将被疏散人员定义为Agent,并对Agent行为进行形式化描述的方法,建立了基于多智能体MA的、考虑个体特征和行为的公共场所人员疏散模型。模型重点模拟了Agent在引导作用、火的扩散和随机障碍物等影响下的行为反应,结果比较符合实际情况,验证了该模型的合理性和适用性。     

基于多AGENT联合意图的反潜编队仿真模型研究

分析了反潜编队的协同作战过程,提出了编队多Agent的形式化描述方法,给出了单个兵力Agent的行为模型,包括组成结构和控制策略.提出了多Agent联合意图的六元组模型,并应用于舰艇和直升机协同反潜过程进行了形式化描述.采用黑板模型,实现多Agent兵力的战场态势和作战状态共享;基于有穷状态自动机,给出了多Agent兵力协同作战过程描述模型.最后,指出多Agent联合意图理论在计算机兵力生成方面,尤其是兵力协同作战研究方面,具有理论和方法可行性和可实现性.     

一种基于离散事件系统规范的复杂产品行为模型描述方法

基于离散事件系统规范(discrete event system specification,DEVS)的多分辨率形式化描述具有层次化、结构化的描述能力,但对模块内部智能行为描述相对匮乏,而基于Agent的建模可以刻画个体的感知行为、通信协作和学习进化.在多分辨率建模框架下,结合DEVS和Agent模型描述以提供对事件...     

基于Agent的CGF决策行为建模研究

阐述了ACGF决策行为建模的一般特点，提出了一种基于马尔可夫过程的分层决策行为模型，构造了该模型基于黑板通信的多Agent结构，并给出其形式化描述和决策过程的伪码说明。分析了决策行为模型中Sub-Agent（SA）的结构和功能特点，指出SA是反应式Agent与逻辑型Agent相结合的混合模型，能够根据环境要求产生反应方案和充分方案。实例验证该模型能够较好地模拟舰艇ACGF的决策行为。     

基于扩展UML的多Agent系统建模方法

基于对象和Agent概念的一致性 ,在多Agent系统的建模过程中 ,利用已经比较成熟的面向对象技术是一种值得重视的方法。在分析了统一建模语言 (UML)的基本建模思想和基于组织分析的多Agent系统建模思路基础上 ,以一个分布式后勤管理系统的分析为例 ,从Agent组织的角色定义、静态组织结构描述和动态行为描述等三方面给出了基于扩展UML的多Agent系统建模的主要步骤和方法     

基于多Agent系统网管模型的形式化建模

运用多Agent系统实现分布、自治的网络管理是构造下一代网络管理系统的一条全新思路。然而,大多数基于多Agent系统的网管模型均采用非形式化的方法进行描述,容易造成人们对模型理解的歧义性和在系统开发过程中的随意性。一种利用有色Petri网对分布式网络管理模型进行形式化建模的方法被提出。利用该方法所建立的形式化模型,能够对分布式网管模型中多Agent系统的组成结构和运行机制进行全面刻画,能够描述模型中用到的Agent的各种特性。     

群体中Agent基于内部状态的行为选择

以自然鱼群为原型,研究它们的行为选择机制,提出了一种群体环境中基于内部状态的Agent行为选择方法.建立分布式行为模型,赋予Agent感知、交互能力;用R-A模型描述Agent 之间的相互作用;定义Agent的自然能力限制为硬约束,定义Agent间相互作用为软约束;采用基于约束满足的随机搜索算法模拟Agent的交互与行为选择,运用Breakout思想确保算法跳出局部最小;通过对Agent内部状态值的调节改变搜索参数,达到内部状态控制行为选择的目的.     

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

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

基于扩展FIPA-ACL的装备保障Agent通信语言

针对原生FIPA-ACL在装备保障Agent通信中存在的语义描述范围不够、通信效率较低和语义识别不准确的问题,提出了一种基于扩展FIPA-ACL的装备保障Agent通信语言设计与实现方法.首先对FIPA-ACL的通信原语进行了扩充,并给出原语的形式化语义描述方法;其次对装备保障专业领域的通信本体进行了定义,明确了通信内容使用的基本词汇;再次基于FIPA-SL进行了内容语法定义和通信内容描述;最后对装备保障Agent通信语言进行了实现,并在某部队装备保障智能仿真推演与效能评估系统中进行了应用,验证了本文所提出语言的可行性及有效性.     

软件工程视域下的软件复杂性研究

从软件工程的视角对软件复杂性进行了初步研究,讨论了软件复杂性的基本定义,分析了软件复杂性产生的原因及软件度量方法,最后提出了未来适应软件复杂性的几种技术解决方案.     

软件可靠性度量实例研究

为适应软件的不同特点和使用阶段,必须根据软件的具体情况,考虑在软件开发的整个生命周期中,从不同角度对可靠性进行度量和评价。在现有软件可靠性度量的基础上,选择改造了9个可用于评价软件可靠性的度量,在航天软件中进行了应用,并详细阐述了各个度量的目标、方法和过程,最后对度量结果进行了综合分析以及给出了对软件的改进建议。     

基于COTS的军用软件保障问题研究

商用货架产品在军事领域的应用趋势将给传统军用软件的保障模式带来冲击。对此,在研究基于商用货架产品的军用软件(CBMS)开发过程的基础上,讨论了CBMS的保障组织形式和实施方案,构建了CBMS保障过程模型用以描述军方软件保障机构在整个保障过程中的工作,并就CBMS开发过程中与保障密切相关的商用货架产品选择和风险评估等问题进行了讨论。     

基于检查点和Rejuvenation的软件可靠性建模分析

处于运行阶段的软件往往存在老化现象，即性能的逐渐下降或失效。为了避免软件老化造成的影响，人们提出了软件rejuvenation技术。这是一种预防性的软件容错策略，能有效的提高软件系统的可靠性和可用性。但由于rejuvenation操作过程的复杂性，它的成本也是不可忽略的。相对于rejuvenation来说，检查点是一种轻量级的软件容错策略，其成本远小于rejuvenation的成本。本文旨在结合rejuvenation和检查点技术，在rejuvenation周期间插入适当数目的检查点，以降低系统的宕机成本。丈中给出了系统的Detri网模型，并结合实例进行了分析。     

软件总线研究及其在水电仿真系统中的应用

针对复杂系统仿真软件开发中柔性设计和软件复用等问题,提出了基于软件总线体系结构的系统集成方案.并以此为基础,在水电仿真系统的设计实现中应用了该方案.在复杂仿真软件系统设计与实现中采用软件总线体系结构,有利于应对系统扩展和变化,同时也通过松耦合连接使得系统中组件的重用性得到加强.基于软件总线的仿真系统开发体系,易于实现复杂系统的仿真建模与定制实现,直接提高了生产效率和软件质量.     

一种实时多任务软件可靠性验证方法

针对软件可靠性增长模型难以满足实时多任务软件可靠性验证的可信性要求,提出了一种基于任务模块软件统计测试的实时多任务软件可靠性验证方法.该方法利用实时多任务软件的结构和运行特点,建立了一个可靠性模型并给出了模型参数的求解方法;通过该模型把待验证的软件系统可靠性指标分配到各个任务模块,然后用统计测试的方法对任务模块的可靠性指标进行验证,以达到对整个软件系统可靠性指标验证的目的.实验证明该方法的有效性和灵活性.     

面向机载软件适航验证的灰盒测试方法

针对国内大飞机及新一代战机机载软件综合化、模块化的特点,根据机载软件适航验证要求,在分析传统黑、白盒测试方法与DO-178B《机载系统和设备合格审定的软件考虑》中软件验证要求适用性的基础上,应用灰盒理论,建立了满足软件适航验证要求的灰盒测试方法及其应用过程,并对该方法展开了分析,说明了其局限性,并对测试环境提出了新的需求。     

EnergyPlus中变频多联空调的模块开发和能耗仿真分析

为评价变频多联空调(VRV-II,以下简称VRV)的能耗特征,在建筑能耗动态模拟软件EnergyPlus的基础上,开发了VRV的能耗计算模块,并在一典型的商业建筑模型基础上,与几种常见的空调系统方案作了建筑物总能耗仿真比较。结果表明,VRV是最为节能的方案。同时,对于传统的空调系统,作为冷源方案的水冷式螺杆机相比风冷式螺杆机、以及作为系统方案的风机盘管加新风相比变风量空调,都显示出更为节能的特性。     

软件开发系统六元结构模型及其复杂性研究

在信息资源的开发中,软件是最重要的基础设施,软件开发是最重要的组成部分.文章总结了软件开发的三种认知观点,在此基础上提出了软件开发系统的概念及其六元结构模型和开发过程模型,并从复杂性科学的角度剖析了软件开发系统及其开发过程复杂性产生的原因、本质特征,对于正确认识和理解软件开发这一复杂系统工程的艰巨性,探索软件开发新方法具有重要的启示作用.     

基于混合体系结构的软件可靠性评估方法与应用

基于体系结构的软件可靠性模型建立在软件研制周期的初期阶段,能够对软件进行较早的可靠性分析,对早期软件结构的变更以及后期软件的更新与升级都提供了一定的指导依据。然而,早期的基于体系结构的软件可靠性模型只对单一的软件结构进行分析,这显然不满足如今同时存在多种体系结构风格的复杂软件的需求。分析了目前常用的软件体系结构风格,在基于混合体系结构的软件可靠性模型的基础上,阐述了应用体系结构模型进行评估的步骤,并结合实例进行了分析与验证。