基于多Agent联合灭火救援作战仿真方法

为实现联合灭火救援组织指挥的相互协作,建立了多Agent联合灭火救援作战模型框架.对系统中的指挥Agent、作战Agent和环境Agent进行描述,定义Agent之间以及Agent与环境之间的交互规则,描述系统的相互关系,构建联合灭火救援仿真模型,最后用多Agent软件工具集和通用软件平台(Swarm),采用JAVA语言编程,对模型及相应机制进行了功能验证.结果表明,该方法实现了联合灭火救援组织指挥相互之间的信息交换,完成快速、高效、科学决策,可以提高消防部队的作战能力.     

联合灭火救援作战Swarm仿真

为建立多Agent联合灭火救援作战模型框架.将多Agent理论和技术应用于联合灭火救援作战的研究,实现了联合灭火救援组织指挥相互之间的信息交换,显示了互相影响彼此的行动过程.对系统中的指挥Agent、作战Agent和环境Agent进行描述,定义Agent之间以及Agent与环境之间的交互规则,描述系统的相互关系,并构建联合灭火救援仿真模型,最后用多Agent软件工具集和通用软件平台(SWARM),采用JAVA语言编程,对模型及相应机制进行了功能验证.研究结果表明:该方法可以提高消防部队的作战能力,实现快速、高效、科学决策.     

多Agent联合灭火救援作战仿真

将多Agent理论和技术应用于联合灭火救援作战的研究,构建了多Agent联合灭火救援作战模型框架,实现了联合灭火救援组织指挥相互之间的信息交换,显示了互相影响的行动过程.对系统中指挥Agent、作战Agent和环境Agent进行描述,定义Agent之间以及Agent与环境之间的交互规则,来描述系统的相互关系,给出了多Agent的协同算法,并构建了联合灭火救援仿真模型.最后用多Agent软件工具集和通用软件平台(SWARM),采用JAVA语言编程,进行了模拟仿真,对文中构造的模型及相应机制进行了功能验证.     

一种改进的GPGP协调机制

以TAEMS为描述框架,通过引入角色关系分析和激励/惩罚机制对GPGP(Generalizing the Partial Global Planning)进行改进．改进后的GPGP协调机制不仅适用于合作团队的活动规划,还可以处理自私Agent之间的协调关系,从而扩展了GPGP协调机制的适用范围,使得Agent处理任务请求的方法更加灵活．     

基于多Agent的远程天气会商系统

Agent和多Agent系统是一个具有广泛参与面的研究领域，它为解决复杂的分布式环境下的交互问题提供了新的认识视角和理论框架。将多Agent技术引入远程天气会商，提出了基于多Agent的远程天气会商系统方案，建立了可行的系统结构与模型，给出了Agent的结构，并对主要的Agent进行了描述。     

基于角色交换的多Agent协商问题的研究

利用角色与Agent之间的动态性刻画多Agent系统的结构和行为模型的特点,针对在协商过程中相互协作的Agent如何结成具有相对稳定的合作领域的问题,对角色进行形式化描述,提出了基于角色交换的多Agent协商角色交换算法。该算法能在不完全信息的环境下,提高多个Agent之间的协商效率;并以模拟足球赛为平台进行实验,结果证明该算法是可行有效的。     

基于多Agent的疾病诊断支持系统研究

根据疾病诊断支持系统的特点,利用Agent的智能性构建了一个基于多Agent的疾病诊断支持系统,设计了系统的整体框架,描述了框架中各个Agent的功能,然后详细设计了诊断Agent的内部结构,最后对各个Agent间的通信方式和通信模式进行了描述。系统的设计使疾病诊断系统具有了智能性,有利于辅助医生对疾病进行诊断,并且有利于医院信息系统的发展。     

基于Agent的语义Web服务框架及其逻辑描述

通过研究Agent技术与语义Web服务技术在应用中结合的方式和Agent在语义Web服务技术体系中需要扮演的角色,以及Agent与语义Web服务结合的具体实现,提出了一种基于Agent的语义Web服务框架。在此框架的原理基础上,利用扩展逻辑C＆L意图理论描述了框架中Agent的工作过程以及语义Web服务的内容。     

基于角色的活动动态分配

目前广泛应用于分布式计算环境上的三层结构框架——用户界面层、事务应用层和数据服务层，虽然在软件结构和系统实现技术方面具有一定的灵活性，但是系统各部分固有的紧耦合关系及其业务逻辑的“硬编码”等制约了系统的敏捷性，本文在中间关键层——事务应用层中采用了基于角色的活动动态分配机制，利用业务逻辑的“与或”关系建立目标活动的协作图，通过角色映射机制实现活动的分配，利用ECA规则描述活动之间的约束关系，并组织Agent的运行，从而将活动的描述和活动的执行体Agent联系起来，可进一步提高系统的可适应性和敏捷性，满足分布计算的需要。     

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

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

