Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Critical”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 775 records · Page 43

A conceptual model for evolving run time support of mission and safety critical components in large, complex, distributed systems

Large, complex, distributed systems should be evolved to maximize life cycle support for non-stop operation of mission and safety critical components. This paper outlines the key issues and a recommended approach for tailoring a conceptual model of Ada run time support environments to meet the specific needs of such an application. Prerequisite concepts for this model have been described previously by this author and are summarized. This model proposes upward-compatible extensions to a previously published model of Ada run time environments from the ARTEWG (Ada Run Time Environment Working Group). The first model was used to identify Ada run time requirements, dependencies, issues, features, and options for single processor applications; however, the particular needs for distributed processing were not explicitly described. The purpose of this extended model is to address the needed systems software support for Ada application programs in distributed computing environments.

Mckay, Charles W.↗

A new technology perspective and engineering tools approach for large, complex and distributed mission and safety critical systems components

Rapidly emerging technology and methodologies have out-paced the systems development processes' ability to use them effectively, if at all. At the same time, the tools used to build systems are becoming obsolescent themselves as a consequence of the same technology lag that plagues systems development. The net result is that systems development activities have not been able to take advantage of available technology and have become equally dependent on aging and ineffective computer-aided engineering tools. New methods and tools approaches are essential if the demands of non-stop and Mission and Safety Critical (MASC) components are to be met.

Carrio, Miguel A., Jr.↗

Simplified detection and correction of critical data for ill-conditioned systems

Ill-conditioned systems arising in analysis and optimization can display a high sensitivity to numerical precision for changes and errors in data input. Such data may be in the form of system parameter input or desired system response. The ill-conditioning referred to generally arises from the lack of sufficient independent data to define a complex system or the weak sensitivity of response to source input parameters. It is shown how small errors in data and assumed fixed and known parameters can lead to highly erroneous results in ill-conditioned linear algebraic equations. A simplified detection and correction of critical input data arising in the coefficient matrix and desired response (i.e., right hand side) is proposed.

Ojalvo, Irving U.↗

A critical assessment of UH-60 main rotor blade airfoil data

Many current comprehensive rotorcraft analyses employ lifting-line methods that require main rotor blade airfoil data, typically obtained from wind tunnel tests. In order to effectively evaluate these lifting-line methods, it is of the utmost importance to ensure that the airfoil section data are free of inaccuracies. A critical assessment of the SC1095 and SC1094R8 airfoil data used on the UH-60 main rotor blade was performed for that reason. Nine sources of wind tunnel data were examined, all of which contain SC1095 data and four of which also contain SC1094R8 data. Findings indicate that the most accurate data were generated in 1982 at the 11-Foot Wind Tunnel Facility at NASA Ames Research Center and in 1985 at the 6-inch by 22-inch transonic wind tunnel facility at Ohio State University. It has not been determined if data from these two sources are sufficiently accurate for their use in comprehensive rotorcraft analytical models of the UH-60. It is recommended that new airfoil tables be created for both airfoils using the existing data. Additional wind tunnel experimentation is also recommended to provide high quality data for correlation with these new airfoil tables.

Totah, Joseph↗

Study on contaminants on flight and other critical surfaces

The control of surface contamination in the manufacture of space hardware can become a critical step in the production process. Bonded surfaces have been shown to be affected markedly by contamination. It is important to insure surface cleanliness by preventing contamination prior to bonding. In this vein techniques are needed in which the contamination which may affect bonding are easily found and removed. Likewise, if materials which are detrimental to bonding are not easily removed, then they should not be used in the manufacturing process. This study will address the development of techniques to locate and quantify contamination levels of particular contaminants. With other data becoming available from MSFC and its contractors, this study will also quantify how certain contaminants affect bondlines and how easily they are removed in manufacturing.

Workman, Gary L.↗

Formal methods for life-critical software

