基于涌现视角的MAS信任模型仿真分析方法

目前MAS信任模型研究关注的焦点是信任管理的微观机制设计,而从这些微观机制到系统的宏观特性,并不是显而易见的.因此,这些研究都采用了仿真分析.但是这些仿真实验的设计大多缺乏理论指导,往往不能正确反映系统的宏观特性.引入系统科学中的涌现视角来审视MAS,探讨基于涌现视角的MAS信任模型仿真分析方法.这一方法从相对清晰的微观层面入手,建立仿真运行模型;在充分考虑的相关宏观约束下,研究系统宏观层面的问题以及微观和宏观之间的联系.总结分析了信任模型微观机制的设计图式,在此基础上探讨了仿真Agent的设计框架;讨论了信任模型仿真分析中应考虑的宏观问题,包括宏观约束、威胁模型、评价指标以及仿真执行中的问题,最后实例验证了此方法的有效性.     

基于Agent和FSM的细胞信号转导网络仿真

针对现有细胞信号转导网络仿真方法的不足,提出一种基于Agent和FSM的仿真方法,在宏观水平与微观水平之间构建多Agent系统,仿真复杂的细胞信号转导网络。融合了智能Agent技术和FSM模型实现分子建模,有效地模拟了信号传递的分子机制,并减少了外部通信。采用定性仿真建模分子构象,降低了组合复杂性。通过仿真实验证明了方法的有效性。     

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

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

基于UML的多智能体建模分析方法研究

以多智能体系统机器人足球仿真比赛为研究背景 ,对Agent理论和结构模型进行分析 ,探讨了使用UML语言建立Agent模型与结构之间映射关系的方法 .通过对Agent的内部结构与行为的描述 ,实现了A gent建模与其软件建模的统一 .并在开发机器人足球仿真比赛队伍AFU2 0 0 4Agent软件的过程中成功地加以应用 ,为Agent的建模和设计实现开启了新的思路 .     

可再生能源分布式发电能量管理的复杂性研究

本文主要研究可再生能源分布式发电系统能量的优化与协调问题.基于系统能量管理中优化与协调控制问题的复杂性,提出采用基于Agent的建模与仿真方法进行研究.针对系统要求,以分散式发电系统的实体节点的映射封装Agent,提出了智能混合控制Agent的概念,建立了3层混合Agent的内部结构模型;并建立了以个体层、组织层和社会层构成的3层动态层级MAS体系结构,进一步辅以主导Agent和移动Agent辅助系统优化与决策,最终建立了一种新的面向再生能源的分散式发电系统能量管理的MAS宏观模型.最后应用有色Petri网对系统的优化与协调过程进行了动态模拟,验证了所提出的结构的正确性、合理性和有效性.     

基于Agent的空防作战系统建模仿真方法研究

空防作战系统是一类复杂的军事作战系统.从军事作战系统的主导因素入手,讨论了传统研究方法的局限性,进而提出使用基于Agent的建模仿真(ABMS)方法研究空防作战系统的思路,并根据空防作战系统建模仿真应用的需要对ABMS进行了改进:建立了层次化的ABMS建模框架,为解决对作战动态过程的建模而引入了事件的扩展概念及其分析方法.然后介绍了一个空防作战系统建模仿真研究的完整过程,给出了系统动态演化的事件模型和作战单元的Agent模型,并针对仿真结果进行了分析;从而证明了ABMS方法的可行性和有效性.     

基于Agent的战争舆情演化模型研究

基于仿真实验研究战争舆情演化规律是战争复杂系统建模与仿真要解决的新问题.针对战争舆情演化仿真的需求,在界定舆论、舆论战、战争舆情的概念和分析影响战争舆情变化主要因素的基础上,提出了采用基于Agent的建模方法构建战争舆情演化模型的思路,探讨了基于Agent的战争舆情演化模型结构,研究了有关模型设计与实验的前端、内核、输出等问题.建立了模型原型,进行了有关的仿真实验.仿真实验结果表明,基于Agent的战争舆情演化仿真具有可信性和可用性.     

基于多Agent的飞机电子仪表系统仿真模型

电子仪表系统(EIS)在飞机飞行和维护过程中对飞机性能参数的显示具有至关重要的作用;针对电子仪表系统的功能仿真,提出一种基于多Agent的EIS系统建模方案,对系统功能从整体角度进行了描述和分类,在功能分类的基础上进一步建立了层次化系统结构模型,并利用混合型Agent对系统功能对象的结构进行了设计,建立了系统功能行为模型;最后以发动机N1转速超限为例对上ECAM显示功能进行验证,证明该方法在飞机电子仪表系统仿真建模的实用性和可靠性。     

基于Agent的森林火灾系统建模仿真

为研究森林火灾系统的整体发展态势及演化规律,引入面向模式的基于Agent的建模方法,进行了融合自然、社会微观作用机理的计算机仿真研究,以Agent元模型为软件实现基础建立起森林火灾系统模型,有机融合了林火蔓延的元胞自动机模式和协作扑救的网络协作模式.对森林火灾系统模型进行动态仿真实验,实验结果表明了有关模式对系统态势发展的影响,以及基于Agent的建模方法对森林火灾系统研究的有效性.     

基于Repast Simphony平台的建模与仿真技术

