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

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

基于描述任务逻辑的群体组织协同关系模型

群体组织模型是深入研究群体协同行为的基础,而现有的组织模型大多集中在对Agent组织的结构或个体低层指令级的交互上,不能描述组织高层的动态任务交互。提出一个新的群体组织协同关系模型GRNA。该模型包含两个子模型:认知模型和交互模型。认知模型构建于领域本体之上,为GRNA模型提供准确的术语定义;交互模型则基于描述任务逻辑理论,反映了群体的任务协同语义。实例分析表明,GRNA支持对群体规范和能力的描述,提供了组织任务可完成性的可判定的推理服务,能够描述组织的高层任务交互语义。     

计算机生成兵力平台体系结构技术研究

本文介绍了我们实现的计算机生成兵力平台,提出一种开放的CGF系统体系结构SEFBG,给出了一种通用的CGF实体模型以及CGF行为建模语言BBML,针对海战计算机生成兵力进行了试用。试用结果表明,SEFBG可以有效地支持基于DIS或HLA分布仿真平台的计算机生成兵力系统的开发。     

数字游戏中的协同——描述任务逻辑方法

传统的数字游戏只注重底层实体级别的交互协同,不支持多层次群体协同关系描述和协同规划描述,且很少有形式化理论支持.描述任务逻辑结合了描述逻辑的知识表示结构和任务逻辑的任务语义.描述任务逻辑方法对数字游戏中的协同关系和协同规划进行了形式化描述,给出了任务和规划可完成性的定义,以及联合策略下的规划可完成性的判定理论.通过示例说明,描述任务逻辑方法能够准确地描述虚拟群体高层指挥关系的任务交互语义,同时又能提供协同规划可完成性的可判定的推理验证服务.     

一种用于作战任务分解的启发式算法研究

针对多CGF(Computer Generated Force,计算机生成兵力)协同仿真系统中面临的复杂作战任务描述和分解问题,首先对其进行了形式化描述,将任务分解问题转化为有约束条件下的最小开销问题,然后提出了一种启发式的任务分解算法,给出了算法的具体实现步骤.经过实际算例检验,该算法能较为有效地实现复杂任务的分解.     

虚拟战场环境中一种CGF系统开发①

战场环境仿真是作战仿真和模拟训练系统的重要组成部分,计算机生成兵力作为战场环境仿真中的一部分,是战场环境仿真中的关键技术之一。以保障某型飞机模拟训练系统的战术训练、作战任务与战术协同训练以及战法研究为目标,利用作战仿真平台VRForces提供的基于实体参数数据库的CGF实体框架结构,采用基于组件工厂机制的CGF实体建模技术开发了CGF系统。该CGF系统提供以虚拟蓝方兵力为主的战场环境仿真,为飞机模拟器提供了逼真的模拟作战环境,较好地满足了某模拟训练系统的训练需要。     

基于服务的合同网络计算机生成兵力协同机制的研究与应用

针对计算机生成兵力(CGF)仿真系统普遍存在的异质特性,建立了一种基于服务的CGF协同模型,提出了将Web服务嵌入到CGF主体中,将CGF主体功能发布为Web服务,通过服务调用解决异构CGF之间协同问题,并结合作战角色建立了基于服务的作战组织内部协同模型;在此基础上结合原有的合同网络任务分配算法,建立了基于Web服务的通用合同网络CGF协同模型,从而优化了异质动态环境下的CGF协同问题。最后以反潜直升机协同搜潜为背景,对协同流程和部分应用实现进行了说明。     

计算机支持的协同工作系统的时序逻辑模型

为了使群体能够协同完成任务,CSCW(computer supported cooperative work)系统不仅要解决各种分布性、处理应用领域的特殊性,而且要提供面向用户的协作支持,从而使其行为异常复杂.然而对系统行为进行形式化的描述是构造软件系统的必经阶段.为了清晰地描述CSCW系统的行为,使其特定性质的验证成为可能,本文在时序逻辑的基础上,建立了CSCW系统行为的抽象描述模型.在此模型中,CSCW系统由分布运行实体和信息对象组成,系统的主要行为表现为用时序逻辑语言XYZ/E描述的实体间的交互.此模型可较好地对系统的分析和构造进行指导.     

作战仿真中的人类行为表示

作战仿真中的人类行为表示(Human Behavior Representation，简称HBR)是计算机生成兵力(CGF)的核心，灵活、有效、真实的HBR对于作战仿真结果的可信性十分重要。该文分析了作战仿真中HBR的目标与内容，提出了战场行为层次化建模的思想，在此基础上给出了CGF实体Agent行为模型体系结构，最后应用Agent通信语言KQML建立了基于HLA／RTI的作战仿真HBR集成框架。     

Self-organization of complex adaptive systems as a society of rational agents

In this paper, we aim at providing a general theoretical framework for designing complex adaptive systems as a society of rational agents. We term entities with their own interest agents. They are also rational in the sense that they only do what they want to do and what they think is in their own best interest. We formulate the dynamic interaction among those rational agents as competitive and cooperative problems. We obtain the equilibrium behavior in the long-run, and characterize the collective behavior of these rational agents. We show how complex collective behavior can emerge from the locally optimal behavior of each agent. We also describe why and how they organize themselves into a multilevel hierarchical organization with nesting structures. This work was presented, in part, at the Second International Symposium on Artificial Life and Robotics, Oita, Japan, February 18–20, 1997     

