多主体系统开发环境的结构化评价框架SEF及评价结果

近年来学术界和工业界推出了大量的多主体系统开发环境(MASDE：Multi—Agent System Development Environment)。如何评价已有的各种MASDE,帮助软件开发人员从大量、异构和多样化的MASDE中选择“合适”的MASDE以及促进MASDE的标准化和集成化是目前人们面临的一项重要研究课题。本文从工程实践的角度提出了一个结构化的MASDE评价框架SEF;并对一组典型的MASDE作了深入的分析和评价,得到了一系列重要的评价结果。与已有工作相比较,SEF具有多视角、易于操作、可扩展以及独立于应用等特点,能较好地用于描述、分析和展示MASDE的基本特征、发现其优势和不足。     

可成长的分布式系统

可持续发展是大规模分布式系统的基本特征。在研究了大规模分布式系统的特点和规律后,本文提出了一个新的概念一可成长的分布式系统,认为大规模分布式系统是随着需求、环境、技术、投资等多种因素的变化而不断成长起来的。文中分析了分布对象技术在支持分布式系统的可成长性方面的优势和缺陷,然后提出了一个面向Agent的系统框架,并阐述了面向Agent的方法对于开发和维护可成长的分布式系统是合适的,并给出了后续的主要研究方向。     

准噶尔盆地莫北-莫索湾凸起西斜坡油气成藏分析

准噶尔盆地莫北-莫索湾凸起西斜坡长期位于油气运移的指向区,构造位置有利,自北向南已发现了莫北油气田、莫索湾油气田和莫西庄油田等,是准噶尔盆地腹部油气最为富集的构造带之一;油气藏沿凸起边部呈弧形串珠状分布,受控于断裂、构造及沉积储集层等多种因素,油气分布虽然复杂,但具有一定的特殊性和规律性。通过剖析和总结该区的油气成藏规律,对指导下步勘探具有重要意义。     

准噶尔盆地吉木萨尔凹陷芦草沟组致密油储层特征及产能预测研究

通过岩心描述、薄片观察、测录井资料解释、核磁共振分析等技术手段,研究了吉木萨尔凹陷芦草沟组(P2l)致密油储层的岩石学特征、孔隙结构特征、物性特征、岩石力学特征、敏感性及含油性特征。研究表明,P2l储层岩性多样,储集空间多为溶孔,局部层段发育裂缝,孔隙结构属微孔、微细喉型,孔渗条件差,储层纵向上油气显示较为普遍,但油气相对富集的单层厚度较薄。此外,对致密储层改造措施效果的控制因素进行分析,认为工艺改造因素的影响尤为显著。在此基础上采用灰色关联分析、主成分分析、逐步回归分析3种方法优选出5个影响产能的参数,并通过多元回归分析建立了产能预测模型。经验证,产能预测结果与实际试油结论基本符合,应用效果好。     

面向Agent的软件工程:现状与挑战

面向Agent软件工程是近年来软件工程领域出现的一个重要的前沿研究方向,它试图将Agent理论和技术与软件工程的思想、原理和原则相结合,从而为基于Agent系统的开发提供工程化手段．近年来,随着Internet上的web应用以及软件开发社会化的发展,面向Agent软件工程受到了学术界和工业界的高度关注和重视,研究活跃,发展迅速．从应用需求和技术发展两个方面阐述了面向Agent软件工程的产生和发展背景;从技术、管理和工具3个视点综述了现阶段面向Agent软件工程的研究内容;分析了面向Agent软件工程的研究现状;最后讨论了它存在的问题和面临的挑战以指导进一步研究．     

形式化Agent的能力

能力是规范和设计Ａｇｅｎｔ的一个重要的抽象概念。本文提出了多Ａｇｅｎｔ系统中Ａｇｅｎｔ计算的能力理论以支持Ａｇｅｎｔ计算的理论研究。我们区分两种能力：实现型能力和维护型能力。基于多Ａｇｅｎｔ系统计算的逻辑框架,我们给出了它的语义定义,获取和描述了它的一些重要属性。     

联合意图的理论框架

0 引言 agent是指在某一环境下能够持续自主运行,具有社会性、反应性等特征的计算实体。多agent系统由一组具有一定资源和能力、相对独立且交互合作的agent组成。由于多agent系统提供了更高层次的抽象模型,能够自然、贴切、直观地表示现实世界中的计算实体及其问题求解方式,因而有关agent理论和技术的研究引起了人们的高度重视。     

基于Agent的人工社会建模语言研究

人工社会(artificial societies)、计算实验(computational experiments)与平行执行(parallel execution)简称为ACP方法,是用于帮助突发事件应急管理等复杂社会问题研究的一个经典社会计算方法,人工社会建模是该方法的基础.人工社会作为现实社会系统在计算机世界中的映射,具有多样性、层次性、社会性、演化性等诸多复杂性特点.因此,如何有效地支持人工社会建模成为了一个研究重点.综合考虑了人工社会特点以及突发事件应急管理和ACP方法对人工社会建模的需求,提出了人工社会建模语言(artificial society modeling language, ASML),详细介绍了ASML的元模型、多视点模型以及图形化建模语言.ASML借鉴了已有多Agent系统技术研究成果并借助于社会组织学思想,便于以抽象、自然且易于理解的方式对人工社会进行分析与建模,其严格语义基础使得模型检查与模型转换成为可能.此外,开发的支撑工具集ASMLTools可用于支持基于ASML的建模、模型检查和模型转换等.通过案例分析使ASML的有效性与可用性得以验证.     

RPL:一种基于反应式Agent的机器人编程语言

开放环境下的机器人具有环境敏感性、行为自主性和并发性、反应实时性等特点,这对支撑这类机器人的控制软件及其编程语言提出了新的要求,包括支持对环境进行显式表示,支持自主和并发的行为,需要对行为间在时间、空间、物理上的关系进行规约等等.面向Agent的编程语言将软件系统的基本执行单元视为自主的软件Agent,它为机器人控制软件的构造提供了新的方法和思路.针对开放环境下机器人特点对其编程语言的要求,提出了基于反应式Agent的编程模型RECA和编程语言RPL.RECA将单个机器人的软件系统视为一个反应式Agent,它包括Sen-sorEvent、EventRule和ScenarioBehaviour 3个组成部分,其中SensorEvent是对机器人所处环境信息变化的一种封装;ScenarioBehaviour是对机器人的不同行为进行的规约;EventRule定义了机器人环境输入到行为输出的动态绑定关系.RPL提供了一系列的机制来支持机器人控制软件的编程,包括事件机制、多线程机制、优先级描述、行为动态绑定.最后介绍了RPL程序开发和运行支撑环境的技术框架,并基于NAO机器人分析了机器人作为老人生活助理的案例,验证了该编程模型、语言和运行支撑环境的有效性.