随着计算机技术的发展, 基于Agent的建模与仿真技术被认为是研究复杂系统的有效方法, Repast Simphony平台为基于Agent的建模与仿真提供了有利条件. 针对如何利用Repast Simphony平台构建复杂系统仿真模型的问题, 重点介绍了Repast Simphony仿真平台, 分析了它的技术优势, 与同类仿真平台进行了比较分析, 并在分析平台主要类库的基础上, 总结出建模仿真的一般流程. 最后, 通过一个改进的Schelling模型仿真实例进一步阐述了利用平台构建复杂系统的设计与实现方法, 对使用Repast Simphony平台进行基于Agent的建模与仿真研究具有一定的指导意义.     

对软件测试过程模型的思考

在深入分析传统软件测试过程模型特点的基础上,提出了一种新的软件测试过程模型——并行"与"模型,并详细描述了各阶段的具体任务,更贴切地描绘出软件测试活动的复杂关系,充分反映出软件测试活动与开发活动之间的时序性、层次性、迭代性和并行性。     

软件测试过程模型研究

在对现有模型进行系统研究的基础上,提出了一种新的软件测试过程模型——并行“与”模型,并详细描述了各阶段的具体活动。该模型贴切地描绘出软件测试活动的复杂关系,充分体现出了软件测试活动与开发活动之间的层次性、并行性、时序性和迭代性。     

CIM逻辑模型的关系实现

针对逻辑模型在查询和存储方面的不足,定义与其具有一致表示能力的关系模型,并将逻辑模型中以句子形式表示的逻辑约束转化为针对关系模型中逻辑关系的势的约束。根据模型的访问,以IEC61970所采用的数据访问接口DAF为例,在上述关系模型中给出基于关系代数的实现。研究结果表明,通过选择合理的关系模型,可以在保持逻辑模型丰富的表达能力的基础上,利用关系代数提高模型访问的效率,同时保证约束判定的有效性。     

数据模型及其发展历程

数据库是数据管理的技术,是计算机学科的重要分支.经过近半个世纪的发展,数据库技术形成了坚实的理论基础、成熟的商业产品和广泛的应用领域.数据模型描述了数据库中数据的存储方式和操作方式.从数据组织形式,可以将数据模型分为结构化模型、半结构化模型、OLAP分析模型和大数据模型.20世纪60年代中后期到90年代初,结构化模型最早被提出,其主要包括层次模型、网状模型、关系模型和面向对象模型等.20世纪90年代末期,随着互联网应用和科学计算等复杂应用的快速发展,开始出现半结构化模型,包括XML模型、JSON模型和图模型等.21世纪,随着电子商务、商业智能等应用的不断发展,数据分析模型成为研究热点,主要包括关系型ROLAP和多维型MOLAP.2010年以来,随着大数据工业应用的快速发展,以NoSQL和NewSQL数据库系统为代表的大数据模型成为新的研究热点.对上述数据模型进行了综述,并选取每个模型的典型数据库系统进行了性能的分析.     

形状模型在混合建模环境中的映射研究

混合建模技术是ＣＡＤ研究继承参数化特征建模技术之后的又一研究热点,线框,曲面和实体模型３种模型间的转换是混合建模技术的核心,本文介绍了：１）实体模型到线框和曲面模型的映射;（２）线框模型到实体模型的映射,３）曲面框型到实体模型的映射,为混合建模技术做了一些有益的探讨,并将模型映射算法成功地应用于ＩＧＥＳ和ＳＴＥＰ的前后置处理器的设计中,取得了满意的结果。     

基于模型操纵的模型集成理论的研究

基于模型操纵的模型集成的主要研究对象是模型的输入输出参数，因此，本文给出了模型的二元组表示，即输入集、输出集，提出了模型组合关系与模型集成结果等概念，具体分析了模型集成结果的存在性问题，证明了其存在的几个充分条件，在证明中给出了在满足充分条件下模型集成的构造方法．     

对象模式到关系模式转换研究

数据在信息系统中的使用面临着这样一个困难,即:数据存储是以关系模型为基础,而软件开发以对象模型来进行,造成了软件开发中数据访问技术的不和谐。提出并建立了一个软件框架,并就对象模式到关系模式的转换进行了研究。     

计算机安全中的经典模型

安全模型是构造安全计算机系统的基础。到目前为止,已有多种公开发表的安全模型。本文总结了几种重要的早期安全模型,其中包括访问矩阵模型,HRU模型,BLP模型、格模型和无干扰模型。并对它们进行了分类和简要评递。本文将它们称为经典安全模型。这些经典安全模型都是开创性的,从各个不同的方面对安全问题进行抽象,模型所定义的安全问题具有典型性,并对后续的研究产生了重要影响。目前,共享计算机系统的安全问题仍然是计算机科学的中心问题之一,研究这些经典模型,对于我们全面理解计算机系统的安全问题,展望未来发展方向,具有重要意义。     

演化软件过程模型

根据目前软件开发的趋势,介绍了几种常见的软件开发的演化模型,包括增量模型、螺旋模型、并发开发模型等。简要介绍了每一种软件开发模型的工作过程、基本成分和演化过程,以及它们在现代软件开发中的应用情况。     

UML活动图模型正确性诊断方法

UML活动图的正确性决定了业务流程的正确执行,为此,提出一种UML活动图模型的正确性诊断方法。将模型分解后,对子模型进行模型验证,并对验证错误的子模型进行模型诊断,得到诊断结果。在质量管理过程实例中的应用结果表明,该方法能减小模型空间,减少诊断次数,准确锁定错误,有效地对模型的正确性进行诊断。