【摘 要】
：
本文提出了一种基于AUML和CPN的Agent交互协议建模和检验的方法。该方法的主要思想是首先利用AUML协议图对Agent交互协议进行描述；然后在此基础上利用各种通信协议建模中常用
【机 构】
：
96637部队,国防科技大学人文管理学院
【基金项目】
：
国家自然科学基金资助项目（70371008）
论文部分内容阅读
本文提出了一种基于AUML和CPN的Agent交互协议建模和检验的方法。该方法的主要思想是首先利用AUML协议图对Agent交互协议进行描述；然后在此基础上利用各种通信协议建模中常用的有色Petri网（CPN）来对交互协议进行描述，并进一步转换成为比较适合描述多个Agent并发交互的形式。此外，可以使用CPN的验证工具时CPN所描述的交互协议进行检验。
其他文献
诸城市石门水库属中型山区水库,常年养鱼面积100hm2,最大水深14m,水源充足,水质清新无污染,发展网箱养鱼有得天独厚的条件。为了充分利用水域资源优势,提高水库渔业养殖的综
本文提出了一种以服务组为监测对象的基于共享存储的双机高可用系统.文中首先简要分析了高可用系统的特点及双机系统可用度定量分析方法,然后详细介绍了本系统设计的基本原则
应用自行研制的益生菌剂“益生菌Ⅰ”、“益生菌Ⅱ”对鲤鱼进行生产试验,同时设某公司商品鱼饲料、黄霉素、“益畜宝”组为对照。益生菌Ⅰ组与益生菌II组比某公司商品鱼饲料
【摘要】在城镇化进程中，新生代农民工具有强烈的融入城市诉求。随着信息化进程的加快，新媒体的发展对新生代农民工身份认同产生了重要影响，但在媒体形象、媒体表达、媒体消费等方面，新生代农民工存在认同抗拒、主体缺席、选择有限等问题。媒体可以从加强正面宣传、媒介素养培育、信息平台建设、网络传媒赋能等方面着力，帮助新生代农民工融入城市社会。 【关键词】新生代农民工 媒体 城市融入 【中图分类号】F301.1
螺旋藻营养丰富 ,富含蛋白质、维生素、微量元素及对人体有特殊药效功能的多种活性物质 ,国内外已将其应用于食品、保健品、医药等诸多领域 ,是一种有巨大开发潜力和利用价值
目的:探讨数字胃肠造影与腹部CT两种检查手段在胃癌早期临床诊断方面的准确率对比。方法:选取2014年8月~2015年11月在我院行完整胃部检查的80例患者,均接受数字胃肠造影(仪器
牙周骨支架材料为应用于牙周植骨术中,促进细胞在缺损部位生长,引导或诱导骨生成,以重建牙周组织的支架材料。目前用于植骨术中的支架材料主要有三大类:人工合成材料,如聚乳
<正>本文根据现今新时期社会趋势,对办公室档案管理工作进行研究,首先我们针对现今新时期办公室的档案管理工作中所表现出来的问题展开了分析研究,由此发现,办公室档案管理工
马铃薯晚疲病是国内外马铃薯生产最主要病害之一，在我国马铃薯栽培地区都有发生，在雨水多发的年份为害尤为严重。但由于推广了抗病品种，改进栽培技术等综合防治措施，有效地控制了