基于AOCPN的半导体生产线多代理交互协议建模技术

来源 :上海交通大学学报 | 被引量 : 0次 | 上传用户:yangliang0510
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出了基于AOCPN的多代理交互协议的建模技术.在建模方面,提出了AUML模型向AOCPN模型的转换规则,以实现AUML模型向AOCPN模型的映射;在交互协议分析方面,对CPN模型简化规则进行了扩展,提出了集成简化规则和可达图的定性分析方法.以基于GPGP-CN的半导体生产线多代理交互协议为实例,验证了该建模技术的有效性.
其他文献
10月15日,长城新媒体集团“中央厨房”启动运行,作为“中央厨房”的两个重要端口,长城网、长城24小时客户端也已经完成改版并正式上线。长城网是河北省新闻门户网站,是河北省的权
采用静态平衡釜对NH3-H2O-LiBr三元混合溶液的平衡压力及平衡温度进行了实验研究,以考察加LiBr添加剂对氨水吸收式制冷系统的影响.该三元混合溶液的压力-温度特性气液平衡实
对408例眼底荧光造影病人,进行细致的心理护理和良好的护理配合,减少或避免了不良反应的发生。
针对机构投资者控制市场风险的需要,将VaR(风险价值)和ES(期望不足)约束引入到均值一方差投资组合理论中,并利用中国A股1995~2002年的数据,实证了VaR和ES约束对组合绩效的影响
以Westervelt方程为理论基础,推导了平面波束二次谐波的声压和声强分布,得出平面波束的二次谐波的指向特性主要与波束的尺寸和波长的相对比值、波束的频率有关,高频时也会有
研究了用声点源入射波所获得的近场散射数据来成像海洋波导环境中三维未知目标的反问题.发展了一种指示器样本快速成像方法,即不需要预先知道未知目标的声学特性就能非常快速
介绍了一种新型的控制压力低、流通能力大和稳定性好的插装式减压阀,并运用非线性分析方法建立了插装式减压阀的数学模型和MATLAB仿真系统,分析了插装式减压阀的稳态特性和动
周围神经(PN)损伤是平战时常见创伤之一,常造成伤肢不同程度的功能障碍,且治疗后功能恢复不甚满意。而PN再生是一个十分复杂的过程,它包括从神经细胞体、轴突到神经生长发生
等温容器是一种新型气动元件流量特性测量装置.建立等温容器数学模型对于预测等温容器性能,合理设计等温容器是十分重要的.分别利用量纲分析法和集总参数法建立了等温容器数
给出了V形贯底式防波堤对波浪绕射计算的解析方法.假定防波堤刚性、薄壁、不透浪,水深恒定.假想存在一个圆柱面,把流场划分为3个区域,在每个区域上将速度势用特征函数展开,在