航空电子双层任务分区调度设计 被引量：17

1

作者 何锋 宋丽茹 熊华钢 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2008年第11期1364-1368,共5页

针对严格实时的航空电子分区调度问题,建立了操作系统采用轮转调度策略,分区里采用动态优先级调度策略的双层任务调度模型.针对可调度性分析问题,利用轮转调度周期和分区任务执行系数作为关键参数,在任务时间需求函数的基础上,计算系统... 针对严格实时的航空电子分区调度问题,建立了操作系统采用轮转调度策略,分区里采用动态优先级调度策略的双层任务调度模型.针对可调度性分析问题,利用轮转调度周期和分区任务执行系数作为关键参数,在任务时间需求函数的基础上,计算系统消耗时间,得出了系统可调度性的判定定理;同时考察存在释放抖动的时候可调度情况,提出了可调度性的计算边界;通过考察任务周期和轮转调度长度的关系,得出了分区可调度情况下任务负载的理论上限.针对分区设计问题,通过考察关键时刻点,给出了分区调度关键参数的解析模型,在此基础上提出了分区可设计的判定定理,最后给出实例进行具体说明. 展开更多

关键词 航空电子 分区调度 双层任务调度模型 可调度分析 分区设计

下载PDF 职称材料

硬实时系统在强分区约束下的双层分区调度 被引量：16

2

作者 李昕颖 顾健 +1 位作者 何锋 熊华钢 《计算机学报》 EI CSCD 北大核心 2010年第6期1032-1039,共8页

文中研究了硬实时系统在强分区约束下的双层分区的调度问题,合理建立了强分区约束下的双层分区调度模型,给出了最坏情况下的分区任务集可调度的判定条件.同时,在此基础上,提出了与分区利用率匹配的分区设计方法,导出了该方法下的系统可... 文中研究了硬实时系统在强分区约束下的双层分区的调度问题,合理建立了强分区约束下的双层分区调度模型,给出了最坏情况下的分区任务集可调度的判定条件.同时,在此基础上,提出了与分区利用率匹配的分区设计方法,导出了该方法下的系统可调度利用率的最小上限.仿真实验表明,在严格实时的条件下,文中提出的方法相对于现有方法更具优越性,并提高了分区可调度利用率的最小上限. 展开更多

关键词 实时系统 强分区约束 分区调度 可调度利用率 分区设计

下载PDF 职称材料

符合ARINC653的多核操作系统任务调度研究 被引量：8

3

作者 李运喜 何翔 《航空计算技术》 2017年第5期108-111,115,共5页

针对航空电子系统不断提升的平台处理需求和降低体积、重量、功耗的要求,多核在机载领域应用已经成为趋势。为解决多核应用引入的不确定性问题,从任务调度的视角,重点讨论了符合ARINC653标准的单核与多核两种模式下的任务调度模型,包含... 针对航空电子系统不断提升的平台处理需求和降低体积、重量、功耗的要求,多核在机载领域应用已经成为趋势。为解决多核应用引入的不确定性问题,从任务调度的视角,重点讨论了符合ARINC653标准的单核与多核两种模式下的任务调度模型,包含分区调度、进程调度、分区并行调度、进程并行调度以及不同运行模式的差异。结合多核处理器、机载操作系统与机载应用发展现状,给出了航空领域对于多核的应用建议。 展开更多

关键词 多核处理器 ARINC653 分区调度 进程调度 分区并行调度 进程并行调度

下载PDF 职称材料

基于网络演算的多窗口分区可调度性分析 被引量：2

4

作者 何锋 张立 +1 位作者 于思凡 周璇 《航空学报》 EI CAS CSCD 北大核心 2023年第2期280-289,共10页