基于Q-学习和行为树的CGF空战行为决策

 空战行为决策的智能性是学术界关注的重要问题之一。提出一种基于Q-学习和行为树的CGF空战行为决策方法。通过构建CGF空战行为树模型,实现CGF智能行为;通过在行为树上的Q-学习,使CGF具有不断进化的能力。仿真结果表明,该算法在与传统算法对抗中,性能优势明显且学习能力较强。     

坦克CGF系统的火力仿真探讨

CGF是合成演练环境中的关键技术之一。该文在介绍CGF系统的基础上,研究了坦克CGF系统在火力性能方面的仿真;探讨了AI技术特别是专家系统在坦克CGF系统中的火力方面的应用;通过对坦克火力性能中物理行为和认知行为的研究,模拟了炮长在虚拟战场环境中目标探测、目标选择、弹种选择以及瞄准射击等一系列的动作流程,初步建立了一个坦克CGF系统的火力仿真模型。     

通信协议的实体行为描述语言CPEBSDL

提出了一种通信协议的实体描述语言CPEBSDL.CPEBSDL语言是一种描述能力很强的语言,它可以对协议实体的状态、行为及协议实体对资源的控制和访问进行形式化的描述,同以往的描述语言不同,CPEBSDL语言把协议实体之间复杂的交互行为看做是实体对协议中共同使用到的资源的控制和访问,从而简化了交互行为描述的复杂性,便于对协议进行分析和测试.给出CPEBSDL语言规则对应的上下文无关文法G(CPEBSDL),并给出了G(CPEBSDL)的乔姆斯基范式,在此基础上给出了一个判定协议行为的CPEBSDL语言描述是否合法的判定算法——CYK协议行为序列的合法性验证算法.作为一个实例,用CPEBSDL语言对ISDN数据链路层协议LAPD的链接过程进行了完整的描述,并给出了一个判定协议行为序列是否合法的例子.     

基于特征的空间查询语言

地理信息系统需要管理两类信息：一类是反映事物地理位置的空间数据;一类是反映事物相关特征属性数据。着重描述空间数据的特性。并给出一种不同于结构化查询语言（ＳＱＬ）的专门用于操纵空间数据的空间查询语言,以此分析地理信息系统强在的空间分析能力。     

计算机生成兵力行为建模发展现状

体系仿真是解决目前信息化条件下诸多军事问题的有效手段，仿真系统中计算机生成兵力（Computer Generated Force，CGF）行为表示准确与否是直接影响军事问题研究结论的重要因素。针对目前CGF自治性难以满足军事问题研究需求，系统总结了10年来CGF行为建模方法，并对比分析了不同方法的优缺点，梳理了近5年国内外CGF行为建模技术发展现状，针对军事问题研究需求，对当前该领域存在的问题和发展前景进行总结，并提出四种CGF行为建模思想方法。     

FSM在海军作战仿真CGF中的应用

计算机兵力生成(CGF)是现代作战模拟仿真中的一项重要内容,特别是在对抗条件下,CGF还必须具有战术决策能力,知道如何根据当前的战场态势,按照己方的作战原则,动态更新自身的行为.文章结合海军对海突击作战的特点,将有限状态自动机(FSM)与行为规则相结合来实现对抗条件下CGF的行为仿真,该方法已运用到对海突击作战仿真软件中,应用表明:该方法可以较真实地仿真红蓝方的行为,具有相当的战术决策能力,取得了良好的效果,也为该系统后期基于Agent的行为仿真提供了一种行为规则表示方法.     

A social scientific framework for social systems in online video games: Building a better looking for raid loot system in World of Warcraft

This paper examines social behavior in the online video game World of Warcraft. Specifically focusing on one element of social design: the behavior of players in the first release of Looking-for-Raid (LFR) loot system of World of Warcraft. It uses lens of economic game theory, combined with Williams (2010) mapping principle and a modern theoretical account of human decision-making, to explore how theory about individual interactions in well-defined contexts (games) can explain collective behavior. It provides some support for this theoretical approach with an examination of data collected as part of an ethnographic study, through focus groups, and a survey distributed to 333 World of Warcraft players. It concludes with a discussion of the results and some guidelines for predicting collective outcomes in certain types of online games using the introduced framework.     

基于态势评估的实体决策行为模拟

作战实体由人员和装备组成，其中人具有能动性。因此在作战过程中，作战实体都具有一定的自主权，能根据战场当前的态势，对自己的行为做出决策。该文提出了作战实体基于态势评估的决策行为模型，给出了一种战场态势的表示方法，并设计了一种战场当前态势与模板库中态势进行匹配比较的算法。该模型模拟了作战实体在战场中的决策行为，为实现计算机生成兵力的自动决策，减少人的参与程度提供了一种有效方法，可以应用于评估论证型的模型系统。