【摘 要】
：
在实时系统中,检查任务执行的计划是否满足要求的时间约束称为可调度分析.通过把时间特性与其他行为特性分离,提出了一种以时间Petri网建模的实时系统调度分析方法.如果特定
【机 构】
：
青岛理工大学计算机工程学院,同济大学电子与信息工程学院
【基金项目】
：
国家重点基础研究发展计划(973计划)(2010CB328101);国家自然科学基金(61173042,61173181);上海市自然科学基金(13ZR1443100);山东省优秀中青年科学家科研奖励基金(BS2010DX009);青岛市科技计划项目(12-1-4-4-(7)-JCH)资助
论文部分内容阅读
在实时系统中,检查任务执行的计划是否满足要求的时间约束称为可调度分析.通过把时间特性与其他行为特性分离,提出了一种以时间Petri网建模的实时系统调度分析方法.如果特定任务的执行是可调度的,则可以计算任务执行的时间跨度,否则确定出不可调度的变迁以便于调整时间约束和纠正设计错误.提出了一种通过把复杂的任务序列分解成一些子序列来进行可调度性分析的综合时序分析技术,它不仅提高了效率,也有助于关于调度的可达性问题的讨论.讨论了柔性制造系统FMS中的车间装配子系统的可调度性.
其他文献
思想政治教育是以人的思想为改造对象的教育实践,直接影响着突发公共卫生事件中人们的思想和心理状态。网络社群是大学生“人以群聚”需求在网络空间的实现,是突发公共卫生事
在当前的信息化时代,由于市场环境的变化,企业的财务流程暴露出很多问题,这妨碍了企业经营效率的提高,制约了企业的良性发展。面对新的形势,进行企业财务流程再造就是非常必
作为高等学校的思想库与智囊团,高校智库除从经济、社会、舆论等层面为有效防控新冠肺炎疫情建言献策外,还应充分发挥自身优势,为高校自身疫情防控工作展开应急分析及预判研
全面抗战爆发后,中共领导下的妇女运动开始汇入民族解放的大潮中。在淮北抗日根据地,边区行署推动“男女平权”,反对封建礼教,猛烈冲击了淮北乡村传统纲常思想,激发了妇女投
为满足社会和信息行业对Linux技术人才的迫切需求,以工程教育认证为依托,以学生能力培养为目标,结合软件工程本科专业Linux系列课程的具体特点,分析当前Linux课程群建设的必
张恨水小说中音乐素材都为现实实际音乐活动取材,具有真实性和专业性,体现了张恨水个人音乐素养知识体系的丰富和专业基础能力的功底。张恨水小说音乐素材的运用不是片面陈述
随着经济和科技的迅速发展,新媒体出现并凭借其时效性和信息交互性强等特点给传统媒体带来了巨大冲击,与此同时,传统媒体的局限性逐渐显现出来。为了让传统媒体紧跟时代发展
抗战时期,新桂系主政安徽,建立了以皖西为核心的大别山敌后根据地。为应对敌后复杂环境,巩固自身统治,新桂系控制安徽党务大权后,以建设“三民主义新安徽”为口号,通过加强党
在科学技术水平不断提升的背景下,大数据时代到来,大数据技术给人们的日常生活带来诸多变化,特别是对传统广播电视新闻的采编方式带来了巨大的影响。采编工作者可以利用大数
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技