The use of computer software in life-critical applications, such as for civil air transports, demands the use of rigorous formal mathematical verification procedures. This paper demonstrates how to apply formal methods to the development and verification of software by leading the reader step-by-step through requirements analysis, design, implementation, and verification of an electronic phone book application. The current maturity and limitations of formal methods tools and techniques are then discussed, and a number of examples of the successful use of formal methods by industry are cited.

Butler, Ricky W.↗

Analysis of a hardware and software fault tolerant processor for critical applications

Computer systems for critical applications must be designed to tolerate software faults as well as hardware faults. A unified approach to tolerating hardware and software faults is characterized by classifying faults in terms of duration (transient or permanent) rather than source (hardware or software). Errors arising from transient faults can be handled through masking or voting, but errors arising from permanent faults require system reconfiguration to bypass the failed component. Most errors which are caused by software faults can be considered transient, in that they are input-dependent. Software faults are triggered by a particular set of inputs. Quantitative dependability analysis of systems which exhibit a unified approach to fault tolerance can be performed by a hierarchical combination of fault tree and Markov models. A methodology for analyzing hardware and software fault tolerant systems is applied to the analysis of a hypothetical system, loosely based on the Fault Tolerant Parallel Processor. The models consider both transient and permanent faults, hardware and software faults, independent and related software faults, automatic recovery, and reconfiguration.

Dugan, Joanne B.↗

ZENO: A Critical Fluid Light Scattering Experiment

The ZENO experiment flew on the STS-62, it is designed to verify intriguing, but previously untested, theories in fluid physics. These theories attempt to describe dramatic changes in the properties of fluids near the critical temperature at which the vapor and liquid forms co-exist.

Source record↗

RICIS Symposium 1992: Mission and Safety Critical Systems Research and Applications

This conference deals with computer systems which control systems whose failure to operate correctly could produce the loss of life and or property, mission and safety critical systems. Topics covered are: the work of standards groups, computer systems design and architecture, software reliability, process control systems, knowledge based expert systems, and computer and telecommunication protocols.

Source record↗

Surfactant-based critical phenomena in microgravity

The objective of this research project is to characterize by experiment and theoretically both the kinetics of phase separation and the metastable structures produced during phase separation in a microgravity environment. The particular systems we are currently studying are mixtures of water, nonionic surfactants, and compressible supercritical fluids at temperatures and pressures where the coexisting liquid phases have equal densities (isopycnic phases). In this report, we describe experiments to locate equilibrium isopycnic phases and to determine the 'local' phase behavior and critical phenomena at nearby conditions of temperature, pressure, and composition. In addition, we report the results of preliminary small angle neutron scattering (SANS) experiments to characterize microstructures that exist in these mixtures at different fluid densities.

Kaler, Eric W.↗

Designing an autonomous environment for mission critical operation of the EUVE satellite

Since the launch of NASA's Extreme Ultraviolet Explorer (EUVE) satellite in 1992, there has only been a handful of occurrences that have warranted manual intervention in the EUVE Science Operations Center (ESOC). So, in an effort to reduce costs, the current environment is being redesigned to utilize a combination of off-the-shelf packages and recently developed artificial intelligence (AI) software to automate the monitoring of the science payload and ground systems. The successful implementation of systemic automation would allow the ESOC to evolve from a seven day/week, three shift operation, to a seven day/week one shift operation. First, it was necessary to identify all areas considered mission critical. These were defined as follows: (1) The telemetry stream must be monitored autonomously and anomalies identified. (2) Duty personnel must be automatically paged and informed of the occurrence of an anomaly. (3) The 'basic' state of the ground system must be assessed. (4) Monitors should check that the systems and processes needed to continue in a 'healthy' operational mode are working at all times. (5) Network loads should be monitored to ensure that they stay within established limits. (6) Connectivity to Goddard Space Flight Center (GSFC) systems should be monitored as well, not just for connectivity of the network itself but also for the ability to transfer files. (7) All necessary peripheral devices should be monitored. This would include the disks, routers, tape drives, printers, tape carousel, and power supplies. (8) System daemons such as the archival daemon, the Sybase server, the payload monitoring software, and any other necessary processes should be monitored to ensure that they are operational. (9) The monitoring system needs to be redundant so that the failure of a single machine will not paralyze the monitors. (10) Notification should be done by means of looking though a table of the pager numbers for current 'on call' personnel. The software should be capable of dialing out to notify, sending email, and producing error logs. (11) The system should have knowledge of when real-time passes and tape recorder dumps will occur and should know that these passes and data transmissions are successful. Once the design criteria were established, the design team split into two groups: one that addressed the tracking, commanding, and health and safety of the science payload and another group that addressed the ground systems and communications aspects of the overall system.

