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