【摘 要】
：
扩展双变迁Petri网是一种适合嵌入式系统的建模工具.但是,不能描述时间特性的不足限制了它在嵌入式系统软硬件协同设计中的应用.通过对扩展双变迁Petri网的变迁引入时间因子,
论文部分内容阅读
扩展双变迁Petri网是一种适合嵌入式系统的建模工具.但是,不能描述时间特性的不足限制了它在嵌入式系统软硬件协同设计中的应用.通过对扩展双变迁Petri网的变迁引入时间因子,以及该模型结构特征的分析研究,给出了计时扩展双变迁Petri网,及其状态方程和时间分析算法,从而使双变迁Petri网的描述能力增强;利用时间分析算法,可初步实现嵌入式系统的时间分析,为双变迁Petri网技术有效地运用于协同设计打下了基础.并基于时间分析算法设计开发了模型的时间分析工具,以便于开发人员自动地分析系统的时间性能.
其他文献
目的评价口腔正畸治疗上前牙阻生的临床效果。方法选取2012年3月至2017年3月到本院治疗上前牙阻生的患者14例,随机将14例患者分为两组,即观察组和对照组,各7例。对照组患者进
研究非线性奇摄动控制系统的ISS稳定问题。通过给出快慢子系统的关联条件，使得在此条件下快慢子系统渐近稳定能够保证其原奇摄动系统的ISS稳定。
在英汉两种语言中有大量有关动物的习句语，由于受历史、习俗、价值观念等诸方面的影响，中英两种语言赋予了动物词汇各自特定的内涵，这些语言背后蕴藏着深厚的文化积淀。本文主要
对多非线性因素耦合型隔振抗冲系统的油阻尼减振机理进行试验时,有关的减振器结构和物理参数产生变化,通过在较宽频段上测试减振结构的输入绝对加速度和输出绝对加速度;对油
新颖性是音乐艺术的特点之一，也是音乐形式美的重要原则。本文对音乐材料的组织安排进行了人的心理活动规律的探讨，揭示了人的心理惯性和心理求异性是一对既对立又统一的矛盾，只
在室温条件下，对最常用的镁合金AZ31板材在经过不同的退火热处理后进行冷拉深试验研究中，借助有限元数值模拟技术对其拉深变形过程进行分析，探索其冷拉深变形特点及规律，并合理解
目的分析牙髓病与根尖周病患者治疗中应用根管治疗的有效性。方法选2016年07月份到2017年07月份在我院治疗的牙髓病与根尖周病患者102例,依据治疗方式的不同划分成塑化组与根
近年来,我国少儿电视节目越来越丰富多彩,然而也或多或少地出现了一些问题,本文就现在的这些问题用少儿心理学简浅地加以分析,指出一些制作少儿电视节目的方法和注意事项,以
目的回顾性分析蒙药枯疮七味散直肠滴入法治疗溃疡性结肠炎的临床疗效。方法将36例溃疡性结肠炎患者随机分为观察组和对照组,每组18例,对照组常规磺胺嘧啶直肠滴入法治治疗。
目的探索更有效的蒙医疗法治疗周围性面神经麻痹的治疗方法。方法本临床观察以50例周围性面神经麻痹患者为观察对象,随机分为治疗组26例、对照组24例,对照组采用现代医学常规