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 829 records · Page 46
All sourcesNASA NTRSDOE OSTI
NASA NTRS1993

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.↗
NASA NTRS1993

Self-Organized Criticality and Phase Problem in Magnetoaocustic Emission Burst in Ferromagnets

Two types of ferromagnets, pure iron and steel with varying geometry and microstructural properties, were prepared for the present study of magnetoacoustic emission (MAE). The purpose was to separate the effects of structural property variations from changes caused by differences in the sample geometry. The position and shape of the leading MAE sub-burst and its variation among the samples are explained by magnetic anisotropy and the results of numerical simulations which utilized the concept of self-organized criticality (SOC). The amplitude and duration of the second sub-burst, which previously was thought to occur as a result of a complicated interaction between non-180 deg domain walls and lattice defects, can easily be explained by the results of our simulation.

Namkung, M.↗
NASA NTRS1991

The Infeasibility of Experimental Quantification of Life-Critical Software Reliability

This paper affirms that quantification of life-critical software reliability is infeasible using statistical methods whether applied to standard software or fault-tolerant software. The key assumption of software fault tolerance|separately programmed versions fail independently|is shown to be problematic. This assumption cannot be justified by experimentation in the ultra-reliability region and subjective arguments in its favor are not sufficiently strong to justify it as an axiom. Also, the implications of the recent multi-version software experiments support this affirmation.

Butler, Ricky W.↗
NASA NTRS1999

The G1 restriction point as critical regulator of neocortical neuronogenesis

Neuronogenesis in the pseudostratified ventricular epithelium is the initial process in a succession of histogenetic events which give rise to the laminate neocortex. Here we review experimental findings in mouse which support the thesis that the restriction point of the G1 phase of the cell cycle is the critical point of regulation of the overall neuronogenetic process. The neuronogenetic interval in mouse spans 6 days. In the course of these 6 days the founder population and its progeny execute 11 cell cycles. With each successive cycle there is an increase in the fraction of postmitotic cells which leaves the cycle (the Q fraction) and also an increase in the length of the cell cycle due to an increase in the length of the G1 phase of the cycle. Q corresponds to the probability that postmitotic cells will exit the cycle at the restriction point of the G1 phase of the cell cycle. Q increases non-linearly, but the rate of change of Q with cycle (i.e., the first derivative) over the course of the neuronogenetic interval is a constant, k, which appears to be set principally by cell internal mechanisms which are species specific. Q also seems to be modulated, but at low amplitude, by a balance of mitogenic and antimitogenic influences acting from without the cell. We suggest that intracellular signal transduction systems control a general advance of Q during development and thereby determine the general developmental plan (i.e., cell number and laminar composition) of the neocortex and that external mitogens and anti-mitogens modulate this advance regionally and temporally and thereby produce regional modifications of the general plan.

NASA Discipline Cell Biology↗
NASA NTRS1999

CCAAT/enhancer-binding protein delta is a critical regulator of insulin-like growth factor-I gene transcription in osteoblasts

Insulin-like growth factor-I (IGF-I) plays a major role in promoting skeletal growth by stimulating bone cell replication and differentiation. Prostaglandin E2 and other agents that induce cAMP production enhance IGF-I gene transcription in cultured rat osteoblasts through a DNA element termed HS3D, located in the proximal part of the major rat IGF-I promoter. We previously determined that CCAAT/enhancer-binding protein delta (C/EBPdelta) is the key cAMP-stimulated regulator of IGF-I transcription in these cells and showed that it transactivates the rat IGF-I promoter through the HS3D site. We now have defined the physical-chemical properties and functional consequences of the interactions between C/EBPdelta and HS3D. C/EBPdelta, expressed in COS-7 cells or purified as a recombinant protein from Escherichia coli, bound to HS3D with an affinity at least equivalent to that of the albumin D-site, a known high affinity C/EBP binding sequence, and both DNA elements competed equally for C/EBPdelta. C/EBPdelta bound to HS3D as a dimer, with protein-DNA contact points located on guanine residues on both DNA strands within and just adjacent to the core C/EBP half-site, GCAAT, as determined by methylation interference footprinting. C/EBPdelta also formed protein-protein dimers in the absence of interactions with its DNA binding site, as indicated by results of glutaraldehyde cross-linking studies. As established by competition gel-mobility shift experiments, the conserved HS3D sequence from rat, human, and chicken also bound C/EBPdelta with similar affinity. We also found that prostaglandin E2-induced expression of reporter genes containing human IGF-I promoter 1 or four tandem copies of the human HS3D element fused to a minimal promoter and show that these effects were enhanced by a co-transfected C/EBPdelta expression plasmid. Taken together, our results provide evidence that C/EBPdelta is a critical activator of IGF-I gene transcription in osteoblasts and potentially in other cell types and species.

