多智体系统相关论文
互联网技术的飞速发展极大的推动了分布式应用的发展，单一结点构成的“信息孤岛”已经失去了意义，越来越多的企业、组织、政府机构乃......
20世纪90年代以来，对于多智体系统的研究已经成为分布式人工智能研究的热点。在多智体系统中，智体间的协调不仅能够提高智体系统的整......
核磁共振成像(NuclearMagneticResonanceImaging，MRI)技术是一种年轻而先进的医学影像技术，其任意的截面成像、丰富的人体软组织对比......
网络时代各种数据库无处不在.如何使分布广、形式各异的数据库协同工作越来越成为人们关心的问题.该文深入分析了有关分布式数据库......
为解决限界模型检测的完备性问题,研究了完全界的计算问题,给出了完全界的上近似计算.首先,在线性时态认知逻辑中引入过去时态算子......
近几年来,基于PC的测控系统开始应用于工业测控领域,但在拟人柔性的拟人智能特性方面的不足,限制了它的推广和发展.本文介绍一种应......
对比了两种常用智体通信语言KQML和FIPA-ACL，确定软件人的通信语言采用FIPAACL，从而实现与分布在世界各地的多智体系统之间能够互操......
在借鉴多智体系统协调模型的基础上，提出了软件人社会的递阶协调模型，即基于合同网模型的软件人群体之间的协调机制和基于公共知识库......
网络时代各种数据库无处不在.如何使分布很广、形式各异的数据库协同工作越来越成为人们关心的问题.本文深入分析了有关分布式数据......
模型检测技术一直以来主要是检验用时态逻辑描述的规范,人们很少注意认知逻辑的模型检测问题,而在分布式系统领域,系统和协议的规......
提出在同步的多智体系统中验证时态认知逻辑的有界模型检测（bounded model checking，简称BMC）算法．基于同步解释系统语义，在时态逻辑CTL......
网络化系统是指网络环境下的复杂系统，现代企业正是处于典型的此类系统。文章分析了目前企业决策支持系统的存在的问题，并针对实现一......
分析了多智体系统合作的形式和机制，并结合实际系统工作特点，提出了基于多智体的系统开发方法和技术，使系统具有更多的智能特性和主动......
针对供热系统正在关注的控制与调度问题 ,提出了一种基于多智体系统的调度策略和实现方法 .由于供热系统物理上存在的分层递阶结构......
为了形式化描述多智体系统中与概率、实时、知识相关的性质,提出了一种概率实时认知逻辑PTCTLK.模型检测是验证多智体系统是否满足......