ARINC653-2规范定义综合模块化航空电子(IMA)实时操作系统采用分区和任务两层调度方案,在该框架下的任务可调度性分析是保证航空电子系统实时性、可靠性的关键。目前的可调度性分析无法计算多窗口分区下任务最大响应时间(WCRT)。为此,... ARINC653-2规范定义综合模块化航空电子(IMA)实时操作系统采用分区和任务两层调度方案,在该框架下的任务可调度性分析是保证航空电子系统实时性、可靠性的关键。目前的可调度性分析无法计算多窗口分区下任务最大响应时间(WCRT)。为此,基于网络演算模型对服务能力的封装,定义处理平台服务曲线为平台所能提供计算资源的服务函数,定义分区任务到达曲线为分区任务对平台计算资源的需求函数。分析处理平台的服务曲线和分区任务的到达曲线,计算得到任务的最大响应时间,继而进行可调度性判断,由此从服务能力和服务需求角度诠释分区系统任务最大响应时间分析的物理意义。设计了主时间框架下分区包含多个激活窗口的验证案例,结果表明:本方法可以得到与传统WCRT分析同等的精度,并且能够准确计算分区包含多激活窗口条件下的任务最大响应时间,实现了网络演算视角下分区系统可调度性的解释。 展开更多

关键词 综合模块化航空电子(IMA) ARINC653 分区调度 多窗口分区 网络演算 可调度性分析

原文传递

航空电子分区层次调度模型及其优化设计(英文) 被引量：5

5

作者 何锋 宋丽茹 熊华钢 《系统仿真学报》 CAS CSCD 北大核心 2009年第19期6004-6008,共5页

在模块化航空电子系统中,采用分层结构构建系统,通过分区管理实现不同分组的航空软件互不影响的执行。在任务最大响应时间函数的基础上,利用加权轮转时间和任务执行系数,得到了分区调度成功的判决条件;通过对系统剩余时间的计算,提出了... 在模块化航空电子系统中,采用分层结构构建系统,通过分区管理实现不同分组的航空软件互不影响的执行。在任务最大响应时间函数的基础上,利用加权轮转时间和任务执行系数,得到了分区调度成功的判决条件;通过对系统剩余时间的计算,提出了分区快速设计模型;通过对任务时间遍历,得出分区最优化设计模型。开发仿真工具对这两种模型进行对比,结果表明:快速设计模型较好的解决了航空电子分区设计问题。 展开更多

关键词 航空电子 分区调度 分区设计 可调度分析 层次调度模型

下载PDF 职称材料

一种基于μC/OS-Ⅱ的高可靠实时系统内核设计 被引量：6

6

作者 朱怡安 林鹤 《计算机科学》 CSCD 北大核心 2016年第S2期542-546,550,共6页

基于μC/OS-II,设计并实现了一个高可靠的分区嵌入式操作系统内核。为了保证高关键级别分区的执行时间,提高系统可靠性,提出了一种新的周期执行时间可变的分区调度算法,其能在保障高安全关键级别分区优先执行的同时提供较高的资源利用... 基于μC/OS-II,设计并实现了一个高可靠的分区嵌入式操作系统内核。为了保证高关键级别分区的执行时间,提高系统可靠性,提出了一种新的周期执行时间可变的分区调度算法,其能在保障高安全关键级别分区优先执行的同时提供较高的资源利用率和任务可调度性。采用了一种基于位运算的访问控制算法,其可保证系统的信息安全,提高系统的可靠性。最后,通过算法分析和实验结果验证了所提算法的有效性和实时性以及系统的可靠性。 展开更多

关键词 高可靠 时空分区 实时系统 分区调度 访问控制

下载PDF 职称材料

基于两阶分区的MapReduce实验室系统负载均衡研究 被引量：1

7

作者 郑文丽 熊贝贝 +2 位作者 程立勋 蔡伊娜 包先雨 《计算机测量与控制》 2023年第4期252-257,共6页

