共查询到19条相似文献,搜索用时 125 毫秒
1.
目前综合模块化航空电子系统(IMA)在资源配置方面有非常高的安全可靠性需求,其中时间资源的可调度性配置验证也显得至关重要。本文在AFDX网络架构下提出了一种IMA系统时间相关概念的MARTE建模和时间资源可调度配置的正确性验证方法。建立了IMA系统通信虚拟链路、AFDX终端、分区以及进程等相关元素到MARTE模型元素的建模规则,并设计了基于可调度分析工具MAST的时间资源可调度配置验证框架,最后利用相关实例进行仿真和分析得到验证结果。 相似文献
2.
针对综合模块化航电(IMA)架构双层调度中的资源分配问题,提出一种基于混沌Logistic映射自适应NSGA-Ⅱ算法的双层资源分配方法。首先,根据IMA架构任务调度及分区调度要求,同时考虑资源分配均衡性因素,分别构建分区资源分配模型和节点资源分配模型;其次,采用改进NSGA-Ⅱ算法对模型进行优化求解,引入混沌Logistic映射生成初始种群,提升初始种群的遍历性,并采用自适应交叉、变异算子增强算法的搜索性能和收敛速度;最后,选取不同规模的算例进行实验,结果表明,所提方法能够有效解决IMA架构的资源分配问题,提升分配效率并优化分配结果。 相似文献
3.
4.
研究了实时操作系统在强分区约束下的两级分区的调度问题,建立了基于时钟触发的两级分区调度算法的模型.重点论述了调度开销和分区分配方法对系统可调度性的影响,并进一步改进了算法.仿真分析证实,改进的算法能够更好地保障系统的可调度性. 相似文献
5.
随着航空电子系统综合化、模块化的发展,单核处理器已难以满足综合模块化航空电子(Integrated Modular Avionics,IMA)高性能的计算要求,多核处理器逐步在航空电子系统中得到运用。ARINC653作为 IMA 架构的标准应用接口,如何在满足实时性前提下充分利用多核处理器资源成为 ARINC653 任务调度的关键。针对航空电子系统任务调度的实时性要求,采用实时任务中的周期性任务模型,提出了一种满足实时性要求的实时多核静态轮转调度算法。该算法通过优化RL(Round Length)轮转参数、任务的权值分配和多核处理器分配策略,减少任务拆分次数,提高多核处理器利用率。仿真结果显示,该算法能够对分区操作系统的任务集合进行高效调度,明显提高多核处理器利用率。 相似文献
6.
《信息通信》2015,(10)
Map Reduce是一种处理大规模数据的并行计算模型,针对传统模型中reduce阶段各结点负载不均衡的问题,提出reduce阶段负载均衡分区算法。算法将map阶段产生的中间数据划分为更多的分区,减少了每个分区的工作量,引入了反馈机制来进一步提高调度策略的性能,每次给reducetask分配都是基于反馈信息选择最优的分区,reducetask完成工作之后会继续获得新的分区,直到所有的分区都被分配完毕,实现了动态调节各reducetask的负载。通过重写Hadoop平台内核实现了算法并进行了实验分析,结果表明,该算法在不影响Map Reduce模型的情况下显著地缩短了任务的处理时间。 相似文献
7.
8.
ARINC653标准规定了综合模块化航电(integrated modular avionics,IMA)系统的两级调度模式,随着系统规模的增大,IMA系统可调度性验证工作的复杂度越来越高.对IMA系统可调度性验证方法进行了分析,总结了近年来主要的三类ARINC653实时系统可调度性验证方法——数学证明仿真验证和模型检... 相似文献
9.
综合化航电系统(Integrated Modular Avionics,IMA)通过时空分区机制实现共享资源平台下的多航电功能集成,分区间的任务分配方法的优劣决定着航电系统的整体效能。针对航电任务集合在多分区内的分配调度问题,提出了一种基于深度强化学习的优化方法。构建了航电系统模型与任务模型,以系统资源限制与任务实时性需求为约束,以提高系统资源利用率为优化目标,将任务分配过程描述为序贯决策问题。引入马尔科夫决策模型,建立基于深度确定性策略梯度(Deep Deterministic Policy Gradient,DDPG)法的IMA任务分配模型并提出通用分配架构;引入状态归一化、行为噪声等策略训练技巧,提高DDPG算法的学习性能和训练能力。仿真结果表明,提出的优化算法迭代次数达到500次时开始收敛,分析800次之后多分区内驻留任务方案在能满足约束要求的同时,最低处理效率提升20.55%。相较于传统分配方案和AC(Actor-Critic)算法,提出的DDPG算法在收敛能力、优化性能以及稳定性上均有显著优势。 相似文献
10.
时间触发以太网(TTE)将通信任务通过合理的调度定时触发发送,保证了消息的实时性和安全关键性.提出了一种基于时隙分区的时间触发以太网任务调度算法,该算法通过获取网络拓扑结构中的交换机信息,对各端系统的时刻调度表进行分区,并根据TT流量路由配置信息将其发送时刻配置在相应分区中,从而保证了TT流量在物理链路中的无冲突传输.同时,该算法使分散的网络资源得以整合,减少了RC流量的延迟并且避免了网络资源的浪费.实验结果表明,所提算法在保证TT流量可调度的同时,具有网络资源整合和运算速度方面的优势. 相似文献
11.
针对属性粒度模糊划分需事先给定与Aprirori算法效率低的问题,提出基于自动模糊划分和改进Apriori算法的QAR关联规则生成方法。首先对QAR数据进行空缺值填补等预处理;然后给出最佳聚类准则并根据给出的最佳聚类准则得到最佳聚类,从而对QAR属性完成自动模糊划分及隶属函数的确定;之后通过记录数据项位置及简化连接与剪枝过程来提高Apriori算法的效率;并将其应用到QAR关联规则的生成过程;最后通过品质和性能度量两方面的实验,表明此方法在各方面的性能均优于经典方法。 相似文献
12.
The reconfiguration capability of modern FPGA devices can be utilized to execute an application by partitioning it into multiple segments such that each segment is executed one after the other on the device. This division of an application into multiple reconfigurable segments is called temporal partitioning. We present an automated temporal partitioning technique for acyclic behavior level task graphs. To be effective, any behavior-level partitioning method should ensure that each temporal partition meets the underlying resource constraints. For this, a knowledge of the implementation cost of each task on the hardware should be known. Since multiple implementations of a task that differ in area and delay are possible, we perform design-space exploration to choose the best implementation of a task from among the available implementations.To overcome the high reconfiguration overhead of the current day FPGA devices, we propose integration of the temporal partitioning and design space exploration methodology with block-processing. Block-processing is used to process multiple blocks of data on each temporal partition so as to amortize the reconfiguration time. We focus on applications that can be represented as task graphs that have to be executed many times over a large set of input data. We have integrated block-processing in the temporal partitioning framework so that it also influences the design point selection for each task. However, this does not exclude usage of our system for designs for which block-processing is not possible. For both block-processing and non block-processing designs our algorithm selects the best possible design point to minimize the execution time of the design.We present an ILP-based methodology for the integrated temporal partitioning, design space exploration and block-processing technique that is solved to optimality for small sized design problems and in an iterative constraint satisfaction approach for large sized design problems. We demonstrate with extensive experimental results for the Discrete Cosine Transform (DCT) and random graphs the validity of our approach. 相似文献
13.
针对舰艇编队防空兵力配置问题,根据其具体的战术特点,首先对编队兵力配置区域进行有限元网格化,使之便于进行数学量化表示,然后建立基于火力杀伤能力的舰艇编队防空兵力配置模型,并对约束矩阵、配置决策矩阵、单舰火力杀伤能力矩阵、编队火力杀伤能力系数、火力杀伤要求约束矩阵以及拦截距离贡献系数等条件进行了表述。针对所建立的兵力配置模型,构造了基于Memetic法的模型求解方法,该方法能够基于种群进行全局搜索和基于个体进行局部启发式搜索,克服了进化算法的随机性,加快了搜索速度,有效防止算法的早熟收敛。仿真结果显示,设计的算法能够有效地对模型进行求解,提高了舰艇编队防空兵力配置的效率。 相似文献
14.
15.
16.
17.
18.
19.
基于扩展贝叶斯网络的编队对地攻击效能评估 总被引:1,自引:0,他引:1
编队对地攻击作战的效能评估中,由于忽略不确定因素的影响,往往给评估结果造成较大误差。针对编队对地攻击作战效能评估中不确定因素的影响,提出一种基于扩展贝叶斯网络作战效能评估方法;分析了编队对地攻击中的不确定因素,根据不确定因素的特点,结合灰色模糊综合评判理论处理不确定因素的优势和贝叶斯网络在推理上的优点,提出扩展贝叶斯网络模型,该模型利用模糊理论处理不确定性的优势,将不确定因素转换为概率问题;结合贝叶斯网络较强的推理能力,综合评估编队对地突防、攻击作战效能,有效地解决了不确定因素的影响。仿真实例证明了该方法的实用性和有效性。 相似文献