UCLA Parallel PIC Framework
The UCLA Parallel PIC Framework (UPIC) has been developed to provide trusted components for the rapid construction of new, parallel Particl-in-Cell (PIC) codes.
particle-in-cell↗
SEARCH · Engineering Papers
Results for “TRUST”
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.
A Framework for Managing Inter-Site Storage Area Networks using Grid Technologies
The NASA Goddard Space Flight Center and the University of Maryland Institute for Advanced Computer Studies are studying mechanisms for installing and managing Storage Area Networks (SANs) that span multiple independent collaborating institutions using Storage Area Network Routers (SAN Routers). We present a framework for managing inter-site distributed SANs that uses Grid Technologies to balance the competing needs to control local resources, share information, delegate administrative access, and manage the complex trust relationships between the participating sites.
McCall, Fritz↗
Effect of Temperature on Jet Velocity Spectra
Statistical jet noise prediction codes that accurately predict spectral directivity for both cold and hot jets are highly sought both in industry and academia. Their formulation, whether based upon manipulations of the Navier-Stokes equations or upon heuristic arguments, require substantial experimental observation of jet turbulence statistics. Unfortunately, the statistics of most interest involve the space-time correlation of flow quantities, especially velocity. Until the last 10 years, all turbulence statistics were made with single-point probes, such as hotwires or laser Doppler anemometry. Particle image velocimetry (PIV) brought many new insights with its ability to measure velocity fields over large regions of jets simultaneously; however, it could not measure velocity at rates higher than a few fields per second, making it unsuitable for obtaining temporal spectra and correlations. The development of time-resolved PIV, herein called TR-PIV, has removed this limitation, enabling measurement of velocity fields at high resolution in both space and time. In this paper, ground-breaking results from the application of TR-PIV to single-flow hot jets are used to explore the impact of heat on turbulent statistics of interest to jet noise models. First, a brief summary of validation studies is reported, undertaken to show that the new technique produces the same trusted results as hotwire at cold, low-speed jets. Second, velocity spectra from cold and hot jets are compared to see the effect of heat on the spectra. It is seen that heated jets possess 10 percent more turbulence intensity compared to the unheated jets with the same velocity. The spectral shapes, when normalized using Strouhal scaling, are insensitive to temperature if the stream-wise location is normalized relative to the potential core length. Similarly, second order velocity correlations, of interest in modeling of jet noise sources, are also insensitive to temperature as well.
Bridges, James E.↗
Offset Stream Technology Test-Summary of Results
Statistical jet noise prediction codes that accurately predict spectral directivity for both cold and hot jets are highly sought both in industry and academia. Their formulation, whether based upon manipulations of the Navier-Stokes equations or upon heuristic arguments, require substantial experimental observation of jet turbulence statistics. Unfortunately, the statistics of most interest involve the space-time correlation of flow quantities, especially velocity. Until the last 10 years, all turbulence statistics were made with single-point probes, such as hotwires or laser Doppler anemometry. Particle image velocimetry (PIV) brought many new insights with its ability to measure velocity fields over large regions of jets simultaneously; however, it could not measure velocity at rates higher than a few fields per second, making it unsuitable for obtaining temporal spectra and correlations. The development of time-resolved PIV, herein called TR-PIV, has removed this limitation, enabling measurement of velocity fields at high resolution in both space and time. In this paper, ground-breaking results from the application of TR-PIV to single-flow hot jets are used to explore the impact of heat on turbulent statistics of interest to jet noise models. First, a brief summary of validation studies is reported, undertaken to show that the new technique produces the same trusted results as hotwire at cold, low-speed jets. Second, velocity spectra from cold and hot jets are compared to see the effect of heat on the spectra. It is seen that heated jets possess 10 percent more turbulence intensity compared to the unheated jets with the same velocity. The spectral shapes, when normalized using Strouhal scaling, are insensitive to temperature if the stream-wise location is normalized relative to the potential core length. Similarly, second order velocity correlations, of interest in modeling of jet noise sources, are also insensitive to temperature as well.
Brown, Clifford A.↗
Financial Comparisons across Different Business Models in the Canadian Airline Industry
This paper examines the accounting and stock price performance of two Canadian airlines, WestJet and Air Canada, over a five year period, taking into account the aftermath of the systemic shock to the airline industry produced by the September 11, 2001 (9-11), terrorist attacks and subsequent events such as the 2002 SARS outbreak, the wars in Afghanistan and Iraq, and the accompanying rise in jet fuel prices. Our study focuses on the viability of low-cost versus conventional-cost business models in Canada under the current business environment and the ability of airlines to withstand and effectively respond to catastrophic industry events. Furthermore, we link the effectiveness of the airlines responses to these events to specific elements of their respective business models. We test our hypothesis through a case study. We focus on WestJet as a typical low-cost airline and compare its accounting and stock performance to Air Canada, a legacy carrier and rival in several business sectors. We find WestJet to be much less affected by catastrophic industry events. By decomposing each airline s return volatility, we observe that WestJet s systematic and unsystematic risk increased only slightly during the industry's post-9-11 turmoil when compared to Air Canada. In addition, we find that both WestJet s accounting and stock performance have been highly superior to those of Air Canada. We argue that WestJet s business model provides the firm with significantly more financial and operational flexibility than its legacy rival, Air Canada. WestJet's lower operating costs, high consumer trust, product offering, corporate structure, workforce and work practices, as well as operational procedures are all factors that appear to contribute to its relative success.
Flouris, Triant↗
Dawn: Cooperation, not Control
On September 27, 2007, a Delta II rocket carrying the Dawn spacecraft lifted off from Kennedy Space Center. Part of NASAs Discovery program, the $370 million Dawn mission began its three-billion-mile voyage to the asteroid belt to study the asteroid Vesta and Ceres, a dwarf planet. The spacecraft is scheduled to reach Vesta in 2011. After spending nine months measuring the composition, shape, and topography of that body, it will travel a billion miles to carry out a similar analysis of Ceres in 2015. The Important Lessons: The demands of Dawn and other challenging missions have taught some important lessons for successful program and project management. These are the main ones: a) Program management, particularly of uncoupled and loosely coupled projects, should be more about enabling than controlling. You're working with motivated, high-performing teams and institutions with a track record of quality and success. Emphasize commander's intent over rudder control; let them know where you want to go and when you want to be there, then let them figure out how to get there. b) Open and honest discussion of issues is essential. People fill the void of the unknown with their worst fears. Get folks around the table and have open, honest, and frank dialogue. I've seldom seen this fail to get to the root of issues. c) You have to earn your seat at the table, proving that you are competent, trustworthy, and dedicated to the success of the mission. d) Know when to fold 'em. Your pride can get rolled up in making a milestone or launch date, but you have to make a judgment based on the realities of the situation and not wear down the team trying to meet an increasingly impossible deadline. e) The NASA governance model that gives a voice to the concerns of engineers and safety experts works-trust it and use it.
May, Todd↗
Using the Space Glove to Teach Spatial Thinking
The challenge of extending students' skills in spatial thinking to astronomical scales was the central focus of our K-8 curriculum development. When the project's lead teacher requested a curriculum that cumulatively built on each prior year's learning in a spiral fashion, I knew exactly what the school was asking for. Second and third graders began by noticing the cyclical patters that the sun, moon, and stars make in the sky. Fourth graders explored the phases of the moon by taking turns modeling and sketching them in their classroom and then comparing them to the real sky. Sixth !graders used real telescopes to observe a moving model of our solar system and walked a scale model of the planets' orbits. The curriculum is designed to expand students' capacity to visualize space in a hierarchical fashion that asks them to imagine themselves from a broader number of spatial perspectives through hands-on activities. The "situational awareness" Peter's story describes is a hallmark of high-performance engineering and innovation. Keeping in mind the potential outcomes of multiple paths of pursuit from multiple perspectives while keeping track of their relative merits and performance requirements is a demanding spatial task. What made it possible for Peter to transform the failure of his first glove into triumph was the mental space in which that failure provided exactly the information needed for a new breakthrough. In at least two cases, Peter could immediately "see" the full implications of what his hands were telling him. He tells the story of how putting his hands in a Phase VI astronaut glove instantly transformed his understanding of the glove challenge. Six months into his development, the failure of circumferentially wrapped cords to produce a sufficiently flexible glove again forced him to abandon his assumptions. His situational awareness was so clear and compelling it became a gut-level response. Peter's finely developed spatial skills enabled him to almost instinctively focus his full energy on a carefully constructed set of experiments. The finger's ability to sense pressure, force, and work gave him the immediate feedback required to solve this one central problem. Once properly understood, his failure quickly led to the magical "Aha!" moment of discovery; the rest is history. Just as children need opportunities to develop hands-on understanding, engineers need to explore new possibilities through incremental hands-on failure. High-performance innovation is all about learning to make maximum use of thinking spatially to direct this process. Peter Homer's glove also reminds us that efficient engineering decisions need to be made as close to the hardware as possible. Whether we're doing hands-on education or hands-on engineering, it is when we trust in our ability to "feel our way" through failure that we reach our highest potential.
Lord, Peter↗
Certifying Auto-Generated Flight Code
Model-based design and automated code generation are being used increasingly at NASA. Many NASA projects now use MathWorks Simulink and Real-Time Workshop for at least some of their modeling and code development. However, there are substantial obstacles to more widespread adoption of code generators in safety-critical domains. Since code generators are typically not qualified, there is no guarantee that their output is correct, and consequently the generated code still needs to be fully tested and certified. Moreover, the regeneration of code can require complete recertification, which offsets many of the advantages of using a generator. Indeed, manual review of autocode can be more challenging than for hand-written code. Since the direct V&V of code generators is too laborious and complicated due to their complex (and often proprietary) nature, we have developed a generator plug-in to support the certification of the auto-generated code. Specifically, the AutoCert tool supports certification by formally verifying that the generated code is free of different safety violations, by constructing an independently verifiable certificate, and by explaining its analysis in a textual form suitable for code reviews. The generated documentation also contains substantial tracing information, allowing users to trace between model, code, documentation, and V&V artifacts. This enables missions to obtain assurance about the safety and reliability of the code without excessive manual V&V effort and, as a consequence, eases the acceptance of code generators in safety-critical contexts. The generation of explicit certificates and textual reports is particularly well-suited to supporting independent V&V. The primary contribution of this approach is the combination of human-friendly documentation with formal analysis. The key technical idea is to exploit the idiomatic nature of auto-generated code in order to automatically infer logical annotations. The annotation inference algorithm itself is generic, and parametrized with respect to a library of coding patterns that depend on the safety policies and the code generator. The patterns characterize the notions of definitions and uses that are specific to the given safety property. For example, for initialization safety, definitions correspond to variable initializations while uses are statements which read a variable, whereas for array bounds safety, definitions are the array declarations, while uses are statements which access an array variable. The inferred annotations are thus highly dependent on the actual program and the properties being proven. The annotations, themselves, need not be trusted, but are crucial to obtain the automatic formal verification of the safety properties without requiring access to the internals of the code generator. The approach has been applied to both in-house and commercial code generators, but is independent of the particular generator used. It is currently being adapted to flight code generated using MathWorks Real-Time Workshop, an automatic code generator that translates from Simulink/Stateflow models into embedded C code.
Denney, Ewen↗
Service-Oriented Architecture for NVO and TeraGrid Computing
The National Virtual Observatory (NVO) Extensible Secure Scalable Service Infrastructure (NESSSI) is a Web service architecture and software framework that enables Web-based astronomical data publishing and processing on grid computers such as the National Science Foundation's TeraGrid. Characteristics of this architecture include the following: (1) Services are created, managed, and upgraded by their developers, who are trusted users of computing platforms on which the services are deployed. (2) Service jobs can be initiated by means of Java or Python client programs run on a command line or with Web portals. (3) Access is granted within a graduated security scheme in which the size of a job that can be initiated depends on the level of authentication of the user.
Jacob, Joseph↗
Towards the Verification of Human-Robot Teams
Human-Agent collaboration is increasingly important. Not only do high-profile activities such as NASA missions to Mars intend to employ such teams, but our everyday activities involving interaction with computational devices falls into this category. In many of these scenarios, we are expected to trust that the agents will do what we expect and that the agents and humans will work together as expected. But how can we be sure? In this paper, we bring together previous work on the verification of multi-agent systems with work on the modelling of human-agent teamwork. Specifically, we target human-robot teamwork. This paper provides an outline of the way we are using formal verification techniques in order to analyse such collaborative activities. A particular application is the analysis of human-robot teams intended for use in future space exploration.
Fisher, Michael↗
Diagnosable structured logic array
A diagnosable structured logic array and associated process is provided. A base cell structure is provided comprising a logic unit comprising a plurality of input nodes, a plurality of selection nodes, and an output node, a plurality of switches coupled to the selection nodes, where the switches comprises a plurality of input lines, a selection line and an output line, a memory cell coupled to the output node, and a test address bus and a program control bus coupled to the plurality of input lines and the selection line of the plurality of switches. A state on each of the plurality of input nodes is verifiably loaded and read from the memory cell. A trusted memory block is provided. The associated process is provided for testing and verifying a plurality of truth table inputs of the logic unit.
Whitaker, Sterling↗
The Orion GN and C Data-Driven Flight Software Architecture for Automated Sequencing and Fault Recovery
The Orion Crew Exploration Vehicle (CET) is being designed to include significantly more automation capability than either the Space Shuttle or the International Space Station (ISS). In particular, the vehicle flight software has requirements to accommodate increasingly automated missions throughout all phases of flight. A data-driven flight software architecture will provide an evolvable automation capability to sequence through Guidance, Navigation & Control (GN&C) flight software modes and configurations while maintaining the required flexibility and human control over the automation. This flexibility is a key aspect needed to address the maturation of operational concepts, to permit ground and crew operators to gain trust in the system and mitigate unpredictability in human spaceflight. To allow for mission flexibility and reconfrgurability, a data driven approach is being taken to load the mission event plan as well cis the flight software artifacts associated with the GN&C subsystem. A database of GN&C level sequencing data is presented which manages and tracks the mission specific and algorithm parameters to provide a capability to schedule GN&C events within mission segments. The flight software data schema for performing automated mission sequencing is presented with a concept of operations for interactions with ground and onboard crew members. A prototype architecture for fault identification, isolation and recovery interactions with the automation software is presented and discussed as a forward work item.
King, Ellis↗
Submicrosecond Power-Switching Test Circuit
A circuit that changes an electrical load in a switching time shorter than 0.3 microsecond has been devised. This circuit can be used in testing the regulation characteristics of power-supply circuits . especially switching power-converter circuits that are supposed to be able to provide acceptably high degrees of regulation in response to rapid load transients. The combination of this power-switching circuit and a known passive constant load could be an attractive alternative to a typical commercially available load-bank circuit that can be made to operate in nominal constant-voltage, constant-current, and constant-resistance modes. The switching provided by a typical commercial load-bank circuit in the constant-resistance mode is not fast enough for testing of regulation in response to load transients. Moreover, some test engineers do not trust the test results obtained when using commercial load-bank circuits because the dynamic responses of those circuits are, variously, partly unknown and/or excessively complex. In contrast, the combination of this circuit and a passive constant load offers both rapid switching and known (or at least better known) load dynamics. The power-switching circuit (see figure) includes a signal-input section, a wide-hysteresis Schmitt trigger that prevents false triggering in the event of switch-contact bounce, a dual-bipolar-transistor power stage that drives the gate of a metal oxide semiconductor field-effect transistor (MOSFET), and the MOSFET, which is the output device that performs the switching of the load. The MOSFET in the specific version of the circuit shown in the figure is rated to stand off a potential of 100 V in the "off" state and to pass a current of 20 A in the "on" state. The switching time of this circuit (the characteristic time of rise or fall of the potential at the drain of the MOSFET) is .300 ns. The circuit can accept any of three control inputs . which one depending on the test that one seeks to perform: a repetitive waveform from a signal generator, momentary closure of a push-button switch, or closure or opening of a manually operated on/off switch. In the case of a signal generator, one can adjust the frequency and duty cycle as needed to obtain the desired AC power-supply response, which one could display on an oscilloscope. Momentary switch closure could be useful for obtaining (and, if desired, displaying on an oscilloscope set to trigger on an event) the response of a power supply to a single load transient. The on/off switch can be used to switch between load states in which static-load regulation measurements are performed.
Folk, Eric N.↗
Usefulness of AIRS-Derived OLR, Temperature, Water Vapor and Cloudiness Anomaly Trends for GCM Validation
Mainly due to their global nature, satellite observations can provide a very useful basis for GCM validations. In particular, satellite sounders such as AIRS provide 3-D spatial information (most useful for GCMs), so the question arises: can we use AIRS datasets for climate variability assessments? We show that the recent (September 2002 February 2010) CERES-observed negative trend in OLR of approx.-0.1 W/sq m/yr averaged over the globe is found in the AIRS OLR data as well. Most importantly, even minute details (down to 1 x 1 degree GCM-scale resolution) of spatial and temporal anomalies and trends of OLR as observed by CERES and computed based on AIRS-retrieved surface and atmospheric geophysical parameters over this time period are essentially the same. The correspondence can be seen even in the very large spatial variations of these trends with local values ranging from -2.6 W/sq m/yr to +3.0 W/sq m/yr in the tropics, for example. This essentially perfect agreement of OLR anomalies and trends derived from observations by two different instruments, in totally independent and different manners, implies that both sets of results must be highly accurate, and indirectly validates the anomalies and trends of other AIRS derived products as well. These products show that global and regional anomalies and trends of OLR, water vapor and cloud cover over the last 7+ years are strongly influenced by EI-Nino-La Nina cycles . We have created climate parameter anomaly datasets using AIRS retrievals which can be compared directly with coupled GCM climate variability assessments. Moreover, interrelationships of these anomalies and trends should also be similar between the observed and GCM-generated datasets, and, in cases of discrepancies, GCM parameterizations could be improved based on the relationships observed in the data. First, we assess spatial "trends" of variability of climatic parameter anomalies [since anomalies relative to the seasonal cycle are good proxies of climate variability] at the common 1x1 degree GCM grid-scale by creating spatial anomaly "trends" based on the first 7+ years of AIRS Version 5 Leve13 data. We suggest that modelers should compare these with their (coupled) GCM's performance covering the same period. We evaluate temporal variability and interrelations of climatic anomalies on global to regional e.g., deep Tropical Hovmoller diagrams, El-Nino-related variability scales, and show the effects of El-Nino-La Nina activity on tropical anomalies and trends of water vapor cloud cover and OLR. For GCMs to be trusted highly for long-term climate change predictions, they should be able to reproduce findings similar to these. In summary, the AIRS-based climate variability analyses provide high quality, informative and physically plausible interrelationships among OLR, temperature, humidity and cloud cover both on the spatial and temporal scales. GCM validations can use these results even directly, e. g., by creating 1x1 degree trendmaps for the same period in coupled climate simulations.
Molnar, Gyula I.↗
Space Shuttle Software Development and Certification
Man-rated software, "software which is in control of systems and environments upon which human life is critically dependent," must be highly reliable. The Space Shuttle Primary Avionics Software System is an excellent example of such a software system. Lessons learn from more than 20 years of effort have identified basic elements that must be present to achieve this high degree of reliability. The elements include rigorous application of appropriate software development processes, use of trusted tools to support those processes, quantitative process management, and defect elimination and prevention. This presentation highlights methods used within the Space Shuttle project and raises questions that must be addressed to provide similar success in a cost effective manner on future long-term projects where key application development tools are COTS rather than internally developed custom application development tools
Orr, James K.↗
Autonomous Satellite Operations Via Secure Virtual Mission Operations Center
The science community is interested in improving their ability to respond to rapidly evolving, transient phenomena via autonomous rapid reconfiguration, which derives from the ability to assemble separate but collaborating sensors and data forecasting systems to meet a broad range of research and application needs. Current satellite systems typically require human intervention to respond to triggers from dissimilar sensor systems. Additionally, satellite ground services often need to be coordinated days or weeks in advance. Finally, the boundaries between the various sensor systems that make up such a Sensor Web are defined by such things as link delay and connectivity, data and error rate asymmetry, data reliability, quality of service provisions, and trust, complicating autonomous operations. Over the past ten years, researchers from the NASA Glenn Research Center (GRC), General Dynamics, Surrey Satellite Technology Limited (SSTL), Cisco, Universal Space Networks (USN), the U.S. Geological Survey (USGS), the Naval Research Laboratory, the DoD Operationally Responsive Space (ORS) Office, and others have worked collaboratively to develop a virtual mission operations capability. Called VMOC (Virtual Mission Operations Center), this new capability allows cross-system queuing of dissimilar mission unique systems through the use of a common security scheme and published application programming interfaces (APIs). Collaborative VMOC demonstrations over the last several years have supported the standardization of spacecraft to ground interfaces needed to reduce costs, maximize space effects to the user, and allow the generation of new tactics, techniques and procedures that lead to responsive space employment.
Miller, Eric↗
The Multi-Sensor Aerosol Products Sampling System (MAPSS) for Integrated Analysis of Satellite Retrieval Uncertainties
Among the known atmospheric constituents, aerosols represent the greatest uncertainty in climate research. Although satellite-based aerosol retrieval has practically become routine, especially during the last decade, there is often disagreement between similar aerosol parameters retrieved from different sensors, leaving users confused as to which sensors to trust for answering important science questions about the distribution, properties, and impacts of aerosols. As long as there is no consensus and the inconsistencies are not well characterized and understood ', there will be no way of developing reliable climate data records from satellite aerosol measurements. Fortunately, the most globally representative well-calibrated ground-based aerosol measurements corresponding to the satellite-retrieved products are available from the Aerosol Robotic Network (AERONET). To adequately utilize the advantages offered by this vital resource,., an online Multi-sensor Aerosol Products Sampling System (MAPSS) was recently developed. The aim of MAPSS is to facilitate detailed comparative analysis of satellite aerosol measurements from different sensors (Terra-MODIS, Aqua-MODIS, Terra-MISR, Aura-OMI, Parasol-POLDER, and Calipso-CALIOP) based on the collocation of these data products over AERONET stations. In this presentation, we will describe the strategy of the MAPSS system, its potential advantages for the aerosol community, and the preliminary results of an integrated comparative uncertainty analysis of aerosol products from multiple satellite sensors.
Ichoku, Charles↗
Usefulness of AIRS-Derived OLR, Temperature, Water Vapor and Cloudiness Anomaly Time-series for GCM Validation
The ROBUST nature (biases are not as important as previous GCM-evaluations suggest) of the AIRS-observations-generated ARC-maps and ATs as well as their interrelations suggest that they could be a useful tool to select CGCMs which may be considered the reliable, i.e., to be trusted even for longer-term climate drift/change predictions (even on the regional scale). Get monthly gridded CGCM time-series of atmospheric variables coinciding with the timeframe of the AIRS analyses for at least 5-6 years and do the actual evaluations of ARC-maps and ATs for the coinciding time periods.
Molnar, Gyula↗