在实验室系统处理海量原始数据时,实际应用场景中存在采样率高、偏度(skewness)高的特殊情况,导致在使用两阶分区算法在平衡同构环境下的Reducer节点负载时,无法有效地处理这些问题,为此,引入MapReduce的并行化处理,可以提高实验室系统... 在实验室系统处理海量原始数据时,实际应用场景中存在采样率高、偏度(skewness)高的特殊情况,导致在使用两阶分区算法在平衡同构环境下的Reducer节点负载时,无法有效地处理这些问题,为此,引入MapReduce的并行化处理,可以提高实验室系统中采样数据利用率;同时,为了解决数据偏度和采样度高的问题,则采用了ICSC分区调度的算法;经过实验证明,基于两阶分区的MapReduce负载均衡算法能够有效减少Mapper和Reducer节点空转的时间;随着数据偏度的增加,算法的执行时长基本不产生变化,即数据偏度对该算法执行时间的影响较小,此外,数据采样度的增加,ICSC分区调度算法也保持着对比模型中最少的时间开销;因此,基于两阶分区的MapReduce负载均衡算法弱化了Reducer节点间的依赖性,并提升MapReduce任务的执行效率和容错率,从而高效地实现MapReduce框架下的实验室系统中数据处理的负载均衡。 展开更多

关键词 两阶分区 MAPREDUCE 分区调度 负载均衡 实验室系统

下载PDF 职称材料

ARINC653多核多分区操作系统的任务调度 被引量：5

8

作者 黄润龙 沈谦 苟先太 《电讯技术》 北大核心 2020年第9期1108-1113,共6页

随着航空电子系统综合化、模块化的发展,单核处理器已难以满足综合模块化航空电子(Integrated Modular Avionics,IMA)高性能的计算要求,多核处理器逐步在航空电子系统中得到运用。ARINC653作为IMA架构的标准应用接口,如何在满足实时性... 随着航空电子系统综合化、模块化的发展,单核处理器已难以满足综合模块化航空电子(Integrated Modular Avionics,IMA)高性能的计算要求,多核处理器逐步在航空电子系统中得到运用。ARINC653作为IMA架构的标准应用接口,如何在满足实时性前提下充分利用多核处理器资源成为ARINC653任务调度的关键。针对航空电子系统任务调度的实时性要求,采用实时任务中的周期性任务模型,提出了一种满足实时性要求的实时多核静态轮转调度算法。该算法通过优化RL(Round Length)轮转参数、任务的权值分配和多核处理器分配策略,减少任务拆分次数,提高多核处理器利用率。仿真结果显示,该算法能够对分区操作系统的任务集合进行高效调度,明显提高多核处理器利用率。 展开更多

关键词 综合模块化航空电子 任务调度 ARINC653规范 分区调度 多核分配

下载PDF 职称材料

航空电子分区调度研究 被引量：5

9

作者 何锋 熊华钢 宋丽茹 《系统仿真学报》 CAS CSCD 北大核心 2008年第S1期522-525,共4页

在模块化航空电子系统中,通过分区管理实现不同分组的航空软件互不影响的执行。分区管理采用两层任务调度策略,在操作系统层采用周期调度的方式激活每一个分区,在具体每一个分区,系统根据分区内航空应用软件的固定优先级进行调度。在航... 在模块化航空电子系统中,通过分区管理实现不同分组的航空软件互不影响的执行。分区管理采用两层任务调度策略,在操作系统层采用周期调度的方式激活每一个分区,在具体每一个分区,系统根据分区内航空应用软件的固定优先级进行调度。在航空电子软件的分区调度问题研究过程中,通过对分区处理任务系统建模,对任务关键时刻进行分析,利用分区访问时间和任务执行系数,计算系统空闲时间,给出了分区成功调度的条件,最后给出实例进行具体说明。 展开更多

关键词 航空电子 分区调度 IMA系统

下载PDF 职称材料

多核虚拟化分区技术在航空电子系统中的应用 被引量：5

10

作者 潘皓 《计算机测量与控制》 2019年第11期206-209,共4页

