Agent运算与系统演化研究

当前对Agent的描述在Agent的动态行为、协调求解和演化特征方面的描述能力明显不足。文章用代数运算对Agent的属性和行为特征进行抽象,提出了Agent调用运算、协作运算和条件运算的新观点,研究了这三种运算的性质及其之间的关系,证明了一个多Agent系统的所有Agent组成的集合与其上的调用运算和条件运算分别构成半群,与协作运算构成交换半群.把多Agent系统的演化归结为Agent运算表达式的变化.     

基于自组织演化的多Agent可信联盟研究

不同于现有采用博弈论的方法研究多Agent联盟技术,从联盟信任这一角度开展可信联盟研究,首先在历史合作信息的基础上构建个体信任度,在此基础上建立联盟信任度,进而形成可信联盟.通过联盟间的竞价协商来使得多个小规模的联盟合并成规模更大的联盟从而完成复杂的任务,刻画出联盟演化的自组织性并将信任贯穿于联盟的演化过程.为获得稳定的联盟,在联盟内部收益分配的机制上采用自由竞价与信任评估方式,最后在联盟收益分配结束后,通过信任修正来解决自由竞价中的欺诈行为,并同时获得数据隐私保护,使得联盟内部成员获得公平合理而又高效的分配机制.通过联盟信任,建立起分布式合作模型,可以大规模地降低计算复杂度和可控的风险收益,为动态联盟的稳定性提供有效保障.     

面向Agent软件工程综述

面向Agent 软件工程是近年来软件工程领域出现的一个重要的前沿研究方向,受到了学术界和工业界的高度关注和重视,研究活跃,发展迅速.本文从应用需求和技术发展两个方面阐述了面向Agent软件工程的产生和发展背景;从技术、开发和工具3个视点综述了现阶段面向Agent软件工程的研究内容;分析了面向Agent 软件工程的研究现状;最后讨论了它的应用前景和面临的挑战以指导进一步研究.     

Agent技术及其应用

移动agent的概念是20世纪90年代初提出的。由于其自身所具有的优异特性。移动agent技术已成为继CORBA、EJB后。新一代分布处理的关键技术，并且在很多新兴领域得到了广泛的应用。本文简单扼要地阐述了agent技术的基本理论和应用     

用差异演化算法求解单任务Agent联盟

在多Agent 系统中, 可以通过联盟提高Agent求解问题的能力,因此,联盟是多Agent系统的重要合作方法.将差异演化算法应用于Agent 联盟问题,可以快速、高效地找出合适的Agent 联盟.对比实验表明,该算法是正确、有效、可行的,在运行时间和解的性能上都优于相关算法.     

多Agent系统的技术研究

多Agent系统是由多个智能Agent组成的有机系统,这使得它具有比单个Agent更强大的处理能力.它表现出自组织性、鲁棒性、分布性以及很强的复杂行为.文中论述了Agent和多Agent系统的有关理论、方法和技术.主要包括智能Agent的特性、结构和推理;介绍多Agent系统的体系结构分类和常见的几种通信机制;以及面向Agent的程序设计的现状和发展.     

面向复杂系统的多Agent技术应用综述

多Agent系统通过采用各Agent间的通讯、合作、协调、调度、管理及控制来表达实际系统的结构、功能及行为特性,为各种实际问题提供了一种统一的框架.文章对多Agent技术在复杂系统领域的应用进行了综述.指出了多Agent系统的进一步研究方向.     

基于Agent的建模技术研究

本文提出了一种基于Agent的模型生成方法,它结合了面向对象和人工智能技术,既具有对象的继承和封装特性,也具有推理学习功能.利用该方法,传统的顺序建模系统被发展成为并行的、自主的、可扩展的、适应性良好的建模系统.文中详细介绍了Agent的内部表示和设计Agent系统的关键技术,并用一个实例验证该方法的实用性.     

多Agent系统的理论、技术及其应用

