并发模型构件的状态迁移派生图及等价判定

来源 :微电子学与计算机 | 被引量 : 0次 | 上传用户:seanchn
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
模型复用是在建立企业模型过程中避免重复劳动的有效解决方案之一,它可以提高企业建模的效率。针对模型复用,提出了基于代数理论的并发模型构件,刻画了模型构件的状态迁移语义和派生图.给出了基于派生图的并发模型构件等价判定算法。与已有的方法相比,综合考虑了模型构件的状态迁移属性和并发属性,实现了动态过程下并发模型构件的等价性判定.
其他文献
直流电机的容量越大,相对的电枢电流也就越大。设计上,大电流直流电机的绕组形式通常采用双蛙绕组,这种绕组结构形式相对复杂,影响换向的因素较多。以一台试验机组直流电机使
研究了随机有限元方法的理论基础-随机变分方程解的合理性问题,证明了一般形式的随机变分方程解的存在与唯一性定性,明确了在随机扰动算子不足以破坏均值微分算子的强制性条件-不
介绍了国内某厂采用50tEAF-LF-VD-CC流程生产高品质弹簧扁钢的工艺。通过降低P、S、Cu、Ni等不利元素含量的上限,添加适量Cr、Al或Nb等合金元素,并经18架平立交替连续轧机热
目的观察异丙酚复合芬太尼、曲马多和氯胺酮用于无痛人工流产术麻醉的临床效果。方法1 200例自愿接受无痛人工流产术的妊娠妇女随机分为P组(单纯异丙酚),P+F组(芬太尼+异丙芬酚),P+T
采用普通溶液法合成了配位聚合物Ni(py)2(CH3COO)2(H2O)2。利用X-射线单晶衍射对配合物进行了测定,结果表明,配合物属单斜晶系,空间群P2(1)/c,a=8.8434(7)nm,b=11.7457(9)nm,
目的比较单侧与双侧穿刺经皮椎体后凸成形术(PKP)治疗老年骨质疏松性胸腰椎压缩骨折的近期临床疗效。方法回顾性分析自2015-01—2017-12行PKP手术治疗的80例老年骨质疏松性胸
职业规划是个人与组织相结合,在对一个人职业生涯的主客观条件进行测定、分析、总结的基础上,对自己的兴趣、爱好、能力、特点进行综合分析与权衡,结合时代特点,根据自己的职
异位妊娠是妇科常见的急腹症,是孕产妇病死的主要原因之一,近年来其发病率逐年上升,严重威胁广大妇女的身心健康,因此控制病因、及早预防、及早诊治尤为重要。
大学数学教育在素质教育中起着非常重要的作用,重视大学数学教师在素质教育中的作用,发挥其对学生的引导、示范和感情作用,进行大学数学教学改革,有利于素质教育的实施和普及
互动式心理健康教学模式是目前高校心理健康教育创新的重要突破方向,其方式主要包括互动式心理探究、互动式心理暗示、互动式心理激励、互动式心理训练和互动式心理辅导等几