强Agent社会智能系统及模态逻辑应用

基于系统对Agent的应用，将Agent分为强Agent和弱Agent两类．论述了有关强Agent的概念及其特性；提出了一个能处理社会智能的模态逻辑系统(MLMS)模型，MLMS采取模态逻辑处理系统中的强Agent精神状态；讨论了MLMS的模态逻辑语义和语法．     

基于Agent的人工生命研究

从Agent的角度，在个体级以及群体级上对人工生命进行了研究，提出了基于Agent的人工生命的模型,用扩充的SnetL语言，构建A1—agent知识库，设计了推理的模态逻辑算法基本思想．     

适应性免疫的轻量级网络入侵检测算法

充分利用移动Agent的特性和适应性免疫原理,提出一种基于适应性免疫和移动Agent的轻量级网络入侵检测算法．算法将入侵检测部件定义为检测Agent,检测Agent能根据迁移策略迁移到各主机,利用适应性免疫原理很好地实现网络入侵检测和响应处理．仿真实验证明：算法不仅检测能力强、误报率低、网络负载小,且可通过配置系统参数和接种检测子,提高了算法的灵活性和扩展性．     

基于协作Agent的分布式入侵检测系统

借鉴智能代理Agent技术,并结合XML技术,提出了一种具有两层代理结构的分布式入侵检测系统DIDS模型．该模型由多个域组成,每个域中有多个检测Agent和协作Agent,检测Agent分布在各受保护主机上执行检测任务,检测结果向上层协作Agent汇报;协作Agent则综合本域中各检测Agent的信息进行分析,产生本地报警,并通过XML向其他域中协作Agent报警．协作处理与均衡负载能力是该系统的主要特点．     

多Agent的计算机支持协同设计异常处理模型分析

结合工作流和多Agent技术,提出一种基于多Agent的计算机支持协同设计(CSCD)异常处理框架．在通信层,超时策略根据当前Agent自身状态和网络状态自适应地使用面向连接和无连接消息服务,以便为可靠的通信提供保障,减少通信故障对异常处理的影响．结合多Agent协调理论,扩展了通信原语,并利用面向对象Petri网(OOPN)建立了多Agent的状态变迁模型,验证了该原语的有效性．在应用层,按照Agent的信息处理流程,结合工作流和客户／服务器技术,利用OOPN对多Agent的CSCD系统的客户端和服务器内部模型进行定义,验证了多Agent系统的动态行为,所建立模型的多实例、多线程访问控制处理能力,以及在线和离线异常处理机制．     

基于多智能体的机电设备嵌入式控制系统设计方法

提出了一种利用多智能体（Multi—Agent Systems,MAS）方法学指导复杂机电设备嵌入式控制系统开发的方法．该方法利用智能体（Agent）概念处理复合型控制系统的多个子控制器;用MAS方法学指导构造Agent之间的通信及协调机制;利用多任务实时操作系统（Real—Time Operating System,RTOS）的多任务并行处理能力和系统服务在嵌入式系统中实现MAS系统,本方法已经应用于遥操作移动机器人嵌入式控制系统的开发．     

MLMS算法的伪收敛现象

采用自适应数字信号处理的经典分析方法,导出了MLMS算法稳定收敛的充要条件。结果是,MLMS算法不是无条件收敛的,当步长超过某一阈值时,算法出现伪收敛现象。     

商务系统中通用移动Agent框架的研究

设计了一个适用于商务系统的通用移动Agent吐框架,在系统运行中根据需要把旅行路线和完成任务后的处理方法添加到通用框架中生成移动Agent．通用框架的使用,很好地实现了软件高层设计的复用．     

基于Agent的智能e—Education系统研究

为了在e-Education系统中充分发挥网络资源的优势,提高其智能性,实现自适应教学和个性化服务,设计并实现了基于Agent的智能e-Education系统模型．运用教学策略Agent和教学管理Agent,根据学生的学习进度,智能地选择教学策略,以实现教学的个性化,达到智能化教学的目的;使用移动Agent技术实现Agent之间的通信,提高了用户与系统的交互性．     

基于Agent的智能e—Education系统研究

为了在e-Education系统中充分发挥网络资源的优势,提高其智能性,实现自适应教学和个性化服务,设计并实现了基于Agent的智能e-Education系统模型．运用教学策略Agent和教学管理Agent,根据学生的学习进度,智能地选择教学策略,以实现教学的个性化,达到智能化教学的目的;使用移动Agent技术实现Agent之间的通信,提高了用户与系统的交互性．     

Agents and Lattice-valued Logic

In fuzzy set theory, instead of the underlying membership set being a two -valued set it is a multi-valued set that generally has the structure of a lattice L with a minimal element O and the maximal element I. Furthermore if ∧, ∨, → and ┐ are defined in the set L, then we can use these operations to define, as in the ordinary set theory, operations on fuzzy subsets. In this paper we give a model of the Lattice-Valued Logic with set of agents.Any agents know the logic value of a sentence p. The logic value is compatible with all of the accessible conceptual models or worlds of p inside the agent. Agent can be rational or irrational in the use of the logic operation.Every agent of n agents can have the same set of conceptual models for p and know the same logic for p in this case the agents form a consistent group of agents.When agents have different conceptual models for p,different subgroup of agents know different logic value for p. In this case the n agents are inconsistent in the expression of the logic value for p. The valuation structure of set of agents can be used as a semantic model for the Lattice-valued Logic and fuzzy logic.     

