多智体系统

作品数：13被引量：33H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：涂序彦曾广平马忠贵李稳苏开乐更多>>
相关机构：北京科技大学河北理工大学广州大学中山大学更多>>
相关期刊：《北京理工大学学报》《仪器仪表学报》《冶金自动化》《自动化仪表》更多>>
相关基金：国家自然科学基金广东省自然科学基金国家科技重大专项国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
多智体系统中约简状态空间的限界模型检测算法被引量：2
《软件学报》2012年第11期2835-2861,共27页周从华 叶萌 王昌达 刘志锋 
国家自然科学基金(61003288;61111130184);教育部博士点基金(20093227110005);江苏省自然科学基金(BK2010192)
为了形式化描述多智体系统中与概率、实时、知识相关的性质,提出了一种概率实时认知逻辑PTCTLK.模型检测是验证多智体系统是否满足PTCTLK公式的主要技术,状态空间爆炸是该技术实用化的主要瓶颈,为此提出一种PTCTLK的限界模型检测算法....
关键词：多智体系统 模型检测 限界模型检测 状态空间爆炸 
“软件人”社会的递阶协调模型研究被引量：2
《计算机科学》2007年第12期189-192,共4页马忠贵 周贤伟 曾广平 涂序彦 
国家自然科学基金(60375038);国家自然科学基金(60573050);中国科学院自动化研究所复杂系统与智能科学重点实验室开放课题(20060105)
在借鉴多智体系统协调模型的基础上,提出了软件人社会的递阶协调模型,即基于合同网模型的软件人群体之间的协调机制和基于公共知识库的软件人群体内部的协调机制。使用公共知识库,单个软件人可以用最少的通信与其他软件人一起完成一项...
关键词：软件人社会 多智体系统 协调 公共知识库 
有界模型检测同步多智体系统的时态认知逻辑被引量：13
《软件学报》2006年第12期2485-2498,共14页骆翔宇 苏开乐 杨晋吉 
国家自然科学基金Nos.60496327;10410638;60473004;国家重点基础研究发展规划(973)No.2005CB321900;广东省自然科学基金Nos.04205407;06023195~~
提出在同步的多智体系统中验证时态认知逻辑的有界模型检测(boundedmodelchecking,简称BMC)算法.基于同步解释系统语义,在时态逻辑CTL的语言中引入认知模态词,从而得到一个新的时态认知逻辑ECKLn.通过引入状态位置函数的方法获得同步系...
关键词：模型检测 有界模型检测 多智体系统 同步时态认知模型 时态认知逻辑 
基于SOAP的软件人通信模型研究被引量：6
《计算机科学》2006年第6期188-191,共4页马忠贵 叶斌 曾广平 涂序彦 
国家自然科学基金(批准号:60375038);"十五"国家科技攻关项目(编号:2004BA616A-11)。
对比了两种常用智体通信语言KQML和FIPA-ACL,确定软件人的通信语言采用FIPA-ACL,从而实现与分布在世界各地的多智体系统之间能够互操作,即相互通信和交流信息。同时提出了软件人通信层次结构和交互模型。然而,目前FIPA消息不能穿越防火...
关键词：软件人 多智体系统 通信模型 分布式人工智能 
基于π演算的软件人群体形式化建模被引量：4
《北京理工大学学报》2006年第2期130-134,共5页马忠贵 叶斌 曾广平 涂序彦 
国家自然科学基金资助项目(60375038);国家"十五"科技攻关项目(2004BA616A-11)
在参考多智体系统的基础上,根据大系统控制论的分解协调思想,提出一种软件人群体体系结构,并对其关键技术如本体库、知识库、任务库、通信协议、角色模型、交互模型等进行了描述.描述了对该系统从分析到设计的整个构建过程,并采用π演...
关键词：软件人 多智体系统 Π演算 形式化建模 分布式人工智能 
网络化系统下的企业战略级经营评价决策支持系统研究
《计算机工程与应用》2004年第16期20-22,39,共4页庞杰 涂序彦 
国家自然科学基金(编号:60375038);国家863高科技研究发展计划资助(编号:863-511-944-019)
网络化系统是指网络环境下的复杂系统,现代企业正是处于典型的此类系统。文章分析了目前企业决策支持系统的存在的问题,并针对实现一个企业战略级经营评价决策支持系统提出了相应的解决方法、策略和支持技术。
关键词：网络化系统 决策支持系统 多智体系统 软件人 
异种数据库协同机制的研究
《冶金自动化》2004年第4期26-28,共3页薛贵军 
网络时代各种数据库无处不在。如何使分布很广、形式各异的数据库协同工作越来越成为人们关心的问题。本文深入分析了有关分布式数据库协同工作的机制 ,结合多数据库的工作特点 ,提出了基于多智体的多库协同技术 ,使数据库具有更多的智...
关键词：数据库 多数据库 多库协同机制 多智体系统 MDBS IDBS 
一种新的测控平台的设计与实现
《自动化仪表》2004年第5期46-48,共3页薛贵军 
关键词：测控平台 多库协同机制 多智体系统 工业测控 基于PC 测控系统 功能集成 风险分散化 发展 技术 
基于MAS的供热系统调度策略和方法的研究被引量：1
《系统工程理论与实践》2003年第7期141-143,共3页李稳 
国家高技术计划项目 ( 863 -5 1 1 -944-0 1 9)
针对供热系统正在关注的控制与调度问题 ,提出了一种基于多智体系统的调度策略和实现方法 .由于供热系统物理上存在的分层递阶结构 ,以及逻辑上的集中分布式关系 ,所以在应用和仿真中非常适合应用多智体系统 ,实际应用证明该方法是可行...
关键词：多智体系统 供热系统 调度策略 
基于MAS的多库协同机制的研究被引量：1
《计算机工程与应用》2002年第23期185-187,共3页彭力 李稳 娄国焕 刘晓悦 涂序彦 
国家自然科学基金资助(编号:60075012)
网络时代各种数据库无处不在。如何使分布广、形式各异的数据库协同工作越来越成为人们关心的问题。该文深入分析了有关分布式数据库协同工作的机制,结合多数据库的工作特点,提出了基于多智体的多库协同技术,使数据库具有更多的智能特...
关键词：MAS 多库协同机制 数据库系统 多智体系统 多数据库 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部