Mealy机的实时系统调度方法

来源 :华侨大学学报：自然科学版 | 被引量 : 0次 | 上传用户：cartman8148

【摘要】

：

为得到实时并发系统的最优运行路径,提出一种基于Mealy机建模的最优调度方法.通过分析以Ptime Petri网建模的实时系统,并用Mealy机建立中库所及其对应时间的关系,得到在满足

【作者】

：

汲洋弘康王飞余婷

【机构】

：

华侨大学信息科学与工程学院

【出处】

：

华侨大学学报：自然科学版

【发表日期】

：

2014年5期

【关键词】

：

实时系统 MEALY机 P-time PETRI网调度分析 real-time system mealy machine P-time Petri net

【基金项目】

：

国家自然科学基金资助项目（61203040）, 福建省自然科学基金资助项目（2011J01352）

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

为得到实时并发系统的最优运行路径,提出一种基于Mealy机建模的最优调度方法.通过分析以Ptime Petri网建模的实时系统,并用Mealy机建立中库所及其对应时间的关系,得到在满足系统非死锁、非阻塞特性下的最优路径.基于这种方法,可获得P-time Petri网的最优合法序列.通过实例验证表明：所提出的方法具有较好的效果.

其他文献

教是物质的学是精神的

教学过程中,教师的主导作用,不仅表现在教师＂教＂,更重要的表现在学生＂学＂.其实,两千多年前,我国《学记》里早就说过＂善学者师逸而功倍＂＂不善学者师勤而功半＂.我国古代教育家孔子主张＂

期刊

物质精神优化课堂教学教学过程《学记》教学质量善学者教育家

大震前重力地脉动异常分析

研究了高台地震台和兰州地震台在2008年5月12日汶川8.0级、2009年8月28日青海海西6.4级、2009年9月30日撒摩亚群岛8.1级地震前重力记录资料脉动幅度及频谱变化,总结了重力地脉动在时间域和频率域上的临震前兆异常特征,发现有与宽带地震仪低频波异常对应的异常信息,即震前时域脉动曲线出现纺锤型或喇叭口形态,0.1～0.14Hz的频幅最大值在震前几天加速增大直到发震。跟踪地脉动异常变化可以

期刊

重力观测地脉动频谱分析震例地震预报gravity microtremor spectrum analysis earthquake case

2007年宁洱6.4级地震灾害中的农村民房恢复重建模式研究——以宁洱镇民政村为例

基于2007年6月3日云南省宁洱6.4级地震灾区的实地考察和走访,结合对相关文献和救灾档案资料的综合分析,以宁洱镇民政行政村为典型实例,系统地阐述了该次地震灾害中农村民房恢

期刊

宁洱6.4级地震农村民房恢复重建模式地震灾害Ning＇er Ms6.4 earthquake rural housing restoration a

云南地震灾害人员伤亡预测方法研究

以1992-2010年云南地区的破坏性地震的伤亡人数资料为主，将其分别与地震震级和烈度统计拟合，得到云南地区震级和烈度与死亡人数的关系曲线及表达式。根据云南各地的自然环境和

期刊

破坏性地震地震灾害人员伤亡云南地区destructive earthquake earthquake disaster casualty Yunn

秦山三核全范围模拟机虚拟DCC的虚拟实现和改进

本文从秦山三核全范围模拟机实物DCC的现状,结合全范围模拟机升级改造项目管理,详细分析和阐述了虚拟DCC设计原理、模块设计及其实现方法,并重点介绍虚拟DCC设计审查和验收测

期刊

虚拟DCC实现改进

岷江上游堰塞湖沉积中软沉积物变形构造成因讨论

摘要：对在岷江上游及其支流河谷中的晚第四纪古堰塞湖地层中发现的大量软沉积物变形构造的类型、特征和成因进行了分析，发现这些软沉积物变形构造分为两类：一类是小型的层内变形构造，如液化卷曲变形、泄水构造、负荷构造、阶梯状微断裂等，其形成与软沉积物的塑性变形、液化和流动作用相关；另一类是崩（滑）塌体对软沉积物的扰动形成的大型褶曲构造。通过与其它成因的软沉积物变形构造的对比以及对区域构造环境的分析，得出

期刊

软沉积物变形震积岩古地震堰塞湖岷江soft-sediment deformation seismites paleo-earthquake da

GNSS基准站基线时间序列反映红河断裂带运动特征研究

通过对红河断裂带附近的GNSS基准站间基线长度和方向变化特征的分析，发现红河断裂带各段的基线长度均为缩短变化，其原因可能是青藏高原东缘向东南方向的挤出受到了红河断裂带的

期刊

红河断裂带GNSS基准站基线时间序列运动特征Honghe Fault Belt GNSS Reference Station baseline ti

再论55SiMnMo钢贝氏体形态

讨论55SiMnMo钎钢在正火（连续空冷）和等温条件下所转变的贝氏体，分析这两种贝氏体的形貌和形态差异。研究结果表明：55SiMnMo钢加热（超过AC3点）奥氏体化后，正火（连续空冷）获得的金相组

期刊

55SiMnMo钢贝氏体正火等温55SiMnMo steelBainitenormalizationisothermy

2003年民乐—山丹6.1级地震震情预警检验研究

2003年民乐—山丹6.1级地震前,甘肃省地震局于9月20日提出了祁连山中东段地区6级左右地震短期预报意见,并采取了多种行之有效的短临跟踪措施,得到了中国地震局、甘肃省委、省

期刊

民乐—山丹6.1级地震预警模型指标预警检验Minle-Shandan 6.1 earthquake early warning model inde

云南农村土木结构房屋有限元抗震分析

根据2007年6月3日宁洱6.4级地震现场调查结果,对破坏较严重的土坯房建立了地震分析模型。对不同的开间、进深及檐口高的房屋,输入了3类场地超越概率为63%及超越概率为3%的地

期刊

土坯房主拉应力层间位移抗震措施宁洱6.4级地震adobe house principal tensile stress story drift

Mealy机的实时系统调度方法

与本文相关的学术论文