国家重点实验室开放基金(SKLSDE-2012KF-0X)
- 作品数:3 被引量:13H指数:2
- 相关作者:毛新军周会平董孟高尹俊文唐明圣更多>>
- 相关机构:国防科学技术大学更多>>
- 发文基金:教育部“新世纪优秀人才支持计划”国家重点实验室开放基金国家自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 开放环境下自适应软件系统的运行机制与构造技术被引量:6
- 2015年
- 由于环境变化的不确定性和不可预见性,开放环境下自适应系统的开发面临着以下两方面挑战:首先软件开发人员很难在设计阶段清晰地预测环境中各种可能的变化并准确地定义相应的自适应需求,其次系统大量的自适应决策需要由系统自身在运行时来完成.针对上述挑战,文中提出了一种基于软件Agent和组织抽象的方法来支持此类系统的开发和运行.该方法采用社会组织的思想来抽象自适应系统,描述和分析系统的自适应特征;设计了基于角色动态绑定的自适应运行机制,并借助于增强学习的手段来实现系统的在线自适应决策以应对不可预见的变化.论文介绍了基于学习和动态绑定机制的在线自适应决策算法,提出了支持开放环境下自适应软件系统的工程化开发手段,包括自适应软件模型和构造框架、结构化的过程,开发了相应的支撑软件环境SADE+,并进行了案例分析以展示方法的有效性.
- 毛新军董孟高齐治昌尹俊文
- 关键词:自适应动态绑定
- 支持社会技术系统构造的程序设计模型和语言被引量:1
- 2014年
- 互联网上越来越多软件系统呈现出社会与技术交融、环境多样和开放、系统动态和演化等特点,如何支持这类复杂软件系统的构造是软件工程面临的一项重要挑战。通过将社会技术系统视为多Agent组织,把社会组织学的概念和思想引入到面向Agent程序设计范畴,提出了以Agent、组织、角色和职位为核心的基于组织程序模型来支持社会技术系统的开发;通过对多Agent组织不同层次动态性的识别和分析,设计了一组程序设计机制来实现社会技术系统的动态演化;包括角色绑定和组合机制、基于角色的交互机制以及组织的自我管理机制。基于上述模型和机制,提出了社会技术系统程序设计语言OragentL,给出了OragentL程序在组织、角色和组合三个层次的语法形式定义,介绍了OragentL的编译器及其运行支撑环境OragentBurg,并通过案例分析和演示展示了研究成果的有效性。
- 毛新军陈寅张婷婷
- 基于Agent的人工社会建模语言研究被引量:6
- 2015年
- 人工社会(artificial societies)、计算实验(computational experiments)与平行执行(parallel execution)简称为ACP方法,是用于帮助突发事件应急管理等复杂社会问题研究的一个经典社会计算方法,人工社会建模是该方法的基础.人工社会作为现实社会系统在计算机世界中的映射,具有多样性、层次性、社会性、演化性等诸多复杂性特点.因此,如何有效地支持人工社会建模成为了一个研究重点.综合考虑了人工社会特点以及突发事件应急管理和ACP方法对人工社会建模的需求,提出了人工社会建模语言(artificial society modeling language,ASML),详细介绍了ASML的元模型、多视点模型以及图形化建模语言.ASML借鉴了已有多Agent系统技术研究成果并借助于社会组织学思想,便于以抽象、自然且易于理解的方式对人工社会进行分析与建模,其严格语义基础使得模型检查与模型转换成为可能.此外,开发的支撑工具集ASMLTools可用于支持基于ASML的建模、模型检查和模型转换等.通过案例分析使ASML的有效性与可用性得以验证.
- 唐明圣毛新军周会平
- 关键词:社会计算人工社会智能体