Abedini, Annadiana↗

Experience report: Using formal methods for requirements analysis of critical spacecraft software

Formal specification and analysis of requirements continues to gain support as a method for producing more reliable software. However, the introduction of formal methods to a large software project is difficult, due in part to the unfamiliarity of the specification languages and the lack of graphics. This paper reports results of an investigation into the effectiveness of formal methods as an aid to the requirements analysis of critical, system-level fault-protection software on a spacecraft currently under development. Our experience indicates that formal specification and analysis can enhance the accuracy of the requirements and add assurance prior to design development in this domain. The work described here is part of a larger, NASA-funded research project whose purpose is to use formal-methods techniques to improve the quality of software in space applications. The demonstration project described here is part of the effort to evaluate experimentally the effectiveness of supplementing traditional engineering approaches to requirements specification with the more rigorous specification and analysis available with formal methods.

Lutz, Robyn R.↗

Particle-in-cell simulations of the critical ionization velocity effect in finite size clouds

The critical ionization velocity (CIV) mechanism in a finite size cloud is studied with a series of electrostatic particle-in-cell simulations. It is observed that an initial seed ionization, produced by non-CIV mechanisms, generates a cross-field ion beam which excites a modified beam-plasma instability (MBPI) with frequency in the range of the lower hybrid frequency. The excited waves accelerate electrons along the magnetic field up to the ion drift energy that exceeds the ionization energy of the neutral atoms. The heated electrons in turn enhance the ion beam by electron-neutral impact ionization, which establishes a positive feedback loop in maintaining the CIV process. It is also found that the efficiency of the CIV mechanism depends on the finite size of the gas cloud in the following ways: (1) Along the ambient magnetic field the finite size of the cloud, L (sub parallel), restricts the growth of the fastest growing mode, with a wavelength lambda (sub m parallel), of the MBPI. The parallel electron heating at wave saturation scales approximately as (L (sub parallel)/lambda (sub m parallel)) (exp 1/2); (2) Momentum coupling between the cloud and the ambient plasma via the Alfven waves occurs as a result of the finite size of the cloud in the direction perpendicular to both the ambient magnetic field and the neutral drift. This reduces exponentially with time the relative drift between the ambient plasma and the neutrals. The timescale is inversely proportional to the Alfven velocity. (3) The transvers e charge separation field across the cloud was found to result in the modulation of the beam velocity which reduces the parallel heating of electrons and increases the transverse acceleration of electrons. (4) Some energetic electrons are lost from the cloud along the magnetic field at a rate characterized by the acoustic velocity, instead of the electron thermal velocity. The loss of energetic electrons from the cloud seems to be larger in the direction of plasma drift relative to the neutrals, where the loss rate is characterized by the neutral drift velocity. It is also shown that a factor of 4 increase in the ambient plasma density, increases the CIV ionization yield by almost 2 orders of magnitude at the end of a typical run. It is concluded that a larger ambient plasma density can result in a larger CIV yield because of (1) larger seed ion production by non-CIV mechanisms, (2) smaller Alfven velocity and hence weak momentum coupling, and (3) smaller ratio of the ion beam density to the ambient ion density, and therefore a weaker modulation of the beam velocity. The simulation results are used to interpret various chemical release experiments in space.

