SEARCH · Engineering Papers

Results for “fault properties”

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.

SourceResearch connectionFrom yearThrough year

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

At least 109 records · Page 6

All sources NASA NTRS DOE OSTI

NASA NTRS2019

The Effect Stacking Fault Segregation and Phase Transformations have on Creep Strength in Ni-based Superalloys

In this study, two commercially similar polycrystalline Ni-based disk superalloys (LSHR and ME3) were creep tested at 760C and 552MPa to approximately 0.3% plastic strain. LSHR consistently displayed superior creep properties at this stress/temperature regime even though the microstructural characteristics between the two alloys were comparable. High resolution structural and chemical analysis, however, revealed significant differences between the two alloys among active gamma prime shearing modes involving superlattice intrinsic and extrinsic stacking faults. In ME3, Co and Cr segregation and Ni and Al depletion were observed along the intrinsic faults - revealing a gamma prime -to- gamma phase transformation. Conversely in LSHR, an alloy with a higher W content, Co and W segregation was observed along the intrinsic faults. This observation combined with scanning transmission electron microscopy (STEM) simulations confirm a gamma prime-to-D019 phase transformation along the intrinsic faults in LSHR. Using experimental observations and density functional theory calculations, a novel local phase transformation strengthening mechanism is proposed that could be further utilized to improve the high temperature creep capabilities of Ni-base disk alloys.

Superalloy↗

NASA NTRS2008

Using Bayesian Networks for Candidate Generation in Consistency-based Diagnosis

Consistency-based diagnosis relies heavily on the assumption that discrepancies between model predictions and sensor observations can be detected accurately. When sources of uncertainty like sensor noise and model abstraction exist robust schemes have to be designed to make a binary decision on whether predictions are consistent with observations. This risks the occurrence of false alarms and missed alarms when an erroneous decision is made. Moreover when multiple sensors (with differing sensing properties) are available the degree of match between predictions and observations can be used to guide the search for fault candidates. In this paper we propose a novel approach to handle this problem using Bayesian networks. In the consistency- based diagnosis formulation, automatically generated Bayesian networks are used to encode a probabilistic measure of fit between predictions and observations. A Bayesian network inference algorithm is used to compute most probable fault candidates.

Narasimhan, Sriram↗

NASA NTRS1993

Fault handling schemes in electronic systems with specific application to radiation tolerance and VLSI design

Naturally occurring space radiation particles can produce transient and permanent changes in the electrical properties of electronic devices and systems. In this work, the transient radiation effects on DRAM and CMOS SRAM were considered. In addition, the effect of total ionizing dose radiation of the switching times of CMOS logic gates were investigated. Effects of transient radiation on the column and cell of MOS dynamic memory cell was simulated using SPICE. It was found that the critical charge of the bitline was higher than that of the cell. In addition, the critical charge of the combined cell-bitline was found to be dependent on the gate voltage of the access transistor. In addition, the effect of total ionizing dose radiation on the switching times of CMOS logic gate was obtained. The results of this work indicate that, the rise time of CMOS logic gates increases, while the fall time decreases with an increase in total ionizing dose radiation. Also, by increasing the size of the P-channel transistor with respect to that of the N-channel transistor, the propagation delay of CMOS logic gate can be made to decrease with, or be independent of an increase in total ionizing dose radiation. Furthermore, a method was developed for replacing polysilicon feedback resistance of SRAMs with a switched capacitor network. A switched capacitor SRAM was implemented using MOS Technology. The critical change of the switched capacitor SRAM has a very large critical charge. The results of this work indicate that switched capacitor SRAM is a viable alternative to SRAM with polysilicon feedback resistance.

Attia, John Okyere↗

NASA NTRS1991

Verification of the FtCayuga fault-tolerant microprocessor system. Volume 1: A case study in theorem prover-based verification

The design and formal verification of a hardware system for a task that is an important component of a fault tolerant computer architecture for flight control systems is presented. The hardware system implements an algorithm for obtaining interactive consistancy (byzantine agreement) among four microprocessors as a special instruction on the processors. The property verified insures that an execution of the special instruction by the processors correctly accomplishes interactive consistency, provided certain preconditions hold. An assumption is made that the processors execute synchronously. For verification, the authors used a computer aided design hardware design verification tool, Spectool, and the theorem prover, Clio. A major contribution of the work is the demonstration of a significant fault tolerant hardware design that is mechanically verified by a theorem prover.

Srivas, Mandayam↗

NASA NTRS1995

An Example of Unsupervised Networks Kohonen's Self-Organizing Feature Map

