DO 28飞行试验数据一致性检验

 本文研究DO28试验机飞行试验数据一致性检验及其误差校正。建立了由非线性运动学方程及内容广泛的校正环节构成的一致性检验模型,解决了大地风场重构、测量信号时间延迟估计、ψ转换及测量控制信号的校正。为DO28参数估计提供了可靠、准确的飞行试验数据。     

The plasma instrumentation for the Galileo Mission

The plasma instrumentation (PLS) for the Galileo Mission comprises a nested set of four spherical-plate electrostatic analyzers and three miniature, magnetic mass spectrometers. The three-dimensional velocity distributions of positive ions and electrons, separately, are determined for the energy-per-unit charge (E/Q) range of 0.9 V to 52 kV. A large fraction of the 4-steradian solid angle for charged particle velocity vectors is sampled by means of the fan-shaped field-of-view of 160°, multiple sensors, and the rotation of the spacecraft spinning section. The fields-of-view of the three mass spectrometers are respectively directed perpendicular and nearly parallel and anti-parallel to the spin axis of the spacecraft. These mass spectrometers are used to identify the composition of the positive ion plasmas, e.g., H⁺, O⁺, Na⁺, and S⁺, in the Jovian magnetosphere. The energy range of these three mass spectrometers is dependent upon the species. The maximum temporal resolutions of the instrument for determining the energy (E/Q) spectra of charged particles and mass (M/Q) composition of positive ion plasmas are 0.5 s. Three-dimensional velocity distributions of electrons and positive ions require a minimum sampling time of 20 s, which is slightly longer than the spacecraft rotation period. The two instrument microprocessors provide the capability of inflight implementation of operational modes by ground-command that are tailored for specific plasma regimes, e.g., magnetosheath, plasma sheet, cold and hot tori, and satellite wakes, and that can be improved upon as acquired knowledge increases during the tour of the Jovian magnetosphere. Because the instrument is specifically designed for measurements in the environs of Jupiter with the advantages of previous surveys with the Voyager spacecraft, first determinations of many plasma phenomena can be expected. These observational objectives include field-aligned currents, three-dimensional ion bulk flows, pickup ions from the Galilean satellites, the spatial distribution of plasmas throughout most of the magnetosphere and including the magnetotail, and ion and electron flows to and from the Jovian ionosphere.     

Design for validation

An approach is outlined for the development of ultrareliable avionics for civil air transports using a design-for-validation philosophy that includes rigorous application of formal methods. The basic concept of the methodology is introduced, and the role of formal methods is explored. The impact of the design-for-validation philosophy on the system design process is then demonstrated by two simple examples. More details about the design-for-validation methodology are then given