嵌入式高可信架构中基于静态模型的调度研究

为解决嵌入式高可信软件架构中的实时调度问题,分析了现有采用分区机制的安全系统中分区调度的不足,提出了一种基于固定周期分区的静态调度模型,并采用优先级位图算法建立了两级调度机制。为了保障分区中任务的实时性和正确性,对分区中任务采用静态优先级和最早时限优先调度(EDF)动态优先级两种调度策略,分别就其任务调度条件和可调度性进行了理论研究,针对复杂的动态优先级任务提出了一种可调度条件,并通过仿真实验进一步验证了此调度条件的正确性。     

CFD-FASTRAN气动热计算模型及网格效应分析

介绍了CFD-FASTRAN软件五种湍流模型。通过B-L湍流模型不同网格气动热计算结果的对比分析,说明近壁面第一层网格间距须保证y＋值处于所选湍流模型要求值范围的1/3左右,才能保证计算结果的准确性。进一步通过直二次圆锥形不同湍流模型计算与试验的对比结果,说明CFD-FASTRAN软件的k-ε及B-L两种模型求解高超声速气动热问题能达到较好的准确性,且B-L模型计算速度快、使用方便,更适宜于整机大型数值计算。