【摘 要】
：
许多高性能嵌入式处理器都引入了多级缓存、硬件预取及软件预取等机制,为使支持软件预取的硬实时任务具有执行时间的可预测性,本文对多级缓存抽象解释模型进行了软件预取语义扩展,提出一种支持软件预取的缓存WCET分析方法.实验结果表明,本文方法能够对支持软件预取的多级缓存行为进行有效分析;同时软件预取优化技术可使某些访存缺失较大的硬实时任务在WCET和能耗两方面均变小.
【机 构】
：
北京理工大学计算机学院 北京 100081;渤海大学数理学院 辽宁 121013 北京理工大学计算
【出 处】
：
第十一届嵌入式学术会议(ESTC2012)
论文部分内容阅读
许多高性能嵌入式处理器都引入了多级缓存、硬件预取及软件预取等机制,为使支持软件预取的硬实时任务具有执行时间的可预测性,本文对多级缓存抽象解释模型进行了软件预取语义扩展,提出一种支持软件预取的缓存WCET分析方法.实验结果表明,本文方法能够对支持软件预取的多级缓存行为进行有效分析;同时软件预取优化技术可使某些访存缺失较大的硬实时任务在WCET和能耗两方面均变小.
其他文献
目前分布式电源广泛的接入配电网,对配电网潮流有很大影响.针对传统前推回代法无法处理环网以及各种改进算法存在的问题,提出一种基于前推回代法的解决配电网环网的潮流算法.并基于此提出更新循环功率法解决PV恒定型DG并网潮流计算问题,分别阐述了DGs接入点在环网内和环网外两种情况的计算方法,并提出解决小负荷情况下的导纳矩阵处理方法.最后利用IEEE33节点系统进行仿真,通过对比证明该算法能够有效地解决PV
智能小区是智能用电环节的重要内容,也是实现智能用电的重要途径之一,为满足社会经济快速发展的用电需求,促进节能减排、发展低碳经济,需要加强对电力用户的用能管理,以提高电能使用效率.文章重点论述了智能小区融合通信技术、智能小区关键设备、用能管理架构、光纤抄表等关键技术,并提出了基于电价模拟的能效分析算法,结合福州试点案例进行了说明,结果表明,该方法可以有效实现电网与用户之间的信息交互和能效管理,从而指
本文为一种基于配电网三相潮流状态估计计算的算法,针对配电网模型量大,线路图多,拓扑复杂,配网模型维护工作量大,以及量测配置薄弱,缺少大量采集点的电压及功率量测,数据量实时性不强,三相电流不平衡等实际情况,以带量测的配网开关的三相电流作为状态量,将有量测的配网开关视作一个区段边界点,采用吉文斯正交变换法进行数据分析,再结合逐次型估计辨识法、残差搜索法辨识可疑数据的优势和总体型估计辨识法快速处理多个不
业务流程挖掘是为提高流程运行效率和服务质量的一种改进流程模型的方法,现已成为国内外研究的热点.已有的方法大部分是基于Petri网结构性质的分析方法,在构建行为模型时存在局限性.本文提出一种基于Petri网行为轮廓的业务流程挖掘方法,首先构造日志序列的行为序关系,然后提出基于行为轮廓的模型一致性分析测度方法,在此基础上提出业务流程挖掘方法,最后在PROM5.2平台上进行了仿真实验分析,结果显示了该方
通过引入命题的真实度模糊值、变迁激发概率、可信度等参数,定义了一种新的模糊Petri网,提出一种嵌入式系统的故障传播模型.该模型充分考虑了软硬件紧密关联关系,把嵌入式系统按照功能模块划分子系统,而不是按照传统习惯根据软件系统和硬件系统来划分.通过研究子系统中故障在子模糊Petri网中运动状态,从而推断故障的原因及其传播途径.最后通过实例展示了具体建模方法和故障传播过程,说明了该模型在嵌入式系统故障
为优化内容分发网络能耗,提高内容传播的能效及减少网络拥塞,其网络设备通常具有睡眠－唤醒机制功能.文中主要研究内容分发网络的能耗问题,提出一种多级睡眠－唤醒机制应用于内容分发网络的节能.考虑到网络设备运行时会有不同时间尺度的空余时间,将设备睡眠分为多个不同睡眠状态,从运行状态到完全睡眠状态过程能耗将逐级降低,睡眠程度逐级加深,达到节能目的的同时,又能收发数据,保证用户所需服务性能.在随机Petri网
业务流程访问控制机制是Web服务组合应用中的难点,针对现有BPEL4WS安全访问控制研究不足,提出面向活动的BPEL4WS动态访问授权模型(ADABM).通过解除组织模型和业务流程模型间的耦合关系,ADABM将BPEL4WS访问权限约束细化到活动一级,用户只在流程执行会话期活动符合安全需求的情况下才拥有Web服务的访问授权,授权随着业务流程上下文动态授予和收回,授权流与业务流同步执行.文中最后还给
属性粒计算可模拟人脑的粒化、组织和因果等认知功能,但推理过程缺乏一种形式化机制.Petri网具有的异步、并发和不确定性等特征与人脑思维过程中的某些认知活动相类似,基于属性粒计算的基本概念和逻辑计算规则,对Petri网进行了基于定性映射的适当扩充,使得Petri网以属性粒计算的形式在知识表示、知识推理、学习模式和记忆模式等方面上初步体现出一个认知系统所需要具备的一些基本元素特征.这种方法能够在一定程
将蚂蚁的信息素与节点的能量和通信带宽结合起来,在蚁群选择路径时,减少其寻优路径上的信息素浓度,以概率路由表中信息素的浓度对路由选择进行调整,避免网络拥塞和个别节点能量消耗过快,提出一种移动P2P网络的多路径路由选择算法.实验结果表明与EDSR路由协议相比,本文提出的算法能够降低节点的丢包率和平均端到端的延迟,提高了网络的生存周期.
BPEL访问控制机制是Web服务安全组合研究的重要内容,如何维护活动协同授权的一致性是其中的难点.通过扩展的CPN(有色Petri网)对BPEL活动协同授权执行的动态行为语义进行建模,利用可覆盖树方法分析协同授权模型状态变迁发生的序列,实现活动协同授权约束一致性的动态检测,为组合Web服务中业务流程协同授权约束设计的一致性提供合理的理论基础.最后,通过实例说明了检测机制的有效性.