采用面向对象模糊Petri网的侦察平台Agent建模

为适应侦察平台Agent中各种知识的分类及知识动态更新过程的需求,采用一种自下而上的面向对象的模糊Petri网建模方法,不仅考虑处理中的侦察平台Agent推理规则,而且更注重其结构、子系统及相互通信方式.在分析侦察平台Agent模型及其知识推理系统的基础上,研究了面向对象的模糊Petri网建模的理论、建模步骤及示例.示例演示证实了模型的可行性与有效性.     

基于OWL的上下文感知建模与推理方法

上下文感知计算是普适计算研究领域中最为重要的一个方面,针对上下文感知计算中缺乏与自动推理支持的问题,提出了一种基于本体描述语言（web ontology language, OWL）的上下文感知建模与推理方法。OWL是以描述逻辑为基础的本体形式化语言,可以满足上下文知识共享与上下文本体自动推理的需要。该方法首先提出了一种本体引导的上下文模型框架,根据抽象层次的不同将上下文分为元模型与领域特定模型两层结构,然后采用OWL形式化描述该上下文模型,设计了上下文模型到OWL的转换算法,并利用本体自动推理工具完成了上下文推理,并以一个实际案例说明该方法的可行性。     

基于Agent的建模与仿真概念化框架

基于Agent的建模与仿真(ABMS)是面向复杂系统的建模与仿真方法学。提出了基于Agent的建模与仿真概念化框架,重点对该框架中Agent模型的概念及模型转化、ABMS综合环境以及模型校核与验证等相关研究内容进行了阐述。结合该框架,对Agent、消息、复杂系统及基于Agent的仿真进行了形式化描述。最后,提出了一个基于Agent的建模与分布式仿真软件框架,介绍了该框架的主要组成部件,并对实现该框架的相关技术以及正在开展的工作进行了介绍。     

基于多Agent系统网管模型的形式化建模

运用多Agent系统实现分布、自治的网络管理是构造下一代网络管理系统的一条全新思路。然而,大多数基于多Agent系统的网管模型均采用非形式化的方法进行描述,容易造成人们对模型理解的歧义性和在系统开发过程中的随意性。一种利用有色Petri网对分布式网络管理模型进行形式化建模的方法被提出。利用该方法所建立的形式化模型,能够对分布式网管模型中多Agent系统的组成结构和运行机制进行全面刻画,能够描述模型中用到的Agent的各种特性。     

基于Agent的CGF决策行为建模研究

阐述了ACGF决策行为建模的一般特点，提出了一种基于马尔可夫过程的分层决策行为模型，构造了该模型基于黑板通信的多Agent结构，并给出其形式化描述和决策过程的伪码说明。分析了决策行为模型中Sub-Agent（SA）的结构和功能特点，指出SA是反应式Agent与逻辑型Agent相结合的混合模型，能够根据环境要求产生反应方案和充分方案。实例验证该模型能够较好地模拟舰艇ACGF的决策行为。     

用谓词和关系框架构造模型

本文根据对决策支持系统(DSS)的研究提出了用谓词和关系框架构造模型的方法,使模型能用推理的方法生成、更新或修改,并利用建模知识库解决建模活动中的非结构化问题。建模知识的特点是定量计算与定性分析的交融。我们给出了将陈述式推理程序和过程式程序相结合的知识表示方法来表示建模知识。这种模型表示方法,能增强模型对环境的跟踪能力和提高模型管理的智能水平。     

基于多Agent的混凝土坝施工仿真与优化研究

混凝土坝施工仿真的复杂建模过程限制了其成为混凝土坝施工管理的有效手段。将智能化仿真与混凝土坝施工仿真相结合,提出了基于多Agent的混凝土坝施工仿真与优化方法。采用多策略建模方法来构建具有不同智能层次的Agent模型,简化了Agent模型的实现过程;阐述了混凝土坝施工过程仿真中仿真行为推理建模、规则知识的获取与应用、Agent间的通信与协商机制等多Agent实现方法;建立混凝土坝施工仿真系统Agent分类的整体模型结构,并论述了该系统的实现过程。基于多Agent的混凝土坝施工仿真系统的开发,增强了施工仿真的可信度和适用范围,实际工程的应用验证了该系统的有效性。     

