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     

Practical stabilization in attitude thruster control

The attitude stabilization of a spacecraft using thrusters is considered from a practical point of view, i.e., when actuator constraints, uncertainties and failures, measurement noise, fuel consumption, and inertia matrix uncertainty are considered. A variable structure controller based on sliding modes is obtained first, which guarantees global exponential stability under actuator constraints, uncertainties, and failures. The design is based on a continuous average-proportional torque selection function and a set of feasible sliding surfaces, which may be adapted to improve performance. Exponential convergence towards ultimate bounds is guaranteed when all other practical issues arise.     

Lunar precursor missions for human exploration of Mars--III: studies of system reliability and maintenance

Discussions of future human expeditions into the solar system generally focus on whether the next explorers ought to go to the Moon or to Mars. The only mission scenario developed in any detail within NASA is an expedition to Mars with a 500-day stay at the surface. The technological capabilities and the operational experience base required for such a mission do not now exist nor has any self-consistent program plan been proposed to acquire them. In particular, the lack of an Abort-to-Earth capability implies that critical mission systems must perform reliably for 3 years or must be maintainable and repairable by the crew. As has been previously argued, a well-planned program of human exploration of the Moon would provide a context within which to develop the appropriate technologies because a lunar expedition incorporates many of the operational elements of a Mars expedition. Initial lunar expeditions can be carried out at scales consistent with the current experience base but can be expanded in any or all operational phases to produce an experience base necessary to successfully and safely conduct human exploration of Mars.     

基于批生产的逐段式车间作业调度算法

探讨了离散作业型（Job shop）车间中的作业调度的分阶段模型，并根据离散作业调度的阶段性提出了基于作业状态空间的逐段式车间作业调度算法，通过对一个实际车间作业调度仿真比较，此算法运算速度比最短加工时间（SPT）和最少工作量剩余（LWR）算法快，其调度结果在实际作业车间具有可执行性。     

Statistical Technique for Radar Amplitude Calibration

A statistical technique for amplitude calibration of radar systems is presented. As distinct from the input-output crosscorrelation measurement of a linear system impulse response [1], this technique measures the amplitude transfer function of a memoryless, nonlinear system. A generalized theory is developed and calibration accuracy bounds are derived. Used in the calibration of a modern pulsed radar, the technique is compared with conventional reference pulse calibration. The relative merits of the deterministic and statistical approaches are compared.     

The photometric study of light scattering from the surface of alumina powder and interpretations by Hapke formula

A laboratory experiment helps to understand the light scattering property of regolith like samples with known compositions and other physical parameters. The laboratory data so obtained can be compared with the existing in situ data on celestial objects like asteroids. Further, it may be analyzed with the help of various theoretical models to understand the light scattering processes from regolith more clearly. In this work we have performed laboratory based photometry of the light scattered from the surfaces of powdered alumina (Al₂O₃) at various tilt angles of the sample and at large phase angles, with the particles having diameter 0.3 μm. The wavelength of observation was 632.8 nm. These data have been fitted by a surface scattering model originally suggested by Hapke. Instead of using empirical Henyey–Greenstein phase function to fix the values of albedo and phase function to be used within Hapke formula, we have used Mie theory for the same. This approach helped us to determine the single particle properties such as particle diameter and complex refractive index from surface scattering phase curve alone. Mie theory depends only on the size parameter X(=2π(radius/wavelength)) and complex refractive index (n, k) of the material. Since the absorption coefficient (k) for alumina is known to be very low but not exactly zero, the best fit to the experimental data was obtained by least square technique with k as a free parameter, as the other parameters are known. Finally, we compare our results with other published results and discuss the scope of application of the method we adopted.     

Photochemical initiation of gaseous detonations

Direct initiation of detonations in gaseous mixtures of C₂H₂-O₂, H₂-O₂ and H₂-Cl₂ in the pressure range of 10–150 torr using flash photolysis was studied. Similar to blast initiation using a concentrated powerful energy source, it was found that for photochemical initiation, there exists a certain threshold of flash intensity and energy for each mixture at any given initial pressure and composition below which a deflagration is formed. At the critical threshold, however, a fully developed detonation is rapidly formed in the immediate vicinity of the window of incident UV radiation. However, at super critical flash energies, the amplitude of the detonation formed decreases and combustion of the entire irradiated volume approaches a constant volume explosion. It was found that photo-chemical initiation requires both a certain minimum peak value of the free radical concentration generated by the photo-dissociation as well as an appropriate gradient of this free radical distribution. The minimum peak radical concentration permits rapid reaction rates for the generation of strong pressure waves, while the gradient is necessary for the amplification of the shock waves to a detonation. If the gradient is absent and the free radicals are uniformly distributed in the mixture, then the entire volume simply explodes as in a constant volume process. The present study reveals that the mechanism of photochemical initiation is one of proper temporal synchronization of the chemical energy release to the shock wave as it propagates through the mixture. In analogy to the LASER, the term SWACER is introduced to represent this mechanism of Shock Wave Amplication by Coherent Energy Release. There are strong indications that this SWACER mechanism is universal and plays the main role in the formation of detonations whenever a powerful concentrated external source is not used to generate a strong shock wave in the explosive.     

Study of highly perturbed spacecraft formation dynamics via approximation

This paper explores methods for approximating and analyzing the dynamics of highly perturbed spacecraft formations with an emphasis on computationally efficient approaches. This facilitates on-board computation or rapid preliminary mission design analysis. Perturbed formation dynamics are often approximated as linear time-varying (LTV) systems, for which Floquet theory can be used to analyze the degree of system instability. Furthermore, the angular momentum of the relative orbital state can be computed with the approximate dynamics to provide additional insight. A general methodology is developed first and then applied to the problem of unstable formation dynamics in asteroid orbits. Here the dominant perturbative effects due to low-order gravitational harmonics and solar radiation pressure are modeled. Numerical simulations validate the approach and illustrate the approximation accuracy achieved.     

Observations of a quasi-90-day oscillation in the MLT winds and tides over an equatorial station using meteor radar winds

An evident signature of a least studied quasi-90-day oscillation is found in the winds and tides in the MLT from an equatorial station, São João do Cariri (7.4°S, 36.5°W). The oscillation is found to appear mainly in certain intervals with small but appreciable seasonal (fourth harmonic of annual oscillation) contribution. The maximum amplitude of the oscillation is found to be around 10 m/s in the zonal wind. The enhancement peak of the oscillation exhibits downward movement indicating a plausible role of upward moving waves/tides in carrying its imprint from below to the MLT. Similar oscillation feature in the tropospheric zonal wind and ozone may imply its lower atmospheric origin as a component of the intraseasonal oscillation (ISO) that moves upward by modulating the tides. Subsequently, the propagating tides (mainly semidiurnal) are enhanced by the ozone in the stratosphere through absorption of solar UV radiation and finally manifest the oscillation in the MLT. Consistency of the present findings with the past investigations are observed in some aspects of the oscillation, whereas existing mismatches in others are believed to be due to geophysical variability depending on space and time among various locations on the globe.