基于CORBA的应用服务器的设计与实现

传统的客户/服务器结构应用于大型信息处理系统时,存在扩展性差、维护成本高、升级困难等缺点。采用基于CORBA(Common Object Request Broker Architecture)应用服务器的3层结构极大地扩展了两层结构在功能上的不足,一定程度上解决了业务逻辑与表现逻辑分离的问题。为此,设计和实现了一个基于CORBA的应用服务器。它由POA业务逻辑、数据库服务模块、支撑服务模块、服务器的管理与维护以及CORBA代理接口等组成。     

基于Aglet的入侵检测系统设计

基于Aglet的入侵检测系统模型(MAIDS)采用树形分层和网络混合的逻辑结构,功能组件由图形用户界面、控制器、管理器和数据采集模块四部分组成,具体配置由运行移动代理环境的三级平台控制中心、分区中心、网络主机组成。设计了七类功能代理,并实现了采集网络数据包代理。     

基于描述逻辑的概念检索模型

针对当前的概念检索模型存在没有语义特征的词典和缺乏知识库层面上的推理机制等问题,采用具有很强的表达能力和可判定推理功能的描述逻辑来实现概念的扩展检索.设计了一个基于描述逻辑的概念检索模型,并对其核心的推理算法作了进一步扩展,给出了相应算法的数学定义及其知识库的逻辑描述,并据此采用Jena和Racer推理引擎实现了一个基于描述逻辑的汽车导购的概念检索系统,可向用户提供有关汽车的分类、性能、报价等信息.实验结果表明:基于描述逻辑的概念检索模型实现了有效的隐含语义的检索,并通过关联概念联想实现了良好的用户启发和信息导航.     

Agent模型的伦理学分类

多Agent系统是多个自治Agent相交互、协同、合作形成的社会.伦理学是以道德为研究对象的科学.目前对多Agent系统模型的研究主要集中在逻辑方法、协同学和对策论3个方面,因此对几个目前已提出的MAS模型进行分析和评价,从伦理学的角度将其分成3类,分析了真正的理性Agent模型应该具备的伦理学条件.     

基于模型检测的审计方法逻辑正确性验证

利用模型检测的建模方法,对审计方法及其计算过程和期望的计算结果进行建模,并在模型检测器上对逻辑性较强的凭证断号检查审计方法进行验证,提出一个利用模型检测方法对审计方法逻辑正确性验证的框架.利用模型检测器给出的反例,对验证的审计方法进行修正.实验结果表明,模型检测方法能验证审计方法逻辑的正确性.     

单桩极限承载力的ANFIS预测分析

为了提高单桩极限承载力的预测精度,利用ANFIS较强的学习能力和模糊逻辑推理功能,建立了单桩竖向极限承载力预测的自适应网络模糊推理系统.通过静载荷试验成果的学习与预测检验,系统的预测误差在-10.5%～15.5%,绝大部分误差都在10%以内,表明该系统预测精度良好、适用性较强.     

模糊逻辑控制的一种新设计

对一类具有不确定性的非线性系统，根据滑模控制原理，提出了模糊逻辑控制的一种新设计，由于使用了适当的模糊逻辑切换，避免了滑模控制所固有的颤动现象，通过构造李雅为诺夫函数，证明了算法的全局稳定性，且跟踪误差收敛到零的一个领域，仿真结果表明，本文设计的模糊控制，对模型不确定性和外来扰动具有较强的鲁棒性和良好的跟踪性能。     

基于ZEUS开发反生化恐怖多Agent应急指控系统的研究

分析了Agent和多Agent系统的结构模型后,根据反生化恐怖应急指控大型复杂分布式信息处理系统的特点,结合多Agent系统的结构模型,提出了系统的一种实现框架,并对当前几个典型的Agent开发平台进行了分析和比较,提出了利用ZEUS平台开发反生化恐怖多Agent应急指控系统的实现思路,并对系统实现中的系统运行逻辑、Agent通信机制和Agent协作机制等进行了分析和研究,提出了指挥Agent的具体的内部结构.     

基于ZEUS开发反生化恐怖多Agent应急指控系统的研究

分析了Agent和多Agent系统的结构模型后，根据反生化恐怖应急指控大型复杂分布式信息处理系统的特点，结合多Agent系统的结构模型，提出了系统的一种实现框架，并对当前几个典型的Agent开发平台进行了分析和比较，提出了利用ZEUS平台开发反生化恐怖多Agent应急指控系统的实现思路，并对系统实现中的系统运行逻辑、Agent通信机制和Agent协作机制等进行了分析和研究，提出了指挥Agent的具体的内部结构。