Generating requirements for complex embedded systems using State Analysis

It has become clear that spacecraft system complexity is reaching a threshold where customary methods of control are no longer affordable or sufficiently reliable. At the heart of this problem are the conventional approaches to systems and software engineering based on subsystem-level functional decomposition, which fail to scale in the tangled web of interactions typically encountered in complex spacecraft designs. Furthermore, there is a fundamental gap between the requirements on software specified by systems engineers and the implementation of these requirements by software engineers. Software engineers must perform the translation of requirements into software code, hoping to accurately capture the systems engineer's understanding of the system behavior, which is not always explicitly specified. This gap opens up the possibility for misinterpretation of the systems engineer's intent, potentially leading to software errors. This problem is addressed by a systems engineering methodology called State Analysis, which provides a process for capturing system and software requirements in the form of explicit models. This paper describes how requirements for complex aerospace systems can be developed using State Analysis, using representative spacecraft examples.     

A cost driven predictive maintenance policy for structural airframe maintenance

Airframe maintenance is traditionally performed at scheduled maintenance stops.The decision to repair a fuselage panel is based on a fixed crack size threshold,which allows to ensure the aircraft safety until the next scheduled maintenance stop.With progress in sensor technology and data processing techniques,structural health monitoring (SHM) systems are increasingly being considered in the aviation industry.SHM systems track the aircraft health state continuously,lead ing to the possibility of planning maintenance based on an actual state of aircraft rather than on a fixed schedule.This paper builds upon a model-based prognostics framework that the authors developed in their previous work,which couples the Extended Kalman filter (EKF) with a first order perturbation (FOP) method.By using the information given by this prognostics method,a novel cost driven predictive maintenance (CDPM) policy is proposed,which ensures the aircraft safety while minimizing the maintenance cost.The proposed policy is formally derived based on the trade-off between probabilities of occurrence of scheduled and unscheduled maintenance.A numerical case study simulating the maintenance process of an entire fleet of aircrafts is imple mented.Under the condition of assuring the same safety level,the CDPM is compared in terms of cost with two other maintenance policies:scheduled maintenance and threshold based SHM maintenance.The comparison results show CDPM could lead to significant cost savings.     

Geometric calibration of Colour and Stereo Surface Imaging System of ESA’s Trace Gas Orbiter

There are many geometric calibration methods for “standard” cameras. These methods, however, cannot be used for the calibration of telescopes with large focal lengths and complex off-axis optics. Moreover, specialized calibration methods for the telescopes are scarce in literature. We describe the calibration method that we developed for the Colour and Stereo Surface Imaging System (CaSSIS) telescope, on board of the ExoMars Trace Gas Orbiter (TGO). Although our method is described in the context of CaSSIS, with camera-specific experiments, it is general and can be applied to other telescopes. We further encourage re-use of the proposed method by making our calibration code and data available on-line.     

机翼尾迹脱落涡噪声的理论研究

Ｍｉｃｈｅｌ等人１９９８年应用平面传声器阵列对飞机过顶噪声进行的测量研究首次发现，机翼尾迹脱落涡噪声是某些类型飞机重要的噪声源。为发展一种预测这种噪声源的理论预测模型，应用ｖｏｎ Ｋａｒｍａｎ涡街模型模拟二维机翼下游尾迹脱落涡，尾迹涡的强度和脱落频率应用这个模型进行计算。基于Ｈｏｗｅ后缘噪声理论，并结合尾迹模型，本文发展了一种预测脱落涡噪声声压级和指向特征的气动声学模型。对６架现代商用飞机的机翼尾迹脱落涡噪声的计算表明，本文理论模型预测的涡脱落频率、声压级以及噪声的指向性等与实验测量结果有较好的一致性。     

基于混合有限元解析法的永磁同步电机永磁体电涡流损耗估计

永磁同步电机永磁体受限于热约束,无法在温度较高的环境下运行,故需减少永磁体上的电涡流损耗,从而降低永磁体上的温度。针对使用有限元法对永磁体电涡流损耗估算时间较长,以及使用解析法估算时难以达到与有限元法相同的精度,采用混合有限元解析法估算永磁体上的电涡流损耗。结合电涡流的反作用,在模拟电机旋转时,无需重复划分三角形区域;使用MATLAB软件仿真模拟,将混合有限元解析法与Galerkin有限元法对比,减少三角形区域划分的个数。由此验证了永磁体上电涡流损耗符合端部效应以及集肤效应的特征,在保证精度的同时,减少了仿真的时间。     

Quantitative Assessments of the Martian Hydrosphere

In this paper, we review current estimates of the global water inventory of Mars, potential loss mechanisms, the thermophysical characteristics of the different reservoirs that water may be currently stored in, and assess how the planet’s hydrosphere and cryosphere evolved with time. First, we summarize the water inventory quantified from geological analyses of surface features related to both liquid water erosion, and ice-related landscapes. They indicate that, throughout most of Martian geologic history (and possibly continuing through to the present day), water was present to substantial depths, with a total inventory ranging from several 100 to as much as 1000 m Global Equivalent Layer (GEL). We then review the most recent estimates of water content based on subsurface detection by orbital and landed instruments, including deep penetrating radars such as SHARAD and MARSIS. We show that the total amount of water measured so far is about 30 m GEL, although a far larger amount of water may be stored below the sounding depths of currently operational instruments. Finally, a global picture of the current state of the subsurface water reservoirs and their evolution is discussed.     

