Bipartite graph-based control flow checking for COTS-based small satellites

Single event upset(SEU)effect,caused by highly energized particles in aerospace,threatens the reliability and security of small satellites composed of commercial-off-the-shelves(COTS).SEUinduced control flow errors(CFEs)may cause unpredictable behavior or crashes of COTS-based small satellites.This paper proposes a generic software-based control flow checking technique(CFC)and bipartite graph-based control flow checking(BGCFC).To simplify the types of illegal branches,it transforms the conventional control flow graph into the equivalent bipartite graph.It checks the legality of control flow at runtime by comparing a global signature with the expected value and introduces consecutive IDs and bitmaps to reduce the time and memory overhead.Theoretical analysis shows that BGCFC can detect all types of inter-node CFEs with constant time and memory overhead.Practical tests verify the result of theoretical analysis.Compared with previous techniques,BGCFC achieves the highest error detection rate,lower time and memory overhead;the composite result in evaluation factor shows that BGCFC is the most effective one among all these techniques.The results in both theory and practice verify the applicability of BGCFC for COTS-based small satellites.     

非结构网格上Euler方程的区域分裂算法及并行计算

改进了“波阵面”区域分裂算法,并应用于流场区域的划分;对于子区域边界的不光滑现象,为尽量减少通讯消耗,提出了一种边界并行优化策略。利用PVM并行环境,探讨了非结构网格上求解Euler方程的分区并行算法。根据改进的区域分裂算法及优化策略,运用Jameson有限体积法,对二维翼型流场进行了分区并行求解,多区计算的结果与单区计算的结果作了比较,表明了本文研究方法的有效性。     

Space Flight Validation of Design and Engineering of the ZDPS-1A Pico-satellite

The ZDPS-1A pico-satellites are the first satellites in China within the 1-10 kg mass range that are successfully operated on orbit. Unlike common pico-satellites, they are designed to be "larger but stronger" with more powerful platforms and unique payloads so as to bear a better promise for real applications. Through their space flight mission, the functionality and performance of the two flight models are tested on orbit and validated to be mostly normal and in consistency with design and ground tests with only several inconforming occasions. Moreover, they have worked properly on orbit for one year so far, well exceeding their life expectancy of three months. Therefore, the space flight mission has reached all its goals, and verified that the design concept and the engineering process of the picosatellites are sufficient in allowing them the desired functionality and performance in, and the adaption to the launch procedure and the low-Earth orbit space environment. In the foreseeable future, the platform together with the design concept and the engineering process of the pico-satellites are expected to be applied to more complicated real space applications.     

双视线测量相对导航方法误差分析与编队设计

空间非合作目标的相对导航是在轨维护和近距离监视任务中的关键技术,目前的研究表明仅有视线测量条件下中距离相对导航沿距离方向的观测度较差,而基于双视线测量的相对导航方法可以有效解决该问题。为此,研究了两个追踪航天器所组成的编队,在双视线测量条件下进行自主相对导航的方法。首先,详细地介绍了双视线测量相对导航方案的构成以及具体的导航算法;其次,根据两个追踪航天器与目标航天器的几何构型,推导双视线测量方法中的误差传递规律,并分析其中的影响因素;然后,对两个追踪航天器的编队构型进行设计,并分析编队构型对该方法导航性能的影响;最后,通过数值仿真对上述相关的结论进行验证。     

基于时钟驱动的循环调度

实时系统,诸如航空电子系统、空中交通控制系统(Air Traffic Control: ATC)等,从本质上说都是一种分布式实时系统,从理论上说,它们由三种类型的处理器组成,包括数据控制处理器、数据传输处理器和数据处理器.无论是数据控制处理器和数据处理器的数据计算任务,还是数据传输处理器的数据传输任务,它们的执行都必须满足任务的时间约束要求,从而正确完成系统设计的各项应用任务.本文将描述基于时钟驱动的循环调度策略,它不仅适用于对数据计算任务的实时调度,也适用于对数据传输任务的实时调度,最后,分析了此调度策略应用中存在的优势与劣势.     

Fast Algorithms for Time Domain Broadband Adaptive Array Processing

Recursive algorithms are presented for time domain, broadband, adaptive beamforming. The algorithms are rapidly converging and can be computationally efficient for a certain range of array processor parameters. The algorithms are presented for two forms of array processor. One form is a Frost-type structure in which explicit constraints are required for defining the array-look direction and also to control the sensitivity of the array processor to implementation errors. The other form is a partitioned array processor in which constraints are built into the processor and the adaptive weight control algorithm is therefore unconstrained. The two processors presented are both element-space processors but the algorithms can be applied also to beam-space processors.     

基于分支深度强化学习的非合作目标追逃博弈策略求解

