有界模型检测同步多智体系统的时态认知逻辑

提出在同步的多智体系统中验证时态认知逻辑的有界模型检测(boundedmodelchecking,简称BMC)算法.基于同步解释系统语义,在时态逻辑CTL的语言中引入认知模态词,从而得到一个新的时态认知逻辑ECKLn.通过引入状态位置函数的方法获得同步系统的智能体知识,避免了为时间域而扩展通常的时态认知模型的状态及迁移关系编码.ECKLn的时态认知表达能力强于另一个逻辑CTLK.给出该算法的技术细节及正确性证明,并用火车控制系统实例解释算法的执行过程.

多智体系统时态认知规范的模型检测算法

模型检测技术一直以来主要是检验用时态逻辑描述的规范,人们很少注意认知逻辑的模型检测问题,而在分布式系统领域,系统和协议的规范已广泛地采用知识逻辑来描述.着重研讨了时态认知逻辑的模型检测算法.在SMV(symbolicmodelverifier)模型检测器的基础上,根据知识的语义和集合理论,提出了多种检验知识和公共知识的算法,从而使SMV的检测功能由时态逻辑扩充到时态认知逻辑.这些方法也适用于其他以状态集合作为输出的模型检测方法和工具的功能扩充.

多智体系统中约简状态空间的限界模型检测算法

为了形式化描述多智体系统中与概率、实时、知识相关的性质,提出了一种概率实时认知逻辑PTCTLK.模型检测是验证多智体系统是否满足PTCTLK公式的主要技术,状态空间爆炸是该技术实用化的主要瓶颈,为此提出一种PTCTLK的限界模型检测算法.其基本思想是,在有限的局部可达空间中逐步搜索属性成立的证据,从而达到约简状态空间的目的.首先,将PTCTLK的模型检测问题转换为无实时算子的PBTLK的模型检测问题;其次,定义PBTLK的限界语义,并证明其正确性;然后,设计基于线性方程组求解的限界模型检测算法;最后,依据概率度量的演化规律,探索检测过程终止的判别准则.实例研究结果表明,与无界模型检测相比,在属性为真的证据较短的情况下,限界模型检测完成验证所需空间更小.

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

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

网络化系统下的企业战略级经营评价决策支持系统研究

网络化系统是指网络环境下的复杂系统,现代企业正是处于典型的此类系统。文章分析了目前企业决策支持系统的存在的问题,并针对实现一个企业战略级经营评价决策支持系统提出了相应的解决方法、策略和支持技术。

基于SOAP的软件人通信模型研究

对比了两种常用智体通信语言KQML和FIPA-ACL,确定软件人的通信语言采用FIPA-ACL,从而实现与分布在世界各地的多智体系统之间能够互操作,即相互通信和交流信息。同时提出了软件人通信层次结构和交互模型。然而,目前FIPA消息不能穿越防火墙,极大地制约了不同Agent平台之间的互操作性,因此提出使用简单对象存取协议(Simple Object Access Protocol)作为新的传输协议,该协议可以穿越防火墙FIPA-ACL的规范,但未完整地涉及安全问题,因此同时通过扩展SOAP解决软件人通信的安全问题,从而达到可靠的安全通信。

“软件人”社会的递阶协调模型研究

在借鉴多智体系统协调模型的基础上,提出了软件人社会的递阶协调模型,即基于合同网模型的软件人群体之间的协调机制和基于公共知识库的软件人群体内部的协调机制。使用公共知识库,单个软件人可以用最少的通信与其他软件人一起完成一项复杂的任务。将复杂问题进行有效分解,采用集中与分散相结合的协调原则,共同完成任务,降低了系统的维护难度和耦合度,使系统具有柔性,并易于实现。

基于MAS的多库协同机制的研究

网络时代各种数据库无处不在。如何使分布广、形式各异的数据库协同工作越来越成为人们关心的问题。该文深入分析了有关分布式数据库协同工作的机制,结合多数据库的工作特点,提出了基于多智体的多库协同技术,使数据库具有更多的智能特性和主动性,在实际工程软件开发中得到了应用,并取得了良好效果。

大学学科演化模型及其对提升学科竞争力的启示

学科是大学结构的基础,研究大学学科演化对揭示大学学科成长机制、大学核心竞争力的形成规律具有重要意义。把大学学科成员分为知识共享者和非知识共享者两种类型,通过由利益和群体压力两者组成的目标函数,采用多智能体系统仿真的方式,得到大学学科演化模型。基于此,开发出大学学科演化软件系统,并进行了仿真实验,得到了知识共享者和非知识共享者初始人数比例、个人利益、群体压力和成员间相互影响程度对大学学科竞争力的影响。据此提出可以通过知识管理与知识共享绩效评估来提升大学学科竞争力。

知识时态逻辑有界模型检测中的完备性(英文)

为解决限界模型检测的完备性问题,研究了完全界的计算问题,给出了完全界的上近似计算.首先,在线性时态认知逻辑中引入过去时态算子,得到新的时态认知逻辑LTLPK,从而可以紧凑自然地描述系统的可靠性规范;其次,依据图结构理论,设计了一套深度优先算法计算出系统的最大可达深度和最长无循环路径的长度;最后,以定理的形式给出了最大可达深度和最长无循环路径的长度与完全界的关系,得出了完全界的一种上近似估算.所做工作有效地解决了限界模型检测中的完全界计算问题,从而保证了限界模型检测的完备性.

MAS合作机制及其应用的

分析了多智体系统合作的形式和机制 ,并结合实际系统工作特点 ,提出了基于多智体的系统开发方法和技术 。

基于MAS的供热系统调度策略和方法的研究

针对供热系统正在关注的控制与调度问题 ,提出了一种基于多智体系统的调度策略和实现方法 .由于供热系统物理上存在的分层递阶结构 ,以及逻辑上的集中分布式关系 ,所以在应用和仿真中非常适合应用多智体系统 ,实际应用证明该方法是可行有效的 .