Independent validation and verification of the TCAS II collisionavoidance subsystem

This paper describes the specification-based testing, analysis tools, and associated processes used to independently validate, verify, and ultimately, provide for certifying safety-critical software developed for the Traffic Alert and Collision Avoidance System (TCAS II) program. These tools and processes comprise an effective and Independent Validation and Verification (IV and V) activity applied to the Collision Avoidance Subsystem (GAS) software development process. A requirements specification language called the Requirements State Machine Language (RSML), originally developed by the University of California, Irvine (UCI), was employed for the specification of GAS. The end result is the next generation of TCAS II collision avoidance logic, referred to as Version 7, that is of a higher quality than its predecessors, meets the certification requirements of DO-178B Level B (Ref. 1), and can be shown to satisfy the new operational requirements it was developed to address     

Characteristics and formation of amino acids and hydroxy acids of the Murchison meteorite.

Eight characteristics of the unique suite of amino acids and hydroxy acids found in the Murchison meteorite can be recognized on the basis of detailed molecular and isotopic analyses. The marked structural correspondence between the alpha-amino acids and alpha-hydroxy acids and the high deuterium/hydrogen ratio argue persuasively for their formation by aqueous phase Strecker reactions in the meteorite parent body from presolar, i.e., interstellar, aldehydes, ketones, ammonia, and hydrogen cyanide. The characteristics of the meteoritic suite of amino acids and hydroxy acids are briefly enumerated and discussed with regard to their consonance with this interstellar-parent body formation hypothesis. The hypothesis has interesting implications for the organic composition of both the primitive parent body and the presolar nebula.     

Relativistic electrons high doses at International Space Station and Foton M2/M3 satellites

The paper presents observation of relativistic electrons. Data are collected by the Radiation Risk Radiometer-Dosimeters (R3D) B2/B3 modifications during the flights of Foton M2/M3 satellites in 2005 and 2007 as well as by the R3DE instrument at the European Technology Exposure Facility (EuTEF) on the Columbus External Payload Adaptor at the International Space Station (ISS) in the period February 20 – April 28, 2008. On the Foton M2/M3 satellites relativistic electrons are observed more frequently than on the ISS because of higher (62.8°) inclination of the orbit. At both Foton satellites the usual duration of the observations are a few minutes long. On the ISS the duration usually is about 1 min or less. The places of observations of high doses due to relativistic electrons are distributed mainly at latitudes above 50° geographic latitude in both hemispheres on Foton M2/M3 satellites. A very high maximum is found in the southern hemisphere at longitudinal range 0°–60°E. At the ISS the maximums are observed between 45° and 52° geographic latitude in both hemispheres mainly at longitudes equatorward from the magnetic poles. The measured absolute maximums of dose rates generated by relativistic electrons are found to be as follows: 304 μGy h⁻¹ behind 1.75 g cm⁻² shielding at Foton M2, 2314 μGy h⁻¹ behind 0.71 g cm⁻² shielding at Foton M3 and 19,195 μGy h⁻¹ (Flux is 8363 cm⁻² s⁻¹) behind les than 0.4 g cm⁻² shielding at ISS.     

The Radio Plasma Imager investigation on the IMAGE spacecraft

Radio plasma imaging uses total reflection of electromagnetic waves from plasmas whose plasma frequencies equal the radio sounding frequency and whose electron density gradients are parallel to the wave normals. The Radio Plasma Imager (RPI) has two orthogonal 500-m long dipole antennas in the spin plane for near omni-directional transmission. The third antenna is a 20-m dipole along the spin axis. Echoes from the magnetopause, plasmasphere and cusp will be received with the three orthogonal antennas, allowing the determination of their angle-of-arrival. Thus it will be possible to create image fragments of the reflecting density structures. The instrument can execute a large variety of programmable measuring options at frequencies between 3 kHz and 3 MHz. Tuning of the transmit antennas provides optimum power transfer from the 10 W transmitter to the antennas. The instrument can operate in three active sounding modes: (1) remote sounding to probe magnetospheric boundaries, (2) local (relaxation) sounding to probe the local plasma frequency and scalar magnetic field, and (3) whistler stimulation sounding. In addition, there is a passive mode to record natural emissions, and to determine the local electron density, the scalar magnetic field, and temperature by using a thermal noise spectroscopy technique.     

A modified Gaussian sum approach to estimation of non-Gaussiansignals

A Gaussian sum estimation algorithm has previously been developed to deal with noise processes that are non-Gaussian. Inherent in this algorithm is a serious growing memory problem that causes the number of terms in the Gaussian sum to increase exponentially at each iteration. A modified Gaussian sum estimation algorithm using an adaptive filter is developed that avoids the growing memory problem of the previous algorithm while providing effective state estimation. The adaptive filter is comprised of a fixed set of estimators operating in parallel with each individual estimate possessing its own corresponding weighting term. A simulation example illustrates the new non-Gaussian estimation technique     

Intelligent control of a planning system for astronaut training

