Search NASA⌕ Search

SEARCH · Search NASA

Results for “Compiler”

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 1,261 records · Page 70

NASA Laboratory Astrophysics Workshop 2006 Introductory Remarks

NASA Laboratory Astrophysics Workshop 2006, is the fourth in a series of workshops held at four year intervals, to assess the laboratory needs of NASA's astrophysics missions - past, current and future. Investigators who need laboratory data to interpret their observations from space missions, theorists and modelers, experimentalists who produce the data, and scientists who compile databases have an opportunity to exchange ideas and understand each other's needs and limitations. The multi-wavelength character of these workshops allows cross-fertilization of ideas, raises awareness in the scientific community of the rapid advances in other fields, and the challenges it faces in prioritizing its laboratory needs in a tight budget environment. Currently, we are in the golden age of Space Astronomy, with three of NASA s Great Observatories, Hubble Space Telescope (HST), Chandra X-Ray Observatory (CXO), and Spitzer Space Telescope (SST), in operation and providing astronomers and opportunity to perform synergistic observations. In addition, the Far Ultraviolet Spectroscopic Explorer (FUSE), XMM-Newton, HETE-2, Galaxy Evolution Explorer (GALEX), INTEGRAL and Wilkinson Microwave Anisotropy Probe (WMAP), are operating in an extended phase, while Swift and Suzaku are in their prime phase of operations. The wealth of data from these missions is stretching the Laboratory Astrophysics program to its limits. Missions in the future, which also need such data include the James Webb Space Telescope (JWST), Space Interferometry Mission (SIM), Constellation-X (Con-X), Herschel, and Planck. The interpretation of spectroscopic data from these missions requires knowledge of atomic and molecular parameters such as transition probabilities, f-values, oscillator strengths, excitation cross sections, collision strengths, which have either to be measured in the laboratory by simulating space plasma and interactions therein, or by theoretical calculations and modeling. Once the laboratory data are obtained, a key step to making them available to the observer is the creation and maintenance of critically compiled databases. Other areas of study, that are important for understanding planet formation, and for detection of molecules that are indicators of life, are also supported by the Laboratory Astrophysics program. Some examples are: studies of ices and dust grains in a space environment; nature and evolution of interstellar carbon-rich dust; and polycyclic aromatic hydrocarbons. In addition, the program provides an opportunity for the investigation of novel ideas, such as simulating radiative shock instabilities in plasmas, in order to understand jets observed in space. A snapshot of the currently funded program, mission needs, and relevance of laboratory data to interpreting observations, will be obtained at this workshop through invited and contributed talks and poster papers. These will form the basis for discussions in splinter groups. The Science Organization Committee will integrate the results of the discussions into a coherent White Paper, which will provide guidance to NASA in structuring the Laboratory Astrophysics program in subsequent years, and also to the scientific community in submitting research proposals to NASA for funding.

Hasan, Hashima↗

Cockpit weather information system

Weather information, periodically collected from throughout a global region, is periodically assimilated and compiled at a central source and sent via a high speed data link to a satellite communication service, such as COMSAT. That communication service converts the compiled weather information to GSDB format, and transmits the GSDB encoded information to an orbiting broadcast satellite, INMARSAT, transmitting the information at a data rate of no less than 10.5 kilobits per second. The INMARSAT satellite receives that data over its P-channel and rebroadcasts the GDSB encoded weather information, in the microwave L-band, throughout the global region at a rate of no less than 10.5 KB/S. The transmission is received aboard an aircraft by means of an onboard SATCOM receiver and the output is furnished to a weather information processor. A touch sensitive liquid crystal panel display allows the pilot to select the weather function by touching a predefined icon overlain on the display's surface and in response a color graphic display of the weather is displayed for the pilot.

Tu, Jeffrey Chen-Yu↗

Ozone Observations by the Gas and Aerosol Measurement Sensor during SOLVE II