Kohonen's self-organizing feature map belongs to a class of unsupervised artificial neural network commonly referred to as topographic maps. It serves two purposes, the quantization and dimensionality reduction of date. A short description of its history and its biological context is given. We show that the inherent classification properties of the feature map make it a suitable candidate for solving the classification task in power system areas like load forecasting, fault diagnosis and security assessment.

Kohonen Feature Map↗

NASA NTRS1970

A study of passive microwave techniques applied to geologic problems

Passive microwave techniques were applied to geologic problems, in order to establish the microwave properties of representative rocks and minerals, and to examine the feasibility of using microwave radiometry for geologic mapping problems. A review of microwave pertaining to geology was conducted, coupled with laboratory and field investigations of the microwave emission characteristics of various geologic features. The laboratory studies consisted of dielectric constant measurements of rocks and minerals. A majority of field investigations conducted in the western United States, involved the microwave emission charateristics of rock types, and a portion of the study was concerned with microwave properties of mineralized areas. Experiments were also conducted in the vicinity of a coal seam fire in Colorado and across the San Andreas Fault Zone near the Salton Sea, in Southern California.

Edgerton, A. T.↗

NASA NTRS1997

Design Guidelines for Shielding Effectiveness, Current Carrying Capability, and the Enhancement of Conductivity of Composite Materials

These guidelines address the electrical properties of composite materials which may have an effect on electromagnetic compatibility (EMC). The main topics of the guidelines include the electrical shielding, fault current return, and lightning protection capabilities of graphite reinforced polymers, since they are somewhat conductive but may require enhancement to be adequate for EMC purposes. Shielding effectiveness depends heavily upon the conductivity of the material. Graphite epoxy can provide useful shielding against RF signals, but it is approximately 1,000 times more resistive than good conductive metals. The reduced shielding effectiveness is significant but is still useful in many cases. The primary concern is with gaps and seams in the material just as it is with metal. Current carrying capability of graphite epoxy is adequate for dissipation static charges, but fault currents through graphite epoxy may cause fire at the shorting contact and at joints. The effect of lightning on selected graphite epoxy material and mating surfaces is described, and protection methods are reviewed.

Evans, R. W.↗

NASA NTRS1998

Fuzzy Versions of Epistemic and Deontic Logic

Epistemic and deontic logics are modal logics, respectively, of knowledge and of the normative concepts of obligation, permission, and prohibition. Epistemic logic is useful in formalizing systems of communicating processes and knowledge and belief in AI (Artificial Intelligence). Deontic logic is useful in computer science wherever we must distinguish between actual and ideal behavior, as in fault tolerance and database integrity constraints. We here discuss fuzzy versions of these logics. In the crisp versions, various axioms correspond to various properties of the structures used in defining the semantics of the logics. Thus, any axiomatic theory will be characterized not only by its axioms but also by the set of properties holding of the corresponding semantic structures. Fuzzy logic does not proceed with axiomatic systems, but fuzzy versions of the semantic properties exist and can be shown to correspond to some of the axioms for the crisp systems in special ways that support dependency networks among assertions in a modal domain. This in turn allows one to implement truth maintenance systems. For the technical development of epistemic logic, and for that of deontic logic. To our knowledge, we are the first to address fuzzy epistemic and fuzzy deontic logic explicitly and to consider the different systems and semantic properties available. We give the syntax and semantics of epistemic logic and discuss the correspondence between axioms of epistemic logic and properties of semantic structures. The same topics are covered for deontic logic. Fuzzy epistemic and fuzzy deontic logic discusses the relationship between axioms and semantic properties for these logics. Our results can be exploited in truth maintenance systems.

Ramasamy S Gounder↗

NASA NTRS1981

Strain buildup and release, earthquake prediction and selection of VBL sites for margins of the north Pacific

During the past year, the grant supported research on several aspects of crustal deformation. The relation between earthquake displacements and fault dimensions was studied in an effort to find scaling laws that relate static parameters such as slip and stress drop to the dimensions of the rupture. Several implications of the static relations for the dynamic properties of earthquakes such as rupture velocity and dynamic stress drop were proposed. A theoretical basis for earthquake related phenomena associated with slow rupture growth or propagation, such as delayed multiple events, was developed using the stress intensity factor defined in fracture mechanics and experimental evidence from studies of crack growth by stress corrosion. Finally, extensive studies by Japanese geologists have established the offset across numerous faults in Japan over the last one hundred thousand years. These observations of intraplate faulting are being used to establish the spatial variations of the average strain rate of subregions in southern Japan.

Scholz, C. H.↗

NASA NTRS1972

Distribution and directional fabric of ash-flow sheets in the northwestern Mogollon Plateau, New Mexico.

