基于动态优先级的核心处理安全分区优化设计

在分区管理模型应用于航空电子核心处理系统的研究中,合理的分区参数设计是保障航空电子系统任务关键和安全关键的一个重要因素.在标准模型的基础上,建立了上层调度器采用动态优先级调度策略的分区管理模型;通过对处理器忙周期进行考察,提出了给定请求时间长度下分区最大抢占影响的计算算法,能从微观的角度解释动态优先级下原子时间抢占行为的影响;通过对分区内任务集的计算负载进行计算,并考虑到计算负载在分区最后一次执行时间内的请求执行时间长度带来的抢占影响,得到了下层调度器采用固定优先级和动态优先级策略下的分区安全设计方法;通过计算仿真评估,结果表明提出的安全分区设计方法比基于虚拟处理资源方法具有更优的设计结果.      

航空电子双层任务分区调度设计

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

自主测试优先级软硬协同调度策略

自主测试是构建航天器自治体系的关键技术之一.针对实时操作系统自主测试优先级调度问题,提出一种软硬协同混合调度策略.通过分析复杂工程背景下影响自主测试任务重要性的多种因素,提出重要性综合评价指标实现优先级静态分配,利用自组织特征映射网实现测试任务集聚类.在此基础上,建立仲裁代理机制进行优先级再分配,以可信性为调度判据实现基于现场可编程门阵列(FPGA,Field Programmable Gate Array)的优先级动态调度.实验表明该策略对自治系统合理分配优先级资源、高效调度测试任务具有参考意义.      

饱和时序下防空相控阵雷达动态优先级调度算法

针对防空相控阵雷达负载饱和情况下的时间分配问题,提出一种基于目标威胁密度和截止期的雷达任务动态优先级调度算法。根据目标信息建立非线性目标威胁度模型并设计动态优先级表,然后,利用目标威胁度、任务驻留时间和截止期共同确定任务的综合优先级。在此基础上,提出执行威胁率（TRE）的评估指标,以反映调度算法对重要任务的执行情况。仿真结果表明,在饱和时序下,相比于传统的截止期最早最优先算法,改进算法的搜索性能提高了43%,执行威胁率提高了52%。      

航天测控资源优先级设计分析

对卫星测控资源的优先级进行设置是卫星测控调度首要考虑的因素。首先在对测控资源工程需求进行分析的基础上,研究了影响测控资源优先级设置的9个基本原则,并完成各原则的定量化描述;然后通过建立改进TOPSIS(逼近于理想解排序法)模型得到了测控资源优先级的设计方法。最后结合实例给出优先级的计算过程,验证了设置过程和结果的可行性,为进一步研究测控调度算法提供参考。     

综合化航空电子分区隔离的建模与设计方法

分区技术是航空电子系统综合化模块化发展中不可缺少的技术.针对航空电子系统安全关键性的要求,基于ARINC653标准,提出了分层分区的体系结构模型,该模型实现了不同安全关键级别应用软件之间的隔离.为了满足航空电子系统强实时可预测性的约束,双层分区模型中系统层采用轮转调度策略,区间层采用单调速率调度策略.然后对分区任务进行可调度分析,在充分保证航空电子系统强实时的前提下,提出了分区关键参数的设计方法,并推导了最坏情况下的系统可调度利用率.计算机仿真结果表明,该方法在保证实时性的同时,能支持更多的系统负载,具有优越性.      

一种基于信号模型的ATE仪器资源配置方法

讨论了一种基于面向对象的信号模型构造方法在自动测试系统(ATE)测试环节中的应用,以解决测试资源有限和配置自动化的问题,并给出了一种由所需信号自动获取其资源信息的实现方法.通过分析测试资源与生成信号之间的关系,提出了由已知信号逐步递推获取资源信息的方法,并从理论上探讨了该方法的实现过程.提出了以生成信号的仪器资源信息和继承优先级为指标,从生成成本和生成层次上考察建立信号通道的思路.      

资源约束突变的航天器观测快速重调度优化算法

