Fault tolerant software modules for SIFT

The implementation of software fault tolerance is investigated for critical modules of the Software Implemented Fault Tolerance (SIFT) operating system to support the computational and reliability requirements of advanced fly by wire transport aircraft. Fault tolerant designs generated for the error reported and global executive are examined. A description of the alternate routines, implementation requirements, and software validation are included

Fault-tolerant software for the FIMP

The work reported here provides protection against software failures in the task dispatcher of the FTMP, a particularly critical portion of the system software. Faults in other system modules and application programs can be handled by similar techniques but are not covered in this effort. Goals of the work reported here are: (1) to develop provisions in the software design that will detect and mitigate software failures in the dispatcher portion of the FTMP Executive and, (2) to propose the implementation of specific software reliability measures in other parts of the system. Beyond the specific support to the FTMP project, the work reported here represents a considerable advance in the practical application of the recovery block methodology for fault tolerant software design

Analysis of DSN software anomalies

A categorized data base of software errors which were discovered during the various stages of development and operational use of the Deep Space Network DSN/Mark 3 System was developed. A study team identified several existing error classification schemes (taxonomies), prepared a detailed annotated bibliography of the error taxonomy literature, and produced a new classification scheme which was tuned to the DSN anomaly reporting system and encapsulated the work of others. Based upon the DSN/RCI error taxonomy, error data on approximately 1000 reported DSN/Mark 3 anomalies were analyzed, interpreted and classified. Next, error data are summarized and histograms were produced highlighting key tendencies

Critical speed and limit cycles in the empty Y25-freight wagon

Dieser Beitrag ist mit Zustimmung des Rechteinhabers aufgrund einer (DFG geförderten) Allianz- bzw. Nationallizenz frei zugänglich.This publication is with permission of the rights owner freely accessible due to an Alliance licence and a national licence (funded by the DFG, German Research Foundation) respectively.In this research, an empty freight wagon with Y25 bogies have been modelled. Non-linear creep forces with spin moment between wheel and rail have been used, and also all impacts and friction forces have been modelled. Non-linear equations of motion and kinematical constraints have been solved in time domain, and limit cycles, saddle nodes, and critical speeds have been shown. Both primary and secondary hunting can be seen in the responses of the wagons. The relation between frequency of oscillations and speed can be seen, also, there are chaotic oscillations. Results show that stiffness in impacts affects calculation time and limit cycles

Mapping the Energy Cascade in the North Atlantic Ocean: The Coarse-graining Approach

This is the final version of the article. Available from AMS via the DOI in this record.A coarse-graining framework is implemented to analyze nonlinear processes, measure energy transfer rates and map out the energy pathways from simulated global ocean data. Traditional tools to measure the energy cascade from turbulence theory, such as spectral flux or spectral transfer rely on the assumption of statistical homogeneity, or at least a large separation between the scales of motion and the scales of statistical inhomogeneity. The coarse-graining framework allows for probing the fully nonlinear dynamics simultaneously in scale and in space, and is not restricted by those assumptions. This paper describes how the framework can be applied to ocean flows. Energy transfer between scales is not unique due to a gauge freedom. Here, it is argued that a Galilean invariant subfilter scale (SFS) flux is a suitable quantity to properly measure energy scale-transfer in the Ocean. It is shown that the SFS definition can yield answers that are qualitatively different from traditional measures that conflate spatial transport with the scale-transfer of energy. The paper presents geographic maps of the energy scale-transfer that are both local in space and allow quasi-spectral, or scale-by-scale, dynamics to be diagnosed. Utilizing a strongly eddying simulation of flow in the North Atlantic Ocean, it is found that an upscale energy transfer does not hold everywhere. Indeed certain regions, near the Gulf Stream and in the Equatorial Counter Current have a marked downscale transfer. Nevertheless, on average an upscale transfer is a reasonable mean description of the extra-tropical energy scale-transfer over regions of O(10^3) kilometers in size.Financial support was provided by IGPPS at Los Alamos National Laboratory (LANL) and NSF grant OCE-1259794. HA was also supported through DOE grants de-sc0014318, de-na0001944, and the LANL LDRD program through project number 20150568ER. MH was also supported through the HiLAT project of the Regional and Global Climate Modeling program of the DOE’s Office of Science, and GKV was also supported by NERC, the Marie Curie Foundation and the Royal Society (Wolfson Foundation). This research used resources of the National Energy Research Scientific Computing Center, a DOE Office of Science User Facility supported by the Office of Science of the U.S. Department of Energy under Contract No. DE-AC02-05CH11231