针对当前航空电子系统多核处理平台资源利用率低,用户数量可扩展性不足等问题,提出并实现了一种适用于机载应用的多核分区处理方案,将多核处理器与虚拟化分区技术相结合,解决了用户数量受限于处理器内核数目问题,达到资源利用率最大化目... 针对当前航空电子系统多核处理平台资源利用率低,用户数量可扩展性不足等问题,提出并实现了一种适用于机载应用的多核分区处理方案,将多核处理器与虚拟化分区技术相结合,解决了用户数量受限于处理器内核数目问题,达到资源利用率最大化目的;实验结果表明,该方法可在同一模块上部署64个以上功能应用,支持多用户协同开发;与传统非对称多处理架构相比,硬件体积减少80%以上,重量减轻75%以上,功耗下降65%以上;提高了系统集成度,实现功能应用的时间、空间和资源访问隔离,提升了系统安全性和可靠性。 展开更多

关键词 综合模块化航空电子 对称多处理 非对称多处理 并行处理 虚拟化 分区调度

下载PDF 职称材料

空冷岛风机群经济调度的数值模拟研究 被引量：3

11

作者 周兰欣 乔瑾 张淑侠 《华北电力大学学报（自然科学版）》 CAS 北大核心 2011年第2期61-65,共5页

以某600 MW直接空冷发电机组为例,利用数值模拟方法,分析空冷岛在自然环境中运行时的温度场,提出了对风机运行进行分区域调度的方案,找到了各个区域风机的最佳运行转速。模拟结果表明:机组真空可以提高0.286 kPa,发电量净收益可以提高0.... 以某600 MW直接空冷发电机组为例,利用数值模拟方法,分析空冷岛在自然环境中运行时的温度场,提出了对风机运行进行分区域调度的方案,找到了各个区域风机的最佳运行转速。模拟结果表明:机组真空可以提高0.286 kPa,发电量净收益可以提高0.275%。为风机群设计和布置提供了参考。 展开更多

关键词 空冷岛 温度场 风机群 分区调度 数值模拟

下载PDF 职称材料

分区操作系统在火控领域的应用研究 被引量：1

12

作者 赵刚 张宾 +2 位作者 张振华 薛建彬 郑智健 《火力与指挥控制》 CSCD 北大核心 2018年第10期172-175,共4页

炮兵武器火控系统的综合化发展对操作系统提出了更高的要求,既保证任务的实时性又响应多任务的请求。借鉴IMA成功经验,以RMS模型详细推导了基于两级调度模式下的分区内任务可调度条件、分区时间窗及分区周期参数,指导分区配置。结合某... 炮兵武器火控系统的综合化发展对操作系统提出了更高的要求,既保证任务的实时性又响应多任务的请求。借鉴IMA成功经验,以RMS模型详细推导了基于两级调度模式下的分区内任务可调度条件、分区时间窗及分区周期参数,指导分区配置。结合某通用火控系统演示验证项目中的显控子系统设计,使用分区操作系统实现应用的综合化部署,为火控系统的综合化发展提供系统支持。 展开更多

关键词 时间窗 分区隔离 分区调度 综合化

下载PDF 职称材料

综合核心处理系统评价工具设计 被引量：1

13

作者 李昕颖 李佳妮 熊华钢 《电光与控制》 北大核心 2012年第2期59-62,共4页

综合核心处理系统是航空电子综合化模块化的关键支撑技术。如何对其性能指标进行评价是一个非常重要的理论和工程问题。首先建立了综合核心处理器模型、任务模型。然后基于ARINC 653标准建立了双层分区调度模型,该模型实现了不同安全关... 综合核心处理系统是航空电子综合化模块化的关键支撑技术。如何对其性能指标进行评价是一个非常重要的理论和工程问题。首先建立了综合核心处理器模型、任务模型。然后基于ARINC 653标准建立了双层分区调度模型,该模型实现了不同安全关键级别应用软件之间的隔离。根据离散事件仿真方法,建立了系统仿真模型。在此基础上编制了基于Visual C++平台的系统仿真程序,最后提取ICD接口控制文件进行了实例仿真,分析了任务的可调度性及系统的实时性,其结果对指导新一代航电系统设计具有重要意义。 展开更多