Refining DORIS atmospheric drag estimation in preparation of ITRF2008

In preparation of ITRF2008, all geodetic technique services (VLBI, SLR, GPS and DORIS) are generating new solutions based on combination of individual analysis centers solutions. These data reprocessing are based on a selection of models, parameterization and estimation strategy unique to each analysis center and to each technique. While a good agreement can be found for models between groups, thanks to the existence of the IERS conventions, a great diversity still exist for parameter estimation, allowing possible future improvements in this direction. The goal of this study is to focus on the atmospheric drag estimation used to generate the new DORIS/IGN ignwd08 time series prepared for ITRF2008. We develop here a method to inter-compare different processing strategies. In a first step, by analyzing single-satellite solutions for a few weeks of data but for a large number of possible analysis strategies, we demonstrate that estimating drag coefficient more frequently (typically every 1–2 h instead of previously every 4–8 h) for the lowest DORIS satellites (SPOTs and Envisat) provides better geodetic results for station coordinates and polar motion. This new processing strategy also solved earlier problem found when processing DORIS data during intense geomagnetic events, such as geomagnetic storms. Differences between drag estimation strategies can mostly be found during these few specific periods of extreme geomagnetic activity (few days per year). In such a case, when drag coefficient is only estimated every 6 h or less often for single-satellite solution, a significant degradation in station coordinate accuracy can be observed (120 mm vs. 20 mm) and significant biases arose in polar motion estimation (5 mas vs. 0.3 mas). In a second step, we reprocessed a full year of DORIS data (2003) in a standard multi-satellite mode. We were able to provide statistics on a more reliable data set and to strengthen these conclusions. Our proposed DORIS analysis is easy to implement in all software packages and is now already used by several analysis centers of the International DORIS Service (IDS) when submitting reprocessed solutions for ITRF2008.     

Understanding magnetotail current sheet meso-scale structures using MHD simulations

Recent Cluster observations have strongly supported the existence of meso-scale structure in the magnetotail current sheet. In our study, a magnetohydrodynamic simulation event study exhibited current sheet behavior comparable to that seen in the Cluster observations. Geotail and DoubleStar observations also show that the simulation is providing a realistic representation of the magnetosphere during the period of interest; that is, when the current sheet evidently becomes bifurcated. The magnetohydrodynamic simulation allows us to place the local observations into a global contest. It shows that the observations can be explained in terms of localized reconnection tailward of the Cluster location and the formation of a flux rope nearby. The simulation also features wave-like structure across the current sheet.     

1. Transport of Mass,Momentum and Energy in Planetary Magnetodisc Regions

The rapid rotation of the gas giant planets, Jupiter and Saturn, leads to the formation of magnetodisc regions in their magnetospheric environments. In these regions, relatively cold plasma is confined towards the equatorial regions, and the magnetic field generated by the azimuthal (ring) current adds to the planetary dipole, forming radially distended field lines near the equatorial plane. The ensuing force balance in the equatorial magnetodisc is strongly influenced by centrifugal stress and by the thermal pressure of hot ion populations, whose thermal energy is large compared to the magnitude of their centrifugal potential energy. The sources of plasma for the Jovian and Kronian magnetospheres are the respective satellites Io (a volcanic moon) and Enceladus (an icy moon). The plasma produced by these sources is globally transported outwards through the respective magnetosphere, and ultimately lost from the system. One of the most studied mechanisms for this transport is flux tube interchange, a plasma instability which displaces mass but does not displace magnetic flux—an important observational constraint for any transport process. Pressure anisotropy is likely to play a role in the loss of plasma from these magnetospheres. This is especially the case for the Jovian system, which can harbour strong parallel pressures at the equatorial segments of rotating, expanding flux tubes, leading to these regions becoming unstable, blowing open and releasing their plasma. Plasma mass loss is also associated with magnetic reconnection events in the magnetotail regions. In this overview, we summarise some important observational and theoretical concepts associated with the production and transport of plasma in giant planet magnetodiscs. We begin by considering aspects of force balance in these systems, and their coupling with the ionospheres of their parent planets. We then describe the role of the interaction between neutral and ionized species, and how it determines the rate at which plasma mass and momentum are added to the magnetodisc. Following this, we describe the observational properties of plasma injections, and the consequent implications for the nature of global plasma transport and magnetodisc stability. The theory of the flux tube interchange instability is reviewed, and the influences of gravity and magnetic curvature on the instability are described. The interaction between simulated interchange plasma structures and Saturn’s moon Titan is discussed, and its relationship to observed periodic phenomena at Saturn is described. Finally, the observation, generation and evolution of plasma waves associated with mass loading in the magnetodisc regions is reviewed.