C-band radar network data evaluation and analysis
C-band radar network calibration, using GEOS 2 satellite worldwide tracking data
Brooks, R. L.↗
SEARCH · Engineering Papers
Results for “C++ analysis”
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.
The effects of various cure cycles upon the viability of Bacillus subtillis var. niger spores within solid propellant.
Saturethane solid propellant was used in all tests. The spore inoculum was evenly distributed in the propellant. Samples weighing approximately 5 g were aseptically removed, placed into curing ovens, and exposed to cure temperatures. Initial tests were conducted at 82 and 93 C. Analysis of the obtained data indicated that the survivor curves were not linear. Exposure of the inoculated propellant samples to 93 C reduced the initial population to less than 0.01% in about 20 hours. At 82 C, approximately 168 hours were required for a similar reduction. Tests involving curing temperatures of 105 and 115 C were also conducted. It is pointed out that changes in the mechanism of spore inactivation due to chemical and physical changes in the propellant could account for the nonlinear survivor curves obtained.
Brewer, W. A.↗
Static Analysis Using Abstract Interpretation
Short presentation about static analysis and most particularly abstract interpretation. It starts with a brief explanation on why static analysis is used at NASA. Then, it describes the IKOS (Inference Kernel for Open Static Analyzers) tool chain. Results on NASA projects are shown. Several well known algorithms from the static analysis literature are then explained (such as pointer analyses, memory analyses, weak relational abstract domains, function summarization, etc.). It ends with interesting problems we encountered (such as C++ analysis with exception handling, or the detection of integer overflow).
Static Analysis↗
A Computational Fluid Dynamics Study of Swirling Flow Reduction by Using Anti-Vortex Baffle
OBJECTIVES: To evaluate proposed anti-vortex design in suppressing swirling flow during US burn. APPROACH: Include two major body forces in the analysis a)Vehicle acceleration (all three components); b)Vehicle maneuvers (roll, pitch, and yaw). Perform two drainage analyses of Ares I LOX tank using 6 DOF body forces predicted by GN&C analysis (Guidance Navigation and Control) during vehicle ascent: one with baffle, one without baffle. MODEL: Use Ares I defined geometry. O-Grid for easy fitting of baffle. In this preliminary analysis the holes are sealed. Use whole 360 deg. model with no assumption of symmetry or cyclic boundary conditions. Read in 6DOF data vs time from a file.
Yang, H. Q.↗
Sorption J-T refrigeration utilizing manganese nitride chemisorption
The equilibrium pressures and compositions have been measured for a system of finely powdered manganese nitride and nitrogen gas at 650, 700, 800, and 850 C for various nitrogen loadings. Pressures ranged from less than 0.02 MPa at 650 C to 6.38 MPa at 850 C. Analysis of the test results has shown that under certain conditions Mn(x)N(y) could potentially be used in a triple regenerative sorption compressor refrigeration system, but the potential power savings are small compared to the increased complexity and reliability problems associated with very high temperature (above 950 C) pressurized systems.
Jones, Jack↗
Global Precipitation Measurement Mission Launch and Commissioning
During launch and early operation of the Global Precipitation Measurement (GPM) Mission, the Guidance, Navigation, and Control (GN&C) analysis team encountered four main on-orbit anomalies. These include: (1) unexpected shock from Solar Array deployment, (2) momentum buildup from the Magnetic Torquer Bars (MTBs) phasing errors, (3) transition into Safehold due to albedo induced Course Sun Sensor (CSS) anomaly, and (4) a flight software error that could cause a Safehold transition due to a Star Tracker occultation. This paper will discuss ways GN&C engineers identified the anomalies and tracked down the root causes. Flight data and GN&C on-board models will be shown to illustrate how each of these anomalies were investigated and mitigated before causing any harm to the spacecraft. On May 29, 2014, GPM was handed over to the Mission Flight Operations Team after a successful commissioning period. Currently, GPM is operating nominally on orbit, collecting meaningful scientific data that will significantly improve our understanding of the Earth's climate and water cycle.
Guidance Navigation and Control↗
Syntrophus aciditrophicus sp. nov., a new anaerobic bacterium that degrades fatty acids and benzoate in syntrophic association with hydrogen-using microorganisms
Strain SBT is a new, strictly anaerobic, gram-negative, nonmotile, non-sporeforming, rod-shaped bacterium that degrades benzoate and certain fatty acids in syntrophic association with hydrogen/formate-using microorganisms. Strain SBT produced approximately 3 mol of acetate and 0.6 mol of methane per mol of benzoate in coculture with Methanospirillum hungatei strain JF1. Saturated fatty acids, some unsaturated fatty acids, and methyl esters of butyrate and hexanoate also supported growth of strain SBT in coculture with Desulfovibrio strain G11. Strain SBT grew in pure culture with crotonate, producing acetate, butyrate, caproate, and hydrogen. The molar growth yield was 17 +/- 1 g cell dry mass per mol of crotonate. Strain SBT did not grow with fumarate, iron(III), polysulfide, or oxyanions of sulfur or nitrogen as electron acceptors with benzoate as the electron donor. The DNA base composition of strain SBT was 43.1 mol% G+C. Analysis of the 16 S rRNA gene sequence placed strain SBT in the delta-subdivision of the Proteobacteria, with sulfate-reducing bacteria. Strain SBT was most closely related to members of the genus Syntrophus. The clear phenotypic and genotypic differences between strain SBT and the two described species in the genus Syntrophus justify the formation of a new species, Syntrophus aciditrophicus.
Non-NASA Center↗
Integrated Vehicle Ground Vibration Testing in Support of NASA Launch Vehicle Loads and Controls Analysis
The National Aeronautics and Space Administration (NASA) Ares Projects Office (APO) is continuing to make progress toward the final design of the Ares I crew launch vehicle and Ares V cargo launch vehicle. Ares I and V will form the space launch capabilities necessary to fulfill NASA's exploration strategy of sending human beings to the Moon, Mars, and beyond. As with all new space vehicles there will be a number of tests to ensure the design can be Human Rated. One of these is the Integrated Vehicle Ground Vibration Test (IVGVT) that will be measuring responses of the Ares I as a system. All structural systems possess a basic set of physical characteristics unique to that system. These unique characteristics include items such as mass distribution, frequency and damping. When specified, they allow engineers to understand and predict how a structural system like the Ares I launch vehicle behaves under given loading conditions. These physical properties of launch vehicles may be predicted by analysis or measured through certain types of tests. Generally, these properties are predicted by analysis during the design phase of a launch vehicle and then verified through testing before the vehicle is Human Rated. The IVGVT is intended to measure by test the fundamental dynamic characteristics of Ares I during various phases of operational/flight. This testing includes excitations of the vehicle in lateral, longitudinal, and torsional directions at vehicle configurations representing different trajectory points. During the series of tests, properties such as natural frequencies, mode shapes, and transfer functions are measured directly. These data will then be used to calibrate loads and Guidance, Navigation, and Controls (GN&C) analysis models for verifying analyses of Ares I. NASA launch vehicles from Saturn to Shuttle have undergone Ground Vibration Tests (GVTs) leading to successful launch vehicles. A GVT was not performed on the unmanned Delta III. This vehicle was lost during launch. Subsequent analyses indicated that had a GVT been conducted on the vehicle, problems with vehicle modes and control may have been discovered and corrected, avoiding loss of the vehicle/mission. This paper will address GVT planning, set-up, conduction and analyses, for the Saturn and Shuttle programs, and also focus on the current and on-going planning for the Ares I and V IVGVT.
Tuma, Margaret L.↗
Covariance Analysis Tool (G-CAT) for Computing Ascent, Descent, and Landing Errors
G-CAT is a covariance analysis tool that enables fast and accurate computation of error ellipses for descent, landing, ascent, and rendezvous scenarios, and quantifies knowledge error contributions needed for error budgeting purposes. Because GCAT supports hardware/system trade studies in spacecraft and mission design, it is useful in both early and late mission/ proposal phases where Monte Carlo simulation capability is not mature, Monte Carlo simulation takes too long to run, and/or there is a need to perform multiple parametric system design trades that would require an unwieldy number of Monte Carlo runs. G-CAT is formulated as a variable-order square-root linearized Kalman filter (LKF), typically using over 120 filter states. An important property of G-CAT is that it is based on a 6-DOF (degrees of freedom) formulation that completely captures the combined effects of both attitude and translation errors on the propagated trajectories. This ensures its accuracy for guidance, navigation, and control (GN&C) analysis. G-CAT provides the desired fast turnaround analysis needed for error budgeting in support of mission concept formulations, design trade studies, and proposal development efforts. The main usefulness of a covariance analysis tool such as G-CAT is its ability to calculate the performance envelope directly from a single run. This is in sharp contrast to running thousands of simulations to obtain similar information using Monte Carlo methods. It does this by propagating the "statistics" of the overall design, rather than simulating individual trajectories. G-CAT supports applications to lunar, planetary, and small body missions. It characterizes onboard knowledge propagation errors associated with inertial measurement unit (IMU) errors (gyro and accelerometer), gravity errors/dispersions (spherical harmonics, masscons), and radar errors (multiple altimeter beams, multiple Doppler velocimeter beams). G-CAT is a standalone MATLAB- based tool intended to run on any engineer's desktop computer.
Boussalis, Dhemetrios↗
Reaction cycle and thermodynamics in bacteriorhodopsin
Light causes the all-trans to 13-cis isomerization of the retinal in bacteriorhodopsin; the thermal relaxation leading back to the initial state drives proton transport first via proton transfer between the retinal Schiff base and D85 and then between the Schiff base and D96. The reaction sequence and thermodynamics of this photocycle are described by measuring time-resolved absorption changes with a gated multichannel analyzer between 100 ns and 100 ms, at six temperatures between 5 degrees C and 30 degrees C. Analysis of the energetics of the chromophore reaction sequence is on the basis of a recently proposed model (Varo & Lanyi, Biochemistry 30, 5016-5022, 1991) which consists of a single cycle and many reversible reactions: BR -hv-->K<==>L<==>M1-->M2<==>N<==>O-->BR. The existence of the M1-->M2 reaction, which functions as the switch in the proton transfer, is confirmed by spectroscopic evidence. The calculated thermodynamic parameters indicate that the exchange of free energy between the protein and the protons is at the switch step. Further, a large entropy decrease at this reaction suggests a protein conformation change which will conserve delta G for driving the completion of the reaction cycle. The results provide insights to mechanism and energy coupling in this system, with possible relevance to the general question of how ion pumps function.
Review↗
An Axenic Plant Culture System for Optimal Growth in Long-Term Studies: Design and Maintenance
The symbiotic co-evolution of plants and microbes leads to difficulties in understanding which of the two components is responsible for a given environmental response. Plant-microbe studies greatly benefit from the ability to grow plants in axenic (sterile) culture. Several studies have used axenic plant culture systems, but experimental procedures are often poorly documented, the plant growth environment is not optimal, and axenic conditions are not rigorously verified. We developed a unique axenic system using inert components that promotes plant health and can be kept sterile for at least 70 d. Crested wheatgrass (Agropyron cristatum cv. DII) plants were grown in sand within flow-through glass columns that were positively pressured with filtered air. Plant health was optimized by regulating temperature, light level, CO2 concentration, humidity, and nutrients. The design incorporates several novel aspects, such as pretreatment of the sand with Fe, graduated sand layers to optimize the air-water balance of the root zone, and modification of a laminar flow hood to serve as a plant growth chamber. Adaptations of several sterile techniques were necessary for maintenance of axenic conditions. Axenic conditions were verified by plating and staining leachates as well as rhizoplane stain. This system was designed to study nutrient and water stress effects on root exudates, but is useful for assessing a broad range of plant-microbe-environment interactions. Based on total organic C analysis, 74% of exudates was recovered in the leachate, 6% was recovered in the bulk sand, and 17% was recovered in the rhizosphere sand. Carbon in the leachate after 70 d reached 255 micro-g/d. Fumaric, malic, malonic, oxalic, and succinic acids were measured as components of the root exudates.
Henry, Amelia↗
Micrometeoroid and Orbital Debris Impact Inspection of the HST WFPC2 Radiator
Objectives: I.) Conduct micrometeoroid and orbital debris (MMOD) impact inspection of the Hubble Space Telescope (HST) Wide Field Planetary Camera 2 (WFPC2) radiator: a) Document the physical characteristics of large (> or equal to 300 microns) impact features. 1. Locations and distribution. 2. Crater shape, size, depth, volume b) Extract residues from craters for compositional analysis. c) Perform hypervelocity impact tests for data interpretation II. Use the data to validate or improve the near-Earth MMOD environment definition. a) Flux. b) Orbital debris versus meteoroids. c) Time history (limited).
Liou, J.-C.↗
Runtime Verification of C Programs
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from the program. The state machine language has been inspired by a graphical state machine language RCAT recently developed at the Jet Propulsion Laboratory, as an alternative to using Linear Temporal Logic (LTL) for requirements capture. Transitions between states are labeled with abstract event names and Boolean expressions over such. The abstract events are connected to code fragments using an aspect-oriented pointcut language similar to ASPECTJ's or ASPECTC's pointcut language. The system is implemented in the C analysis and transformation package CIL, and is programmed in OCAML, the implementation language of CIL. The work is closely related to the notion of stateful aspects within aspect-oriented programming, where pointcut languages are extended with temporal assertions over the execution trace.
RMOR↗
Countermeasures and Functional Testing in Head-Down Tilt Bed Rest (CFT 70)
This 70‐day bed rest campaign was comprised of 6 integrated studies and conducted at the NASA Flight Analogs Research Unit (FARU). The FARU is located at the University of Texas Medical Branch, Galveston, Texas and is a satellite unit of the Institute for Translational Sciences - Clinical Research Center. This presentation will describe the FARU, discuss the utility of the bed rest platform for use in these studies, and introduce the studies that participated in the CFT 70 bed rest campaign. Information in this presentation will serve as the background for subsequent talks from each individual study. Individual study presentations will discuss preliminary results from completed subjects. Studies included in CFT70 were: Physiological Factors Contributing to Post Flight Changes in Functional Performance. J. Bloomberg, NASA Integrated Resistance and Aerobic Training Study. L. Ploutz‐Snyder, USRA Testosterone Supplementation as a Countermeasure Against Musculoskeletal losses during Space Exploration. R. Urban, University of Texas Medical Branch Effects of Retronasal Smelling, Variety and Choice on Appetite & Satiety. J. Hunter, Cornell University AD ASTRA: Automated Detection of Attitudes and States through Transaction Recordings Analysis. C. Miller, Smart Information Flow Technologies, LLC Bed Rest as a Spaceflight Analog to Study Neuro‐cognitive Changes: Extent, Longevity, and Neural Bases. R. Seidler, University of Michigan
Cromwell, Ronita L.↗
A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts
The NASA DAIDALUS library provides formal definitions for Detect-and-Avoid avionics concepts such as when an aircraft is well-clear with respect to the surrounding air traffic, i.e., it does not operate in such proximity to create a collision hazard. While several properties are proven correct for DAIDALUS assuming ideal real number arithmetic, an actual implementation that uses floating-point numbers may behave unexpectedly because of round-off errors and run-time exceptions. This paper presents an experience report on the application of a formal methods toolchain to extract and verify floating-point C code from a real-valued specification of the well-clear module of DAIDALUS. This toolchain comprises the PVS theorem prover, the PRECiSA floating-point analyzer and code generator, and the Frama-C analysis suite. The generated code is automatically instrumented to detect when the control flow of the floating-point program may diverge from the ideal real number specification, and it is annotated with contracts that state the maximum accumulated round-off error. The absence of overflows is also formally verified for the generated code. In order to apply the toolchain to an industrial case study such as DAIDALUS, a formally verified pre-processing of the input specification is performed, which includes a program slicing and several semantic-preserving simplifications.
Program verification↗
Fourier transform C-13 NMR analysis of some free and potassium-ion complexed antibiotics.
Fourier transforms of the noise-decoupled, natural abundance C-13 NMR free induction decays of the cyclic antibiotic valinomycin and its potassium-ion complex have been obtained at 25.2 MHz. Comparisons are made with C-13 NMR spectra taken at 22.6 MHz of the cyclic antibiotic nonactin and the synthetic polyether dicyclohexyl-18-crown-6 and their potassium complexes. The results obtained suggest that conformational rearrangements of the molecule as a whole can compete with direct interactions between carbons and the potassium ion in determining C-13 chemical shift differences between the free and complexed species.
Ohnishi, M.↗
Fourier transform C-13 nmr analysis of some free and potassium-ion complexed antibiotics.
Explore the source record for details and available documents.
Ohnishi, M.↗