为解决航天器与非合作目标的空间交会问题,缓解深度强化学习在连续空间的应用限制,提出了一种基于分支深度强化学习的追逃博弈算法,以获得与非合作目标的空间交会策略。对于非合作目标的空间交会最优控制,运用微分对策描述为连续推力作用下的追逃博弈问题;为避免传统深度强化学习应对连续空间存在维数灾难问题,通过构建模糊推理模型来表征连续空间,提出了一种具有多组并行神经网络和共享决策模块的分支深度强化学习架构。实现了最优控制与博弈论的结合,有效解决了微分对策模型高度非线性且难于利用经典最优控制理论进行求解的难题,进一步提升了深度强化学习对离散行为的学习能力,并通过算例仿真检验了该算法的有效性。     

交会对接任务碰撞规避策略制定研究简

针对交会对接任务目标飞行器与追踪器轨道运行特性,综合考虑规避策略计算方法与工程实际相结合的问题,提出高度规避、时间规避以及与正常轨控相结合的碰撞规避策略计算方法等三种空间目标碰撞规避策略计算方法.高度规避计算方法采用了Lambert飞行原理,用简化二体开普勒模型取代高精度轨道预报方法,迭代求解规避机动速度增量,实现了通过约束过交点与目标径向距离差得到速度增量的最优解;时间规避计算方法通过轨道周期与速度增量的关系,实现了通过约束过交点与目标的时间差得到速度增量的最优解;与正常轨控相结合的碰撞规避策略计算方法,在正常控制考虑冗余控制量的基础上,对控制策略的控制开始时间或沿迹方向的速度增量进行较小的修正,使两者通过碰撞点的时刻或径向距离错开,达到碰撞规避的目的,该方法不仅可以节省燃料、而且对任务的影响较小.通过对三种空间目标碰撞规避策略计算方法仿真分析结果表明,完全适用于交会对接任务,可为我国载人航天任务飞行安全提供技术保障.     

Bandpass Signal Sampling and Coherent Detection

Coherent detectors in radar and communications receivers are generally implemented in the form of two parallel baseband channels which form in-phase (I) and quadrature (Q) components of a received RF/IF signal. Phase errors of several degrees due to imperfect matching of these separate channels limit the performance achievable from signal processors such as moving target indicators (MTI), coherent integrators, Doppler filters, antenna array processors, and coherent sidelobe cancellers. Thus methods in which a single analog to digital (A/D) converter samples and digitizes the IF signal directly, eliminating the need for IF to baseband conversion, have been of recent interest and are the subject of this paper. To obtain accurate coherent detection from IF samples taken near the Nyquist rate requires interpolation based upon a number of stored samples. An algorithm derived from sampling theory is defined and used to demonstrate accurate reconstruction of the original IF signal from digitized samples. In-phase and quadrature components of the signal are shown to be available from processed samples with demonstrated phase errors less than 0.2°.     

面向突发任务的空间站任务重规划方法

针对空间站在轨运营出现突发任务的情况,提出一种基于启发式规则的任务重规划方法,满足了方案重规划的快速响应需求。根据任务执行的连续性特点和冲突状态,建立了空间站突发任务规划领域模型。考虑重规划过程中任务包含活动间复杂约束关系传播的影响,提出了时间回溯迭代冲突化解策略,同时依据任务执行时间间隔,提出针对间隔插空的时间冗余启发式规则。基于时间回溯迭代冲突化解策略和时间冗余启发式规则,对原任务执行计划进行实时重规划,实现了突发任务的快速响应。应用算例分析表明,提出的重规划方法可以成功地满足空间站突发任务规划需求,实现实时更新空间站在轨任务执行详单的目的。     

机载火控系统精度分析

火控系统动态精度试验是指在目标和飞机处于相对运动的状态下,检查系统输出值相对标准值的误差。本文介绍了飞机火控系统动态试验的程序和基于时间序列建模的理论。最后,对导弹与目标相对位置的误差以及火控跟踪雷达对目标的测距、测角误差进行了分析。     

航天任务计划工作模式研究

地面采用何种方式来调度运行任务系统并对航天器实施控制,是飞行控制中心面临的一个重大问题。本文针对航天任务的特点,提出了采用计划工作模式的思想与方法。首先论述了采用计划工作模式的理论依据,然后探讨了计划工作模式的基本概念、特点和要求,阐述了航天任务计划工作模式的基本内容,最后讨论了计划工作模式的关键技术以及采用计划工作模式实现飞行控制自动化的可能性。     

重访机制驱动的多无人机协同动目标搜索方法