The Gas and Aerosol Measurement Sensor (GAMS) was deployed aboard the NASA DC-8 aircraft during the second SAGE III Ozone Loss and Validation Experiment (SOLVE II). GAMS acquired line-of-sight (LOS) direct solar irradiance spectra during the sunlit portions of ten science flights of the DC-8 between 12 January and 4 February 2003. Differential line-of-sight (DLOS) optical depth spectra are produced from the GAMS raw solar irradiance spectra. Then, DLOS ozone number densities are retrieved from the GAMS spectra using a multiple linear regression spectral fitting technique. Both the DLOS optical depth spectra and retrieved ozone data are compared with coincident measurements from two other solar instruments aboard the DC-8 platform to demonstrate the robustness and stability of the GAMS data. The GAMS ozone measurements are then utilized to evaluate the quality of the Wulf band ozone cross sections, a critical component of the SAGE III aerosol, water vapor, and temperature/pressure retrievals. Results suggest the ozone cross section compilation of Shettle and Anderson currently used operationally in SAGE III data processing may be in error by as much as 10-20% in theWulf bands, and their lack of reported temperature dependence is a significant deficiency. A second, more recent, cross section database compiled for the SCIAMACHY satellite mission appears to be of much better quality in the Wulf bands, but still may have errors as large as 5% near the Wulf band absorption peaks, which is slightly larger than their stated uncertainty. Additional laboratory measurements of the Wulf band cross sections should be pursued to further reduce their uncertainty and better quantify their temperature dependence.

Pitts, M. C.↗

To What Extent Can Vegetation Mitigate Greenhouse Warming? A Modeling Approach

Climate models participating in the IPCC Fourth Assessment Report indicate that under a 2xCO2 environment, runoff would increase faster than precipitation overland. However, observations over large U.S watersheds indicate otherwise. This inconsistency suggests that there may be important feedbacks between climate and land surface unaccounted for in the present generation of models. We postulate that the increase in precipitation associated with the increase in CO2 is also increasing vegetation density, which may already be feeding back onto climate. Including this feedback in a climate model simulation resulted in precipitation and runoff trends consistent with observations and reduced the warming by 0.6OC overland. This unaccounted for missing water may be linked to about 10% of the missing land carbon sink. A recent compilation of outputs from 19 coupled atmosphere-ocean general circulation models used in the IPCC Fourth Assessment Report (AR4) shows projected increases in air temperature, precipitation and river discharge for 24 major rivers in the world in response to doubling CO2 by the end of the century (1). The ensemble mean from these models also indicates that, compared to their respective baselines overland, the global mean of the runoff change would increase faster (8.9% per year) than that of the precipitation (5% per year). We analyze century-scale observed annual runoff time-series (1901-2002) over 9 hydrological units covering large regions of the Eastern United States (Fig.1) compiled by the United States Geological Survey (USGS)(2). These regions were selected because they are the most forested; the least water-limited and are not under extensive irrigation. We compare these time-series to similar time-series of observed annual precipitation anomalies spanning the period 1900-1995 (3). Both time-series exhibit a positive longterm trend (Fig. 2); however, in contrast to the analysis of (I), these historic data records show that the rate of precipitation increase is 5.5 % per year, roughly double the rate of runoff increase of 3.1 % per year.

Bounoua, L.↗

Simulating Avionics Upgrades to the Space Shuttles

Cockpit Avionics Prototyping Environment (CAPE) is a computer program that simulates the functions of proposed upgraded avionics for a space shuttle. In CAPE, pre-existing space-shuttle-simulation programs are merged with a commercial-off-the-shelf (COTS) display-development program, yielding a package of software that enables high-fi46 NASA Tech Briefs, September 2008 delity simulation while making it possible to rapidly change avionic displays and the underlying model algorithms. The pre-existing simulation programs are Shuttle Engineering Simulation, Shuttle Engineering Simulation II, Interactive Control and Docking Simulation, and Shuttle Mission Simulator playback. The COTS program Virtual Application Prototyping System (VAPS) not only enables the development of displays but also makes it possible to move data about, capture and process events, and connect to a simulation. VAPS also enables the user to write code in the C or C++ programming language and compile that code into the end-product simulation software. As many as ten different avionic-upgrade ideas can be incorporated in a single compilation and, thus, tested in a single simulation run. CAPE can be run in conjunction with any or all of four simulations, each representing a different phase of a space-shuttle flight.

Deger, Daniel↗

Assessment of Evidence Base from Medical Debriefs Data on Space Motion Sickness Incidence and Treatment

