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动力系统提出了发展思路和措施建议,规划了其发展路线图。     

领域本体的自动维护研究

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

简述电子文件的全程控制

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

21世纪的航天器环境工程

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

白马清明会

名为“藏族”，“白马藏族”却自称是先秦氏族人嫡派后裔，虽然不及万人，却保留着许多独特的习俗。当汉地的清明一如既往地笼罩在淡淡的哀伤之中时，白马人却在这春耕后的闲暇日子里欢歌兴舞，延续着祖先对春是的热爱，对阳光和雨露的欣悦之情。[编按]     

Fault tolerant control system design with explicit consideration of performance degradation

A new approach is proposed for active fault tolerant control systems (FTCS), which allows one to explicitly incorporate allowable system performance degradation in the event of partial actuator fault in the design process. The method is based on model-following and command input management techniques. The degradation in dynamic performance is accounted for through a degraded reference model. A novel method for,selecting such a model is also presented. The degradation in steady-state performance is dealt with using a command input adjustment technique. When a fault is detected by the fault detection and diagnosis (FDD) scheme, the reconfigurable controller is designed automatically using an eigenstructure assignment algorithm in an explicit model-following framework so that the dynamics of the closed-loop system follow that of the degraded reference model. In the mean time, the command input is also adjusted automatically to prevent the actuators from saturation. The proposed method has been evaluated using the lateral dynamics of an F-8 aircraft against actuator faults subject to constraints on the magnitude of actuator inputs. Very encouraging results have been obtained.     

导弹型号总体设计工作流管理技术研究

工作流管理技术是在计算机环境支持下实现经营过程集成与经营过程自动化,是由工作流管理系统执行的业务模型。