NASA Discipline Musculoskeletal↗
NASA NTRS1998

Co- and/or post-translational modifications are critical for TCH4 XET activity

TCH4 encodes a xyloglucan endotransglycosylase (XET) of Arabidopsis thaliana. XETs endolytically cleave and religate xyloglucan polymers; xyloglucan is one of the primary structural components of the plant cell wall. Therefore, XET function may affect cell shape and plant morphogenesis. To gain insight into the biochemical function of TCH4, we defined structural requirements for optimal XET activity. Recombinant baculoviruses were designed to produce distinct forms of TCH4. TCH4 protein engineered to be synthesized in the cytosol and thus lack normal co- and post-translational modifications is virtually inactive. TCH4 proteins, with and without a polyhistidine tag, that harbor an intact N-terminus are directed to the secretory pathway. Thus, as predicted, the N-terminal region of TCH4 functions as a signal peptide. TCH4 is shown to have at least one disulfide bond as monitored by a mobility shift in SDS-PAGE in the presence of dithiothreitol (DTT). This disulfide bond(s) is essential for full XET activity. TCH4 is glycosylated in vivo; glycosidases that remove N-linked glycosylation eliminated 98% of the XET activity. Thus, co- and/or post-translational modifications are critical for optimal TCH4 XET activity. Furthermore, using site-specific mutagenesis, we demonstrated that the first glutamate residue of the conserved DEIDFEFL motif (E97) is essential for activity. A change to glutamine at this position resulted in an inactive protein; a change to aspartic acid caused protein mislocalization. These data support the hypothesis that, in analogy to Bacillus beta-glucanases, this region may be the active site of XET enzymes.

NASA Discipline Cell Biology↗
NASA NTRS2004

Overview and Status of the Bioastronautics Critical Path Roadmap (BCPR)

Viewgraphs on the status and overview of the Bioastronautics Critical Path Roadmap (BCPR) are presented. The topics include: 1) BCPR Objectives; 2) BCPR and OBPR Program Management; 3) BCPR Disciplines & Cross-Cutting Areas; 4) Characteristics of BCPR Reference Missions; 5) Bioastronautics Timetable (notional); 6) BCPR Processes Risk Identification, Assessment, and Management; 7) Types of BCPR Risks; 8) Enabling Questions Categories; 9) Risk Mitigation Status; 10) Defining Levels of Accepted Risk; 11) BCPR Integration; 12) BCPR Implementation, Integration, and Validation; 13) BCPR Refinement Schedule; 14) Academy Review; 15) Rating Bioastronautics Risks; 16) Risk Rating Exercises; 17) Human Health Risk Assessment Criteria (examples); 18) A Recent Risk Rating Exercise; 19) Consensus Workshop Background; 20) Consensus Workshop Rating Analysis; 21) Consensus Workshop Selected Preliminary Recommendations; and 22) Access to BCPR Content.

Charles, John↗
NASA NTRS2004

A New DTA Method for Measuring Critical Cooling Rate for Glass Formation

A new differential thermal analysis (DTA) experimental method has been developed to determine the critical cooling rate for glass formation, R(sub c). The method, which is found especially suitable for melts that, upon cooling, have a small heat of crystallization or a very slow crystallization rate, has been verified using a 38Na2O-62SiO2 (mol%) melt with a known R(sub c) (-approx. 19 C/min), then used to determine R(sub c) for two complex lithium silicate glass forming melts. The new method is rapid, easy to conduct and yields values for R(sub c) that are in excellent agreement with the R(sub c)-values measured by standard DTA techniques.

Ray, Chandra S.↗
NASA NTRS1997

Measurement of shear-wave velocity by ultrasound critical-angle reflectometry (UCR)

There exists a growing body of research that relates the measurement of pressure-wave velocity in bone to different physiological conditions and treatment modalities. The shear-wave velocity has been less studied, although it is necessary for a more complete understanding of the mechanical properties of bone. Ultrasound critical-angle reflectometry (UCR) is a noninvasive and nondestructive technique previously used to measure pressure-wave velocities both in vitro and in vivo. This note describes its application to the measurement of shear-wave velocity in bone, whether directly accessible or covered by soft tissue.

