智能体的理论研究

智能体在Al/DAl和当前主流计算机学科(如分布式计算)中正成为一个广泛使用、日益重要的键性概念,由此而产生了一系列新的思想、方法、技术和语言用以规范,验证,设计和实现复的分布式     

高产井地层特征的热流耦合温度反演新方法

高探1井试油时,井底流体温度随着产量增大而升高,而现有测试资料分析方法无法解释该现象。为此,根据质量和能量守恒方程,考虑高温流体在地层中的渗流规律和在井筒内的流动规律、渗流和流动时的传热,建立了储层和井筒的热流耦合模型,利用该模型分析了温度瞬态数据,反演了高产井地层温度。高探1井的生产压力和温度数据反演结果表明,反演得到的温度曲线与实测温度曲线吻合良好,可以解释井底流体温度随产量升高的现象。研究表明,高产井地层特征温度反演方法能够定量分析地层热力学和渗流参数、确定高产井流体的产出位置,为生产管柱安全评价、现场生产决策、油藏认识和储量计算提供了理论依据。      

自主机器人多智能体软件架构及伴随行为机制

自主机器人是一类由计算机软件控制的信息物理系统，如何支持该类机器人在开放环境下的有效和协调运行是自主机器人控制软件（CSAR：Control Software of Autonomous Robot）研究与实践面临的一项重要挑战.本文基于组织理论的思想，采用Structure-in-5的组织架构模式，提出了基于多智能体的CSAR的软件架构MaRSA（Multi-agent Robotic Software Architecture），通过独立抽象CSAR的行为规划、分发、执行等软构件并显式加强这些构件间的交互，从而为自主机器人行为的有效规划和协调实施奠定架构基础；提出了基于MaRSA架构的伴随行为机制，从因果性、时序性和按需性三个方面建立了机器人观察行为和任务行为间的伴随关系，并基于分步规划和动态决策的思想设计并实现了伴随行为的自主决策算法DAAB（Decision Algorithm of Accompanying Behaviors）.论文分别在仿真环境和实际机器人环境下设计了对比性实验，结果表明，与主流的反应式行为决策算法和BDI式概率决策算法相比较，基于MaRSA和伴随行为机制的DAAB算法所生成的伴随行为规划在开放环境下具有可行性和更高效的执行效率.     

多Agent系统的非终止主动合作计算模型

在多Ａｇｅｎｔ系统中,由于资源、能力的有限性和分布性,因而合作是多Ａｇｅｎｔ系统的一个重要特征,当前,随着Ｉｎｔｅｒｎｅｔ,Ｉｎｔｒａｎｅｔ技术的不断 以及应用的不断深入,传统合作计算模型已不能满足用户需求,主动合作计算正成为一个新的应用需求点,文中提出一个非终止的主运输在于言语行为理论以及多Ａｇｅｎｔ系统计算的理论框架,文中讨论了该合作计算模型所涉及的Ａｇｅｎｔ通信行为,分析了Ａｇｅｎｔ如何响应     

Multi-agent系统的主动合作计算模型

1 概述 Agent是近年来计算机科学领域中的一个重要概念,它是指在某一环境下具有自主性、社会性、主动性等特征的计算实体。Multi-agent系统由一组具有一定资源和能力、相对独立且相互作用的Agent组成。现实系统大多属于Multi-agent系统如空中交通管制系统、异构信息处理系统、战区导弹防御系统等等。由于Agent概念自然、贴切、直观地刻画了现实系统,因而有关Agent理论、技术的发展和应     

基于行为检测的机器人安全保护方法

机器人是一类典型的信息物理融合系统,由软件控制的机器人行为存在多种形式的安全问题。为了避免这些问题,提出一种基于行为检测的机器人安全保护方法。行为检测是指通过检测机器人执行行为之前和之后的状态,判断机器行为是否安全。该方法针对硬件限制、稳定性和碰撞冲突3个方面的行为安全问题,支持机器人执行行为之前对其进行建模和检测,提出碰撞冲突检测算法ACD。基于AOP技术实现该安全保护方法。基于NAO机器人开展了若干场景的实验,结果表明该方法可有效检测出危害机器人安全的行为并及时做出相应动作补偿。     

基于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机器人分析了机器人作为老人生活助理的案例,验证了该编程模型、语言和运行支撑环境的有效性.     

低渗储层改造低伤害压裂液体系研究

为了有效控制和降低压裂液对储层的伤害,提高压裂液体系的增油效果,降低压裂成本,在玛湖凹陷风城组低孔、低渗及非均质储层的压裂改造中,针对胍胶类压裂液残渣含量较多,容易对储层造成伤害,同时胍胶压裂液在碱性条件下交联,高矿化度对压裂液性能影响较大等原因,开展了低伤害压裂液体系改性黄原胶的研究。通过现场研究结果表明,改性黄原胶可以克服碱性环境、高矿化度以及硼离子的影响,破胶后残渣含量为90 mg/L,比HPG的残渣含量少56.5%,有效的减少了破胶液残渣对地层的伤害。在玛湖凹陷斜坡区进行了13井次的储层改造,10口井次获得工业油流,获油率55.6%,取得了较好的改造效果。     

软件工程系列课程实践教学平台Trustie

分析软件工程系列课程教学对课程实践教学支撑平台的要求,探讨开源软件以及软件众包给软件工程实践教学带来的启示,介绍Trustie平台的理念、功能以及基于Trustie的软件工程课程实践教学。