角色在多Agent系统中的应用

角色是连接多Agent系统微观模型与宏观模型的桥梁,角色与Agent之间的动态性有利于刻画多Agent系统的结构和行为模型.本文研究角色和Agent之间的关系和机制,讨论基于角色的多Agent系统,并介绍了角色在RoboCup仿真比赛中的应用实例.     

一个基于Multi-Agent的统一身份认证系统

针对目前统一身份认证在异构系统上实现困难的问题,结合分布式人工智能的Agent技术,提出了一种基于多Agent的统一身份认证系统,讨论了系统的Agent设计、部署、数据安全性等问题.     

多Agent系统在RoboCup中的应用

RoboCup是多Agent系统研究的一个很好的平台．建立一支成功的机器人足球队需要很多领域的知识,合理的模型结构和Agent之间的协调与协作是RoboCup比赛中赢球的关键所在,协调与协作是多Agent系统研究的重要课题．本文以RoboCup为背景,分析了组成一支球队的多Agent的模型结构以及协调与协作的几种方法．     

TriBDI Agent应用框架的研究和实现

借鉴面向对象开发工具中的应用程序框架的思想，提出了一种Agent的应用框架-TriBDI，该框架为三层体系结构，通过Agent的BDI模型来表示Agent的心智状态，该框架已在AIDE（Agent Integrated Developing En-vironment)Agent集成开发平台中予以实现，并对如何使用该应用框架构建Agent系统提出了初步的设计规范。     

基于CBR和MAS故障诊断系统的合作评价策略

在基于CBR和MAS故障诊断系统模型的基础上,介绍了基于证据理论的Agent合作评价策略,研究了具有互斥故障情况下的Agent合作评价策略.该Agent合作评价策略的研究有利于提高基于CBR和MAS的故障诊断系统的可靠性.     

基于Agent的异常处理在进销存管理系统中的应用

针对基于工作流的进销存管理系统中存在的异常问题,提出了一个基于Agent的工作流异常处理模型,建立了异常监测、分析、处理机制,采用ECA规则建立了异常规则库,利用Agent的自学习性解决系统中出现的不可预测的异常,提高了系统的灵活性和可适应性,增强了系统处理异常的能力.     

基于Swarm平台的复杂系统建模仿真及其应用分析

在分析基于多Agent的复杂系统建模仿真的基本思想及其发展概况的基础上,论述了Swarm平台的基本结构以及利用Swarm进行建模仿真的一般思路.建立了基于Swarm的某水资源调度管理系统的预测分析模型,仿真实验结果表明,Swarm平台非常适合于复杂系统的建模仿真。     

基于Agent的可生存系统认知单元结构模型

基于Agent结构,提出一种新的可生存系统认知单元结构模型.首先建立了基于认知环的可生存系统认知单元结构工作流程,然后给出了一种认知单元具体结构,并对结构中的各模块进行了描述,最后基于Agent结构的HSA模型,对可生存系统认知单元结构模型进行了形式化描述.     

交互时态逻辑下的三种模糊信念算子

前期工作交互时态信念逻辑ATBL仅在二值语义下刻画了三种信念算子,没有探?讨它们的模糊语义问题.利用可信度函数给出模糊并发博弈结构,以模态算子的形式在ATL的语法层面给出了三种模糊信念算子,在模糊并发博弈结构下给出其语义,建立了模糊交互时态信念逻辑FATBL,使得ATBL成为FATBL的特殊情况.对Agent认知形式化作了进一步探索,为多Agent系统研究提供了一个较好的形式化工具.     

基于Agent与XML的网络教学模型研究

在借鉴国内外相关研究成果的基础上，使用可扩展标记语言(XML)描述了网络教学中的相关资源、定义了多Agent之间的请求／响应协议，构建了含有四类Agant的网络教学框架模型，并对模型中各类Agent的内部结构和主要功能进行了探讨。     

基于设计结构矩阵的设计过程建模研究

通过分析设计活动之间的关系,建立设计开发活动的矩阵表示(设计结构矩阵),给出了设计结构矩阵的具体实现方法;实现耦合活动集的代数方法识别,在此基础上实现设计开发活动优化重组,包括活动分解和耦合活动集的解耦方法;最后,通过一个实例说明该建模方法的实用性.     

关于分散静态输出反馈的固定结构鲁棒控制器综合

阐述了鲁棒固定结构控制器合成方法，这种方法是以直接的固定结构控制器综合为基础的，为描述一大类控制器结构，它使用了分散静态输出反馈作为一般框架．实结构奇异值标度波波夫界用于说明实参数不确定性，且为控制器自由参数在最坏情况下的H2范效界的最优化提供了方法．拟牛顿最优化算法用于解决由此引出的许多最优化问题．     

逆特征问题的某些有趣性质

证明了下面两种有趣性质（１）如果三对角对称正定阵的逆特征问题有唯一解,则三对角对称阵的逆特征问题有唯一解;（２）如果Ｊａｃｏｂｉａｎ矩阵的逆特征问题有唯一 ,则三对角对称阵的逆特征问题有唯一解。     

一类广义Kac-Moody代数的虚根系及由其特殊虚根决定的反射

我们知由虚根α决定的一类反射γα是属于有限维李代数g(A)的.若g(A)是可对称化的无限维李代数,那么我们就对它的每一个虚根α(虚根满足(α,α)<0)定义出一类反射γα,在此基础上.我们又讨论出这类Kac-Moody代数的严格虚根系、纯虚根系.     

相似系统的建立及应用

简要介绍了非电系统的电相似系统的迅速建立及其应用方法．     

基于PVS的时序逻辑语义模型及其实现

时序逻辑作为一种规格说明语言,能够很好地描述程序性质.为了能够利用现有的定理证明器PVS(prototype verification system)对用时序逻辑公式描述的程序性质予以证明,从而达到程序验证的目的.文中在PVS中建立了时序逻辑的语义模型,同时给出了其语义解释.然后通过一个简单的例子(求解整数平方根的程序),应用时序逻辑公式对该程序的部分性质进行了描述,取得了较好的效果.实现了程序性质的时序逻辑公式表示,为使用PVS验证程序的性质打下了一个好的基础.     

融合数学建模思想的理工科研究生创新能力培养模式

结合理工科研究生特点,依托数学建模,构建理工科研究生创新能力培养模式.通过制定数学建模课教学大纲和教学计划,完善数学建模培训体系,构建数学建模创新研究平台、教师跨专业合作研究平台等措施实践培养模式.实践表明,该模式对研究生的科研能力和创新能力的提高起到很大的促进作用.     

亚纯函数与其导数具有分担值的两个结果

我们得到非常数亚纯函数与其k阶导数分担一个值时的必要条件,并进一步在某种情况下降低对幂指数的取值要求,减弱对极点密指量的限定,得到了一个关于亚纯函数的唯一性的定理.     

赋拟范线性空间及一致有界定理

本文在[1]的基础上给出一颊拓扑线性空间--r(>0)次幂赋拟范线性空间;建立拓扑线性空间可赋拟范化的条件;确立赋拟范空间上连续线性算子族的一致有界定理及赋拟范线性空间的完备性定理等。