NASA Discipline Cardiopulmonary↗
NASA NTRS1947

General Characteristics of the Flow through Nozzles at Near Critical Speeds

The characteristics of the position and form of the transition surface through the critical velocity are computed for flow through flat and round nozzles from subsonic to supersonic velocity. Corresponding considerations were carried out for the flow about profiles in the vicinity of sonic velocity.

Sauer, R.↗
NASA NTRS2005

Resolving Risks in Individual Astronauts: A New Paradigm for Critical Path Exposures

The limited number of astronauts available for risk-assessment prevents classic epidemiologic study, and thereby requires alternative approach to assessing risks within individual astronauts exposed to toxic agents identified within the Bioastronautics Critical Path Roadmap (BCPR). Developing a system of noninvasive real-time biodosimetry that provides large datasets for analyses before, during, and after missions for simultaneously determining 1) the kinds of toxic insult, 2) the degree of that insult, both within tissues absorbing that insult, would be usehl for resolving statistically significant risk-assessment in individual astronauts. Therefore, a currently achievable multiparametric paradigm is presented for use in analyzing gene-expression and protein-expression so as to establish predictive outcomes.

Richmond, Robert C.↗
NASA NTRS2005

Flow-Boiling Critical Heat Flux Experiments Performed in Reduced Gravity

Poor understanding of flow boiling in microgravity has recently emerged as a key obstacle to the development of many types of power generation and advanced life support systems intended for space exploration. The critical heat flux (CHF) is perhaps the most important thermal design parameter for boiling systems involving both heatflux-controlled devices and intense heat removal. Exceeding the CHF limit can lead to permanent damage, including physical burnout of the heat-dissipating device. The importance of the CHF limit creates an urgent need to develop predictive design tools to ensure both the safe and reliable operation of a two-phase thermal management system under the reduced-gravity (like that on the Moon and Mars) and microgravity environments of space. At present, very limited information is available on flow-boiling heat transfer and the CHF under these conditions.

Hasan, Mohammad M.↗
NASA NTRS1944

Wind-Tunnel Procedure for Determination of Critical Stability and Control Characteristics of Airplanes

This report outlines the flight conditions that are usually critical in determining the design of components of an airplane which affect its stability and control characteristics. The wind-tunnel tests necessary to determine the pertinent data for these conditions are indicated, and the methods of computation used to translate these data into characteristics which define the flying qualities of the airplane are illustrated.

Goett, Harry J.↗
NASA NTRS2003

Applications of UAVs for Remote Sensing of Critical Infrastructure

The surveillance of critical facilities and national infrastructure such as waterways, roadways, pipelines and utilities requires advanced technological tools to provide timely, up to date information on structure status and integrity. Unmanned Aerial Vehicles (UAVs) are uniquely suited for these tasks, having large payload and long duration capabilities. UAVs also have the capability to fly dangerous and dull missions, orbiting for 24 hours over a particular area or facility providing around the clock surveillance with no personnel onboard. New UAV platforms and systems are becoming available for commercial use. High altitude platforms are being tested for use in communications, remote sensing, agriculture, forestry and disaster management. New payloads are being built and demonstrated onboard the UAVs in support of these applications. Smaller, lighter, lower power consumption imaging systems are currently being tested over coffee fields to determine yield and over fires to detect fire fronts and hotspots. Communication systems that relay video, meteorological and chemical data via satellite to users on the ground in real-time have also been demonstrated. Interest in this technology for infrastructure characterization and mapping has increased dramatically in the past year. Many of the UAV technological developments required for resource and disaster monitoring are being used for the infrastructure and facility mapping activity. This paper documents the unique contributions from NASA;s Environmental Research Aircraft and Sensor Technology (ERAST) program to these applications. ERAST is a UAV technology development effort by a consortium of private aeronautical companies and NASA. Details of demonstrations of UAV capabilities currently underway are also presented.

Wegener, Steve↗
NASA NTRS1997

IV and V Issues in Achieving High Reliability and Safety in Critical Control System Software

Risk analysis and integrated verification and validation are two important elements in a plan for ensuring the safety of critical software systems. We describe an approach we are currently developing for integrating risk analysis, and metrics analysis, and propose a fault predictor that would integrate the results of these activities. Practical difficulties associated with our approach are also discussed, as are limitations of the proposed predictor. We conclude with a discussion of what as been learned to date, and with suggestions for future work.

validation software reliability software risk asse↗