检索结果-南通市图书馆

基于改进型统一调度算法改善任务集的可调度性

在线全文

学校读者我要写书评

暂无评论

计算机工程与科学 2017年第6期39卷 1031-1041页

作者：李蕊李志泽湖南大学信息科学与工程学院湖南长沙410082

实时系统要求任务在最差情况下能在其截止时间前获得结果,若超过了其截止时间,也会认为是错误的行为,所以改进任务可调度性分析、提高任务集可调度性尤其重要。统一调度能结合固定优先级调度的优点,防止不必要的抢占,降低资源额外销耗,... 详细信息

实时系统要求任务在最差情况下能在其截止时间前获得结果,若超过了其截止时间,也会认为是错误的行为,所以改进任务可调度性分析、提高任务集可调度性尤其重要。统一调度能结合固定优先级调度的优点,防止不必要的抢占,降低资源额外销耗,能够提高任务集合的可调度性;但其任务的可调度性分析方法过于粗糙,影响任务最差响应时间分析的结果,降低了任务集的可调度性。针对存在的问题,基于统一调度,增加任务运行阶段数,重新建立任务模型,并提出通过分配任务抢占阈值、调整运行阶段的抢占阈值与长度,优化任务可容忍阻塞,改善任务集可调度性的算法。最后,实验表明,与统一调度算法及其他算法相比,所提出的调度算法能够有效改善任务集的可调度性。

关键词：固定优先级抢占阈值运行阶段改进型统一调度可调度性

基于体系结构模型的综合化航电分区可调度性验证

在线全文

学校读者我要写书评

暂无评论

计算机应用与软件 2019年第7期36卷 69-75,127页

作者：刘哲旭樊智勇赵珍中国民航大学电子信息与自动化学院天津300300 中国民航大学工程技术训练中心天津300300

分区可调度性验证是影响综合模块化航电系统(IMA)可靠性与安全性的关键问题。为解决现有的模型驱动验证方法难以满足系统整体验证需求或需要繁琐的二次建模的问题,提出一种基于体系结构分析与设计语言(AADL)的IMA分区可调度性验证建模... 详细信息

分区可调度性验证是影响综合模块化航电系统(IMA)可靠性与安全性的关键问题。为解决现有的模型驱动验证方法难以满足系统整体验证需求或需要繁琐的二次建模的问题,提出一种基于体系结构分析与设计语言(AADL)的IMA分区可调度性验证建模方法。在构建分区静态体系结构模型的基础上,通过AADL行为附件建模描述系统中任务的调度过程。再采用AADL Inspector工具对模型中的任务调度行为进行动态仿真,根据仿真结果即可对IMA分区可调度性进行评估。案例实验表明,该方法能够有效发现分区调度配置信息中的错误。此外,只需一次性建模即可直接完成可调度性验证。与现有方法相比,避免了对AADL模型进行繁琐的二次转化。

关键词：综合模块化航电软件分区体系结构模型可调度性

基于整形方法的DRT任务集可调度性优化策略

在线全文

学校读者我要写书评

暂无评论

基于整形方法的DRT任务集可调度性优化策略

作者：冯智伟东北大学

学位级别：硕士