针对航天器对地观测调度中资源约束发生突变的情况,提出了一种基于蚁群算法的启发式重调度算法。首先对重调度过程中的资源约束进行分析,给出了资源约束发生变化的重调度模型。然后,结合原调度优化结果,给出重调度任务集合更新方法,对任务集合进行剪裁。最终,基于最大限度利用原调度方案信息的思想,结合任务集合更新及优先级等启发式信息,给出了一种改进的重调度优化算法。数值计算结果表明,所设计的算法可以快速有效的提高重调度过程的收益。     

多星联合任务规划方法

针对多星对地观测系统联合任务规划问题,考虑卫星载荷具备连续侧摆能力和多种数据压缩模式的新特点,构建了多星联合任务规划模型,在此基础上设计多星联合任务规划和数传调度算法框架,实现了卫星连续侧摆成像规划算法和基于任务优先级的数传任务调度算法,最后采用实际算例进行试验,结果表明文章提出的多星联合任务规划方法能在提高完成任务数量的同时降低卫星资源消耗,满足实际应用需求。     

一种面向动态需求的多优先级天文观测卫星任务重规划方法

针对多优先级天文观测卫星任务动态规划问题，分析了高优先级任务动态插入以及未知事件中断原任务规划方案执行的情况，研究了原任务规划方案相应的动态规划问题.在关于SVOM （Space multi-band Variable Object Monitor）卫星任务规划系统的研究中，针对单星机遇目标任务重规划问题，提出一种基于滚动优化策略的任务重规划求解方案.在每个滚动周期内，优先安排高优先级动态到达任务，回滚处理原方案中受未知事件和高优先级机遇目标影响的任务，或者删除原方案中受影响的任务.目标函数综合考虑了全年卫星任务规划总时长和机遇目标的规划总时长.仿真验证结果表明，本文设计方法对于快速响应高优先级机遇目标以及提高服务质量具有一定意义.      

提高低导热材料表面温度均匀性方法的研究

比较了不同低导热材料的高温热导率测试装置特点,确定了在整体加热方式下试样表面温度均匀性差是限制测试准确度提高的一个原因,提出采用分区加热的方法改善试样表面温度均匀性。选取三种不同热导率范围的材料作为被测试样,分别做了试样整体加热和分区加热的模拟计算。结果表明,整体加热方式只能在试样表面中心有限区域形成均温区,而分区加热方式能显著改善试样表面温度均匀性。     

一种时空特征聚合的水下珊瑚礁鱼检测方法

水下监控视频中的珊瑚礁鱼检测面临着视频成像质量不高、水下环境复杂、珊瑚礁鱼视觉多样性高等困难,是一个极具挑战的视觉目标检测问题,如何提取高辨识度的特征成为制约检测精度提升的关键。提出了一种时空特征聚合的水下珊瑚礁鱼检测方法,通过设计视觉特征聚合和时序特征聚合2个模块,融合多个维度的特征以实现这一目标。前者设计了自顶向下的切分和自底向上的归并方案,可实现不同分辨率多层卷积特征图的有效聚合;后者给出了一种帧差引导的相邻帧特征图融合方案,可通过融合多帧特征图强化运动目标及其周边区域的特征表示。公开数据集上的实验表明:基于以上2个模块设计的时空特征聚合网络可以实现对水下珊瑚礁鱼的有效检测,相比于多个主流方法和模型取得了更高的检测精度。      

ARINC 653分区实时系统的主时间框架设计

综合模块化航空电子系统中的ARINC 653标准规定系统采用分区内调度和分区间调度双层调度机制。根据标准,分区内的调度由分区设计者指定,分区之间则按照静态的主时间框架进行调度。如何基于多个分区应用设计用于分区间调度的主时间框架是系统集成阶段需要解决的问题。首先利用可调度分析导出了分区的有界延迟模型参数,进一步将该参数转化为分区的调度参数用于分区间调度。然后进行分区间调度生成主时间框架,提出了最少窗口数目匹配-最佳匹配（MFBF）算法用于减少分区窗口的切换次数。提出的从分区参数推导到分区间调度流程能够基于若干分区应用生成ARINC 653系统的主时间框架。实验结果表明:时间窗口优化算法能有效减少分区窗口切换次数。      

实时单核和谐周期分区系统时间窗口分配算法