An objective of this data compilation and analysis project is to examine incidence and treatment efficacy of common patho-physiological disturbances during spaceflight. Analysis of medical debriefs data indicated that astronauts used medications to alleviate symptoms of four major ailments for which astronauts received treatment for sleep disturbances, space motion sickness (SMS), pain (headache, back pain) and sinus congestion. In the present data compilation and analysis project on SMS treatment during space missions, subject demographics (gender, age, first-time or repeat flyer), incidence and severity of SMS symptoms and subjective treatment efficacy from 317 crewmember debrief records were examined from STS-1 through STS-89. Preliminary analysis of data revealed that 50% of crew members reported SMS symptoms on at least one flight and 22% never experienced it. In addition, there were 387 medication dosing episodes reported, and promethazine was the most commonly used medication. Results of analysis of symptom check lists, medication use/efficacy and gender and flight record differences in incidence and treatment efficacy will be presented. Evidence gaps for treatment efficacy along with medication use trend analysis will be identified.

Younker, D.R.↗

Feral Hogs Management at Merritt Island National Wildlife Refuge: Analysis of Current Management Program

This ST1 Technical Memorandum (TM) summarizes a two-month project on feral hog management in Merritt Island National Wildlife Refuge (MINWR). For this project, feral hogs were marked and recaptured, with the help of local trappers, to estimate population size and habitat preferences. Habitat covers included vegetation cover and Light Detection and Ranging (LIDAR) data for MINWR. In addition, an analysis was done of hunting records compiled by the Refuge and hog-car accidents compiled by KSC Security.

Rosenfeld, Arie↗

The 50 Constellation Priority Sites

The Constellation program (CxP) has developed a list of 50 sites of interest on the Moon which will be targeted by the LRO narrow angle camera. The list has also been provided to the M~ team to supplement their targeting list. This list does not represent a "site selection" process; rather the goal was to find "representative" sites and terrains to understand the range of possible surface conditions for human lunar exploration to aid engineering design and operational planning. The list compilers leveraged heavily on past site selection work (e.g. Geoscience and a Lunar Base Workshop - 1988, Site Selection Strategy for a Lunar Outpost - 1990, Exploration Systems Architecture Study (ESAS) - 2005). Considerations included scientific, resource utilization, and operational merits, and a desire to span lunar terrain types. The targets have been organized into two "tiers" of 25 sites each to provide a relative priority ranking in the event of mutual interference. A LEAG SAT (special action team) was established to validate and recommend modifications to the list. This SAT was chaired by Dr. Paul Lucey. They provided their final results to CxP in May. Dr. Wendell Mendell will organize an on-going analysis of the data as they come down to ensure data quality and determine if and when a site has sufficient data to be retired from the list. The list was compiled using the best available data, however, it is understood that with the flood of new lunar data, minor modifications or adjustments may be required.

Noble, S.↗

Geologic Mapping of the Lunar South Pole, Quadrangle LQ-30: Volcanic History and Stratigraphy of Schroedinger Basin

In this study we use recent images and topographic data to map the geology and geomorphology of the lunar South Pole quadrangle (LQ-30) at 1:2.5M scale [1-4] in accordance with the Lunar Geologic Mapping Program. Mapping of LQ-30 began during Mest's postdoctoral appointment and has continued under the PG&G Program, from which funding became available in February 2009. Preliminary map-ping and analyses have been done using base materials compiled by Mest, but properly mosaicked and spatially registered base materials are being compiled by the USGS and should be received by the end of June 2009. The overall objective of this research is to constrain the geologic evolution of the lunar South Pole (LQ-30: 60deg -90deg S, 0deg - +/-180deg ) with specific emphasis on evaluation of a) the regional effects of basin formation on the structure and composition of the crust and b) the spatial distribution of ejecta, in particular resulting from formation of the South Pole-Aitken (SPA) basin and other large basins. Key scientific objectives include: 1) Constraining the geologic history of the lunar South Pole and examining the spatial and temporal variability of geologic processes within the map area. 2) Constraining the vertical and lateral structure of the lunar regolith and crust, assessing the distribution of impact-generated materials, and determining the timing and effects of major basin-forming impacts on crustal structure and stratigraphy in the map area. And 3) assessing the distribution of resources (e.g., H, Fe, Th) and their relationships with surface materials.

Mest, S. C.↗

Mars Structural and Stratigraphic Mapping along the Coprates Rise

This geologic mapping project supports a topical study of structures in east Thaumasia associated with the Coprates rise. The study examines cuesta-like features on the east flank of the Coprates rise first identified by Saunders et al. [1]. Mapping combines detailed local stratigraphy, structural geology and topography. Hogbacks and cuestas indicate erosion of tilted rock units. The extent of the erosion will be determined in the course of the mapping. The region of interest lies along the eastern margin of Thaumasia bounded by latitudes -15 and -35 and longitudes 50 to 70 W (Figure 1). Three MTM geologic quadrangles are being compiled for publication by the USGS (-20057, -25057, -30057). All existing data sources are used including THEMIS, MOC, CTX, HiRISE, MOLA and gravity, as well as higher level data available through the PDS data nodes at ASU, UA and Washington University. The extremely valuable ASU JMARS tools are used for analysis of many of the data sets. ArcGIS software has been obtained and is being learned for the map compilation.