近年来,随着可穿戴设备、远程医疗、智能家居等诸多物联网概念的兴起,实时嵌入式系统被更加广泛地应用到了人们的日常生活中。而现代嵌入式系统的设计也日益复杂,传统基于周期的任务模型很难精确地对复杂任务进行描述。DRT(Digraph Real... 详细信息

近年来,随着可穿戴设备、远程医疗、智能家居等诸多物联网概念的兴起,实时嵌入式系统被更加广泛地应用到了人们的日常生活中。而现代嵌入式系统的设计也日益复杂,传统基于周期的任务模型很难精确地对复杂任务进行描述。DRT(Digraph Real-Time)任务模型具备很好的表达性,能够精确地描述较为复杂的实时任务,近年来引起了学术界的广泛关注。而优化DRT任务模型可调度性的研究也成为实时系统领域的热点问题之一。研究发现,实时系统可能存在任务的工作量在短时间内突发的现象。在系统资源较为丰富的情况下,由于这种现象的存在,导致了它们很难被处理器调度。为了解决上述问题,本文提出了在保证原任务集中作业的截止期约束不变的前提下,利用整形方法,将原来不可调度的DRT任务进行改造,从而极大程度地避免了工作量突发的现象,提高整个任务集的可调度性。本文提出的优化策略的基本思想是,在原任务模型中的某些节点释放之前,插入一定的延迟,使该节点延后释放,以此来得到一个新的任务图。通过对比整形前后模型中某些路径上的工作量曲线发现,整形后的任务模型的工作量曲线会变得更加平滑,这样在保证高优先级任务可以被调度的前提下,更利于调度低优先级的任务。虽然延迟节点的释放时间在某些路径上可以使其工作量曲线变平滑,增强了任务集的可调度性,但是在另外一些路径上可能会造成工作量的突发,使一些原本可调度的任务集变得不可被调度。本文提出一种有效的技术手段来寻找每一个节点合适的延迟释放时间,在保证原来任务集可调度性的前提下,合理地进行整形,从而提高任务集可调度性。随机任务集模型所做的实验结果也表明,本文提出的利用整形方法的优化策略可以明显地提高任务集的可调度性,尤其是在不可调度的任务集改造成可调度的任务集的情况中。而且优化策略可以在短时间内处理拥有实际任务规模的任务。

关键词：实时系统可调度性 DRT 整形方法

基于eM-Plant原油处理过程的可调度性分析

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于eM-Plant原油处理过程的可调度性分析

作者：王好广东工业大学

学位级别：硕士

通常所说的流程工业是指通过分离、混合、成型或化学反应使原材料增值的工业,其具有生产成本高、自动化程度低、加工生产率和资源利用率低等特点,而本论文所讨论的炼油生产过程就属于流程工业。对炼油生产系统的研究中,通常采用数学规... 详细信息

通常所说的流程工业是指通过分离、混合、成型或化学反应使原材料增值的工业,其具有生产成本高、自动化程度低、加工生产率和资源利用率低等特点,而本论文所讨论的炼油生产过程就属于流程工业。对炼油生产系统的研究中,通常采用数学规划法进行建模分析。由于炼油生产系统是一个混合生产系统,既包括离散事件过程又包括连续生产过程,所以所建模型既包括离散型变量和连续型变量,加之实际生产所受到的各种生产约束,使得炼油生产问题变的很复杂。炼油生产系统的生产过程大致包括了原油的卸载、原油的输送、原油分配给蒸馏塔进行分馏、成品油的储运等过程。针对炼油生产系统的生产调度问题一般可以分为长期生产调度问题和短期生产调度问题。而长期的生产调度问题一般指的是计划时间周期较长,属于战略性生产计划,经过很多学者多年来的研究已经取得了许多研究成果,并应用到实际的炼油生产系统中。然而短期生产调度问题的研究才刚刚起步,目前还没有具体行之有效的方法和技术,在实际的炼油生产中,对于短期生产调度问题也只是属于人工作业的一部分,效率很低,对人员的工作强度要求很高,对其优化的空间也非常小本文所研究的就是对炼油生产系统中的原油一次加工过程的生产调度可行性问题的研究分析。根据炼油生产系统的特点,可以把生产调度问题看成是NP-hard问题,该问题中不仅包括生产资源约束和工艺约束,也包括离散和连续问题,从而更增加了问题的复杂性。针对炼油生产系统的复杂性,大部分现有的炼油加工过程可调度性研究采用数学建模和仿真建模求解的方式。为了能够简单化所建模型,一些研究中往往会在建立模型的过程中忽略一些约束条件,另外一些模型并不能形象直观的描述炼油生产问题。本文在考虑输油管道最大输油速率、蒸馏塔和储油罐数量、蒸馏塔蒸馏速率和初始库存这些约束条件下,采用数学的方法得到了原油一次加工过程的生产可调度性条件,并通过面向对象的仿真软件eM-Plant对炼油过程的可调度性进行建模仿真和求解验证,验证了相关的可调度条件。

关键词：炼油原油处理可调度性 eM-Plant仿真

多核平台中针对DAG任务模型的全局EDF可调度性研究

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

多核平台中针对DAG任务模型的全局EDF可调度性研究

作者：王通兰州理工大学

学位级别：硕士

实时系统因其突出的实时性和可靠性被广泛应用于社会生产中的各个领域。随着物联网技术的不断成熟以及工业4.0的逐步推进,实时系统的发展正经历着质的改变。面对日益复杂的现实需求,实时系统在保证其高响应、高可靠特性的基础上,一方面... 详细信息

实时系统因其突出的实时性和可靠性被广泛应用于社会生产中的各个领域。随着物联网技术的不断成熟以及工业4.0的逐步推进,实时系统的发展正经历着质的改变。面对日益复杂的现实需求,实时系统在保证其高响应、高可靠特性的基础上,一方面面临着高性能、高集成的现实需求,另一方面,由于应用场景对其能耗、体积等因素的严格约束,使得现代实时系统的开发面临着多种压力。多处理器平台的飞速进步,为实时系统的开发与设计提供了新的思路。为保证实时系统的实时性和可预测性,实时调度算法发挥了极其重要的作用。全局EDF(Earliest Deadline First)调度算法因其出色的调度性能受到众多学者的关注,同时在工业界也被广泛使用。然而,目前针对全局EDF可调度性分析的研究中,大量的研究工作都以顺序编程模型为基础。随着多核处理器的广泛使用,编程范式正转向细粒度的线程级范式。本文主要研究在多核强实时系统中使用支持线程级并行的DAG(Directed Acyclic Graph)任务模型时,全局EDF调度算法的可调度性问题。本文主要研究内容为以下两个方面。(1)研究在忽略DAG任务中线程的自挂起状态时,全局EDF调度算法的可调度性问题。本研究提出了一种基于图结构的全局EDF可调度性测试算法。通过修正任务节点的执行窗口,考虑任务的DAG结构特征,提出一种对任务间干扰和任务内干扰具有更高计算精度的可调度性测试算法。实验结果表明,本研究提出的算法在保证具有较高识别率的同时,使可调度性测试结果更加符合实际情况。(2)研究在明确考虑DAG任务中线程的自挂起状态时,全局EDF调度算法的可调度性问题。本研究提出了一种明确考虑DAG任务中线程自挂起状态的全局EDF可调度性测试算法。通过对任务图结构进行多次扩展,在分析任务间干扰和任务内干扰时,分别对任务的工作负载和挂起负载进行定量研究,提出一种具有较高识别率的可调度性测试算法。

关键词：多处理器可调度性干扰 DAG任务模型自挂起

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

实时双机嵌入式容错系统实现与可调度性研究

计算机工程与设计 2008年第12期29卷 3077-3081页

作者：毛南黄岚王忠义彭艾中国农业大学信息与电气工程学院北京100083

针对电力直流监控系统的可靠性要求,采用实时双机嵌入式容错系统的设计以实现功能。采用了基于内核抢占式的实时多任务操作系统C/OS-Ⅱ进行容错设计、修改了内核调度,并讨论、验证了容错的任务可调度性。可靠性检测结果表明,双机容错系... 详细信息

针对电力直流监控系统的可靠性要求,采用实时双机嵌入式容错系统的设计以实现功能。采用了基于内核抢占式的实时多任务操作系统C/OS-Ⅱ进行容错设计、修改了内核调度,并讨论、验证了容错的任务可调度性。可靠性检测结果表明,双机容错系统的功能可以满足实际要求。

关键词：嵌入式系统容错实时抢占多任务同步可调度性

在线全文

学校读者我要写书评

暂无评论

WorldFIP总线可调度性分析

微计算机信息 2008年第34期24卷 34-35,26页

作者：周美娇应启戛张凤登朱正平上海理工大学上海20093

WorldFIP总线协议运行在同步模式时引入了空闲帧,这使得传统的抢占式可调度性分析方法无法直接使用。通过分析空闲帧对WorldFIP总线带来的影响,提出了基于最坏情况响应时间的充分可调度性条件并进行了推导。这种可调度性条件可与任意固... 详细信息

WorldFIP总线协议运行在同步模式时引入了空闲帧,这使得传统的抢占式可调度性分析方法无法直接使用。通过分析空闲帧对WorldFIP总线带来的影响,提出了基于最坏情况响应时间的充分可调度性条件并进行了推导。这种可调度性条件可与任意固定优先级调度机制一起使用,并且分析时可以考虑不同的事务执行时间。

关键词： WorldFIP总线空闲帧可调度性

在线全文

学校读者我要写书评

暂无评论

提高风电功率可调度性的储能配置研究

提高风电功率可调度性的储能配置研究

作者：李爽北京交通大学

学位级别：硕士

风电随机、不确定的特点给电网对风电的调度带来了困难,是造成风电功率难以并入电网的原因之一。随着储能技术的飞速发展,在风电场安装储能系统是解决风电调度问题的有效方法。储能具有可以灵活充放电、输出功率可控的特点,储能安装在... 详细信息

风电随机、不确定的特点给电网对风电的调度带来了困难,是造成风电功率难以并入电网的原因之一。随着储能技术的飞速发展,在风电场安装储能系统是解决风电调度问题的有效方法。储能具有可以灵活充放电、输出功率可控的特点,储能安装在风电场可以使风电场并网功率由实际风电功率变为风储联合输出功率,提高了风电场并网功率的可调度性。利用储能提高风电可调度性有多方面的内容,本文研究涉及提高风功率预测准确率和平滑风功率波动两个方面。首先以提高风功率预测准确率为目标配置储能系统,其次分析了配置储能系统提高风功率预测准确率的同时对风电功率波动性的影响。研究以提高风功率预测准确率为目标的储能配置问题。本文研究了基于离散傅立叶变换法和基于概率统计的两种储能配置方法。选用风电场不同时间尺度的历史数据,计算了不同风功率预测准确率提高指标所需的储能配置结果。对储能配置方法的优缺点、储能配置结果的可靠性和一般性进行了分析。文章研究的储能配置方法可以计算不同风功率预测准确率提高指标所需的储能配置,风电场可以根据自身需要配置储能,提高了风电场的经济性。基于以提高风功率预测准确率为目标的储能配置结果,分析配置储能对风功率波动性的影响。首先介绍了可以描述风功率波动特性的指标,本文选用了风功率波动率、相对平均功率和相对标准差对风功率的波动性进行描述。其次分析以提高风功率预测准确率为目标配置储能系统、储能出力策略为配置储能时确定的储能出力策略时,不同储能出力策略、储能容量对平滑风功率波动性效果的影响。考虑单一储能难以满足对储能的需求,研究了一种基于离散傅立叶变换法的复合储能系统配置方法。根据能量型和功率型储能的技术特点,基于已经计算得到的单一储能系统输出功率,计算出符合不同类型储能技术特点的储能输出功率,从而配置出合理的复合储能系统。

关键词：风力发电可调度性储能配置风功率预测风功率波动

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

提升光伏可调度性的储能系统控制策略的研究

提升光伏可调度性的储能系统控制策略的研究

作者：耿亚男北京交通大学

学位级别：硕士

光伏发电的随机性和波动性给配电网带来了大量的负面影响,是影响光伏大规模并网的主要因素之一,而储能具有可以灵活充放电、输出功率可控的特点,可将电能转化并存储为其他形式的能量,利用储能技术可以有效解决光伏并网问题,提升光伏发... 详细信息

光伏发电的随机性和波动性给配电网带来了大量的负面影响,是影响光伏大规模并网的主要因素之一,而储能具有可以灵活充放电、输出功率可控的特点,可将电能转化并存储为其他形式的能量,利用储能技术可以有效解决光伏并网问题,提升光伏发电的可调度性。在上述背景下,本文基于储能系统的选址定容以及控制策略两个方面展开研究。本文的主要工作如下：首先,基于配电网节点处的储能系统做选址定容的研究。在分析配电网中储能系统作用的基础上,针对储能应用于配电网节点处的储能系统选址定容多目标优化问题来进行研究。以系统负荷波动最小、节点电压波动最小以及储能系统总容量为目标,通过多目标粒子群优化算法求解,设计储能系统选址和容量配置的优化方案。针对蓄电池和超级电容器构成的复合储能系统,设计了平抑不平衡功率波动的复合储能系统控制策略。考虑储能系统工作状态,提出一种双层复合储能能量管理方法,基于低通滤波原理以及滑动平均原理确定分配复合储能系统的功率,实现蓄电池对不平衡功率的低频分量控制,以及超级电容器对不平衡功率高频分量的平抑,以优化复合储能系统的整体运行性能。基于前述的复合储能系统控制策略,分析相关运行控制参数的选择对储能介质配置及成本的影响。分析储能系统的初始荷电状态的选择,使其在最小配置下满足每天的充放电能量变化需求;综合考虑蓄电池和超级电容器的自身特性,建立基于全寿命周期成本的复合储能系统年均成本计算模型。在给定的平抑目标约束条件下,以复合储能系统年均成本最小为优化目标,得到最优的运行控制参数以及相应地两种储能介质的配置和成本。最后,基于某地区光伏发电功率数据,采用由蓄电池以及超级电容器构成的复合储能系统来平抑不平衡功率波动,以提升光伏可调度性和储能系统全寿命周期成本最小为目标,验证所提出的复合储能系统控制策略的有效性。

关键词：光伏发电可调度性复合储能选址定容低通滤波控制策略