目前航空电子系统正快速朝着综合模块化方向发展。为了防止同一计算平台上的应用相互干扰,IMA软件普遍采用分区机制。由于时间分区的引入,传统的实时周期任务可调度性分析已经不再适用。为此研究了一类特殊的分区系统——和谐周期分区系统在单处理器下的可调度性。给出了和谐周期分区系统的形式化定义以及系统中任务可调度性的充分必要条件,并基于此提出了一种分区时间窗口分配算法。该算法为每个分区在主时间帧内分配多个时间窗口,并且保证只要和谐周期分区系统在理论上可调度,该算法就一定能生成一个可行的调度表,使得当全局调度器按照此调度表周期地调度分区时,各个分区中的任务不会超时。本文提出的算法可以运用在实际的工程中。      

网络分区中混合消息集传输模式的精确配置

针对分布式综合模块化航空电子网络分区方法,指出其对消息传输模式配置存在不确定性;通过形式化描述将问题转化为包括实时性约束、带宽约束、缓存约束的最优化问题;提出了基于遗传模拟退火的传输模式配置算法,以系统的消息端到端延迟均衡为优化目标.通过给出两个具体算例对算法有效性进行了验证,同时比较了本算法与传统遗传算法的性能.对比结果表明,本算法能够解决传输模式的配置问题,尽管计算时间较传统遗传算法高出18.1%,但所得到的适应度值高出28.7%.本算法为网络分区在实际航电系统中的应用提供了参考.     

通用导弹雷达罩曲面分片展开系统的开发

根据导弹雷达罩频率选择表面（FSS）的设计要求,研究发展了一种通用的雷达罩曲面的分片、展开算法和相关应用软件系统。算法对任意C2连续曲面,以高斯曲率的绝对值对分片面积的积分与曲面总面积的比值作为曲面是否可展的评定参数,并以此为阈值对不可展开外形雷达罩曲面进行近似分片;使用构造十字基带展开法对分片展开为平面形状。在以上算法基础上,首先使用MFC开发了应用程序框架,并采用OpenGL显示雷达罩曲面的分片操作,最后对分片数据输出AutoCAD格式便于分片贴层材料的切割加工。某型非旋成体导弹头罩的算例表明本文发展的导弹雷达罩曲面分片与展开算法有较高的精度,满足工程设计要求。      

HEVC对偶编码单元划分优化算法

为了解决视频数据量日益增长与用户享受高质量视频体验需求之间的矛盾,HEVC在H.264/AVC标准的基础上通过引入新型的编码结构和算法进一步将编码效率提升了50%,但是也极大地提升了编码复杂度。基于此,提出对偶编码单元(CU)划分网络DualNet,来降低HEVC中帧内编码复杂度。该网络由预测网络和目标网络2个部分组成,其中,预测网络通过分析图像统计特征实现编码单元划分决策,从而跳过四叉树的遍历搜索,提高编码单元划分决策的时间效率;目标网络基于率失真代价评价和优化决策模型提升编码单元划分性能,实现模型互补和最优率失真估计。实验结果表明：与HEVC标准对比,所提算法在实现相近的压缩效果的前提下能够节省64.06%的编码时间。     

星敏感器中快速星跟踪技术

跟踪模式是星敏感器的主要工作模式之一,跟踪过程的快速性直接影响星敏感器的整体性能.提出了一种快速星跟踪算法.在跟踪算法的3个耗时环节,分别采用了分区星表、阈值映射、先排序后匹配识别这3种方法,以提高跟踪过程的快速性.其中分区星表法将整个天区分成了若干个子天区,使得在星体映射时,只是搜索星敏感器视轴指向附近的部分子天区,而不是搜索整个天区,减少了搜索星体的数量;阈值映射法,在满足精确度的情况下,设置被跟踪星体的数量阈值,只有被跟踪的星体数目少于此阈值时,才进行星体映射,减少了映射次数;先排序后匹配识别法,先根据星体在星图中的坐标值进行排序,然后再进行匹配识别,减少了那些距离较大的无谓的星体间的匹配识别.仿真测试结果表明,这3种方法的采用,提高了跟踪算法的快速性,提高了星敏感器的整体效能.