基于π演算的软件人群体形式化建模

在参考多智体系统的基础上,根据大系统控制论的分解协调思想,提出一种软件人群体体系结构,并对其关键技术如本体库、知识库、任务库、通信协议、角色模型、交互模型等进行了描述. 描述了对该系统从分析到设计的整个构建过程,并采用π演算形式化方法对整个系统的信息流和控制流,以及任务之间的4种协作方式进行了建模. 对于不同的应用领域,通过定义相应领域的本体库和所需的角色以及任务分解,即可快速构建相应的应用系统,为分布式系统提供了一种解决方案.     

开拓新领域研究新方法

 《可拓学》是关于可拓学的最新专著, 思路新颖、内容丰富、行文流畅、深入浅出, 获得国家自然科学基金项目、广东省自然科学基金项目、广东省科技计划项目支持, 是科学出版社出版的“可拓学丛书”中最全面、最系统的好书。     

利用eLSA算法研究抗生素对人类肠道微生物菌群的影响

人类肠道微生物与人体健康有着千丝万缕的联系,肠道微生物群的改变是人体健康及功能的标志物。本文利用eLSA算法研究抗生素对人体肠道微生物菌群之间关联的影响,结果表明：抗生素对肠道微生物的影响,不仅出现在全局的时间序列关联中,同时还出现在局部和带时间延迟的关联序列中;肠道微生物经历重复的抗生素扰动时,部分扰动反应关联消失或出现新的关联,说明抗生素的扰动可以改变肠道微生物菌群间原有的状态,这种改变甚至有可能是长期的;个体拥有的肠道微生物并不完全相同,不同的个体对应同样的抗生素扰动会有不同的个性化反应。     

利用局部关联算法研究抗生素对人类肠道微生物菌群的影响

人类肠道微生物与人体健康有着千丝万缕的联系,肠道微生物群的改变是人体健康及功能的标志物。利用局部关联(eLSA)算法研究抗生素对人体肠道微生物菌群之间关联的影响,结果表明:抗生素对肠道微生物的影响,不仅出现在全局的时间序列关联中,同时还出现在局部和带时间延迟的关联序列中;肠道微生物经历重复的抗生素扰动时,部分扰动反应关联消失或出现新的关联,说明抗生素的扰动可以改变肠道微生物菌群间原有的状态,这种改变甚至有可能是长期的;个体拥有的肠道微生物并不完全相同,不同的个体对应同样的抗生素扰动会有不同的个性化反应。     

多agent系统的联盟框架及形成机制

基于集合分割、Rough集理论、大系统控制论和人工社会理论对多agent系统协作的联盟框架及形成机制进行了研究,提出了2类6种联盟框架.在知识层次上定义了联盟精度等概念,并给出了联盟形成的算法描述,算法易于编程实现,并给出一个应用实例,有效解决了agent的能力和任务所形成的知识集合边界不分明的问题.     

基于COM技术的多移动机器人仿真系统

提出了一种基于COM(ComponentObjectModel,组件对象模型)技术的多移动机器人仿真系统的模型,并通过该模型初步实现了一个将移动机器人控制器组件化的仿真平台。COM规范定义的组件模型所具有的进程透明特性和可重用性很好地对应了多移动机器人系统的分布式特点。采用COM技术的多移动机器人仿真系统,具有良好的分布式运行能力和方便的实时交互能力,极大地方便了多移动机器人系统的研究工作。     

基于模糊推理的人工鱼嗅觉感知研究

“人工鱼”利用人工生命方法实现计算机动画。为了丰富人工鱼的感知能力，提高对自然鱼的逼真动画效果，文章在分析“自然鱼”嗅觉机制、参考“机器鱼”感知系统的基础上，研究并实现了人工鱼的虚拟嗅觉感知．首先在人工鱼体系结构基础上建立了人工鱼嗅觉感知模型，并仿照生物嗅觉形成机理设计了三层嗅觉识别模型，采用基于主成分分析的模糊推理方法实现了嗅觉感知．经动画仿真，得到满意结果。嗅觉感知的研究和实现为人工鱼多感知融合系统提供了基础，也可为机器鱼嗅觉研究提供软件仿真平台。     

协同智能网格及其实现架构

为了提高网格的智能水平和协调能力以及协同分布的网格服务,支持动态的计算环境和多变的用户需求,提出了协同智能网格CIG (cooperative intelligent grid). CIG以OGSA为基础,应用分布式人工智能和分布协调控制的理论和方法来研究和解决网格中如何高效准确地协同现有的网格服务以完成所面临的任务. 文中描述了CIG的概念和体系结构,从社区/联邦式政策导向型的系统结构、领域自适应的中介服务协作机制和理性化协商机制等方面构建开放动态的CIG. CIG可以有效地组织各网格实体的协调、协商和合作,提高了服务组合的自动化程度和抽象层次.