关键词 航电系统 综合核心处理系统 分区调度 离散事件系统仿真

下载PDF 职称材料

基于多分区操作系统调用的研究与设计

14

作者 杜建华 王晓华 +1 位作者 李斌 杨明伟 《航空计算技术》 2020年第5期95-97,共3页

随着航空电子技术的发展,分区操作系统应用也越来越广泛。对系统调用的独立应用架构和共享应用架构进行了研究,分析了两种架构的应用模式和应用模式调度,提出了分区操作系统平台系统调用的设计框架、分区设备软件接口分类、系统调用模... 随着航空电子技术的发展,分区操作系统应用也越来越广泛。对系统调用的独立应用架构和共享应用架构进行了研究,分析了两种架构的应用模式和应用模式调度,提出了分区操作系统平台系统调用的设计框架、分区设备软件接口分类、系统调用模块结构、系统调用管理设计流程及实现思路,为综合化航电系统多分区系统平台的软件设计、开发提供可依据。 展开更多

关键词 航电系统 分区操作系统 系统调用 阻塞 分区调度

下载PDF 职称材料

时间触发航电系统架构的建模及调度方法 被引量：7

15

作者 周璇 何锋 熊华钢 《计算机工程与设计》 北大核心 2019年第1期1-7,83,共8页

为建立时间触发航空电子系统架构中分区调度处理与时间触发通信的匹配关系,提出网络分区化概念,设计系统时序匹配机制,借助体系结构分析与设计语言形成架构模型的形式化描述;基于此,提出由端系统时刻调度算法和交换机时刻调度算法构成... 为建立时间触发航空电子系统架构中分区调度处理与时间触发通信的匹配关系,提出网络分区化概念,设计系统时序匹配机制,借助体系结构分析与设计语言形成架构模型的形式化描述;基于此,提出由端系统时刻调度算法和交换机时刻调度算法构成的系统联合调度算法,实现分区轮转调度和网络通信调度的匹配调度设计;通过包含4个综合模块化处理区域和两个骨干交换机的实例对模型和算法进行分析,验证了架构模型的可行性和调度算法的有效性。 展开更多

关键词 航电系统架构 时间触发 分区调度处理 网络分区化 时序匹配

下载PDF 职称材料

一种多核混合分区调度算法设计与实现 被引量：5

16

作者 郝继锋 虞保忠 +1 位作者 周霆 徐晓光 《微电子学与计算机》 CSCD 北大核心 2016年第7期140-144,149,共6页

提出了一种基于嵌入式多核虚拟机管理器的混合分区调度算法.对多核混合分区调度算法的配置、设计和实现过程进行阐述,而且,在飞思卡尔PowerPC MPC8641D硬件平台上对多核混合分区调度算法进行充分的功能测试和验证;最后,对多核混合分区... 提出了一种基于嵌入式多核虚拟机管理器的混合分区调度算法.对多核混合分区调度算法的配置、设计和实现过程进行阐述,而且,在飞思卡尔PowerPC MPC8641D硬件平台上对多核混合分区调度算法进行充分的功能测试和验证;最后,对多核混合分区调度算法的特点以及将来还需要完善的工作进行总结. 展开更多

关键词 综合化航空电子系统 ARINC653分区调度算法 自适应分区调度算法 嵌入式多核虚拟机管理器 混合分区调度算法

下载PDF 职称材料

集群计算系统中并行I/O访问的自适应调度策略 被引量：1

17

作者 曾碧卿 陈志刚 +1 位作者 刘安丰 吕西红 《计算机工程》 EI CAS CSCD 北大核心 2005年第2期72-73,98,共3页

