论文部分内容阅读
用形式化规范语言Z定义了多A gen t协作模型的基本元素,包括：A gen t、目标、角色、交互协议和过程,给出了应满足的一致性约束,并通过城市区域的连锁超市物流调度系统说明了该形式化规范为多A gen t协作提供了一致性和连贯性。
基于Z形式化规范的多Agent协作模型研究
【摘 要】
：
用形式化规范语言Z定义了多A gen t协作模型的基本元素,包括：A gen t、目标、角色、交互协议和过程,给出了应满足的一致性约束,并通过城市区域的连锁超市物流调度系统说明了该
【机 构】
：
湖南机电职业技术学院
【出 处】
：
火力与指挥控制
【发表日期】
：
2012年7期
【基金项目】
：
基金项目：湖南省教育厅科学研究项目（10C0152）
其他文献
为精确确定舰炮武器系统的实际回转中心，以提高基线误差的修正精度，建立了回转运动轨迹的优化拟合模型，引入微分进化算法对拟合参数进行优化；分析了影响回转中心拟合精度的因素。
基于小偏差理论，对无摄三体动力学方程沿标称轨道线性化，推导了三体动力模型的误差线性模型。在此基础上，进一步利用该最优控制方法推导了转移轨道周期内的连续小推力控制方案，验
结合VC＋＋讨论并比较了当前流行的几种数据库访问技术：ODBC，DAO，OLE／DB和ADO。在简要叙述其原理后。说明了三种数据库访问技术各自的优缺点。并给出了基本使用方法。
近些年来随着我国经济社会的不断发展,我国的城市建设进度在不断的加快,不论大中小型城市中都涌现出越来越多的高层建筑,高层建筑在满足人们对于住房需求的同时,也带来了许多
胰腺癌是一种治疗困难、高致命率、预后效果差的恶性肿瘤。当前，治疗胰腺癌的最佳方法是手术治疗。肿瘤位置、大小以及病理组织学分级影响着患者的预后情况，其中胰腺癌复发的主要预后不良影响因素包括术后淋巴结阳性、肿瘤切除邊缘阳性以及CA19-9水平上升等。针对胰腺癌患者具体病情采取合理规范的综合性术后辅助药物治疗，可以进一步改善患者预后，增加患者生存期。一、术后化学药物治疗 （一）单药化疗 术后应用5-
期刊
本文认为广播媒体应该加强对广播问政类节目的创新,提升广播问政类节目记者、编辑、播音员主持人的综合素养,打破广播问政类节目传统一成不变的采写、编排与播音主持技巧,从
有效微生物群“Effective microorganisms”，简称EM，它是由日本琉球大学比嘉照夫教授研制发明的新型复合微生物菌剂，内含5个科10个属80多种微生物，有光合细菌、乳酸菌、放线菌等，
本文结合设备的设计、改造方案综合评价与选择，介绍了基于集对分析同一度概念的方案综合评价方法，它比目前常用的模糊综合评价方法要来得直接、准确、方便和实用。
本文对经过８年生产实践考验的铝电解多功能联合机组，从设计上进行分析研究，论述其设计上的成功与存在的不足，并针对问题找出最佳处理方法，改进后取得成功，该机所在项目曾获１９９２年国家级