【摘 要】
：
扩展双变迁Petri网是一种适合嵌入式系统的建模工具.但是,不能描述时间特性的不足限制了它在嵌入式系统软硬件协同设计中的应用.通过对扩展双变迁Petri网的变迁引入时间因子,
论文部分内容阅读
扩展双变迁Petri网是一种适合嵌入式系统的建模工具.但是,不能描述时间特性的不足限制了它在嵌入式系统软硬件协同设计中的应用.通过对扩展双变迁Petri网的变迁引入时间因子,以及该模型结构特征的分析研究,给出了计时扩展双变迁Petri网,及其状态方程和时间分析算法,从而使双变迁Petri网的描述能力增强;利用时间分析算法,可初步实现嵌入式系统的时间分析,为双变迁Petri网技术有效地运用于协同设计打下了基础.并基于时间分析算法设计开发了模型的时间分析工具,以便于开发人员自动地分析系统的时间性能.
其他文献
在英汉两种语言中有大量有关动物的习句语，由于受历史、习俗、价值观念等诸方面的影响，中英两种语言赋予了动物词汇各自特定的内涵，这些语言背后蕴藏着深厚的文化积淀。本文主要
对多非线性因素耦合型隔振抗冲系统的油阻尼减振机理进行试验时,有关的减振器结构和物理参数产生变化,通过在较宽频段上测试减振结构的输入绝对加速度和输出绝对加速度;对油
新颖性是音乐艺术的特点之一，也是音乐形式美的重要原则。本文对音乐材料的组织安排进行了人的心理活动规律的探讨，揭示了人的心理惯性和心理求异性是一对既对立又统一的矛盾，只
在室温条件下，对最常用的镁合金AZ31板材在经过不同的退火热处理后进行冷拉深试验研究中，借助有限元数值模拟技术对其拉深变形过程进行分析，探索其冷拉深变形特点及规律，并合理解
近年来,我国少儿电视节目越来越丰富多彩,然而也或多或少地出现了一些问题,本文就现在的这些问题用少儿心理学简浅地加以分析,指出一些制作少儿电视节目的方法和注意事项,以