一、引言分布式人工智能(DAD主要研究在逻辑上或物理上分散的智能系统如何并行地,相互协作地进行问题求解。DAI是在传统AI的基础上发展起来的,分为分布式问题求解(DPS)和多Agent系统(MAS)两个方向。多Agent系统被看成是人工智能的实验平台,成为AI的研究热点之一。     

自适应软件系统模型偏差检测方法的适用性评估

自适应软件系统的模型偏差会导致诸多可靠性问题.对控制型自适应软件系统而言,其面临的模型偏差源自描述软件系统的标称模型在非确定运行环境中的漂移现象.现有模型偏差检测方法往往忽视了不同模型偏差之间的差异性,导致用户难以为其特定的应用场景选择合适的检测方法.针对这一问题,提出了一套特性指标,用于评估模型偏差检测方法在不同模型偏差场景下的适用性.该特性指标基于提出的模型偏差检测框架,系统分析了模型偏差检测过程中的重要因素,并提取控制信号强度、环境输入强度和非确定性强度作为量化的特性指标.基于这些特性指标,实验研究4种主流模型偏差检测方法在不同场景下的检测效果,并总结不同模型偏差检测方法对于自适应软件系统不同特性场景的适用性.     

Prospec: Support for Elicitation and Formal Specification of Software Properties

Although formal verification techniques have been demonstrated to improve program dependability, software practitioners have not widely adopted them. One reason often cited is the difficulty in writing formal specifications. This paper introduces Prospec, a tool to assist practitioners in formally specifying software properties. Prospec uses property patterns and scopes. Previous efforts at providing tool support for property specification have not provided convenient abstractions for specifying properties that include multiple events or conditions. A taxonomy of composite propositions is introduced to address this issue by defining relations among propositions and providing graphical abstractions that can assist in specification and validation of properties. This paper shows how composite propositions can enhance the specification pattern system by helping practitioners consider subtleties of behavior in sequences and concurrency through directed questions and visual abstractions. The paper introduces an elicitation and specification process to define patterns, scopes, and composite propositions.     

基于动态模糊逻辑的软件Agent生命周期模型研究

软件Agent的关键问题是如何促进Agent学习,怎样更好地管理Agent,以及如何有效地用它开发软件,基于此,提出了一个基于动态模糊逻辑的软件Agent生命周期模型。模型主要分3个阶段来描述:定义阶段,开发阶段和维护阶段。同时通过示例说明了利用此模型来揭示自动协作系统是十分有效的。     

Agent软件建模技术过程及应用研究

智能Agent软件建模是程序开发的一种新方法。Agent建模技术是应用需求引起软件技术的产生和发展的结果。对Agent技术的历史和发展进行了分析,以Agent建模技术在某大学项目审批系统中的应用为实例,分析和探讨了Agent建模过程和方法,其建模过程不同于结构化和面向对象的开发过程,建摸方法还未形成统一的模板,最后对Agent软件建模的应用进行了讨论。     

基于三值语义的软件运行时验证方法

运行时验证技术是对传统的程序正确性保证技术如模型检验和测试的有效补充。模型检验和测试都试图验证系统的所有可能执行路径的正确性,而运行时验证关注的是系统的当前执行路径。本文提出一种基于三值语义的软件运行时验证方法,一方面该方法提供了从代码插装、系统底层信息提取到监控器生成、验证系统运行轨迹是否满足性质规约的完整的解决方案;另一方面基于三值语义的监控器有发现一条无穷运行轨迹的最小好(坏)前缀的能力,从而使得监控器能尽可能早的发现性质违背。同时,我们开发了基于三值语义的软件运行时验证原型工具并针对案例进行了分析。     

软件Agent技术与软件体系结构研究

文章阐明了软件体系结构和软件Agent技术的主要概念、研究内容等,指出了各自的研究现状及发展趋势,说明了可用多级正交软件体系结构来实现软件Agent的合成以及面向agent程序设计方法,最后阐职了将软件Agent技术和软件体系结构结合起来在大型软件开发中的应用。     

嵌入式软件仿真测试环境的软件体系结构设计

仿真测试是嵌入式软件系统测试阶段的一种有效测试方法,仿真测试测试环境是支持仿真测试方法的一种自动化测试平台,针对仿真测试环境的功能需求,提出了一种基于主从结构的仿真测试环境的体系结构设计,之后重点介绍了实时处理机软件的体系结构设计,并对其中的任务管理与调度和通讯协议两个模块的软件体系结构设计进行了详细的描述,最后对全文进行了总结。     

多核处理器架构下面向监控的软件运行时验证方法研究

面向监控的软件运行时验证(Monitor-oriented Runtime Verification:MRV)方法可以有效的提高系统可靠性,但是在传统基于单核处理器架构的嵌入式系统中采用MRV方法会给目标系统性能造成较大的影响.本文对基于多核处理器架构的MRV方法进行了初步研究,分析并设计了在线验证、离线验证以及单监视器设计与多监视器设计等多种模式的MRV方法,给出了相应的MRV实现方案,并在几个开源项目中进行了MRV实例应用.实验数据分析表明,在不同模式下,基于多核处理器架构的MRV方法能够从不同程度上有效提高系统运行时验证的性能.本文工作为进一步设计有效的多核架构下MRV方法提供了基础.