Si3N4 emissivity and the unidentified infrared bands

Infrared spectroscopy of warm (about 150 to 750 K), dusty astronomical sources has revealed a structured emission spectrum which can be diagnostic of the composition, temperature, and in some cases, even size and shape of the grains giving rise to the observed emission. The identifications of silicate emission in oxygen rich objects and SiC in carbon rich object are two examples of this type of analysis. Cometary spectra at moderate resolution have similarly revealed silicate emission, tying together interstellar and interplanetary dust. However, Goebel has pointed out that some astronomical sources appear to contain a different type of dust which results in a qualitatively different spectral shape in the 8 to 13 micron region. The spectra shown make it appear unlikely that silicon nitride can be identified as the source of the 8 to 13 micron emission in either NGC 6572 or Nova Aql 1982. The similarity between the general wavelength and shape of the 10 micron emission from some silicates and that from the two forms of silicon nitride reported could allow a mix of cosmic grains which include some silicon nitride if only the 8 to 13 micron data are considered

The Gaussian formula and spherical aberration of the static and moving curved mirrors from Fermat's principle

The Gaussian formula and spherical aberrations of the static and relativistic curved mirrors are analyzed using the optical path length (OPL) and Fermat's principle. The geometrical figures generated by the rotation of conic sections about their symmetry axes are considered for the shapes of the mirrors. By comparing the results in static and relativistic cases, it is shown that the focal lengths and the spherical aberration relations of the relativistic mirrors obey the Lorentz contraction. Further analysis of the spherical aberrations for both static and relativistic cases have resulted in the information about the limits for the paraxial approximation, as well as for the minimum speed of the systems to reduce the spherical aberrations.Comment: 15 pages, 7 figures, uses iopart. Major revisions on the physical interpretations of the results. Accepted for publication in J. Op

Effect of suspension system in the lateral stability of railway freight trucks

Dieser Beitrag ist mit Zustimmung des Rechteinhabers aufgrund einer (DFG geförderten) Allianz- bzw. Nationallizenz frei zugänglich.This publication is with permission of the rights owner freely accessible due to an Alliance licence and a national licence (funded by the DFG, German Research Foundation) respectively.In the current research an empty freight wagon with BA652 and an old BA661 bogies have been modelled. Non-linear creep forces with spin moment between wheel and rail have been used and also all impacts and friction forces have been modelled. The characteristics of primary suspension systems for BA652 and an old BA661 have been evaluated by means of test. Non-linear equations of motions and kinematical constraints have been solved in time domain and limit cycles have been showed. Both primary and secondary hunting can be seen in responses of wagon. For BA652 there are non-linear and linear critical speeds and also saddle nodes but for old BA661 the situation is too critical and the system can oscillate in very low speeds

Sharp interface limit for a phase field model in structural optimization

We formulate a general shape and topology optimization problem in structural optimization by using a phase field approach. This problem is considered in view of well-posedness and we derive optimality conditions. We relate the diffuse interface problem to a perimeter penalized sharp interface shape optimization problem in the sense of $\Gamma$-convergence of the reduced objective functional. Additionally, convergence of the equations of the first variation can be shown. The limit equations can also be derived directly from the problem in the sharp interface setting. Numerical computations demonstrate that the approach can be applied for complex structural optimization problems