基于粗糙集的工控界面多智能体系统模型研究

在工控界面多智能体系统中引入粗糙集的概念，尝试建立一种集知识表达和运算于一体的Agent数字化模型。丈中运用粗糙集在知识分类上的优势，从Agent的静态和动态属性入手，划分基本等价类。从而建立能描述各个Agent和整个MAS（多Agent系统）特点的知识表达系统模型，并对该表达系统进行数字化和归一化处理，使其能方便的在计算机中表达、推理和计算，并为MAS中各Agent间的协作奠定了基础。     

基于π网的多Agent系统建模与分析

首先集成两种互为补充的形式化方法-面向对象Petri网(Object-Oriented Petri nets,OPN)和π演算,建立了一种通用的形式化建模方法——π网.π网利用OPN形象地描述系统的初始化模型及动态行为,利用π演算刻画系统的动态演化.然后以π网为语义基础,从软件体系结构的角度,建立了一种多Agent系统体系结构模型(Multi-agent Systems Architecture Model,MASAM).在MASAM中,将多Agent系统抽象为计算Agent、连接Agent和配置等三个单元,并描述了多Agent系统的动态演化;研究了系统演化后体系结构一致性的分析方法,从而可以检测系统开发早期存在的错误,确保模型的可靠性和正确性.     

复杂层次模型中知识表达与推理方法研究

工程教育认证背景下的人才培养体系,是典型的复杂层次系统.采用多色集合及其元素、着色、围道矩阵和体运算等概念,建立复杂系统层次结构模型,从水平和纵向两个方向对该模型进行形式化描述,并给出复杂层次结构模型的形式化推理算法流程.基于多色集合为工程教育认证背景下的人才培养体系构建的层次结构模型,在逻辑层实现了知识自顶向下、自底向上的单向自动推理和同时向下、向上的双向自动推理,在问题的形式化描述、信息的高效率处理和程序的快速实现等方面具有明显优势.构建工程教育人才培养体系层次结构模型并提出知识的表达与推理方法,对开展工程教育专业认证工作、提高人才培养质量都具有重要意义,同时也为复杂系统模型构建及其知识推理分析提供了一种新的有效方法.     

一种基于协调知识水平的协调问题描述方法

从协调的本质出发,提出基于协调知识水平的协调理论研究框架,用活动、资源、相互依赖和协调机制等刻画协调知识水平.在此基础上,按照分析活动→判断资源→分清依赖的顺序对协调问题进行抽象,进而通过三元组(A,D,R)对其进行形式化的描述,将协调问题的求解过程简化为对三种基本相互依赖的处理过程,为利用计算机处理协调问题打下了基础.     

基于多Agent的多机协同空战仿真系统设计和实现

设计了一种基于多Agent的多机协同空战仿真系统,分别对该系统的建模框架和仿真框架进行了构建。在建模部分提出了系统各类Agent的Petri网模型和基于知识查询处理语言（knowledge query manipulation language, KQML）的模糊通信机制,仿真部分则采用独立于建模框架的仿真信息控制结构和小规模协同分配算法实现。仿真结果表明,该系统与实际符合较好,仿真速度和精度高,验证了该系统的有效性。     

联盟中知识转移效率的分析

探讨了联盟中的知识转移效率问题。文中首先给出了知识转移效率的概念，并将联盟中的知识转移效率区分为获得知识的主体数效率和所获知识的丰富度．效率两类，并且从不同维度分别对这两种效率进行了分析。在此基础上，构建了知识转移效率的数学模型，给出了知识转移效率的计算公式。最后指出了一些能改进联盟中知识转移效率的建议。     