为实现多无人机高效捕获灰色任务区域内的移动目标,考虑传感器探测概率与虚警概率,提出了重访机制驱动的协同搜索规划（RMD-CSP）方法,以降低目标遗漏与误判概率。考虑无人机飞行性能约束,以最大化任务执行效能为目标建立多无人机协同搜索模型。根据目标先验信息初始化环境搜索信息图（包括目标概率分布图、环境不确定度图与环境搜索状态图）,利用无人机实时探测信息,基于贝叶斯准则持续更新搜索信息图。定制基于环境不确定度更新的重访机制,通过增加长时间未被重访区域的环境不确定度,引导无人机搜索该区域,降低移动目标的遗漏概率;定制基于目标函数权重更新的重访机制,引导无人机快速重访发现新的疑似目标的区域,对疑似目标进行再次确认,减少由于传感器虚警概率造成的目标误判概率。采用滚动时域规划架构,将搜索规划问题分解为一系列短时域规划问题,提升了求解效率。在典型任务想定下,通过数值仿真试验验证了所提方法的有效性。仿真结果表明,RMD-CSP能够在秒级时间内生成每个时域的搜索航迹,相比于光栅式搜索方法与标准的概率启发式搜索方法,能够引导无人机捕获更多的移动目标,同时减少误判次数,有效提升了多无人机协同搜索的任务效能。     

船载多目标模拟器的构建与应用

船载统一S频段（USB）测控系统是我国航天测控网的重要组成部分,承担着一箭单星或一箭多星的海上测控任务。从航天测量船执行多目标测控任务的特点出发,分析了测量船船载飞行目标模拟器的现状以及对多目标模拟器的需求。提出了在船载USB联试应答机的基础上,通过改造应答机的部分模块,构成多目标模拟器的方法,并成功地在某次实战任务中得到了应用。     

基于身份的空间网络安全研究

空间网络安全的研究是天地一体化网络研究的重要组成部分,日益受到研究人员的重视。本文根据空间网络面临的安全威胁,分析需要采用的安全机制,构建了空间网络的安全体系结构。深入分析基于身份的密码体制（IBC）,在空间网络中应用IBC提供安全服务框架,以此为基础,提出了一种密钥交换协议,并详细描述了安全通信的建立过程。分析表明,同传统的基于公钥基础设施（PKI）体制的安全解决方案相比,IBC具有较低的存储、通信和计算开销,是适合空间网络的有效安全方案。     

空间环境对超低轨道卫星轨迹规划的影响

针对超低轨道卫星受空间环境影响显著,对特定目标的轨迹规划难度大的问题,分析了经验大气模型中空间环境参数预报的预报误差以及空间环境参数预报对轨迹规划的影响.在目前空间环境参数预报的误差特性的基础上,建立了轨道控制量和空间环境参数双变量的轨迹评估规划的算法,通过轨迹规划评估后选取最优轨迹规划方案.该算法能够很好地适应空间环境参数的变化,降低空间环境参数预报误差带来的轨道控制风险.目前,该算法已在某超低轨道卫星的轨迹规划中得到成功应用,对需要考虑空间环境因素影响的较低轨道卫星的轨迹规划与控制具有一定的借鉴意义.     

时间倾斜法在叶轮机械非定常模拟中的应用

应用时间倾斜法处理非定常模拟中前后两排叶片栅距不相等的问题,通过对流动控制方程的时空转换,发展了相邻两叶排任意转速下非等栅距的非定常时间精确算法,使该方法拓展为适用于超常规动/动结构叶轮机械内的非定常流动计算.在此基础上编写了完整的时间倾斜法计算程序与约化算法计算程序.对某进口导叶/转子之间静/动干涉的非定常流场进行的计算表明:与约化算法相比,时间倾斜法采用原始单通道模型,真实地反映了流场的非定常性;同时,计算量仅为全通道模拟的2/41,大大节约了计算成本.      

Continuing challenges in lithium battery development

In these days of emphasizing standardization, Acquisition Reform, Non-Developed Items (NDI) and Commercial-Off-The-Shelf (COTS) technologies, we are facing new challenges associated with these trends. Program managers are pressured to use a standard or COTS battery, while simultaneously, the new systems being developed have increasingly complex and demanding power requirements. Hardware must be developed with shorter schedules, and policies of Acquisition Reform limit the amount of control the government has over the development of a given item. In this paper, we review battery development efforts that have resulted in unexpected problems. Relevant data from both current and past test programs are presented. Recommendations are provided concerning how to best avoid duplication of effort, while ensuring that the final product will have the best chances of succeeding     

Intrinsic evolution of safe control strategies for autonomous spacecraft

Autonomous space vehicles need adaptive control strategies that can accommodate unanticipated environmental conditions. Although it is not difficult to construct alternative control strategies, a proper evaluation frequently can only be done by actually trying them out in the real physical environment. It therefore becomes imperative that any candidate control strategy be deemed safe - i.e., it does not damage any systems - prior to being tested online. How to do this has been a challenging problem. We propose a solution to this problem. Our approach uses an evolutionary algorithm (EA) to intrinsically evolve new control strategies. All candidate strategies are checked for safety using formal methods. More specifically, an EA evolves a series of finite state machines (FSMs), each of which encodes a unique control strategy. Model checking guarantees whether all safety properties are satisfied in the strategy. A numerical example is included to illustrate our approach.