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.     

Effect of blade sweep on inlet flow in axial compressor cascades

This paper presents comparative numerical studies to investigate the effects of blade sweep on inlet flow in axial compressor cascades. A series of swept and straight cascades was modeled in order to obtain a general understanding of the inlet flow field that is induced by sweep.A computational fluid dynamics(CFD) package was used to simulate the cascades and obtain the required three-dimensional(3D) flow parameters. A circumferentially averaged method was introduced which provided the circumferential fluctuation(CF) terms in the momentum equation.A program for data reduction was conducted to obtain a circumferentially averaged flow field.The influences of the inlet flow fields of the cascades were studied and spanwise distributions of each term in the momentum equation were analyzed. The results indicate that blade sweep does affect inlet radial equilibrium. The characteristic of radial fluid transfer is changed and thus influencing the axial velocity distributions. The inlet flow field varies mainly due to the combined effect of the radial pressure gradient and the CF component. The axial velocity varies consistently with the incidence variation induced by the sweep, as observed in the previous literature. In addition, factors that might influence the radial equilibrium such as blade camber angles, solidity and the effect of the distance from the leading edge are also taken into consideration and comparatively analyzed.     

Survey of orbital dynamics and control of space rendezvous

Rendezvous orbital dynamics and control （RODC） is a key technology for operating space rendezvous and docking missions. This paper surveys the studies on RODC. Firstly, the basic relative dynamics equation set is introduced and its improved versions are evaluated. Secondly, studies on rendezvous trajectory optimization are commented from three aspects： the linear rendez- vous, the nonlinear two-body rendezvous, and the perturbed and constrained rendezvous. Thirdly, studies on relative navigation are briefly reviewed, and then close-range control methods including automated control, manual control, and telecontrol are analyzed. Fourthly, advances in rendezvous trajectory safety and robust analysis are surveyed, and their applications in trajectory optimization are discussed. Finally, conclusions are drawn and prospects of studies on RODC are presented.     

5 代机第2动力系统的发展趋势分析

针对5代机的性能特征,分析了其对第2动力系统的能力需求。通过深入研究第2动力系统发展历程,以及对美国F-22和F-35等先进战斗机典型第2动力系统功能综合集成和能量综合利用等发展规律并进行总结,分析预测未来5代机第2动力系统将沿着以"动力热管理系统"和"涡电综合能源系统"为代表的2个方向发展,并对未来中国第2动力系统提出了发展思路和措施建议,规划了其发展路线图。     

领域本体的自动维护研究

针对领域本体维护的重要性与合并本体存在的异构本体及不一致性错误等问题,提出了一种基于本体合并的领域本体自动维护方法,对相关实现过程作了详细介绍,重点给出了概念的相似性匹配算法.该算法通过计算概念的定义、实例、属性、关系及推理的相似度,得到了本体中概念之间的相似度.本文还探讨了本体不一致性的错误,分析了概念间的上下位关系、非通用关系及相关特性的不一致,并给出了解决方案.实验结果表明,该方法具有一定的实用性和可靠性,能够得到较正确的领域本体的维护结果,并能够解决相关不一致的错误.     

全同光纤布拉格光栅单纤复用能力的研究(英文)

本文从理论上研究和分析了一种基于OTDR和TDM技术的新型光纤布拉格光栅复用方法的复用能力。这种方法可以在同一根光纤上复用成百个全同的低反射率布拉格光栅,从而使布拉格光栅传感器在航空航天健康监测领域得到更广泛的应用。分析表明,当布拉格光栅的反射率足够低时,系统的复用能力可以大大提高。因此,基于这种复用方法,可以实现廉价的大规模分布传感系统。在评价这种系统的复用能力时,我们第一次提出应该考虑光栅间多次反射光的干涉效应的影响。     

简述电子文件的全程控制

随着计算机和网络技术的普及和发展,相应产生的大量电子文件正在给我们的工作和生活带来巨大的变化,它与纸质文件的归档和管理截然不同,给传统的档案管理工作带来了严峻的挑战,我们迫切需要对电子文件的归档和归档后的电子档案进行规范、科学地管理。     

21世纪的航天器环境工程

文章讨论了环境工程对航天器研制的重要性,对21世纪航天器环境工程发展的趋势提出一些看法。     

关于圆轴含有弯弯组合的合成弯矩图形状的讨论

本文结合弯弯扭组合变形的例题，利用相关数学知识，证明了圆轴含有弯弯组合的合成弯矩图如果出现曲线，则该曲线必是(上)凹的。