一个基于模糊决策理论的投资组合模型

对清晰和模糊两种情况下的组合投资问题进行了研究 ,提出了相应的模型和求解方法 .模型以绝对偏差和代替方差 ,假定交易费用函数为 V-型函数 ,给出了将目标函数中含有非线性项或含有非线性约束的优化模型转化为线性规划问题的一个简便方法 ,不仅大大地简化了模型的计算 ,更重要的是使得在线解决大型组合投资问题成为可能 .投资者的主观意见反映在模糊情况的组合投资模型之中 .最后通过一个例子来说明本文所提出的方法 ,并对文中两个模型进行了对比分析     

Participatory Model Construction and Model Use in Natural Resource Management: a Framework for Reflection

In this article we propose a framework which can assist analysts in their reflection on the requirements for a participatory modelling exercise in natural resource management. Firstly, we distinguish different types of formal models which may be developed, ranging from models that focus on (bio)physical mechanisms to models which also include the actors involved in the utilisation of the resource and the social mechanisms that co-determine actor behaviour. Secondly, we consider what different modes of stakeholder participation entail for model construction and use. Finally, we propose six different purposes for a modelling exercise (clarify arguments and values, research and analyse, design and recommend, provide strategic advice, mediate, and democratise), and highlight conditions that affect the appropriateness of stakeholder participation for each purpose. The framework does not provide a straightforward recipe for the selection of participatory modelling methods, but we expect that the systematic reflection it affords will help analysts to make appropriate choices while designing a modelling exercise.     

双系统合作式协同进化算法求解不可分解函数

针对不可分解函数求解问题,基于合作式协同进化(cooperative co-evolutionary,CC)框架,发展一种双系统协同进化算法。该算法给出一种双系统A,B的 CC框架新结构形式及其相应的协调机制,以增加算法的多样性和收敛性;给出双系统A,B各自求解的两种算法,例如差异进化、改进粒子群算法选择原则和匹配方式,使该两种算法具互补性,并且与双系统A,B各自角色相匹配,目的是提高基于CC框架双系统算法的计算性能。经不可分解函数集(维数D=1 000)测试表明,本文算法计算性能(计算精度和标准差)与其他3种典型算法相比,对于其中某些函数求解占优,总体上4种算法对函数集的求解各有所长,具有互补性。     

多智能自主体企业供应链系统的构建及激励机制研究

首先建立基于多智能自主体的顺序型企业供应链系统 ,给出了通用的智能自主体结构和各类智能自主体的本体论定义 ,并描述了系统的通讯和协调机制 .在此基础上 ,考察了协议支付对企业供应链整体效益的影响 .     

基于Agent的建模与仿真设计模式及软件框架

提出了一种基于Agent的建模与仿真设计模式——ABMS设计模式，阐述了ABMS设计模式的主要内容。该模式的提出有利于在建模与仿真领域以及软件开发界之间建立关于ABMS的对话联系与交流。然后设计了一种包含仿真服务模型和Agent仿真模型的ABMS分布仿真软件框架，该框架将最大限度实现仿真重用，并将支持大规模的基于Agent的复杂系统的分布仿真，包括军事对抗以及空间作战系统的仿真。该框架部分借鉴了HLA的思想，其中的ServerAgent提供底层的通用仿真服务。     

免疫进化模型及其在优化计算中的应用

在深入研究免疫系统的智能进化机制和两种典型免疫计算模型的基础上，基于进化计算模型和免疫调节理论，结合免疫记忆机制提出了一种通用免疫进化算法(GIEA)的—般框架，论述了其运算机理，分析了其收敛性和收敛速度。针对多模态优化问题，按照该框架设计了一个具体的多模态免疫优化算法(MIOA)，并进行了仿真研究和计算复杂性分析。分析与仿真结果表明，该算法不仅比同类算法计算量小、具有更好的搜索性能，而且无须任何先验知识，实现了真正的自适应搜索。