论文部分内容阅读
文章提出了构件的Petri网模型-构件网,并给出了构件组装的运算;定义了构件组装表达式,给出了构件组装的形式化描述,讨论了构件组装运算的性质和特点,从而提供了对组装构件进行自动分析和验证的方法.
基于Petri网的构件组装运算及其性质
【摘 要】
：
文章提出了构件的Petri网模型-构件网,并给出了构件组装的运算;定义了构件组装表达式,给出了构件组装的形式化描述,讨论了构件组装运算的性质和特点,从而提供了对组装构件进
【机 构】
：
山东农业大学
【出 处】
：
微电子学与计算机
【发表日期】
：
2006年z1期
其他文献
经济政策能力是有限度的,经济政策能力受到来自政策领域外部因素的影响,以及经济政策运行规律的制约.经济政策作为调节社会经济关系的重要手段,既有一般公共政策的特点,又有
以不同硬度的P91钢管件和低合金钢管件作为研究对象,在消除外部因素（试样温度、刚性、质量及表面状况等）导致的误差后,通过硬度对比试验发现,相对于真实布氏硬度值,低硬度P91钢
目的：探讨内镜下射频治疗食管癌狭窄梗阻的疗效。方法：对37例3、4级狭窄梗阻的食管癌采用内镜下射频治疗。结果：显效22例、有效13例,总有效率达94.6%,不良反应是持续恶心、剧烈
目的:探讨面中部骨折手术治疗的不同径路和固定方法.方法:84例面中部骨折患者采用口内龈颊沟切口,配合眶外缘、眶下缘及头皮冠状切口,骨折复位后用小(微)型钛板或钢丝固定.结
根据资本资产定价模型(CAPM),针对深圳B股市场2002年1月至2004年12月这一段时间的交易数据,利用横截面统计回归的方法对深圳B股的市场β值、流通市值、市盈率、账面/市场价值
在介绍UML状态图的基础上,以面向对象软件的类作为基本测试单元,研究了基于UML状态图的类状态测试技术,并在Eclipse平台上结合Java工具用手工选择测试数据进行了实例测试.
文章在概率主成分分析分布估计算法的基础上提出了一种基于小生境的分布估计算法。将选出的最优个体集合随机划分为两部分，分别用概率主成分分析模型进行分布估计，并产生新个体
中国汽车工业在50年左右的时间中迅速发展,在演进过程中产业组织结构虽然有一些问题,如产业组织分散、过度进入等.但随着逐步融入世界汽车生产体系以及自我创新能力的提高,中