Individual ash-flow sheets distributed over wide areas in the Mogollon-Datil volcanic province can be delineated and related by flow direction techniques to specific source cauldrons. Two major mid-Tertiary ash flows in the Mogollon Plateau have measurable microscopic directional fabric indicative of primary flow direction imprinted in the ash-flow sheets during late-stage laminar flow. Regional stratigraphic relationships and flow patterns of the ash-flow sheets indicate a late Tertiary origin of the Mogollon Plateau depression. They also show that Basin-Range faulting in southwestern New Mexico was not initiated until after emplacement of the younger ash flow (23 m.y. B.P.). Directional fabric is an inherent property of many calc-alkalic ash-flow sheets and measurement of preferred orientation provides a powerful tool in unravelling the geologic history of complex volcanic terrane.

Rhodes, R. C.↗

NASA NTRS1987

The moons of Uranus

The topographies of the major moons of Uranus are described, and reasons for the appearances of the surfaces are given. Oberon and Titania, the two outermost major moons, have similar bulk properties but different appearances. Oberon appears to have been a largely passive structure for incoming projectiles, while Titania's surface shows extensive resurfacing. Umbriel and Ariel also have similar bulk properties and contrasting appearances, the former being totally bland except for two unexplained bright spots and the latter having a extensive network of surface faults. Miranda, the smallest and innermost of the major moons, has three large, remarkable ovoid regions on its surface. It is suggested that these ovoids are due to an uncompleted differentiation process.

Johnson, Torrence V.↗

NASA NTRSDate not supplied

Synthetic Failure Mode Generation for Resilience Analysis and Failure Mechanism Discovery

Traditional risk-based design processes seek to mitigate operational hazards by manually identifying possible faults and corresponding mitigation strategies—a tedious process which critically relies on the designer’s limited knowledge. Resilience-based design, on the other hand, seeks to embody generic hazard-mitigating properties in the system to mitigate unknown hazards, often by modelling the system's response to potential hazardous events. This work adapts this approach to the traditional risk-based design process to synthetically generate hazardous modes, by representing them as a unique combination of internal component health-states which can then be injected and simulated in a model of the system failure dynamics. The design process may then reduce the risk of unknown internal hazards by iteratively mitigating the effects of these modes. The performance of this approach is evaluated in a model of an autonomous rover, where cluster analysis shows that elaborating the space of synthetic faults in the drive system using this approach uncovers a wider range of possible hazardous trajectories and failure consequences within each trajectory. However, this increase in hazard information comes at a high computational expense, highlighting the need for advanced, efficient methods to search and sample the hazard space.

Simulation↗

NASA NTRSDate not supplied

Synthetic Failure Mode Generation for Resilience Analysis and Failure Mechanism Discovery

Simulation↗

NASA NTRS1988

Oceanic earthquakes and the tectonic evolution of oceanic lithosphere

The body waveform inversion method of Nabelek (1984) is used to study the centroid depths and source properties of oceanic earthquakes. The source parameters for 50 earthquakes which occurred along slowly spreading midocean ridges between 1962 and 1983 are used to examine the mechanical characteristics of the median valley, including the water depth in the epicentral region, the depth range of seismic faulting, the centroid depth and seismic moment versus spreading rate, and the seismic moment budget. The locations and source characteristics of oceanic intraplate earthquakes are discussed, including near-ridge earthquakes, lithospheric stress, and earthquakes in older oceanic lithosphere. The results suggest that the median valley form by the necking of a strong layer. The properties of near-ridge earthquakes support the hypothesis that thermal stress generated by diferential cooling of the plate can be stored and accumulated over millions of years. Earthquakes in older oceanic lithosphere are most likely to reflect stresses generated by plate driving forces.

Solomon, Sean C.↗

NASA NTRS2002

Application of Sliding Mode Methods to the Design of Reconfigurable Flight Control Systems

Observer-based sliding mode control is investigated for application to aircraft reconfigurable flight control. A comprehensive overview of reconfigurable flight control is given, including, a review of the current state-of-the-art within the subdisciplines of fault detection, parameter identification, adaptive control schemes, and dynamic control allocation. Of the adaptive control methods reviewed, sliding mode control (SMC) appears very promising due its property of invariance to matched uncertainty. An overview of sliding mode control is given and its remarkable properties are demonstrated by example. Sliding mode methods, however, are difficult to implement because unmodeled parasitic dynamics cause immediate and severe instability. This presents a challenge for all practical applications with limited bandwidth actuators. One method to deal with parasitic dynamics is the use of an asymptotic observer in the feedback path. Observer-based SMC is investigated, and a method for selecting observer gains is offered. An additional method for shaping the feedback loop using a filter is also developed. It is shown that this SMC prefilter is equivalent to a form of model reference hedging. A complete design procedure is given which takes advantage of the sliding mode boundary layer to recast the SMC as a linear control law. Frequency domain loop shaping is then used to design the sliding manifold. Finally, three aircraft applications are demonstrated. An F-18/HARV is used to demonstrate a SISO pitch rate tracking controller. It is also used to demonstrate a MIMO lateral-directional roll rate tracking controller. The last application is a full linear six degree-of-freedom advanced tailless fighter model. The observer-based SMC is seen to provide excellent tracking with superior robustness to parameter changes and actuator failures.

