【摘 要】
：
带时间约束的实时任务图（TCDRT）模型具有接近于时间自动机的丰富表达性,但是其关联的可调度性分析（SA）问题却是强NP困难的.目前的研究仅关注一类约束个数为常数K的易解模型：K-TCDR
【基金项目】
：
本课题得到国家“九七三”重点基础研究发展规划项目预研项目（2014CB360509）、国家自然科学基金（61300022,61300194,61472072）、中央高校基本科研业务费（N130423007,N130504008）、河北省自然科学基金（F2013501048）资助.
论文部分内容阅读
带时间约束的实时任务图（TCDRT）模型具有接近于时间自动机的丰富表达性,但是其关联的可调度性分析（SA）问题却是强NP困难的.目前的研究仅关注一类约束个数为常数K的易解模型：K-TCDRT,且局限于SA问题的图转换求解方法.这种间接求法使得问题的计算复杂度随约束宽度呈指数倍增长.该文研究TCDRT模型上可调度性分析问题的直接求解方法,为两个核心子问题给出新的理论结果：第一,针对需求上界函数（DBF）的计算问题,提出了考虑时间约束的路径需求结构,并据此设计了新的动态规划算法,其时间复杂度与约束宽度无关;第
其他文献
针对非计算机专业学生的教学，采用“分层、分组、互动”教学法是一种有效的教学策略。本文从理论与实践的角度详细讨论了该教学法的概念、实施的必要性、实施的原则和具体办法
分析了甘肃宕昌形变台ＦＳＱ型自记水管倾斜仪１９９０￣１９９８年的观测资料，分析结果表明，其潮汐响应函数的测量精度达到了观测规范的要求，水文与气象因素对观测资料有明显影响。该台资料对发生在台站
能动地构造变形、构造空间展布关系、断面产状变化以及构造应力场等的综合分析研究认为，阿尔金北缘活动断裂带在第四纪内的运动方式经历了由挤压逆掩为主（早更新世－中更新世初期
对中国东部１４次中强地震前地震活动的中期平静特征进行了深入研究。使用了归一化的Ｎ－Ｔ和Ｌ－Ｔ图及地震活动统计量βｎβｎ等值线分布中的第一点给出了地震活动度及其相应的持续时间和结束时
具有连续属性的分类问题普遍存在,目前主要采用两种方法来处理连续属性：一种是将连续属性进行离散化;另一种是基于高斯函数或高斯核函数来估计属性密度.连续属性的离散化可能
本文通过激发极化法在吉林省集安市花甸镇横路铜（铅锌）矿中的应用,有利的证明了物探激发极化法在寻找硫化物有色金属矿上具有显著的效果,并对地质填图具有较大的帮助。文章通过
<正> 陈列(Exhibition)即展览。陈列是博物馆多种活动中一项实践性很强的学科。如就它的目的和方法言,陈列这个词包含有展示(To show)和展出(To display)两方面的问题。大家
采用电镜扫描仪（SEM）对三轴剪切前后压实黄土样在水平面和竖直面进行微观结构观察，从剪切前后孔隙排列、孔隙形态、孔隙尺度变化特征3方面分析宏观强度试验的微观本质。试验结果
本文测定了水玻璃白云石砂的残留强度曲线，并提出了进一步改进其溃散性方法，证明水玻璃白云石砂的溃散性和铸件的大小、壁厚、浇注温度、吃砂量和打箱时间有关。
详细推导了弹性场的Eshelby椭球包体理论 ,在此基础上推导了裂隙等效弹性模量的一阶近似式 (Hudson公式 ) .目的有二 ,一是填补国内文献中有关该方面研究的空白 ;二是阐明有关公式的来龙去脉及物理意义 ,便于正确的应用 .