Saunders, R Stephen↗

Hardware-Independent Proofs of Numerical Programs

On recent architectures, a numerical program may give different answers depending on the execution hardware and the compilation. Our goal is to formally prove properties about numerical programs that are true for multiple architectures and compilers. We propose an approach that states the rounding error of each floating-point computation whatever the environment. This approach is implemented in the Frama-C platform for static analysis of C code. Small case studies using this approach are entirely and automatically proved

Boldo, Sylvie↗

Infrastructure for Rapid Development of Java GUI Programs

The Java Application Shell (JAS) is a software framework that accelerates the development of Java graphical-user-interface (GUI) application programs by enabling the reuse of common, proven GUI elements, as distinguished from writing custom code for GUI elements. JAS is a software infrastructure upon which Java interactive application programs and graphical user interfaces (GUIs) for those programs can be built as sets of plug-ins. JAS provides an application- programming interface that is extensible by application-specific plugins that describe and encapsulate both specifications of a GUI and application-specific functionality tied to the specified GUI elements. The desired GUI elements are specified in Extensible Markup Language (XML) descriptions instead of in compiled code. JAS reads and interprets these descriptions, then creates and configures a corresponding GUI from a standard set of generic, reusable GUI elements. These elements are then attached (again, according to the XML descriptions) to application-specific compiled code and scripts. An application program constructed by use of JAS as its core can be extended by writing new plug-ins and replacing existing plug-ins. Thus, JAS solves many problems that Java programmers generally solve anew for each project, thereby reducing development and testing time.

Jones, Jeremy↗

ISS and Shuttle Payload Research Development and Processing

NASA's ISS and Spacecraft Processing Directorate (UB) is charged with the performance of payload development for research originating through NASA, ISS international partners, and the National Laboratory. The Payload Development sector of the Directorate takes biological research approved for on orbit experimentation from its infancy stage and finds a way to integrate and implement that research into a payload on either a Shuttle sortie or Space Station increment. From solicitation and selection, to definition, to verification, to integration and finally to operations and analysis, Payload Development is there every step of the way. My specific work as an intern this summer has consisted of investigating data received by separate flight and ground control Advanced Biological Research Systems (ABRS) units for Advanced Plant Experiments (APEX) and Cambium research. By correlation and analysis of this data and specific logbook information I have been working to explain changes in environmental conditions on both the flight and ground control unit. I have then, compiled all of that information into a form that can be presentable to the Principal Investigator (PI). This compilation allows that PI scientist to support their findings and add merit to their research. It also allows us, as the Payload Developers, to further inspect the ABRS unit and its performance

Calhoun, Kyle A.↗

Generating Customized Verifiers for Automatically Generated Code

Program verification using Hoare-style techniques requires many logical annotations. We have previously developed a generic annotation inference algorithm that weaves in all annotations required to certify safety properties for automatically generated code. It uses patterns to capture generator- and property-specific code idioms and property-specific meta-program fragments to construct the annotations. The algorithm is customized by specifying the code patterns and integrating them with the meta-program fragments for annotation construction. However, this is difficult since it involves tedious and error-prone low-level term manipulations. Here, we describe an annotation schema compiler that largely automates this customization task using generative techniques. It takes a collection of high-level declarative annotation schemas tailored towards a specific code generator and safety property, and generates all customized analysis functions and glue code required for interfacing with the generic algorithm core, thus effectively creating a customized annotation inference algorithm. The compiler raises the level of abstraction and simplifies schema development and maintenance. It also takes care of some more routine aspects of formulating patterns and schemas, in particular handling of irrelevant program fragments and irrelevant variance in the program structure, which reduces the size, complexity, and number of different patterns and annotation schemas that are required. The improvements described here make it easier and faster to customize the system to a new safety property or a new generator, and we demonstrate this by customizing it to certify frame safety of space flight navigation code that was automatically generated from Simulink models by MathWorks' Real-Time Workshop.

Denney, Ewen↗

Timeliner: Automating Procedures on the ISS

