教育部“新世纪优秀人才支持计划”(NCET-10-0898)
- 作品数：8 被引量：31H指数：3
- 相关作者：毛新军侯富尹俊文陈寅吴伟更多>>
- 相关机构：国防科学技术大学更多>>
- 发文基金：教育部“新世纪优秀人才支持计划”国家自然科学基金国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 开放环境下自适应软件系统的运行机制与构造技术被引量：6
- 2015年
- 由于环境变化的不确定性和不可预见性,开放环境下自适应系统的开发面临着以下两方面挑战:首先软件开发人员很难在设计阶段清晰地预测环境中各种可能的变化并准确地定义相应的自适应需求,其次系统大量的自适应决策需要由系统自身在运行时来完成.针对上述挑战,文中提出了一种基于软件Agent和组织抽象的方法来支持此类系统的开发和运行.该方法采用社会组织的思想来抽象自适应系统,描述和分析系统的自适应特征;设计了基于角色动态绑定的自适应运行机制,并借助于增强学习的手段来实现系统的在线自适应决策以应对不可预见的变化.论文介绍了基于学习和动态绑定机制的在线自适应决策算法,提出了支持开放环境下自适应软件系统的工程化开发手段,包括自适应软件模型和构造框架、结构化的过程,开发了相应的支撑软件环境SADE+,并进行了案例分析以展示方法的有效性.
- 毛新军董孟高齐治昌尹俊文
- 关键词：自适应动态绑定
- 支持社会技术系统构造的程序设计模型和语言被引量：1
- 2014年
- 互联网上越来越多软件系统呈现出社会与技术交融、环境多样和开放、系统动态和演化等特点,如何支持这类复杂软件系统的构造是软件工程面临的一项重要挑战。通过将社会技术系统视为多Agent组织,把社会组织学的概念和思想引入到面向Agent程序设计范畴,提出了以Agent、组织、角色和职位为核心的基于组织程序模型来支持社会技术系统的开发;通过对多Agent组织不同层次动态性的识别和分析,设计了一组程序设计机制来实现社会技术系统的动态演化;包括角色绑定和组合机制、基于角色的交互机制以及组织的自我管理机制。基于上述模型和机制,提出了社会技术系统程序设计语言OragentL,给出了OragentL程序在组织、角色和组合三个层次的语法形式定义,介绍了OragentL的编译器及其运行支撑环境OragentBurg,并通过案例分析和演示展示了研究成果的有效性。
- 毛新军陈寅张婷婷
- 基于政策自组织系统的软件agent体系结构及其实现被引量：1
- 2013年
- 当前自组织系统软件工程面临的一个重要挑战,就是如何设计适宜的个体交互行为来满足自组织系统的宏观涌现需求。针对此问题,提出了一种基于政策的自组织多agent系统的开发方法,此方法通过政策调节引导agent的行为,以期在系统层面得到用户所需求的宏观涌现结果。开发这类系统的核心问题是如何构造系统中的软件agent,使得agent能够感知、理解系统政策,并在遵循政策的前提下实现行为的自主决策。提出了一种基于政策自组织多agent系统的软件agent体系结构,并基于该体系结构设计了运行机制及行为决策算法。通过软件方式实现了一个基于政策的自组织多agent系统开发平台原型,并通过案例实现说明了体系结构、运行机制的有效性。
- 侯富毛新军郭毅周凯
- 关键词：自组织系统
- 软件运行时可变性动态演化机制研究被引量：3
- 2016年
- 持续变化的需求对开放环境下软件系统的灵活性和可伸缩性提出了较高的要求.在许多情况下,这需要系统中能够发生变化的位置、变化的程度等可以被动态调整,即要求软件的运行时可变性是可以动态演化的.然而在多数系统(例如自适应系统)中,软件运行时可变性受限于开发者在设计阶段基于当时需求和环境要求做出的决策和假设,使得软件可变性模型本身是难以动态改变的,进而导致了系统在运行时难以适应持续变化的需求和环境.软件运行时可变性动态演化是解决问题的关键.但目前只有少数研究工作关注该方面,而且它们往往停留在模型建立和验证阶段,缺乏如何实现动态演化的研究.为解决此问题,提出了元变机制以支持对可变性要素数量、属性、关系的改变.元变机制利用体系结构动态调整技术在体系结构和构件两个层次上实现可变性演化的基本操作,即可变性要素的增加、替换和删除;又利用可变性对象实现了对这些操作的封装和信息隐藏,使人们在关注高层的可变性模型变化时无须考虑可变性要素的异构性等细节.该文给出了元变机制的基础设施并基于.Net Framework阐述了其生成方法,并提供了相应工具以观察或触发运行时可变性模型的变化,最后以个人云资源分享为背景,解决了资源清理案例中的运行时可变性的动态演化问题,展示了元变机制的可行性和有效性;并对元变机制的基本操作进行了性能测试,展示了其高效性.
- 刘吉伟毛新军
- 面向自主Web服务的态势信息监视模型及其实现技术被引量：1
- 2014年
- 为了应对互联网环境的开放性和动态性,需要加强传统服务的自主性并对其服务态势状况进行有效监视和管理,从而为自主Web服务的灵活应用以及适应调整提供有效支持。在传统的SOA架构基础之上,对Web服务进行了自主化扩展,提出了自主Web服务的态势模型及其监视架构,设计和实现了相应的软件平台,并开展了案例分析来验证模型和实现技术的可行性。
- 陈超张红军毛新军尹俊文侯富
- 关键词：WEB服务自主化
- 基于组织的网构软件程序设计语言及其实现被引量：1
- 2013年
- 作为Internet环境下的一种新的软件形态,网构软件的自主性、协同性、适应性、演化性及柔性体系结构等特点对传统的程序设计模型、语言和支撑平台提出了一系列挑战.本文基于组织抽象和agent技术提出了支持网构软件构造的程序设计语言OragentL.首先,OragentL将软件agent作为网构软件中自主实体的抽象,并在这一层面设计和封装系统的自适应和自演化逻辑.其次,OragentL将组织、角色等组织抽象作为一级编程实体,提供了角色扮演、角色组合、角色演化、基于角色的交互、基于组织的自管理等机制为网构软件的动态性特点提供了显式的语言设施和机制支撑.我们设计了OragentL的语法和形式化操作语义,并开发了Oragentburg作为OragentL网构软件的运行时环境,支持OragentL程序的开发、编译。
- 胡翠云毛新军陈寅
- 关键词：角色扮演自适应
- 基于Agent的人工社会建模语言研究被引量：6
- 2015年
- 人工社会(artificial societies)、计算实验(computational experiments)与平行执行(parallel execution)简称为ACP方法,是用于帮助突发事件应急管理等复杂社会问题研究的一个经典社会计算方法,人工社会建模是该方法的基础.人工社会作为现实社会系统在计算机世界中的映射,具有多样性、层次性、社会性、演化性等诸多复杂性特点.因此,如何有效地支持人工社会建模成为了一个研究重点.综合考虑了人工社会特点以及突发事件应急管理和ACP方法对人工社会建模的需求,提出了人工社会建模语言(artificial society modeling language,ASML),详细介绍了ASML的元模型、多视点模型以及图形化建模语言.ASML借鉴了已有多Agent系统技术研究成果并借助于社会组织学思想,便于以抽象、自然且易于理解的方式对人工社会进行分析与建模,其严格语义基础使得模型检查与模型转换成为可能.此外,开发的支撑工具集ASMLTools可用于支持基于ASML的建模、模型检查和模型转换等.通过案例分析使ASML的有效性与可用性得以验证.
- 唐明圣毛新军周会平
- 关键词：社会计算人工社会智能体
- 一种基于多Agent系统的云服务自组织管理方法被引量：13
- 2015年
- 在开放动态的互联网环境下的云服务呈现出发散、动态演化、异构等特征,为了适应多样的应用需求以及持续变化的云环境,云需要以灵活、适应的方法来有效地管理和提供云服务.针对这一需求,提出了一种云服务自组织管理方法,该方法利用agent的环境感知和自主行为决策的能力,依据它的职责实现对云服务的自主管理,并通过agent间的交互以自组织的方式实现对服务资源的有效管理,进而适应云环境和应用需求的变化;提出了支持上述方法和机制的实现技术,包括云服务自组织管理的核心机制和实现框架、云服务汇聚和提供的运行机制及相关实现算法.利用支持语义Web服务发现匹配的公共测试数据设计并完成了两组验证实验,实验结果表明:所提出的方法可以在持续变化的云环境下有效地管理和提供云服务,进而满足动态多样化的应用需求.
- 侯富毛新军吴伟
- 关键词：云服务自组织管理多AGENT系统适应性
