论文部分内容阅读
使用自动机理论建立了一个用于分析实时调度问题的、可化简归并的形式化方法。通过分析单个任务的状态变化过程来构造实时系统的自动机。对自动机的状态进行化简和归并，大大降低了讨论实时调度问题的复杂度。以优先级上限协议为例构造了确定有穷自动机并使用该自动机证明了优先级上限协议的性质。
实时调度问题的形式化描述及分析
【摘 要】
：
使用自动机理论建立了一个用于分析实时调度问题的、可化简归并的形式化方法。通过分析单个任务的状态变化过程来构造实时系统的自动机。对自动机的状态进行化简和归并，大大降
【机 构】
：
华中科技大学计算机学院
【出 处】
：
华中科技大学学报：自然科学版
【发表日期】
：
2004年4期
【基金项目】
：
国家高技术研究发展计划资助项目 (2 0 0 2AA4 4 5 0 10 )
其他文献
在分析产品属性信息和信息不对称定义的基础上，比较完整地提出了可度量的信息不对称度的定义。对不同生命周期产品的信息不对称度变化的基本规律进行定性分析，得出了信息不对称
分析了工艺模拟显示屏的通信工作原理，介绍了如何运用动态数据交换DDE(dynamic data exchange)技术及自动化(ActiveX automation)软件技术，结合Rsview32，Excel等应用程序支持数
应用非饱和土土力学的基本原理，在将膨胀土边坡抗剪强度考虑为分布变化场的情况下，对一实际膨胀土边坡进行了稳定性分析。从中找出滑面圆心位置与安全系数k的分布规律，验证了膨
通过对大鼠海马双侧注射异丙肾上腺素(IP)或同时注射褪黑素(0．1μg，1μg)，利用免疫组化、免疫印迹和Morris水迷宫等指标，在整体上观察褪黑素对IP诱导的骨架蛋白Tau过度磷酸化和动
给出了3N+1猜想中周期为l的周期数的概念、数论函数potpn的定义以及二进制中的横和数的定义:A(xi,2),高斯函数[x];同时给出了数论函数potpn的性质和potpm!的计算公式,利用数
为了解决虚拟企业中盟主企业和伙伴企业之间严重的委托-代理问题，提出采用控制权配置的方法，以此作为激励手段达到降低由不完全契约、信息不对称等因素引发的虚拟企业组织风险
提出了一个基于智能卡的高效的离线电子现金系统,该系统大大减少了智能卡端的计算量与存储量,从而解决了取款和支付协议中由于智能卡的计算能力和存储空间极为有限而在智能卡
自主式存储中介系统(ASAS)是一个联系用户或应用程序与海量存储系统(可同时采用DAS、NAS、SAN等多种存储技术)的中间平台.ASAS能够自主地发现存储系统中所使用的存储设备的种