论文部分内容阅读
在抽象原子模式的基础上，提出了一种基于图连通性判定的模式抽取方法，并给出了其正确性证明。接着，详尽分析和给出了模式组合定理的一个构造性证明以及模式组合前后的消息序列图的行为等价性证明。基于该模式抽取与组合方法，可以在更高层面重新组合模式。通过实验验证了该方法的有效性。
消息序列图模式抽取与组合
【摘 要】
：
在抽象原子模式的基础上，提出了一种基于图连通性判定的模式抽取方法，并给出了其正确性证明。接着，详尽分析和给出了模式组合定理的一个构造性证明以及模式组合前后的消息序列图
【机 构】
：
西安电子科技大学软件工程研究所
【出 处】
：
系统工程与电子技术
【发表日期】
：
2004年9期
【基金项目】
：
'十五'军事电子预研重点课题项目(413060601)
其他文献
<正>1国内外PPS纤维的发展现状1．1国外发展现状作为高性能纤维之一的聚苯硫醚(PPS)纤维在国外已有较长的研究历史,Bartlesville等在1975年就开始研究PPS的纺丝。Phillips公司
介绍了我们研制的计算机多媒体仿真射击训练系统。它综合采用了多种多媒体仿真技术 ,能逼真地模拟多种军事射击训练场景 ,既能进行普通的打靶训练 ,还能进行结合一定现实环境的情景射击训练 ,并能迅速全面地分析和显示射击者的各项射击数据。该系统克服了传统军事射击训练存在的训练科目单一 ,无法提供情景射击训练 ,难以统计分析射击训练数据的缺点。结合投放市场之后的用户反馈 ,可以看出该系统具有良好的社会效益和
目前,林业资源管理是林业的重要组成部分,为了能够从根本上提升工作人员的种植能力,在调查研究的基础上,分析了如何科学合理地加强林业病虫害防治,希望能够利用现代化的技术
近年来，环境保护问题已经逐渐被提上日程，关于环境保护的体系业越来越多。我国已经建立环境影响评价体系，其在实践中的实施广受争议。本文首先对公众参与环境影响评价的概念进行
大容量柔性直流换流站工艺复杂,布置紧凑。由于阀厅联合建筑体量大且各区域使用功能不用,造成联合建筑不同区域的跨度、层高及荷载差别巨大。厦门柔性直流换流站阀厅联合建筑
本文参考喜德县花椒生育特点与马铃薯生产情况,介绍了喜德县花椒间作马铃薯周年管理技术,包括花椒间作马铃薯期间的栽植管理、施肥修剪、病虫害防治、果园清洁等内容,为喜德
目的：：探讨中医利水法在高血压治疗中的临床效果，并对其进行评价。方法：选取我院于2012年4月-2014年5月收治的120例高血压患者，使用抽签法将其分成实验组与对照组，对照组采用常规西
目的研究应用RNA干扰技术下调Nogo受体(NgR)基因的表达对脑梗死大鼠神经功能恢复及皮质脊髓束可塑性的影响。方法线栓法制作左侧大脑中动脉闭塞脑梗死大鼠模型,用携带U6启动
在当下供给侧改革过程中,对高职会计教育改革探索层出不穷。思政统帅,立德树人是当下教育供给侧改革基本方向。从人文会计视角进行高职会计教育供给侧改革探索,其本质是进行
<正>(2018年11月)出口类别近期,海关统计数据在线查询平台发布了我国商品2018年11月出口数据。经全国制鞋工业信息中心对相关数据的查询统计得出以下结果(见表一):2018年11月