Moghaddam-Taaheri, E.↗

Sea surface winds-A critical input to oceanic models, but are they accurately measured?

Wind, driving oceans, and the links between them to the atmosphere compose a critical parameter for the world circulation model as well as for the evaluation of climate changes. Traditionally, wind velocities have been reported by ships of oppurtunity and recorded on a network of buoys; they have also recently been generated by numerical weather prediction models and mapped with spaceborne remote sensors. Wind speeds from buoy measurements, ship observations, and model computations are compared, using the globally available altimeter returns that they have in common. Large, systematic deviations are found among the results obtained with these techniques, cautioning against use of these wind speeds.

Wu, Jin↗

A critical evaluation of semianalytic methods in the study of centrally heated, unresolved, infrared sources

We critically evaluate current methods of analysis in infrared (IR) astronomy and investigate the conditions under which these semianalytic methods are reliable. Specifically we examine the usual assumptions of homogeneities in dust density and temperature, and neglect of opacity effects when applied to internally heated, unresolved IR sources. To accomplish this, a series of radiation transport models for these sources have been constructed. The model results are treated as observed quantities and analyzed to derive the source parameters, using simple semianalytic methods. The discrepancies between the derived and actual model parameters can then be attributed to the limitations of the analysis methods and provide a measure of their reliability. Applying this approach to centrally heated, unresolved IR sources, we have studied in detail the following diagnostic problems: (1) determination of dust mass from monochromatic and integrated luminosities; (2) estimation of dust temperature distribution from color temperatures derived from the flux spectrum; and (3) determination of the empirical grain emissivity law (opacity function) for both continuum and spectral features.

Doty, Steven D.↗

Angular dependence of critical current density and magnetoresistance of sputtered high-T(sub c)-films

The angular dependence of the critical current density and the magnetoresistance of high-T(sub c)-films in high and low magnetic fields and for different temperatures were measured to investigate the flux pinning and the superconducting properties. A comparison of the results for the different superconductors shows their increasing dependence on the angle Theta between the magnetic field and the c-axis of the film due to the anisotropy of the chosen superconductor. Furthermore the influence of the current direction to the Theta-rotation plane is discussed.

Geerkens, A.↗

Improvement of critical current density in thallium-based (Tl,Bi)Sr(1.6)Ba(0.4)Ca2Cu3O(x) superconductors

Epitaxial (Tl,Bi)Sr(1.6)Ba(0.4)Ca2Cu3O(x) ((Tl,Bi)-1223) thin films on (100) single crystal LaAlO3 substrates were synthesized by a two-step procedure. Phase development, microstructure, and relationships between film and substrate were studied by X-ray diffraction (XRD), scanning electron microscopy (SEM), and transmission electron microscopy (TEM). Resistance versus temperature, zero-field-cooled and field cooled magnetization, and transport critical current density (J(sub c)) were measured. The zero-resistance temperature was 105-111 K. J(sub c) at 77 K and zero field was greater than 2 x 10(exp 6) A/sq cm. The films exhibited good flux pinning properties.

Ren, Z. F.↗

Continuum Fatigue Damage Modeling for Critical Design, Control, and Fault Prognosis

This paper develops a simplified continuum (continuous with respect to time, stress, etc.) fatigue damage model for use in critical design, Life Extending Control and fault prognosis. The work is based on the local strain cyclic damage modeling method. New nonlinear explicit equation forms of cyclic damage in terms of stress amplitude are derived to facilitate the continuum modelling. Stress based continuum models are derived. Extension to plastic strain-strain rate models is also presented. Progress toward a non-zero mean stress based is presented. Also new nonlinear explicit equation forms in terms of stress amplitude are derived for this case. Application of the various models to design, control, and fault prognosis is considered.

Lorenzo, Carl F.↗