现代计算机系统的性能已经由受限于CPU转变为受限于I/O,因此,并行I/O是缓解这一难题的有效方法。文章通过对集群计算系统中I/O调度策略的研究,提出了一种新的自适应平等划分的I/O调度策略,并将它们与已经存在的调度策略进行比较。实验... 现代计算机系统的性能已经由受限于CPU转变为受限于I/O,因此,并行I/O是缓解这一难题的有效方法。文章通过对集群计算系统中I/O调度策略的研究,提出了一种新的自适应平等划分的I/O调度策略,并将它们与已经存在的调度策略进行比较。实验结果表明了所提出策略的优越性。 展开更多

关键词 集群计算 并行I/O 自适应调度 CPU 调度策略 I/O调度 访问 性能 实验结果 划分

下载PDF 职称材料

中继蜂窝网络中增强型矢量数据分区调度仿真

18

作者 胡洪林 《计算机仿真》 北大核心 2019年第6期354-357,363,共5页

传统面对增强型矢量数据的调度模型,采用人工分区法求解调度模型,容易出现负载失衡和完成率低的情况。为解决上述问题,提出一种新的中继蜂窝网络增强型矢量数据分区调度优化模型。面对增强型矢量网络数据,把全部调度任务划分成若干子任... 传统面对增强型矢量数据的调度模型,采用人工分区法求解调度模型,容易出现负载失衡和完成率低的情况。为解决上述问题,提出一种新的中继蜂窝网络增强型矢量数据分区调度优化模型。面对增强型矢量网络数据,把全部调度任务划分成若干子任务,采用分区计算调度任务量的方式提高调度效率。确定数据调度任务有效价值,提取考虑数据调度任务负载均衡性的时间特征,按照调度任务有效价值与时间特征对优先级进行分配,获取调度任务在既定时间内完成和调度任务未在既定时间内完成情况下优先级改变情况。考虑节点传输效率,建立一种新的中继蜂窝网络增强型矢量数据分区调度模型。实验结果表明,建立模型不仅能够保证调度任务的负载均衡,还能提高调度任务的完成率。 展开更多

关键词 中继蜂窝网络 增强型矢量数据 分区调度模型 优化

下载PDF 职称材料

电子系统分区调度理论研究与分析

19

作者 殷锋社 汤小明 《四川兵工学报》 CAS 2014年第7期125-127,共3页

通过对分区调度机制进行了分析,并对分区调度理论进行了研究,为确定分区的周期和容限提供了理论依据。在此基础上,进行了推理实例分析;实验表明:当任务的执行时间减小,曲线向左移动,则在更小的时间容限或更大的分区周期下分区仍然可调度。

关键词 分区调度机制 周期 实例分析 执行时间 分区周期

下载PDF 职称材料

护理分区排班及组长负责制在麻醉复苏区的实施

20

作者 周达梅 陈盼盼 +1 位作者 徐爱娟 杭太香 《河南中医》 2013年第B04期435-435,共1页

目的：设置组长负责制及分区排班，提高麻醉复苏区工作效率及患者满意度。方法：麻醉复苏区设A班及P班组长各一名，负责各分区的工作协调和工作监督，保证患者的安全和护理工作及复苏工作的顺利开展。并管理好各组员。结果：提高工作满... 目的：设置组长负责制及分区排班，提高麻醉复苏区工作效率及患者满意度。方法：麻醉复苏区设A班及P班组长各一名，负责各分区的工作协调和工作监督，保证患者的安全和护理工作及复苏工作的顺利开展。并管理好各组员。结果：提高工作满意度和工作效率，实施前满意率分别是87％，实施后分别提高至98％。结论：分区排班，责任明确，增加了护士对患者的责任意识，保证了复苏区患者的安全苏醒，提高了工作效率。 展开更多

关键词 麻醉护理 分区排班 组长负责

下载PDF 职称材料