偏好语境下的序逻辑

为了解决偏好逻辑语境中的先后关系问题,需要引入集合论中的序关系的概念,从而构成序逻辑.采用状态消减、关系变化和关系分割的方法,给出了序逻辑的公开宣告、字典序更新和偏好更新三个动态行动,更多的行动可以采用类似的方法进行分析,最基本的观点就是对基础语言的解释.序逻辑在动态偏好逻辑中具有重要的作用和意义.     

一种扩展的模糊描述逻辑

为了提高对复杂模糊信息的表示能力,提出一种扩展的模糊描述逻辑.扩展模糊描述逻辑引入模糊概念和模糊关系的截集形式作为原子概念和原子关系,继承经典描述逻辑中的概念构造器和知识库形式,建立新的知识表示逻辑体系.定义了扩展模糊描述逻辑的语法结构、语义解释、知识库形式以及基于可满足性的推理问题.通过与模糊描述逻辑的比较,阐述了模糊描述逻辑可转化为扩展模糊描述逻辑,从而例证了扩展模糊描述逻辑具有比模糊描述逻辑更强的表达能力.     

一种弱BL形式演绎系统及其商代数理论

弱化了BL的条件,提出了弱BL形式演泽系统,详细研究了弱BL中经常用到的性质定理。研究了一种同余关系极其商代数理论;提出了商代教中的模糊滤子概念,详细研究了模糊滤子的性质定理。     

系统工程和MBSE在正向设计增材制造整体解决方案中的应用

 阐述了基于正向设计和增材制造的高端研发与先进制造整体解决方案的架构，分析了系统工程在这一整体解决方案中的框架骨干作用，从系统工程技术过程的逻辑维、组织能力建设的认知维和人工物理系统全生存期周期的系统维3个维度出发，阐述了实施基于模型的系统工程（MBSE）对提升正向研制能力的作用。     

模糊模态逻辑系统MLuk中的可达广义重言式

将赋值格取为单位区间并将二元关系R模糊化,研究了模糊模态逻辑系统MLuk,然后将其赋值格离散化研究了多值模态逻辑系统MLn;证明了在MLn中,对任一可能的赋值α都存在可达α-重言式;在MLuk中对任一有理数α∈[0,1]都存在可达α-重言式;指出了在风系统R0起关键作用的升级算法对MLn系统已不再适用,并分析了其原因。     

描述逻辑研究进展

介绍了描述逻辑系统的结构,对基本的描述逻辑语言以及推理机制进行了描述。重点概述了描述逻辑的动态扩展、模糊以及概率扩展的研究状况,并根据其应用领域对描述逻辑的研究趋势及其更新进展进行了介绍。     

IMTL逻辑系统的一种新扩张形式

提出了一种新的模糊逻辑系统 IMTL^*,这种逻辑系统的特点是只使用蕴涵这一种逻辑联接词。证明了这种逻辑系统是IMTL逻辑系统的模型扩张,并且 ?ukasiewicz 逻辑系统和逻辑系统ℵ^*都是它的模型扩张,应用这些结论给出了?ukasiewicz 逻辑系统和逻辑系统ℵ^*的蕴涵表示形式。只使用蕴涵这一种逻辑联接词的模糊逻辑系统将为模糊逻辑的应用提供方便。     

一种多协议混合的嵌入式智能监控网络

提出并设计了基于多现场总线的嵌入式智能监控网络,以实现不同规模大型建筑或建筑群的实时监控和Ethernet远程访问.针对系统的特点,基于嵌入式系统,采用多种协议和总线组成分布式监控网络,充分发挥各总线的优势.以高性能微处理器为核心建立了系统结构和系统通信中枢,实现了多层次的逻辑处理;采用总线协议栈进行总线间的高速信息转换,并提出了一种改进的数据报通讯协议,有效解决了多主机通讯存在的数据丢失问题.系统具有很高的智能性、灵活性和较低的成本,证明多协议的采用是恰当的.     

有限Atanassov逻辑代数及其广义重言式

讨论了有限Atanassov直觉模糊逻辑代数，给出判别其子代数的充要条件，并将王国俊教授在逻辑系统W，W^-，Wn中的广义重言式理论推广并用到Atanassov逻辑中，证明了在Atanassov逻辑中不存在绝对重（假）言式，广义重言式不随系统变大而增多和广义重言式前缀（α，β）具有不敏感性。     

基于角色的工作流访问控制模型

提出了一个基于角色的工作流访问控制模型WACBR(Workflow access control model based on role)。WACBR中加入了“任务”的概念,任务是工作流系统执行时的最小工作单元。由于工作流中的任务分别对用户和权限进行授权,采用两种不同粒度的角色分别作为这两种授权的中介。