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     

An experiment with an S-band radar using pulse compression andrange sidelobe suppression for meteorological measurements

A major technology barrier to the application of pulse compression for the meteorological functions required by a next generation ATC radar is range/time sidelobes which mask and corrupt observations of weak phenomena occurring near areas of strong extended meteorological scatterers. Techniques for suppressing range sidelobes are well known but without prior knowledge of the scattering medium's velocity distribution their performance degrades rapidly in the presence of Doppler. Recent investigations have presented a “doppler tolerant” range sidelobe suppression technique. The thrust of the work described herein is the extension of previous simulations to actual transmitted dispersed/coded waveforms using the S-band surveillance radar located at Rome Laboratory Surveillance Facility. The objectives of the experiment are: 1) to extend the verification of the simulation of the Doppler tolerant technique; and 2) to demonstrate that the radar transmitter, waveform generator, and receiver imperfections do not significantly degrade resolution, performance or reliability of meteorological spectral moment estimates     

含有任意多个椭圆孔弹性板的应力场计算

本文应用弹性力学的复变函数理论,用多保角变换的方法,导出了含有任意多个椭圆孔的无限大弹性板多复变量应力函数的表达式。每个孔的大小、位置和孔边作用的载荷均为任意指定。板的无限远处作用有和坐标轴方向一致的均匀拉压载荷P_x,P_y和均匀剪切载荷P_(xy)。并在孔边进行复Fourier级数展开,用待定系数法确定应力函数的未知系数,从而计算弹性板的应力场。编制了相应的FORTRAN77标准化程序,进行了考题和算例分析,给出了级数的收敛状况和孔边周向应力的分布图。     

Monte Carlo transport model comparison with 1A GeV accelerated iron experiment: heavy-ion shielding evaluation of NASA space flight-crew foodstuff.

Deep-space manned flight as a reality depends on a viable solution to the radiation problem. Both acute and chronic radiation health threats are known to exist, with solar particle events as an example of the former and galactic cosmic rays (GCR) of the latter. In this experiment Iron ions of 1A GeV are used to simulate GCR and to determine the secondary radiation field created as the GCR-like particles interact with a thick target. A NASA prepared food pantry locker was subjected to the iron beam and the secondary fluence recorded. A modified version of the Monte Carlo heavy ion transport code developed by Zeitlin at LBNL is compared with experimental fluence. The foodstuff is modeled as mixed nuts as defined by the 71st edition of the Chemical Rubber Company (CRC) Handbook of Physics and Chemistry. The results indicate a good agreement between the experimental data and the model. The agreement between model and experiment is determined using a linear fit to ordered pairs of data. The intercept is forced to zero. The slope fit is 0.825 and the R2 value is 0.429 over the resolved fluence region. The removal of an outlier, Z=14, gives values of 0.888 and 0.705 for slope and R2 respectively.     

Field formation around negatively biased solar arrays in the LEO-plasma

Heavy emission caused by impacting plasma ions results in a fast discharging effect of the initially large surface potentials on the dielectric solar cells. This eventually counteracts the energization process of the plasma ions to the cover glasses and leaves no significant electric fields. Thus, with an existing thermal plasma, electrons are again able to reach dielectric surfaces. Strong localized electric fields of the order of several 10 kV/cm form near the interconnector-cover glass interface.     

应力为几何更新过程时结构可靠度

本文讨论应力为几何更新过程时结构可靠度，获得在设计基准期［０，Ｔ］内重复应力循环发生的次数服从几何更新过程时结构可靠度表达式。     

High Dynamic GPS Receiver Using Maximum Likelihood Estimationand Frequency Tracking

A new high dynamic global positioning system (GPS) receiver ispresented and its performance characterized by analysis,simulation, and demonstration. The demonstration receiver is abreadboard model capable of tracking a single simulated satellitesignal in pseudorange and range rate. Pseudorange and range rateestimates are made once every 20 ms, using a maximum likelihoodestimator, and are tracked by means of a third-order fadingmemory filter in a feedback configuration. The receiver trackspseudorange with rms errors of under 1 m when subjected tosimulated 50 g, 40 g/s circular trajectories. The tracking thresholdis approximately 28 dB·Hz, which provides 12 dB margin relativethe the minimum specified signal strength, assuming 3.5 dB systemnoise figure and 0 dB antenna gain.     

A bioreactor system for the nitrogen loop in a Controlled Ecological Life Support System.

As space missions become longer in duration, the need to recycle waste into useful compounds rises dramatically. This problem can be addressed by the development of Controlled Ecological Life Support Systems (CELSS) (i.e., Engineered Closed/Controlled Eco-Systems (ECCES)), consisting of human and plant modules. One of the waste streams leaving the human module is urine. In addition to the reclamation of water from urine, recovery of the nitrogen is important because it is an essential nutrient for the plant module. A 3-step biological process for the recycling of nitrogenous waste (urea) is proposed. A packed-bed bioreactor system for this purpose was modeled, and the issues of reaction step segregation, reactor type and volume, support particle size, and pressure drop were addressed. Based on minimization of volume, a bioreactor system consisting of a plug flow immobilized urease reactor, a completely mixed flow immobilized cell reactor to convert ammonia to nitrite, and a plug flow immobilized cell reactor to produce nitrate from nitrite is recommended. It is apparent that this 3-step bioprocess meets the requirements for space applications.