Wells, Scott R.↗

NASA NTRS2008

From Informal Safety-Critical Requirements to Property-Driven Formal Validation

Most of the efforts in formal methods have historically been devoted to comparing a design against a set of requirements. The validation of the requirements themselves, however, has often been disregarded, and it can be considered a largely open problem, which poses several challenges. The first challenge is given by the fact that requirements are often written in natural language, and may thus contain a high degree of ambiguity. Despite the progresses in Natural Language Processing techniques, the task of understanding a set of requirements cannot be automatized, and must be carried out by domain experts, who are typically not familiar with formal languages. Furthermore, in order to retain a direct connection with the informal requirements, the formalization cannot follow standard model-based approaches. The second challenge lies in the formal validation of requirements. On one hand, it is not even clear which are the correctness criteria or the high-level properties that the requirements must fulfill. On the other hand, the expressivity of the language used in the formalization may go beyond the theoretical and/or practical capacity of state-of-the-art formal verification. In order to solve these issues, we propose a new methodology that comprises of a chain of steps, each supported by a specific tool. The main steps are the following. First, the informal requirements are split into basic fragments, which are classified into categories, and dependency and generalization relationships among them are identified. Second, the fragments are modeled using a visual language such as UML. The UML diagrams are both syntactically restricted (in order to guarantee a formal semantics), and enriched with a highly controlled natural language (to allow for modeling static and temporal constraints). Third, an automatic formal analysis phase iterates over the modeled requirements, by combining several, complementary techniques: checking consistency; verifying whether the requirements entail some desirable properties; verify whether the requirements are consistent with selected scenarios; diagnosing inconsistencies by identifying inconsistent cores; identifying vacuous requirements; constructing multiple explanations by enabling the fault-tree analysis related to particular fault models; verifying whether the specification is realizable.

Cimatti, Alessandro↗

NASA NTRS1988

The PAWS and STEM reliability analysis programs

The PAWS and STEM programs are new design/validation tools. These programs provide a flexible, user-friendly, language-based interface for the input of Markov models describing the behavior of fault-tolerant computer systems. These programs produce exact solutions of the probability of system failure and provide a conservative estimate of the number of significant digits in the solution. PAWS uses a Pade approximation as a solution technique; STEM uses a Taylor series as a solution technique. Both programs have the capability to solve numerically stiff models. PAWS and STEM possess complementary properties with regard to their input space; and, an additional strength of these programs is that they accept input compatible with the SURE program. If used in conjunction with SURE, PAWS and STEM provide a powerful suite of programs to analyze the reliability of fault-tolerant computer systems.

Butler, Ricky W.↗

NASA NTRS2002

Glennan Microsystems Initiative

During the 2001-2002 award period, we performed research on Pt/Ti/bare 6H-SiC and bare 4H-SiC interfaces in order to identify their electronic properties as a function of surface preparation. The overall aim of this work is to optimize the electronic properties of metal contacts to SiC as well as the active SiC material itself as a function of surface preparation and subsequent processing. Initially, this work has involved identifying bare surface, subsurface, and metal induced gap states at the metal-SiC contact and correlating energies and densities of deep levels with Schottky barrier heights. We used low energy electron-excited nanoluminescence (LEEN) spectroscopy, X-ray photoemission spectroscopy (XPS), and Secondary Ion Mass Spectrometry (SIMS) in order to correlate electronic states and energy bands with chemical composition, bonding, and crystal structure. A major development has been the discovery of polytype transformations that occur in 4H-SiC under standard microelectronic process conditions used to fabricate SiC devices. Our results are consistent with the stacking fault generation, defect formation, and consequent degradation of SiC recently reported for state-of-the-art ABB commercial diodes under localized electrical stress. Our results highlight the importance of -optimizing process conditions and material properties - anneal times, temperatures and doping to control such structural changes within epitaxial SiC layers. Thus far, we have established threshold times and temperatures beyond which 4H-SiC exhibits 3C-SiC transformation bands for a subset of dopant concentrations and process conditions. On the basis of this temperature time behavior, we have been able to establish an activation energy of approximately 2.5 eV for polytype transformation and dislocation motion. Work continues to establish the fundamental mechanisms underlying the polytype changes and its dependence on material parameters.

Brillson, Leonard J.↗