This work intends to design, analyze and solve, from the systems control perspective, a complex, dynamic, and multiconstrained planning system for generating training plans for crew members of the NASA-led International Space Station. Various intelligent planning systems have been developed within the framework of artificial intelligence. These planning systems generally lack a rigorous mathematical formalism to allow a reliable and flexible methodology for their design, modeling, and performance analysis in a dynamical, time-critical, and multiconstrained environment. Formulating the planning problem in the domain of discrete-event systems under a unified framework such that it can be modeled, designed, and analyzed as a control system will provide a self-contained theory for such planning systems. This will also provide a means to certify various planning systems for operations in the dynamical and complex environments in space. The work presented here completes the design, development, and analysis of an intricate, large-scale, and representative mathematical formulation for intelligent control of a real planning system for Space Station crew training. This planning system has been tested and used at NASA-Johnson Space Center     

Improving ESPRIT via beamforming

Beamforming techniques are presented that improve the performance of the ESPRIT (estimation of signal parameters via rotational invariance techniques) algorithm for solving the narrowband multiple source location problem with uniform linear arrays. Using ESPRIT with these beamforming approaches maintains the computational advantage of the original ESPRIT while further exploiting the special structure of uniform linear arrays. Simulation results show that the use of ESPRIT with beamforming yields significantly improved performance compared with the original ESPRIT     

Galactic cosmic rays and cell-hit frequencies outside the magnetosphere.

An evaluation of the exposure of space travelers to galactic cosmic radiation outside the earth's magnetosphere is made by calculating fluences of high-energy primary and secondary particles with various charges traversing a sphere of area 100 microns2. Calculations relating to two shielding configurations are presented: the center of a spherical aluminum shell of thickness 1 g/cm2, and the center of a 4 g/cm2 thick aluminum spherical shell within which there is a 30 g/cm2 diameter spherical water phantom with the point of interest 5 g/cm2 from the surface. The area of 100 microns2 was chosen to simulate the nucleus of a cell in the body. The frequencies as a function of charge component in both shielding configurations reflects the odd-even disparity of the incident particle abundances. For a three-year mission, 33% of the cells in the more heavily shielded configuration would be hit by at least one particle with Z greater than 10. Six percent would be hit by at least two such particles. This emphasizes the importance of studying single high-Z particle effects both on cells which might be "at risk" for cancer induction and on critical neural cells or networks which might be vulnerable to inactivation by heavy charged particle tracks. Synergistic effects with the more numerous high-energy protons and helium ions cannot be ruled out. In terms of more conventional radiation risk assessment, the dose equivalent decreased by a factor of 2.85 from free space to that in the more heavily shielded configuration. Roughly half of this was due to the decrease in energy deposition (absorbed dose) and half to the decrease in biological effectiveness (quality factor).     

一种新型多普勒噪声抑制技术对BepiColombo任务无线电科学实验的性能提升

在欧洲空间局和日本宇宙开发机构联合开展的BepiColombo水星任务中,将开展水星轨道器无线电科学实验,包括估计水星的引力场及其旋转状态,并对广义相对论进行验证。目前地面系统和星上设备的主流配置可以在无线电科学实验中建立X/X、X/Ka和Ka/Ka多个频段的链路,测速精度可达3 um/s（1 000 s积分）,测距精度为20 cm。提出了基于时延机械噪声对消技术提高无线电科学实验性能的方案。时延机械噪声对消技术需要处理在两个测站不同时刻的测量数据,一个测站实施双向多普勒测距,对另一个单收测站的要求较为严格,该测站需要具有较好的对流层条件。这种方法能够显著降低Ka频段双向链路的主要测量噪声,包括由对流层和天线机械系统震动引起的噪声。我们给出了端到端的仿真性能,并估计了在使用时延机械噪声对消技术前提下的水星引力场和旋转状态。考虑使用NASA位于美国本土戈尔德斯敦的DSS-25天线或欧空局位于阿根廷马拉圭的DSA-3天线作为双程测量站,并考虑使用位于智力的APEX天文观测天线作为单收站。分析结果表明在最好的噪声条件下,使用DSA-3天线作为双程测量站时,时延机械噪声对消技术可将待估计的全局和局部参数的估计精度提升一倍。对于无线电科学实验的目标,这一可能的性能提升对行星地质物理学很有意义,它将有益于研究水星内部的结构。     

MTI Optimization in a Multiple-Clutter Environment

A means of optimizing a moving target indicator (MTI) filter for rejecting several types of clutter, which are generated by different mechanisms such as by rain or the ground, is formulated. lt is found that the optimal performance of such a filter depends on the spectral density functions, average radar cross sections, and the relative mean Doppler frequencies of each type of clutter. lt is shown that the optimal improvement factor of such a filter is bounded by the weighted average (weighted in accordance with the radar cross sections of the clutter types) of the improvement factor for the individual clutter type. lt is also shown that the improvement factor of such a filter is a function of the relative mean Doppler frequency f0 between the clutter types. As f0 increases, the performance of the MTI system degrades. The worst improvement factor occurs when f0 is equal to half of the radar pulse-repetition frequency (PRF).