Graph-tree-based software control flow checking for COTS processors on pico-satellites

 This paper proposes a generic high-performance and low-time-overhead software control flow checking solution, graph-tree-based control flow checking (GTCFC) for space-borne commercial- off-the-shelf (COTS) processors. A graph tree data structure with a topology similar to common trees is introduced to transform the control flow graphs of target programs. This together with design of IDs and signatures of its vertices and edges allows for an easy check of legality of actual branching during target program execution. As a result, the algorithm not only is capable of detecting all single and multiple branching errors with low latency and time overheads along with a linear-complexity space overhead, but also remains generic among arbitrary instruction sets and independent of any specific hardware. Tests of the algorithm using a COTS-processor-based onboard computer (OBC) of in-service ZDPS-1A pico-satellite products show that GTCFC can detect over 90% of the randomly injected and all-pattern-covering branching errors for different types of target programs, with performance and overheads consistent with the theoretical analysis; and beats well-established preeminent control flow checking algorithms in these dimensions. Furthermore, it is validated that GTCGC not only can be accommodated in pico-satellites conveniently with still sufficient system margins left, but also has the ability to minimize the risk of control flow errors being undetected in their space missions. Therefore, due to its effectiveness, efficiency, and compatibility, the GTCFC solution is ready for applications on COTS processors on pico-satellites in their real space missions.     

等离子体激励控制激波与边界层干扰流动分离数值研究

针对高超声速进气道激波与边界层干扰流动分离控制问题,提出了一种低功率重频非定常激励方式,并基于雷诺平均Navier-Stokes(N-S)方程,从唯象学的角度出发,将等离子激励简化为功率密度源项,对比研究了定常与低功率重频非定常等离子体气动激励的作用机理与控制效果。结果表明:定常激励的能量沉积作用对于激波控制非常有效,并可诱导出斜激波,但是对于流动分离控制而言,其能量沉积显然过于强大,反而会使流动分离更加严重,无法满足控制要求;当采用低功率重频非定常激励方式时,对于不同功率密度的情况均存在最佳激励时长与频率,当功率密度为5.0×109W/m3时,最大射流速度可以达到895m/s,并且可以在一定程度上减弱激波与边界层干扰流动分离。