Timeliner has been developed as a tool to automate procedural tasks. These tasks may be sequential tasks that would typically be performed by a human operator, or precisely ordered sequencing tasks that allow autonomous execution of a control process. The Timeliner system includes elements for compiling and executing sequences that are defined in the Timeliner language. The Timeliner language was specifically designed to allow easy definition of scripts that provide sequencing and control of complex systems. The execution environment provides real-time monitoring and control based on the commands and conditions defined in the Timeliner language. The Timeliner sequence control may be preprogrammed, compiled from Timeliner "scripts," or it may consist of real-time, interactive inputs from system operators. In general, the Timeliner system lowers the workload for mission or process control operations. In a mission environment, scripts can be used to automate spacecraft operations including autonomous or interactive vehicle control, performance of preflight and post-flight subsystem checkouts, or handling of failure detection and recovery. Timeliner may also be used for mission payload operations, such as stepping through pre-defined procedures of a scientific experiment.

Brown, Robert↗

Astronaut Demographic Database: Everything You Want to Know About Astronauts and More

A wealth of information regarding the astronaut population is available that could be especially useful to researchers. However, until now, it has been difficult to obtain that information in a systematic way. Therefore, this "astronaut database" began as a way for researchers within the Behavioral Health and Performance Group to keep track of the ever growing astronaut corps population. Before our effort, compilation of such data could be found, but not in a way that was easily acquired or accessible. One would have to use internet search engines, read through lengthy and potentially inaccurate informational sites, or read through astronaut biographies compiled by NASA. Astronauts are a unique class of individuals and, by examining such information, which we dubbed "Demographics," we hoped to find some commonalities that may be useful for other research areas and future research topics. By organizing the information pertaining to astronauts1 in a formal, unified catalog, we believe we have made the information more easily accessible, readily useable, and user friendly. Our end goal is to provide this database to others as a highly functional resource within the research community. Perhaps the database can eventually be an official, published document for researchers to gain full access.

Keeton, Kathryn↗

Efficient Probabilistic Diagnostics for Electrical Power Systems

We consider in this work the probabilistic approach to model-based diagnosis when applied to electrical power systems (EPSs). Our probabilistic approach is formally well-founded, as it based on Bayesian networks and arithmetic circuits. We investigate the diagnostic task known as fault isolation, and pay special attention to meeting two of the main challenges . model development and real-time reasoning . often associated with real-world application of model-based diagnosis technologies. To address the challenge of model development, we develop a systematic approach to representing electrical power systems as Bayesian networks, supported by an easy-to-use speci.cation language. To address the real-time reasoning challenge, we compile Bayesian networks into arithmetic circuits. Arithmetic circuit evaluation supports real-time diagnosis by being predictable and fast. In essence, we introduce a high-level EPS speci.cation language from which Bayesian networks that can diagnose multiple simultaneous failures are auto-generated, and we illustrate the feasibility of using arithmetic circuits, compiled from Bayesian networks, for real-time diagnosis on real-world EPSs of interest to NASA. The experimental system is a real-world EPS, namely the Advanced Diagnostic and Prognostic Testbed (ADAPT) located at the NASA Ames Research Center. In experiments with the ADAPT Bayesian network, which currently contains 503 discrete nodes and 579 edges, we .nd high diagnostic accuracy in scenarios where one to three faults, both in components and sensors, were inserted. The time taken to compute the most probable explanation using arithmetic circuits has a small mean of 0.2625 milliseconds and standard deviation of 0.2028 milliseconds. In experiments with data from ADAPT we also show that arithmetic circuit evaluation substantially outperforms joint tree propagation and variable elimination, two alternative algorithms for diagnosis using Bayesian network inference.

Mengshoel, Ole J.↗

Aspect-Oriented Monitoring of C Programs

The paper presents current work on extending ASPECTC with state machines, resulting in a framework for aspect-oriented monitoring of C programs. Such a framework can be used for testing purposes, or it can be part of a fault protection strategy. The long term goal is to explore the synergy between the fields of runtime verification, focused on program monitoring, and aspect-oriented programming, focused on more general program development issues. The work is inspired by the observation that most work in this direction has been done for JAVA, partly due to the lack of easily accessible extensible compiler frameworks for C. The work is performed using the SILVER extensible attribute grammar compiler framework, in which C has been defined as a host language. Our work consists of extending C with ASPECTC, and subsequently to extend ASPECTC with state machines.

runtime verifications↗